GoKawiil
Tech News
← Back to articles
Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
2026-01-14 |
original
read original
related products
more articles
Comments
Related:
Launch HN: Indy (YC S21) – A support app designed for ADHD brains
Show HN: Aventos – An experiment in cheap AI SEO
Briar keeps Iran connected via Bluetooth and Wi-Fi when the internet goes dark
Show HN: Munimet.ro – ML-based status page for the local subways in SF
GitHub Incident