HN
New
Show
Ask
Jobs
Built with Astro + Solid
The future of software isn't tests. It's proofs
(github.com)
9 points | by
Nolan_Lwin
9 hours ago ago
1 comments
$eimrine
9 hours ago
Is it possible for Lisp at least in theory?
Is it possible for Lisp at least in theory?