A mathematics and computer science blog with rigorous, formal write-ups on the lambda calculus, coinductive characterisations of lambda terms, and countability proofs. Readers get worked proofs and clear explanations of theoretical foundations.

A newsletter by a mathematician and philosopher exploring the mathematics and philosophy of the infinite, including set theory, paradoxes, and the foundations of mathematics. Issues include essays, video lecture posts from a lecture series, and historical and technical discussions of topics such as ordinal definability and the rules of chess.

A personal essay newsletter from Brian Dunning-style natural philosophy writer exploring AI's cultural impact, parenting, and civilizational themes through polemic and literary references. Readers get reflective, opinionated takes on technology, culture, and history rather than news or practical guidance.

Trapnest is a daily series of long-form technical essays about browser-based 3D projects, covering architecture, physics, and mathematics behind interactive worlds like a lake pavilion, a fighter-jet cockpit simulator, and a cyberpunk driving game. Readers get detailed explanations of the engineering and maths under each project, written with a vivid, enthusiastic voice.