TLDR: A good chunk of dependent type benefits, w/o dependent types. Need to check which other languages play nicely with this approach
http://okmij.org/ftp/Computation/lightweight-static-guarantees.html
Post #616
231
- Oct 6, 2026https://fixupx.com/capacitanas/status/2107153559427145785?s=46
- Sep 30, 2026i started doing exactly this (models editing its own context) as a natural extension of sa…
- Sep 28, 2026cursed font factory https://bastardica.mitpit.com/
- Sep 25, 2026um, ahem, AlphaZero for text. Training language models without language. Loosely, natural…
- Sep 23, 2026umm ahem if you don't try to rein in new opus(5.5) you get one more qualitative step in ca…
- Sep 23, 2026nice https://fixupx.com/eyalsela/status/2102373749110587443?s=46