alt
Hacker News
hn_submit
•
today at 1:16 PM
•
0 replies
•
view on HN
TLDR: programming isn't math and therefore most programs cannot be proven correct.
alt Hacker News