A Scope Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
remark: still, the whole universe smells like totally unsuitable notation for the task
https://gallais.github.io/pdf/draft_fscd17.pdf
Post #337
168
- 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…