I’m not ready for this, but I wish I was: Post’s theorem.
Post’s theorem
Reply
Category Archives: Chatter
“Categories for the Working Hacker” by Philip Wadler
An intro to category theory: “Categories for the Working Hacker” by Philip Wadler.
Free will
I forget why I ran this search, but it turned up some interesting results:
Let Over Lambda
I am not yet ready for Let Over Lambda, but one day I will be.
Oberon
I read about the Oberon programming language today.
TI MSP430
Reading about the TI MSP430 microcontroller. A pretty nifty looking device. It is referenced in Zen and the Forth Language: EFORTH for the MSP430 from Texas Instruments.
Bluesky’s user safety situation
Some interesting discussion about content moderation and user safety: Bluesky’s user safety situation.
Math binge
Some fun math videos:
- How To Count Past Infinity
- The Banach–Tarski Paradox
- Numberphile v. Math: the truth about 1+2+3+…=-1/12
And some fun math articles:
Quantum mechanics: How the future might influence the past
Boltzmann brain
This is great: Boltzmann brain. The idea is roughly that maybe it’s more likely that your brain (or this entire galaxy) just randomly coalesced rather than evolved from the big bang as we believe it did.