The Blag: Logic And Graphics
  • Home
  • RSS feed
  • Tags
  • Simon's github
  • Shuba's github
The Blag: Logic And Graphics
  • Home
  • RSS feed
  • Tags
  • Simon's github
  • Shuba's github

simon

2021-02-23 Curry-Howard is overrated
2020-06-06 Benchpress hacking: log 1
2019-02-26 Solving Sudokus with msat
2016-03-20 Format All the Data Structures
2016-02-05 Maki: on-disk memoization for (deterministic) fun and profit
2015-10-16 Tooling is Awesome
2015-08-06 OCaml Compiler Hacking: how to add a primitive
2015-03-10 Simple Refinement Types for OCaml
2014-07-24 Introduction to Automated Theorem Proving with Logtk
2014-06-11 Batch Operations on Collections
2014-05-02 Representing Lazy Values
2014-03-12 Universal Serialization and Deserialization
2013-10-05 QuickCheck for OCaml
2012-12-03 Tail-recursive map in OCaml
2012-11-30 Debugging with DOT
2012-11-29 Frist post