I had no idea what this was talking about and followed links to a blog post that explained the first one ("Bigfoot"): https://www.sligocki.com/2023/10/16/bb-3-3-is-hard.html

This blog post made the "cryptids" make a lot more sense to me, so I thought I'd share that post here in case others were also wondering "what the **"

▲

JKCalhoun 4 hours ago | parent | next [-]

Scientific American, August 1984, "Computer Recreations" (p. 19) is where I first heard about busy beavers and Turing machines.

▲

867-5309 12 hours ago | parent | prev | next [-]

came to comments after tfa didn't explain anything, saw your comment and thought whew, clicked the link and now I'm even more confused

	▲	grimgrin 11 hours ago \| parent [-]
		this is a cool link, not an ELI5, but https://nickdrozd.github.io/2020/10/04/turing-machine-notati...

▲

djmips 10 hours ago | parent | prev [-]

Well I did learn about a new word "probviously" - very cool.