2Show HN: SupGen, an model-free program synthesizer by examples / dependent types (opens in new tab)(youtube.com)21LightMachine1y ago9
3Optimal context passing with HVM's "pure mutable references" (opens in new tab)(gist.github.com)1LightMachine1y ago0
4HVM3's Optimal Atomic Linker (With Polarization) (opens in new tab)(gist.github.com)2LightMachine1y ago0
5Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler (opens in new tab)(twitter.com)2LightMachine1y ago0
6Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years) (opens in new tab)(gist.github.com)2LightMachine1y ago0
