2Show HN: SupGen, an model-free program synthesizer by examples / dependent types (opens in new tab)(youtube.com)Video21LightMachine1y ago9Save
3Optimal context passing with HVM's "pure mutable references" (opens in new tab)(gist.github.com)GitHub1LightMachine1y ago0Save
4HVM3's Optimal Atomic Linker (With Polarization) (opens in new tab)(gist.github.com)GitHub2LightMachine1y ago0Save
5Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler (opens in new tab)(twitter.com)2LightMachine1y ago0Save
6Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years) (opens in new tab)(gist.github.com)GitHub2LightMachine1y ago0Save
7Bend: a high-level language that runs on GPUs (via HVM2) (opens in new tab)(github.com)GitHub1041LightMachine2y ago253Save
