nealcnotes
Posts
Buy Zines
Categories
All
(1)
lean
(1)
lessons
(1)
python
(1)
nealcnotes
Notes and lessons on math, programming, and checking what the machine hands you.
Lesson 1: Talking to the computer in words
Set up, add up, prove it
lessons
python
lean
An AI can install software, add up numbers and write proofs faster than either of us ever will. So why learn any of it?
Oct 31, 2026
No matching items