Posts

2024

• 20 Feb

  On Moonpool

2022

• 14 Nov

  Sidekick project overview

2021

• 23 Feb

  Curry-Howard is overrated

2020

• 6 Jun

  Benchpress hacking: log 1

2019

• 26 Feb

  Solving Sudokus with msat

2016

• 20 Mar

  Format All the Data Structures
• 5 Feb

  Maki: on-disk memoization for (deterministic) fun and profit

2015

• 16 Oct

  Tooling is Awesome
• 6 Aug

  OCaml Compiler Hacking: how to add a primitive
• 10 Mar

  Simple Refinement Types for OCaml

2014

• 24 Jul

  Introduction to Automated Theorem Proving with Logtk
• 11 Jun

  Batch Operations on Collections
• 2 May

  Representing Lazy Values
• 12 Mar

  Universal Serialization and Deserialization

2013

• 5 Oct

  QuickCheck for OCaml

2012

• 18 Dec

  Go, C++!!
• 10 Dec

  And this...
• 5 Dec

  The inside of a curve
• 3 Dec

  Tail-recursive map in OCaml
• 30 Nov

  Debugging with DOT
• 29 Nov

  Frist post