Get Zlio on your home screen
One tap, full screen, like an app.
A new startup called &Truth is building automated formal verification, using math to prove software works as intended, aiming to make AI-written or vibe-coded programs trustworthy.