A few quick videos:
Gödel and Mandelbrot
Reply
Author Archives: Jay Jay
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.
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: