Growing a protocol
Practical notes on evolution of formally verified systems. Making them, well, more practical :)
https://www.usenix.org/conference/hotcloud17/program/presentation/ramasubramanian
Post #427
180
- 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…