Abstracting Abstract Machines (CEK/Krivine Nets/CESK/...)
http://www.ccs.neu.edu/home/dvanhorn/pubs/vanhorn-might-icfp10.pdf
Post #261
136
- Oct 8, 2026https://amitzalcher.github.io/Brain-IT/ Brain-IT: Image Reconstruction from fMRI via Brain…
- 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…