Reading

Currently reading

• The Fabric of Reality — David Deutsch
• The Iliad — Homer (Penguin Classics, revised E. V. Rieu translation)
• The Proof in the Code: How a Truth Machine Is Transforming Math and AI — Kevin Hartnett

Studying

• Build a Large Language Model (From Scratch) — Sebastian Raschka
• The StatQuest Illustrated Guide to Neural Networks and AI — Josh Starmer
• AI Engineering — Chip Huyen
• How to Prove It: A Structured Approach — Daniel J. Velleman
• Functional Programming in Lean — David Thrane Christiansen

Read in 2026

• The Odyssey — Homer (Penguin Classics, revised E. V. Rieu translation)
• Through the Looking-Glass — Lewis Carroll
• Alice’s Adventures in Wonderland — Lewis Carroll
• Logicomix: An Epic Search for Truth — Apostolos Doxiadis and Christos Papadimitriou; illustrated by Alecos Papadatos and Annie Di Donna
• Gödel’s Proof — Ernest Nagel and James R. Newman
• Gödel, Escher, Bach: An Eternal Golden Braid — Douglas R. Hofstadter
• Why Machines Learn: The Elegant Maths Behind Modern AI — Anil Ananthaswamy
• Supremacy: AI, ChatGPT and the Race That Will Change the World — Parmy Olson
• Breakneck: China’s Quest to Engineer the Future — Dan Wang