2 newsletters, ranked by editorial quality and how recently they published. Looking for something more specific? Search instead.
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.
One short email a week with hand-picked newsletters from the index. Free, no spam, unsubscribe anytime.
