Tweet by ianlivingstone

July 18, 2026

Loops are inevitable - software is verifiable it’s why we have so much progress in this area. https://t.co/LkmjAsV5RF