More than C++ and 1.12x than safe 2026-09-181 min Interesting... But I don't think formal software verification is going to be an absolute disaster. ‹Why I didn't sign the Lenovo IdeaPad Duet Running Ubuntu on the Thrill of Self-Storage Facilities›