The future of software isn't tests. It's proofs
8 points by Nolan_Lwin 3 hours ago | 1 comments
  • eimrine 3 hours ago |
    Is it possible for Lisp at least in theory?