add types and ifl info

content/assets/theme.css

@@ -129,6 +129,8 @@ main h2:first-child { margin-top: 0 }
   padding: 0 0 0 2em;
   position: relative;
 }
+
+.pubs ul+ul { margin:1em 0 0 }
 .pubs ul::before {
   content: attr(data-year);
   position: absolute;

content/index.md

@@ -27,10 +27,14 @@ SRHT     [flupe](https://sr.ht/~flupe)
 
 ## Log {#log}
 
+- Attended [IFL'23] in Braga, Portugal.
+- Attended [TYPES'23] in Valencia, Spain.
 - Attended [AIMXXXI] in Edinburgh, Scotland.
 - Attended [ICFP'22] in Ljubjana, Slovenia.
 - Attended [OPLSS'22] in Eugene, Oregon.
 
+[IFL'23]: https://ifl23.github.io/
+[TYPES'23]: https://types2023.webs.upv.es/
 [AIMXXXI]: https://wiki.portal.chalmers.se/agda/Main/AIMXXXI
 [ICFP'22]: https://icfp22.sigplan.org/
 [OPLSS'22]: https://www.cs.uoregon.edu/research/summerschool/summer22/

content/publications.yaml

@@ -1,3 +1,28 @@
+- year: "2023"
+  pubs:
+    - title: "Crafting Extensible Incremental Parallel Embedded Build Systems"
+      slug: achille-ifl23
+      authors:
+        - Lucas Escot
+      file: /papers/achille-ifl23.pdf
+      venue:
+        name: IFL 2023
+        url: https://ifl23.github.io/
+    - title: "Read the m̶o̶o̶d̶mode and stay positive"
+      slug: polarity-types23
+      authors:
+        - Lucas Escot
+        - name: Josselin Poiret
+          url: https://jpoiret.xyz/
+        - Joris Ceulemans
+        - name: Andreas Nuyts
+          url: https://anuyts.github.io/
+        - Malin Altenmüller
+      file: /papers/polarity-types23.pdf
+      venue:
+        name: TYPES 2023
+        url: https://types2023.webs.upv.es/
+
 - year: "2022"
   pubs:
     - title: "Practical generic programming over a universe of native datatypes"