Authors » Simon 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 3 Dec Tail-recursive map in OCaml 30 Nov Debugging with DOT 29 Nov Frist post