All Posts

Everything I’ve written — blog posts, project write-ups, and reading notes.

Propositional and Predicate Calculus: 2.5 The expressive power of connectives
Reading - March 22, 2026

Propositional and Predicate Calculus: 2.4 Logical Equivalence
Reading - March 15, 2026

Propositional and Predicate Calculus: 2.3 Interpretation of Logical Formulas
Reading - March 14, 2026

Propositional and Predicate Calculus: 2.2 The Construction of Propositional Formulas
Reading - March 10, 2026

Propositional and Predicate Calculus
Reading - March 10, 2026

Various ARPANET Papers
Reading - September 21, 2025

The ARPANET and Computer Networks
Reading - August 24, 2025

Learning 10BASE5: The First Version of Ethernet
Writing️ - August 23rd, 2025

I Don't Really Get Networking
Writing️ - August 22nd, 2025

How Ethernet Was Invented
Reading - August 20, 2025

Analog and Digital
Writing️ - December 2, 2024

My GNU Make Study Guide
Writing️ - November 20, 2024

A Snake-like Game in RISC-V Assembly
Project - August 21, 2024

Big and Little Endian
Writing️ - December 20, 2023

Pushdown Automata Variants
Writing️ - July 23, 2023

Parsers and Encoders Everywhere
Writing️ - May 8, 2023

Building an 8-bit Computer System
Project - October 10, 2022