Git Product home page Git Product logo

Hi there ๐Ÿ‘‹

TuxCoding

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 Mint

spamegg's GitHub stats

Top Langs

๐Ÿš€๐Ÿš€๐Ÿš€ 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): (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...

Useful byproducts continue:

spamegg's Projects

breaknes icon breaknes

NES/Famicom/Famiclones emulator at the gate level

breaks icon breaks

Nintendo Entertainment System (NES) / Famicom / Famiclones chip reversing

gapt icon gapt

GAPT: General Architecture for Proof Theory

haskell-prog icon haskell-prog

Working through the book "Get Programming with Haskell" by Will Kurt

kerkerkruip icon kerkerkruip

Kerkerkruip - the interactive fiction roguelike game

lpn icon lpn

Learn Prolog Now LaTeX sources

math-for-cs-solutions icon math-for-cs-solutions

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

metals icon metals

Scala language server with rich IDE features ๐Ÿš€

requests-scala icon requests-scala

A Scala port of the popular Python Requests HTTP client: flexible, intuitive, and straightforward to use.

reviews icon reviews

Reviewing some online CS courses I took

rust-cli icon rust-cli

Working through the book "Command-line Rust" by Ken Youens-Clark

scala-cli icon scala-cli

Scala CLI is a command-line tool to interact with the Scala language. It lets you compile, run, test, and package your Scala code (and more!)

torrenties icon torrenties

An implementation of the BitTorrent protocol in Scala

unix-sml icon unix-sml

Working through "Unix System Programming with Standard ML" by Anthony L. Shipman, 2001

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.