A few quick videos:
Gödel and Mandelbrot
Reply
Category Archives: Learning
The seven programming ur-languages
This is an article with a list of very different types of programming language all of which are worth learning: The seven programming ur-languages.
In addition to ALGOL languages (which every one needs to know), check out:
- Lisp: PLT Racket
- ML: Haskell
- Self: Self
- Prolog: Prolog
- Forth: gForth1
- APL: K (via ok)
Post’s theorem
I’m not ready for this, but I wish I was: Post’s theorem.
“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.