From 31e772cca4d265d14a90931a791eb760065329e8 Mon Sep 17 00:00:00 2001
From: flupe <lucas@escot.me>
Date: Thu, 26 Jan 2023 18:00:24 +0100
Subject: [PATCH] fix some issues

---
 content/index.md          | 33 +++++++++++++++++++++++----------
 content/index.mustache    |  4 ++--
 content/publications.yaml |  4 ++--
 src/Main.hs               |  4 ++--
 4 files changed, 29 insertions(+), 16 deletions(-)

diff --git a/content/index.md b/content/index.md
index 7c3c1a8..f625096 100755
--- a/content/index.md
+++ b/content/index.md
@@ -5,23 +5,16 @@ description: Professional page of Lucas Escot
 
 ## Lucas Escot {#me}
 
-As of 2022, I am a PhD student at [TU Delft], in the [Programming Languages
+As of 2023, I am a PhD student at [TU Delft], in the [Programming Languages
 Group][PL], under the supervision of Jesper Cockx. My work revolves around
 generic programming in dependently-typed languages --- namely, [Agda].
+Lately, I've also been spending time on incremental, parallel embedded build
+systems.
 
 [TU Delft]: https//tudelft.nl
 [PL]: https://pl.ewi.tudelft.nl/
 [Agda]: https://github.com/agda/agda
 
-## Miscellaneous {#misc}
-
-On my spare time, I do a fair bit of drawing. Some of it may be found over at
-[acatalepsie.fr]. Along with a group of friends, I am part of the [sbi.re]
-network, under which we self-host a bunch of services.
-
-[acatalepsie.fr]: https://acatalepsie.fr
-[sbi.re]: https://sbi.re
-
 ## Contact/Links {#contact}
 
 -------- ------------------------------------------------------------------------------------------------
@@ -32,4 +25,24 @@ GH       [flupe](https://github.com/flupe)
 SRHT     [flupe](https://sr.ht/~flupe)
 -------- ------------------------------------------------------------------------------------------------
 
+## Log {#log}
+
+- Attended [AIMXXXI] in Edinburgh, Scotland.
+- Attended [ICFP'22] in Ljubjana, Slovenia.
+- Attended [OPLSS'22] in Eugene, Oregon.
+
+[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/
+
+## Miscellaneous {#misc}
+
+On my spare time, I do a fair bit of drawing. Some of it may be found over at
+[acatalepsie.fr], where I also keep my rarely-updated blog. Along with
+a group of friends, we are behind the [sbi.re] network, under which we self-host
+a bunch of services.
+
+[acatalepsie.fr]: https://acatalepsie.fr
+[sbi.re]: https://sbi.re
+
 ## Publications
diff --git a/content/index.mustache b/content/index.mustache
index 1213a41..efb938c 100644
--- a/content/index.mustache
+++ b/content/index.mustache
@@ -24,11 +24,11 @@
         <ul data-year="{{year}}">
         {{#pubs}}
           <li id="{{slug}}">
-            <p class="title"><a href="{{slug}}">{{title}}</a></p>
+            <p class="title"><a href="#{{slug}}">{{title}}</a></p>
             <p class="authors">{{{authors}}}</p>
             <p class="venue"><a href="{{venue.url}}">{{venue.name}}</a></p>
             <p class="buttons">
-              {{#file}}<a href="{{url}}">PDF</a>{{/file}}
+              {{#file}}<a href="{{file}}">PDF</a>{{/file}}
               {{#doi}}<a href="https://doi.org/{{doi}}">DOI</a>{{/doi}}
             </p>
           </li>
diff --git a/content/publications.yaml b/content/publications.yaml
index 1c2d3c4..3393aea 100644
--- a/content/publications.yaml
+++ b/content/publications.yaml
@@ -6,7 +6,7 @@
         - Lucas Escot
         - name: Jesper Cockx
           url: https://jesper.sikanda.be
-      file: papers/generics-agda-icfp22.pdf
+      file: /papers/generics-agda-icfp22.pdf
       doi: "10.1145/3547644"
       venue:
         name: ICFP 2022
@@ -23,7 +23,7 @@
         - name: James Chapman
           url: https://jmchapman.io
         - Ulf Norell
-      file: papers/agda2hs-haskell22.pdf
+      file: /papers/agda2hs-haskell22.pdf
       doi: "10.1145/3546189.3549920"
       venue:
         name: Haskell Symposium 2022
diff --git a/src/Main.hs b/src/Main.hs
index b2cd0ac..29f23ad 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -39,12 +39,12 @@ main = achille A.do
   match "papers/*" copy
   match "static/*" copy
 
+  pubs <- readYaml "publications.yaml"
+
   meta :*: nav :*: content <- A.do
     meta :*: doc <- readPandoc "index.md"
     meta :*: (getNav <$> doc) :*: renderPandoc doc
 
-  pubs <- readYaml "publications.yaml"
-
   Content <$> meta <*> nav <*> content <*> pubs
     & applyTemplate index
     & write "index.html"