diff --git a/index.html b/index.html
index aa648da..18097e3 100644
--- a/index.html
+++ b/index.html
@@ -16,7 +16,7 @@
@@ -114,7 +114,7 @@ london school of economics [guest lecture]; 27 november 2023
a walk through the dark forest: smart contracts, security, privacy, and you
-
+
@@ -139,7 +139,7 @@
ethcc6 [talk]; 20 july 2023
kanav my money back?: the rise of "counter-exploits" and court interventions in defi
-
+
@@ -156,16 +156,16 @@
ethcc5 [talk]; 20 july 2022
never send to know for whom the bell tolls
-
+
the dojima futures exchange [podcast]; 10 april 2022
- episode 5 - "laurence"
+ episode 5 - "cortex"
-
+
@@ -174,7 +174,7 @@
ethcc4 [talk]; 20 july 2021
indexed we trust: automated index portfolio management
-
+
@@ -199,61 +199,61 @@ nirn: a compositional, permissionless, extensible yield aggregator
quantitative refinements to value investment strategies in emerging market economies
-
masters dissertation @worldquant, 2021 [
link]
+
masters dissertation @worldquant, 2021 [
link]
an analysis of the icelandic banking crisis
-
a proposal for risk distribution over intelligent credit networks
-
personal (for arboreum), 2020 [
link]
+
personal (for arboreum), 2020 [
link]
the modular compilation of effects
-
doctoral thesis @nottingham, 2015 [
link]
+
doctoral thesis @nottingham, 2015 [
link]
native offload of haskell repa programs to integrated gpus
-
in: functional high-performance computing, 2014 [
link]
+
in: functional high-performance computing, 2014 [
link]
pick’n’fix: capturing control flow in modular compilers
-
in: trends in functional programming, 2014 [
link]
+
in: trends in functional programming, 2014 [
link]
compilation à la carte
-
in: implementation and application of functional languages, 2013 [
link]
+
in: implementation and application of functional languages, 2013 [
link]
programming macro tree transducers
-
in: workshop on generic programming, 2013 [
link]
+
in: workshop on generic programming, 2013 [
link]
towards modular compilers for effects
-
in: trends in functional programming, 2011 [
link]
+
in: trends in functional programming, 2011 [
link]
implementing a propositional logic theorem prover
-
honours dissertation @nottingham, 2010 [
link]
+
honours dissertation @nottingham, 2010 [
link]
@@ -284,7 +284,7 @@
euler