| | Latest Beeping Busy Beaver Results (nickdrozd.github.io) |
| 1 point by nickdrozd on Feb 11, 2022 | past |
|
| | A better Turing machine tape model (nickdrozd.github.io) |
| 23 points by nickdrozd on Jan 31, 2022 | past | 16 comments |
|
| | Brady's Algorithm for Program Generation (nickdrozd.github.io) |
| 2 points by nickdrozd on Jan 15, 2022 | past |
|
| | Another new record in self-cleaning Turing machines (nickdrozd.github.io) |
| 90 points by nickdrozd on Jan 11, 2022 | past | 8 comments |
|
| | A Christmas Tautology (2020) (nickdrozd.github.io) |
| 1 point by nickdrozd on Dec 20, 2021 | past |
|
| | A History of Busy Beaver Hardware (nickdrozd.github.io) |
| 2 points by nickdrozd on Dec 8, 2021 | past |
|
| | A Busy Beaver champion derived from scratch (nickdrozd.github.io) |
| 99 points by nickdrozd on Nov 17, 2021 | past | 33 comments |
|
| | Binary Relations in Idris (nickdrozd.github.io) |
| 1 point by nickdrozd on Nov 17, 2021 | past |
|
| | A Busy Beaver champion derived from scratch (nickdrozd.github.io) |
| 1 point by nickdrozd on Oct 31, 2021 | past |
|
| | Maybe the spaghetti code conjecture is false (nickdrozd.github.io) |
| 111 points by nickdrozd on Sept 25, 2021 | past | 47 comments |
|
| | A New Record in Self-Cleaning Turing Machines (nickdrozd.github.io) |
| 1 point by lnyan on Sept 13, 2021 | past |
|
| | The Story of XEmacs (2019) (nickdrozd.github.io) |
| 48 points by ossusermivami on Sept 9, 2021 | past | 8 comments |
|
| | New Ways to Be Told That Your Python Code Is Bad (nickdrozd.github.io) |
| 102 points by nickdrozd on Sept 2, 2021 | past | 249 comments |
|
| | A New Record in Self-Cleaning Turing Machines (nickdrozd.github.io) |
| 1 point by nickdrozd on July 12, 2021 | past |
|
| | Structured Programming for Busy Beavers (nickdrozd.github.io) |
| 1 point by nickdrozd on April 21, 2021 | past |
|
| | A Mathematical Fact from a Busy Beaver (nickdrozd.github.io) |
| 2 points by nickdrozd on April 12, 2021 | past |
|
| | Emacs Lisp Challenge: flaky-if (nickdrozd.github.io) |
| 1 point by signa11 on April 1, 2021 | past |
|
| | Signed Char Lotte (nickdrozd.github.io) |
| 677 points by signa11 on March 31, 2021 | past | 79 comments |
|
| | Signed Char Lotte (nickdrozd.github.io) |
| 3 points by nickdrozd on March 30, 2021 | past |
|
| | Lin Recurrence and Lin's Algorithm (nickdrozd.github.io) |
| 1 point by nickdrozd on Feb 24, 2021 | past |
|
| | Blanking Beavers (nickdrozd.github.io) |
| 2 points by nickdrozd on Feb 15, 2021 | past |
|
| | The Spaghetti Code Conjecture (nickdrozd.github.io) |
| 3 points by nickdrozd on Jan 26, 2021 | past |
|
| | Halt, Quasihalt, Recur (nickdrozd.github.io) |
| 2 points by nickdrozd on Jan 15, 2021 | past |
|
| | The Lin-Rado Busy Beaver Proof (nickdrozd.github.io) |
| 1 point by nickdrozd on Dec 15, 2020 | past |
|
| | A Christmas Tautology (nickdrozd.github.io) |
| 2 points by nickdrozd on Dec 13, 2020 | past |
|
| | Is the Busy Beaver Sequence Well-Defined? (nickdrozd.github.io) |
| 2 points by nickdrozd on Oct 15, 2020 | past |
|
| | Are Turing Machines Programmable? (nickdrozd.github.io) |
| 3 points by tosh on Oct 12, 2020 | past |
|
| | The Afterlife Behavior of Quasihalting Turing Machines (nickdrozd.github.io) |
| 1 point by nickdrozd on Oct 8, 2020 | past |
|
| | Turing Machine Notation and Normal Form (nickdrozd.github.io) |
| 28 points by nickdrozd on Oct 4, 2020 | past | 3 comments |
|
| | Are Turing Machines Programmable? (nickdrozd.github.io) |
| 1 point by nickdrozd on Sept 15, 2020 | past |
|
|
| More |
