The future of software isn't tests. It's proofs

8 points | by Nolan_Lwin 3 hours ago

1 comments

  • eimrine 2 hours ago

    Is it possible for Lisp at least in theory?