Computer science2015 · shared on Hacker News
The Limits of Correctness in Computers (1985) [pdf]
Research PDF · needs verificationExplore The Limits of Correctness in Computers (1985) [pdf], its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Ylainon ·
Ask HN: What is your favorite CS paper?
793 points257 comments
Ymathgenius ·
Artificial Intelligence Hits the Barrier of Meaning
213 points148 comments
Yhiq ·
TLA+ in Practice and Theory, Part 4: Order in TLA+
143 points11 comments
Ymatt_d ·
Why code that never goes wrong can still be wrong
134 points55 comments
Ybpierre ·
Why Smart Contracts Fail: Undiscovered bugs and what we can do about them
41 points17 comments
Yprostoalex ·
Learned helplessness and the languages of DAO
22 points20 comments
Yvestingz ·
The Limits of Correctness in Computers (1985) [pdf]
15 points1 comments
Ydecisiveness ·
The Limits of Correctness (1985) [pdf]
14 points3 comments
Yjjuhl ·
The Limits of Correctness [pdf]
2 points0 comments
Ydecisiveness ·
The Limits of Correctness (1985) [pdf]
1 points0 comments