A student-run popular science magazine from the University of Twente computer science association Inter-Actief. It features association and alumni news, interviews with faculty figures, and explanatory articles on technology and society topics.
Website: https://ioviv.at/
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.
MIT CSAIL's Substack collects short essays and research-based pieces from lab researchers on robotics, AI for ecology, and the ethics of AI-generated writing. Readers get informed, first-person arguments about practical questions in AI and computing, from robot longevity to watermarking.
Practical tutorials and reviews for Cambridge IGCSE Computer Science students and homelab enthusiasts, covering logic gates, Linux desktops, security and self-hosting. Readers get step-by-step explanations with worked examples and real test-system details.
A personal blog that explains mathematical and computer science ideas through narrative hooks, such as Merkle trees, the number e and Voronoi patterns in plants. Posts include interactive demos and worked derivations.
One short email a week with hand-picked newsletters from the index. Free, no spam, unsubscribe anytime.
