Working Through 012: Book of Proof (en route to The Art Of Computer Programming)
In which our hero proves. --- I'm working through Donald Knuth's The Art of Computer Programming, in full, including accessories and prerequisites, all on stream. It may take me a long time. (This is one of the prerequisites — the Book of Proof by Richard Hammack https://richardhammack.github.io/Book... ) If you want to follow along and have the resources, I recommend you buy the books yourself! You can find volume 1 here: https://www.informit.com/store/art-of...
▶︎
Working Through 011: Book of Proof (en route to The Art Of Computer Programming)
▶︎
Working Through 010: Book of Proof (en route to The Art Of Computer Programming)
▶︎
Terence Tao: Nobody Understands Why AI Actually Works
▶︎
This is how quantum mechanics is illustrated in physics textbooks
▶︎
I Think They Are Lying To You
▶︎
Co-Creator of Haskell: Why Learn Functional Programming, Useless vs Useful Languages | Simon Jones
▶︎
Why Aliens Would NEVER Invade Africa
▶︎
Reinventing Entropy | Compression is Intelligence Part 1
▶︎
Zig 2026: No-AI Policy, $670K Foundation, Left GitHub & Why Zig Isn’t 1.0 - Andrew Kelley Explains
▶︎
Why AI Can Never Escape Turing's 1936 Proof
▶︎
The Strangest Things that Correlate with IQ
▶︎
Salesforce Thought They Were Microsoft...Got A Harsh Reality Check
▶︎
I Made Opus 4.8 and Fable 5 Build the Same App (RAW RESULTS)
▶︎
The Story of C++: The World's Most Consequential Programming Language | The Official Story
▶︎
Samsung's 990 Pro SSD warranty policy is a scam; I'm taking them to court.
▶︎
I Found Hidden Wires… Then the CTO Emailed Me.
▶︎
How I made a 60fps Eink Monitor, the Modos Flow
▶︎
Why The Smartest People I Know Set Constraints, Not Goals
▶︎
Astonishing discovery by computer scientist: how to squeeze space into time
▶︎