Blog

• Check the implementation, not the deployment, not the abstract spec
  2024-04-24
• What is the UI optimized for?
  2024-03-25
• Why am I a vegan?
  2023-12-14
• Analysing PDF metadata on arXiv
  2023-12-01
• Notes on presentations
  2021-05-13
• Notes on papers
  2021-04-13
• Nodo Part 1 - Formats
  2020-08-28
• Nodo Part 0 - An Exploration
  2020-08-21
• Thoughts on notes and todos
  2020-08-16
• OCaml state machines
  2020-04-15
• Block breaker
  2019-06-30
• Owork
  2019-06-20
• Waytext
  2019-06-16
• XMPP server implementation in OCaml for MirageOS
  2018-11-06