Hacker News
- With fifth busy beaver, researchers approach computation's limits https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702/ 137 comments
- Amateur Mathematicians Find Fifth 'Busy Beaver' Turing Machine to Attack Halting Problem https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702/ 13 comments computerscience
- Amateur Mathematicians Find Fifth ‘Busy Beaver’ Turing Machine | Quanta Magazine https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702/ 3 comments computerscience
- Amateur Mathematicians Find Fifth ‘Busy Beaver’ Turing Machine | Quanta Magazine - Ben Brubaker - Computability | After decades of uncertainty, a motley team of programmers has proved precisely how complicated simple computer programs can get https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702/ 136 comments math
Linking pages
- [July 2nd 2024] We have proved "BB(5) = 47,176,870" - News - The Busy Beaver Challenge https://discuss.bbchallenge.org/t/july-2nd-2024-we-have-proved-bb-5-47-176-870/237 20 comments
- BB(6) is Hard (Antihydra) | sligocki https://www.sligocki.com/2024/07/06/bb-6-2-is-hard.html 12 comments
- GitHub - CarlKCarlK/busy_beaver_blaze https://github.com/CarlKCarlK/busy_beaver_blaze 10 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:www.quantamagazine.org
Search title: Quanta Magazine
See how to search.