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.

Logicae is a Korean-language newsletter that explains mathematics, science and technology in long, structured series. Its current series walks through quantum chemistry step by step, covering atomic structure, the Bohr model, the variational method and perturbation theory.