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.
Website: https://www.techiemike.com/
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.
Essays from Princeton's AI researchers (including Arvind Narayanan) arguing that AI is a transformative but normal technology rather than a path to superintelligence. Recent issues cover AI agent evaluation methods, whether AI should aim at augmenting rather than automating human labor, and debates over AI safety and existential risk.
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.
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.
