Curriculum

Math + CS curriculum progress update 🚀🚀🚀

(Apologies that I’m not able to share more. It’s private for now! Imagine a mad scientist working in a cave… 👨‍🔬🕯️🦇🌑)

Work started January 2023. Expected finish 2033-2038, or when I 💀⚰️🪦

Year 1 (2023): Very productive!

First few years of “producing a lot of useful by-products.”

• Wrote a complete roadmap. I know exactly what I’m doing!

• Gathered a ton of materials, books, notes, bookmarks, videos that will take me years to distill into the perfect mixture.

• Finished solutions to Epp’s Discrete Math book which will form the backbone of the curriculum. (56K+ lines of LaTeX code, over 1000 pages of PDF when rendered.)

• Wrote a ton of code: 613 files, 260K+ lines of code. Roughly corresponds to Intro CS + Core Programming. Even contributed to open source a bit.

• Came up with Abstract thinking which will play a big role as another backbone. Highly experimental! 🧪

Year 2 (2024): I’m constantly coming up with new awesome ideas!

Videos on this channel are exactly what I was thinking about…

• Studying a lot of low-level stuff.
• C with K.N. King’s book and
• Rust with Rust Foundation book.

Useful byproducts continue:

• More low-level with Modern Systems Programming.
• and progress on Abstract thinking
• solving Advent of Code

• and thinking about how to teach the subtleties of problem solving.

• October 2024: work started on Tarski’s world. Turns out parsing first-order logic is hard! 😆
• Started learning Lean for coding proofs.

Year 3 (2025):

• Jan - Mar 2025: More formalizing mathematics in Lean4, so progress will be slower.
• April 2025:
  • Done with Lean for now. (It’s highly unsuitable for the curriculum!)
  • Teaching GPU programming is difficult; so I started contributing to a GPU library.
    • I want to make a beginner-friendly GPU course based on it.
• May - August 2025: I will be doing Google Summer of Code to contribute to the GPU library.