A blog-style series explaining computer science fundamentals through worked examples, such as big-O notation, measuring algorithm performance, and comparing merge sort with bubble sort. Readers get code walkthroughs and analysis that connect complexity theory to real timing measurements.
Website: https://xavi.ghost.io/
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.
