Hacker News
- How do we know The Halting Problem isn't only impossible to implement for itself? https://en.wikipedia.org/wiki/Halting_problem 78 comments compsci
- Does the Halting Problem rely on an implied finite computing power? https://en.wikipedia.org/wiki/halting_problem#oracle_machines 8 comments math
- Just how unsolvable is the Halting Problem? Where are the limits? https://en.wikipedia.org/wiki/Halting_problem 12 comments askscience
- What would change about computing if we could definitively tell whether or not a program terminates? http://en.wikipedia.org/wiki/Halting_problem 20 comments askscience
- Is smaller version of the Halting problem solvable? http://en.wikipedia.org/wiki/Halting_problem 11 comments compsci
Linking pages
- Researchers Say It'll Be Impossible to Control a Super-Intelligent AI : ScienceAlert https://www.sciencealert.com/researchers-say-itll-be-impossible-to-control-a-super-intelligent-ai 1536 comments
- Calculations Suggest It'll Be Impossible to Control a Super-Intelligent AI : ScienceAlert https://www.sciencealert.com/calculations-suggest-it-ll-be-impossible-to-control-a-super-intelligent-ai 496 comments
- Calculations Show It'll Be Impossible to Control a Super-Intelligent AI : ScienceAlert https://www.sciencealert.com/calculations-show-it-d-be-impossible-to-control-a-rogue-super-smart-ai 435 comments
- Your configs suck? Try a real programming language. | beepb00p https://beepb00p.xyz/configs-suck.html 425 comments
- Rust's Type System is Turing-Complete – Recursive Descent into Madness – A countable set of sanities and insanities, by Shea Leffler. https://sdleffler.github.io/RustTypeSystemTuringComplete/ 294 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- Why deadlines are pointless and what to do instead https://lucasfcosta.com/2022/09/15/deadlines.html 198 comments
- GPT-3 can run code - by maytee.eth - mayt writes https://mayt.substack.com/p/gpt-3-can-run-code 154 comments
- Learn You an Agda - William DeMeo http://williamdemeo.github.io/2014/02/27/learn-you-an-agda/ 151 comments
- In Praise of Function Pre and Postconditions | Programming Zen http://programmingzen.com/2016/07/03/in-praise-of-function-pre-and-postconditions/ 138 comments
- It’s Not Intelligent If It Always Halts: A Critical Perspective on Current Approaches to AGI - Life Is Computation https://www.lifeiscomputation.com/it-is-not-intelligent-if-it-always-halts/ 126 comments
- DNA seen through the eyes of a coder (or, If you are a hammer, everything looks like a nail) - Bert Hubert's writings https://berthub.eu/articles/posts/amazing-dna/ 122 comments
- The Selfish Meme Simulation Theory of Everything | Medium https://muellerberndt.medium.com/memetic-natural-selection-how-memes-create-all-of-reality-8be4722b6a2 118 comments
- Seemingly Impossible Swift Programs https://www.fewbutripe.com/2018/12/05/seemingly-impossible.html 108 comments
- Kolmogorov Complexity And Compression Distance https://smunshi.net/kolmogorov-complexity-and-compression-distance.html 99 comments
- Weakening Cycles So That Turing Can Halt http://pling.jondgoodwin.com/post/weakening-cycles/ 68 comments
- 40 Key Computer Science Concepts Explained In Layman’s Terms http://carlcheo.com/compsci 57 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- Gödel, Turing and Cantor: The Math – The Vault of the Future http://skibinsky.com/godel-turing-and-cantor-the-math/ 42 comments
- Gödel Incompleteness For Startups – The Vault of the Future https://skibinsky.com/godel-incompleteness-for-startups/ 38 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Halting problem - Wikipedia
See how to search.