A computer science writer's newsletter offering essays and tutorials on algorithms, computation theory, and AI, with a strong point of view against AI hype and dread. Issues mix book promotions and sales with substantive pieces such as an argument against pseudocode in algorithm textbooks.
Website: https://blog.apiad.net
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.
