The Blag
On Moonpool
Sidekick project overview
Curry-Howard is overrated
Benchpress hacking: log 1
Solving Sudokus with msat
Format All the Data Structures
Maki: on-disk memoization for (deterministic) fun and profit
Tooling is Awesome
OCaml Compiler Hacking: how to add a primitive
Simple Refinement Types for OCaml
Introduction to Automated Theorem Proving with Logtk
Batch Operations on Collections
Representing Lazy Values
Universal Serialization and Deserialization
QuickCheck for OCaml
Go, C++!!
And this...
The inside of a curve
Tail-recursive map in OCaml
Debugging with DOT
Frist post