Top New Best Ask Show Jobs

nickdrozd

1,056 karma · joined June 7, 2018

nickdrozd.github.io

submissions comments

Meta executive orders employees to love VR product

defector.com·12 pts·nickdrozd·

Machete-Mode Debugging

nedbatchelder.com·2 pts·nickdrozd·

Collatz Counterexamples

nickdrozd.github.io·2 pts·nickdrozd·

How typical is the Solar System?

nickdrozd.github.io·4 pts·nickdrozd·

Busy Beaver vs. Graham's Number

sligocki.com·3 pts·nickdrozd·

Hyper Scientific Notation for Unspeakably Large Numbers

sligocki.com·4 pts·nickdrozd·

Latest Busy Beaver champion has too many digits to count

sligocki.com·86 pts·nickdrozd·

Formal Proof Challenge: The Half-Collatz Theorem

nickdrozd.github.io·3 pts·nickdrozd·

Interactive SQL tutorial based on death row data

selectstarsql.com·2 pts·nickdrozd·

What Happens If the Moon Crashes into Earth?

youtube.com·1 pts·nickdrozd·

New 6-State Busy Beaver Champion Discovered

sligocki.com·2 pts·nickdrozd·

A Solution to the Halting Problem

nickdrozd.github.io·1 pts·nickdrozd·

Does This Function Terminate?

nickdrozd.github.io·1 pts·nickdrozd·

Performance Hot Spots

nickdrozd.github.io·3 pts·nickdrozd·

Collatz Arithmetic

nickdrozd.github.io·1 pts·nickdrozd·

“Mother of Giants” Turing Machine

sligocki.com·2 pts·nickdrozd·

Total functions and partial functions

nickdrozd.github.io·1 pts·nickdrozd·

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

cs.tau.ac.il·1 pts·nickdrozd·

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

languagelog.ldc.upenn.edu·1 pts·nickdrozd·

A Formal Theory of Spaghetti Code

nickdrozd.github.io·99 pts·nickdrozd·

Latest Beeping Busy Beaver Results

nickdrozd.github.io·1 pts·nickdrozd·

A better Turing machine tape model

nickdrozd.github.io·23 pts·nickdrozd·

Brady's Algorithm for Program Generation

nickdrozd.github.io·2 pts·nickdrozd·

Another new record in self-cleaning Turing machines

nickdrozd.github.io·90 pts·nickdrozd·

A Christmas Tautology (2020)

nickdrozd.github.io·1 pts·nickdrozd·

A History of Busy Beaver Hardware

nickdrozd.github.io·2 pts·nickdrozd·

Macro Turing Machines

turbotm.de·3 pts·nickdrozd·

EmacsConf 2021 Videos

emacsconf.org·2 pts·nickdrozd·

A Busy Beaver champion derived from scratch

nickdrozd.github.io·99 pts·nickdrozd·

Binary Relations in Idris

nickdrozd.github.io·1 pts·nickdrozd·

← PreviousPage 2 of 4Next →