I’m not ready for this, but I wish I was: Post’s theorem.
Post’s theorem
Reply
Category Archives: Learning
“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.
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.
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.
Forth
I’m reading Discover FORTH: Learning and Programming the FORTH Language and I have a growing interest in the programming language Forth. Here are a few resources:
And some other books on Forth:
And there are a heap of Forth books by Juergen Pintaske.
Rules of Thumb for Software Development Estimations
Looks like an interesting article, but I only read the comic and the tl;dr bullet points: Rules of Thumb for Software Development Estimations.
The illusion of free will
I have conjured a rabbit hole for myself: we fall into the illusion of free will.