project c190

I’ve recently been reading Joy of Cryptography by Mike Rosolek, and realized I could probably use some formal proof-writing practice, given that it’s been a while since I’ve had to write very thoroughly mathematically-sound proofs (Computer science and its

Lately I’ve been obsessed with SIC-1, an open-ended programming game where you learn to write programs in the esoteric assembly language Subleq, which only has a single instruction, to perform various tasks.

Stopping Blocks Clearing Rows Ending the Game Residual Quirks Project Trivia The program code as of this point can be found here.

“Computer science is no more about computers than astronomy is about telescopes.”

When I started Nand2Tetris, I was determined to understand more about how computers really worked, because I couldn’t help but feel that what I’d already learned was information in significant isolation.

It’s been some time since I’ve completed the steps of the project I’m about to describe, so, for the record, I am summarizing them here more for the purpose of re-familiarizing myself with my progress rather than documenting something I’ve recently comple…

assume nothing isolate and test every step take breaks

Note: This article is from early 2025, but I never marked it with an exact date.

It’s dangerous to go alone!

Funnily enough, grinding out MIPS programs for class in the library until midnight last week reminded me that I actually really enjoy assembly language.