Study notes from a computer science undergraduate covering programming language fundamentals, such as how compiled machine code runs on a CPU, and data structures, including graphs and trees. Each issue reads like a lecture note with definitions, examples and short explanations.
Website: https://i1hwan.com/
A weekly newsletter that explains core software engineering topics such as floating-point representation, caching, and API design in structured, multi-part explanations. Readers get ground-up technical explanations with worked examples and clear outlines.
A blog of rigorous, proof-based notes on the lambda calculus, its semantics, and foundational set theory. Readers get worked derivations such as Scott encodings, coinductive unfolding of lambda terms, and Cantor's zigzag bijection.
A multi-part technical series on a cleaning robot puzzle, where the goal is the fewest moves to clean a furnished room with a small bag and a dock. Each part adds an algorithm or proof, such as exact search, linear programming bounds, and trip-based planning, and shows where the methods succeed or fall short.
One short email a week with hand-picked newsletters from the index. Free, no spam, unsubscribe anytime.
