28 ms·
Expect a blog post within four hours "Rust has solved the halting problem!"...
by 102910201 10y ago
Expect a blog post within four hours "Rust has solved the halting problem!"...
- prodigal_erik 10y agoEven when you can't prove what arbitrary code does, proving what well-written code does is useful, and not writing unprovable code would be a small price to pay.