Show HN: SupGen, an model-free program synthesizer by examples / dependent typesyoutube.com·21 pts·LightMachine·9
Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compilertwitter.com·2 pts·LightMachine·0
Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVMgist.github.com·3 pts·LightMachine·0
SAT can be solved surprisingly quickly via superposed bools on Interaction Netsgist.github.com·6 pts·LightMachine·1
We can solve 3-SAT "quickly" via superposed booleans on interaction netstwitter.com·1 pts·LightMachine·0
HVM updates: simplifications, finally runs on GPUs, 80x speedup on RTX 4090twitter.com·91 pts·LightMachine·29
A Lock-Free Interaction Combinator Evaluator to Fix LoL' Client Performancetwitter.com·2 pts·LightMachine·0
Implementing complex numbers and FFT with just algebraic datatypes (no floats)gist.github.com·8 pts·LightMachine·0
/r/cryptocurrency mods shadow-banned me for posting Kindelia's whitepaperold.reddit.com·10 pts·LightMachine·8
Show HN: High-order Virtual Machine (HVM) – A Parallel Functional Runtimegithub.com·150 pts·LightMachine·13
FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScriptgithub.com·2 pts·LightMachine·0