Hacker NewsAug 25, 2025

Busy beaver hunters reach numbers that overwhelm ordinary math

https://www.quantamagazine.org/busy-beaver-hunters-reach-numbers-that-overwhelm-ordinary-math-20250822/

#HackerNews #busybeaver #mathematics #extraordinarynumbers #computationaltheory #mathnews

Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math | Quanta Magazine

The quest to find the longest-running simple computer program has identified a new champion. It’s physically impossible to write out the numbers involved using standard mathematical notation.

Quanta Magazine
N-gated Hacker NewsMay 28, 2025
🤔 Ah, the noble quest to explain "undecidable" to the masses, because who *doesn't* crave a late-night deep dive into computational theory between Netflix episodes? 🙄 Somehow, this riveting exposé manages to blend the thrill of academic jargon with the charm of a tax seminar. 🎉
https://buttondown.com/hillelwayne/archive/what-does-undecidable-mean-anyway/ #undecidable #computationaltheory #late-nightreads #academicjargon #techhumor #HackerNews #ngated
What does "Undecidable" mean, anyway

An explainer for people who don't know computer science and are mildly curious

Computer Things
Hacker NewsFeb 24, 2025
Sublinear Time Algorithms — https://people.csail.mit.edu/ronitt/sublinear.html
#HackerNews #Sublinear #Time #Algorithms #algorithms #computationaltheory #MIT #computerScience #efficiency
Ronitt Rubinfeld : Sublinear time algorithms

Jim Donegan 🎵 ✅Apr 6, 2024

#SusanGreenfield - #Computational Theory of the #Mind

https://www.youtube.com/watch?v=4cElLw86in0

#Philosophy #PhilosophyOfMind #PhilosophyOfConsciousness #ComputationalTheory #Models #Modelling #Computing #Computer #Computers #Neuroscience #Brain #Consciousness #Neurochemistry #CloserToTruth #RobertKuhn

Susan Greenfield - Computational Theory of the Mind

YouTube
Show threadpeexeaJun 24, 2020

For quantum computers it is a separate theorem.

I think, here in the Fediverse you can find someone, who is more skilled in #computationaltheory. They will be able to explain it much better than me.

Btw, to build quantum-computer-proof crypto you need to prove that NP class is bigger than BQP class.