Submissions by nickdrozd

Machete-Mode Debugging

Collatz Counterexamples

How typical is the Solar System?

Busy Beaver vs. Graham's Number

Hyper Scientific Notation for Unspeakably Large Numbers

Latest Busy Beaver champion has too many digits to count

Formal Proof Challenge: The Half-Collatz Theorem

Interactive SQL tutorial based on death row data

What Happens If the Moon Crashes into Earth?

New 6-State Busy Beaver Champion Discovered

A Solution to the Halting Problem

Does This Function Terminate?

Performance Hot Spots

Collatz Arithmetic

“Mother of Giants” Turing Machine

Total functions and partial functions

Accessible independence results for Peano Arithmetic (1982) [pdf]

Godel's 2nd Incompleteness Theorem Explained in Words of One Syllable [pdf]

A Formal Theory of Spaghetti Code

Latest Beeping Busy Beaver Results

A better Turing machine tape model

Brady's Algorithm for Program Generation

Another new record in self-cleaning Turing machines

A Christmas Tautology (2020)