Hacker News
- Halting Problem == Russell’s Paradox? https://blog.kevmod.com/2022/10/15/halting-problem-russells-paradox/ 2 comments
- How Dr. Seuss would prove the halting problem undecidable (2008) http://ebiquity.umbc.edu/blogger/2008/01/19/how-dr-suess-would-prove-the-halting-problem-undecidable/ 8 comments
- A Slightly Different Halting Problem https://davidwyde.com/thoughts/halting/ 15 comments compsci
- Question about the Halting Problem https://www.reddit.com/r/compsci/comments/kvm21q/question_about_the_halting_problem/ 3 comments compsci
- We show a problem is undecdiable by reducing the halting problem to it. Can we show that a theorem is unprovable by "reducing" a Gödel sentence to it? https://www.reddit.com/r/math/comments/a3q4f6/we_show_a_problem_is_undecdiable_by_reducing_the/ 10 comments math
- Vandoorne explains exhaust problem which halted McLaren https://www.racefans.net/2018/02/27/vandoorne-explains-exhaust-problem-halted-mclaren/ 24 comments formula1
- Is there an effective theory which "solves" the halting problem? https://math.stackexchange.com/q/2375902/49592 11 comments math
- Why, really, is the Halting Problem so important? http://cs.stackexchange.com/questions/32845/why-really-is-the-halting-problem-so-important/32853#32853 11 comments programming
- Question about the halting problem https://www.reddit.com/r/math/comments/5jb6n0/question_about_the_halting_problem/ 12 comments math
- Basic halting problem approach questions https://www.reddit.com/r/learnprogramming/comments/5j288y/basic_halting_problem_approach_questions/ 4 comments learnprogramming
- [Beginner] Why is halting problem unsolvable by a machine? https://www.reddit.com/r/learnprogramming/comments/4hx6u3/beginner_why_is_halting_problem_unsolvable_by_a/ 19 comments learnprogramming
- Solve the halting problem for $1000 http://blog.willbenton.com/2008/11/rent-a-coder-hilarity/ 59 comments compsci
- My Favorite Fact: The Halting Problem http://www.solipsistslog.com/halting-problem/ 41 comments compsci
- A Dr. Seussian Proof of the Halting Problem http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html 20 comments compsci
- Problems with Transparency: EU eyes a halt to SWIFT data sharing with US http://www.spiegel.de/international/europe/0,1518,751262,00.html 5 comments worldnews
- Is smaller version of the Halting problem solvable? http://en.wikipedia.org/wiki/Halting_problem 11 comments compsci
- A concise and easy to read explanation of the Halting Problem. http://www.cgl.uwaterloo.ca/~csk/halt/ 130 comments programming
- Interview with Dr. Byron Cook: halting problem and F# http://www.simple-talk.com/opinion/geek-of-the-week/dr-byron-cook-geek-of-the-week/?utm_source=simpletalk&utm_medium=email-main&utm_content=byrongotw-20101116&utm_campaign=opinion 7 comments programming
- How Dr. Seuss would prove the halting problem undecidable http://ebiquity.umbc.edu/blogger/2008/01/19/how-dr-suess-would-prove-the-halting-problem-undecidable/ 7 comments compsci
- A Simple Introduction to the Halting Problem http://www.cgl.uwaterloo.ca/~csk/halt/ 3 comments math
- The Halting Problem to be solved soon http://www.getacoder.com/projects/detect_loop_106243.html 152 comments programming
- Dr. Seuss's proof of the undecidability of the halting problem. http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html 44 comments programming
- Scooping the Loop Snooper: Being A Proof That Halting Problem Is Undecidable, in Verse. http://ling.ed.ac.uk/~gpullum/loopsnoop.html 3 comments programming
- Despite DeJoy's vows to halt changes, serious problems persist, postal workers say https://www.nbcnews.com/politics/2020-election/despite-dejoy-s-vows-halt-changes-serious-problems-persist-postal-n1238666 4 comments politics
- Intel halts some chip patches as the fixes cause problems https://www.cnet.com/news/intel-stops-some-chip-patches-unexpected-reboot-meltdown-spectre/ 6 comments technology
- Samsung halts the sale of Note 7 over battery problem - BBC News http://www.bbc.co.uk/news/business-37253742 5 comments technology
- What happens when you outsource the halting problem? http://blog.willbenton.com/2008/11/rent-a-coder-hilarity/ 114 comments programming
- Scooping the Loop Snooper: A proof that the Halting Problem is undecidable, by Geoffrey K. Pullum http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html 4 comments philosophy
- Is there any concrete relation between Gödel's incompleteness theorem, the halting problem and universal Turing machines? http://cs.stackexchange.com/q/419/773 3 comments compsci
- Production of tanks halts in Russia due to financial problems and lack of imported components – intel reports https://www.ukrinform.net/rubric-ato/3458568-production-of-tanks-halts-in-russia-intel-reports.html 234 comments worldnews
- Exports of an Indian COVID-19 vaccine halted after WHO finds problems at manufacturing plant. https://www.science.org/content/article/exports-indian-covid-19-vaccine-halted-after-who-finds-problems-manufacturing-plant 6 comments india
- Does the halting problem mean we can never build a computer comparable to the human brain? http://www.amazon.com/Five-Golden-Rules-20th-Century-Mathematics--/dp/0471002615/ref=sr_1_1?ie=UTF8&qid=1379411277&sr=8-1&keywords=five+golden+rules 14 comments askscience
- Toyota halts sales and manufacturing of the bulk of its cars in wake of recall. Problems could seriously hurt the reputation of the rest of Japan’s manufacturing sector. http://www.nytimes.com/2010/01/28/business/28tokyo.html 3 comments reddit.com
- France's economy unexpectedly grinds to a halt in first quarter. Rising inflation, the energy crisis, the Omicron covid wave and supply chain problems all played a part in the economy's stagnation in the first quarter https://www.euronews.com/2022/04/29/france-s-economy-unexpectedly-grinds-to-a-halt-in-first-quarter 48 comments economics
- The class of problems that can be verified through interactions with entangled quantum provers is exactly equal to the class of problems that are no harder than the halting problem; this also solves both Tsirelson’s problem (Physics) and the Connes embedding conjecture (Math) https://www.quantamagazine.org/landmark-computer-science-proof-cascades-through-physics-and-math-20200304/ 3 comments science
- Lupron, used to halt puberty in children, may cause lasting health problems https://www.statnews.com/2017/02/02/lupron-puberty-children-health-problems/ 4 comments worldnews
- Former Bush NHTSA Regulators Hired by Toyota Helped Halt Investigations into Problems http://news.yahoo.com/s/bloomberg/ambs8icm3pyy 6 comments politics
- Boeing will temporarily halt production of its troubled 737 Max airliner in January. More than 300 people died when two 737 Max aircraft crashed in Indonesia and Ethiopia after reported problems with a new feature. https://www.bbc.co.uk/news/amp/business-50817124 11 comments worldnews
- Had discussion about theoretical computation and hoping for a resolution: is it necessary to have a "hyper-hyper turing machine" to solve the halting problem for a hyper-turing machine? http://www.reddit.com/r/learnprogramming/comments/12gv76/10_steps_to_becoming_a_better_programmer/c6v6ih8 7 comments math
- London Stock Exchange resumes trading after four-hour technical glitch. Investors were left in limbo for four hours on Friday as the London Stock Exchange halted trading due to an as-yet unknown problem with its new Millennium Exchange trading system. http://www.telegraph.co.uk/finance/markets/8347595/london-stock-exchange-resumes-trading-after-four-hour-technical-glitch.html 9 comments linux