Ask HN: Can the same individual accomplish more with programming than proofs?
16 by amichail | 20 comments on Hacker News.
Programming is a kind of fuzzy proof where details are worked out using debugging. The resulting program may not be perfect but it can be good enough. Explicit proofs (e.g., in math and CS) are more precise but longer, harder to check, and harder to debug. And a missed detail or small mistake can render the entire proof wrong and unfixable. So it seems that the same individual could accomplish more in life with programming than proofs.
Subscribe to:
Post Comments (Atom)
-
Robinhood Is Set to Raise at Least $200 Million in New Funding 139 by jason_zig | 150 comments on Hacker News.
-
ZombieLoad: Cross Privilege-Boundary Data Leakage on Intel CPUs 656 by Titanous | 250 comments on Hacker News.
No comments:
Post a Comment