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 ofDiscrete Mathematics with Applications, 5th edition)

Bjarne Stroustrup on the importance of Mathematics and Computer Science fundamentals

💻 I contributed a lot toCyfra,Futurecoder andOSSU CS, so check them out!

🧠 Check out myElements of Abstract Thinking

✍️ My blog:Spamegg's personal page

💬 Ask me about: math or code questions!

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

⚡ Fun fact: Ireview 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: someGPU programmingandcoding logic

🤔 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 toEpp'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. Evencontributed to open source a bit.

• Came up withAbstract 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 channelare exactly what I was thinking about...

• Studying a lot of low-level stuff.
• C withK.N. King's book and
• Rust withRust Foundation book.

Useful byproducts continue:

• More low-level withModern Systems Programming.

• and progress onAbstract thinking

• solvingAdvent of Code

• and thinking about how to teach the subtleties ofproblem solving.

• October 2024: work started onTarski's world. Turns out parsing first-order logic is hard! 😆

• Started learningLean 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 aGPU library.
    • I want to make a beginner-friendly GPU course based on it.
• May - August 2025: I will be doingGoogle Summer of Code to contribute to theGPU library.
• September 2025: GSoC is done! I'm working on Tarski again.This time, using afirst order logic tool.
• November 2025: Tarski is almost finished! Working prototype:

PinnedLoading

1. reviewsreviewsPublic

   Reviewing some online CS courses I took

   JavaScript 333 18

2. Math-for-CS-solutionsMath-for-CS-solutionsPublic

   Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

   TeX 171 27

3. Epp-Discrete-Math-5th-solutionsEpp-Discrete-Math-5th-solutionsPublic

   Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition

   TeX 117 24

4. abstract-thinkingabstract-thinkingPublic

   Abstract thinking patterns and problem decomposition / solving strategies

   53 3

5. modern-systems-scala-nativemodern-systems-scala-nativePublic

   Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3

   Scala 28

6. alexmojaki/futurecoderalexmojaki/futurecoderPublic

   100% free and interactive Python course for beginners

   Python 1.4k 159