A few quick videos:
Gödel and Mandelbrot
Reply
Daily Archives: 2023-05-04 [Thursday]
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.