Linking pages
- A Busy Beaver Champion Program Derived from Scratch | Something Something Programming https://nickdrozd.github.io/2021/10/31/busy-beaver-derived.html 33 comments
- Another New Record in Self-Cleaning Turing Machines | Something Something Programming https://nickdrozd.github.io/2022/01/10/another-self-cleaning-turing-machine.html 8 comments
- A Solution to the Halting Problem | Something Something Programming https://nickdrozd.github.io/2022/05/05/halting-problem-solution.html 1 comment
- A Mathematical Fact from a Busy Beaver | Something Something Programming https://nickdrozd.github.io/2021/04/12/math-fact-busy-beaver.html 0 comments
- The Spaghetti Code Conjecture | Something Something Programming https://nickdrozd.github.io/2021/01/26/spaghetti-code-conjecture.html 0 comments
- Lin Recurrence and Lin’s Algorithm | Something Something Programming https://nickdrozd.github.io/2021/02/24/lin-recurrence-and-lins-algorithm.html 0 comments
- Blanking Beavers | Something Something Programming https://nickdrozd.github.io/2021/02/14/blanking-beavers.html 0 comments
- Latest Beeping Busy Beaver Results | Something Something Programming https://nickdrozd.github.io/2022/02/11/latest-beeping-busy-beaver-results.html 0 comments
- Brady’s Algorithm for Program Generation | Something Something Programming https://nickdrozd.github.io/2022/01/14/bradys-algorithm.html 0 comments
Linked pages
- Succinctness is Power http://www.paulgraham.com/power.html 24 comments
- Turing Machine Notation and Normal Form | Something Something Programming https://nickdrozd.github.io/2020/10/04/turing-machine-notation-and-normal-form.html 3 comments
- Are Turing Machines Programmable? | Something Something Programming https://nickdrozd.github.io/2020/09/14/programmable-turing-machine.html 0 comments
- The Lin-Rado Busy Beaver Proof | Something Something Programming https://nickdrozd.github.io/2020/12/15/lin-rado-proof.html 0 comments
- Beeping Busy Beavers | Something Something Programming https://nickdrozd.github.io/2020/08/13/beeping-busy-beavers.html 0 comments
- Is the Busy Beaver Sequence Well-Defined? | Something Something Programming https://nickdrozd.github.io/2020/10/15/busy-beaver-well-defined.html 0 comments
Related searches:
Search whole site: site:nickdrozd.github.io
Search title: Halt, Quasihalt, Recur | Something Something Programming
See how to search.