It soon became clear that the unconscious instincts for logic and language which had enabled me to succeed were not shared by the large majority of my students. - Susanna Epp (author of Discrete Mathematics with Applications, 5th edition)

Bjarne Stroustrup on the importance of Mathematics and Computer Science fundamentals

💻 I contributed a lot to Futurecoder and OSSU CS, so check them out!

🧠 Check out my Elements of Abstract Thinking

💬 Ask me about: math or code questions!

📫 How to reach me: spamegg1 on Discord, or on Slack, or on Matrix

⚡ Fun fact: I review online courses.

🔭 I’m currently working on: my own combined Math + CS curriculum, focusing on deep connections and foundations, ideas, history, abstract thinking and problem solving.

🌱 I’m currently learning: lots of Scala libraries, especially Doodle and Scala Native.

🤔 I’m looking for: suggestions with interesting and creative ideas to teach logic gates, ALU / CPU, assembly; something simpler than Nand2Tetris.

🖥️ I use

(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): (June) Progress somewhat stalled. Struggling with motivation 😥.

It's too hot and nice outside! 🌅🏖️🏞️ I need to replace thermal paste on my CPU.

But I'm constantly coming up with new awesome ideas! Videos on this channel are god-tier and 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

• passing unbearable hot summer days by 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.