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 just released my first library, Tarski. I also contributed a lot to Cyfra, Futurecoder and OSSU CS, so check them out!
🧠 Check out my Elements of Abstract Thinking
📚🔢📐 Check out my math solutions: Epp and Math for CS
✍️ My blog: Spamegg's personal page
💬 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: some CI/CD, publishing libraries, Github releases, website making.
🤔 I’m looking for: nothing at the moment! Still feel free to shoot any ideas my way!
🖥️ 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): 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.
- September 2025: GSoC is done! I'm working on Tarski again. This time, using a first order logic tool.
- November 2025: Tarski is almost finished!
tarski.mp4
Year 4 (2026):
- January 2026: The game mode for Tarski is finished:
game.mp4
- April 2026: Finished with Tarski and the companion repository for now. All done! 1.0 released. Turning my attention to abstract thinking.
Stay tuned!