kenny

I started this near sometime early 2024 as a way to track my reading.

What I’m reading

Non-fiction

• Virtue Hoarders: The Case against the Professional Managerial Class by Catherine Liu
• Programs as Diagrams by Dusko Pavlovic
• Type Theory and Formal Proofs by Rob Nederpelt and Herman Geuvers
• Effective Practising for Musicians by Benny Greb
• A modern perspective on type theory by Fairouz Kamareddine, Twan Laan, Rob Nederpelt
• The Music Lesson by Victor Wooten
• Concurrency: The works of Leslie Lamport
• A guide to infinity by Edward R. Scheinerman
• The Dark Side of the Mirror: Forgetting the Self in Dōgen’s Genjō Kōan by David Brazier
• Genetic Programming: On the Programming of Computers by Means of Natural Selection by John Koza
• An introduction to decision theory by Martin Peterson
• Introduction to Static Analysis by Xavier Rival and Kwangkeun Yi
• Principles of Abstract Interpretation by Patrick Cousot
• Essentials of compilation by Jeremy G. Siek
• The Pattern of Change by Robert V. Moody and Deng Ming-Dao
• Creating sounds from scratch by Andrea Pejrolo and Scott B. Metcalfe
• Sonic Writing by Thor Magnusson
• Audible Design by Trevor Wishart
• The Creative Act by Twyla Tharp
• Banjo Roots and Branches by Robert B. Winans
• Composing Electronic Music: A New Aesthetic by Curtis Roads
• Modular Synthesis : Patching Machines and People edited by Ezra J. Teboul, Andreas Kitzmann, and Einar Engström
• Terry Riley's In C by Robert Carl
• Formalized Music by Iannis Xenakis
• Experimental Sound & Radio edited by Allen S. Weiss
• Marconi: The Man Who Networked The World by Marc Raboy
• The Mathematical Radio: Inside the magic of AM, FM, and single-sideband by Paul J. Nahin
• Prometheus Rising by Robert Anton Wilson
• The Original I-Ching Oracle by Rudolf Ritsema
• Formal reasoning by Herman Geuvers
• Developer Hegemony by Erik Dietrich
• A Type of Programming by Renzo Carbonara
• Type theory and functional programming by Simon Thompson
• Systemantics by John Gall
• The Wisdom of the Body: What Embodied Cognition Can Teach us about Learning, Human Development, and Ourselves by Erik Shonstrom
• Artificial Intelligence: A Guide for Thinking Humans by Melanie Mitchell
• Pure Data: Electronic Music and Sound Design (volume 1) by Francesco Bianchi, Alessandro Cipriani, Maurizio Giri
• Introduction to Foundation Models by Pin-Yu Chen and Sijia Liu
• (re)programming Strategies for Self-Renew by Institute for Contemporary Art, Ljubljana
• Silence by John Cage
• Electronic and Experimental Music by Thom Holmes
• Listening to the music that machines make by Richard Evans
• Generating sound & organizing time by Graham Wakefield
• Elements of computer music by F. Richard Moore
• Musimathics volume 1 by Gareth Loy
• The Mathematics Lover's Companion by Edward Scheinerman
• Love Triangle: How Trigonometry Shapes the World by Matt Parker
• Computer systems: A programmer's perspective by Randal E. Bryant and David R. O'Hallaron
• Memory as a Programming Concept in C and C++ by Frantisek Franek
• We Learn Nothing by Tim Kreider
• Nasty, Brutish and Short: Adventures in Philosophy with kids by Scott Hershovitz
• Everything is predictable by Tom Chivers
• The complete story of civilization by William Durant
• The Ploger Method: Crafting a fluent musical mind by Marianne Ploger
• Designing Sound by Andy Farnell
• Foundations of diatonic theory by Timothy A. Johnson
• Play It Again: An amateur against the impossible by Alan Rusbridger
• Political Order and Political Decay by Francis Fukuyama
• Octopus: Sam Israel, the Secret Market, and Wall Street's Wildest Con by Guy Lawson
• God Created the Integers: The Mathematical Breakthroughs That Changed History by Stephen Hawkings
• The Price of Time: The Real Story of Interest by Edward Chancellor
• Modern Graph Theory by Béla Bollobás
• Statistical Analysis of Network Data with R by Eric D. Kolaczyk, Gábor Csárdi
• Analog by Robert Hassan
• The Country of the Blind by Andrew Leland
• Unease: Life in Singapore Families by Teo You Yenn
• Nobody's Girl by Virginia Roberts Giuffre
• Mechanizing Proofs by Donald MacKenzie
• One Day, Everyone Will Have Always Been Against This by Omar El Akkad
• Golden: The Power of Silence in a World of Noise by Justin Zorn and Leigh Marz
• Zen Simply Sitting: A Zen Monk's Commentary On The Fukanzazengi by Master Dogen by Philippe Coupey
• Homesick by Catrina Davies
• Zen Mind, Beginner's Mind by Shunryu Suzuki
• A Therapeutic Journey by Alain de Botton
• Opening the Hand of Thought: Foundations of Zen Buddhist Practice by Kosho Uchiyama
• Advice Well Taken: Folk Tales of Digital Salvation by Dasha Ilina
• Computer Network Time Synchronization by David L. Mills
• The Man Who Solved the Market: How Jim Simons Launched the Quant Revolution by Gregory Zuckerman
• The Meaning of Proofs: Mathematics as Storytelling by Gabriele Lolli
• The ultimate cigar book (4th edition) by Richard Carleton Hacker
• Love & Math: The Heart of Hidden Reality by Edward Frenkel
• Tobacco: A Cultural History of How an Exotic Plant Seduced Civilization by Iain Gately
• Hard Work Pays Off by Mat Fraser
• Same as Ever by Morgan Housel
• Don't Believe Everything You Think by Joseph Nguyen
• The Red on Revolution by Mike Chadwick
• The 12-Hour Walk by Colin O'Brady
• The Antidote by Oliver Burkeman
• Intricacies of Mridangam by T S Nandakumar
• Meditations by René Descartes
• The Cambridge Companion to Percussion by Russell Hartenberger
• Lucretius on the nature of things (Cyril Bailey translation)
• An Analysis of Edmund Gettier's Is Justified True Belief Knowledge? by Jason Schukraft
• Aristotle: Physics (C.D.C Reeve translation)
• Ptolemy's Almagest (G.J.Toomer translation)
• Plato: Meno (Eva Brann, Peter Kalkavage, and Eric Salem edition)
• King Oedipus by Sophocles
• Fragments by Parmenides
• Owning your own shadow by Robert A. Johnson
• Percussion instruments and their history by James Blades
• Play It Loud: An epic history of the style, sound, and revolution of the electric guitar by Brad Tonlinski and Alan di Perna
• The Joy of Accounting by Peter Frampton and Mark Robilliard
• The Middle Passage: From Misery to Meaning in Midlife by James Hollis
• A Life of Meaning: Relocating your center of spiritual gravity by James Hollis
• Trail of the Lost: The Relentless Search to Bring Home the Missing Hikers of the Pacific Crest Trail by Andrea Lankford
• Chips and Change: How crisis reshapes the semiconductor industry by Clair Brown and Greg Linden
• Guidance (Far Near volume 4)
• The Perfect Bet: How science and math are taking the luck out of gambling by Adam Kucharski
• So you think you know C? by Oleksandr Kaleniuk
• Forever Strong by Dr Gabrielle Lyon
• The Wager by David Grann
• Rising Above: A Green Beret's Story of Childhood Trauma and Ultimate Healing by Sean J. Rogers
• Same as Ever by Morgan Housel

Papers

• Tree borrows
• Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
• Mathematical methods and human thought in the age of AI by Tanya Klowden and Terence Tao
• SHADE-Arena: Evaluating Sabotage and Monitoring in LLM Agents
• Hyperagents by Jenny Zhang and others
• Claude's Cycles by Donald Knuth
• Looping slowly: Diffraction through the lens of nostalgia
• Towards a Science of Scaling Agent Systems
• Large Language Models and Emergence: A Complex Systems Perspective by David C. Krakauer, John W. Krakauer and Melanie Mitchell
• What every computer scientist should know about floating-point arithmetic by David Goldberg
• What every systems programmer should know about concurrency by Matt Kline
• Why AI is harder than we think by Melanie Mitchell
• Low-level Concurrent Programming Using the Relaxed Memory Calculus by Michael J. Sullivan
• Engineering Record and Replay For Deployability Extended Technical Report by Robert O'Callahan, Chris Jones, Nathan Froyd, Kyle Huey, Albert Noll and Nimrod Partush
• Exploiting Undefined Behavior in C/C++ Programs for Optimization by Lucian Popescu and Nuno P. Lopes
• Time, Clocks and the Ordering of Events in a Distributed System by Leslie Lamport
• XRay: A function call tracing system
• A Personal Historical Perspective on Abstract Interpretation by Patrick Cousot
• Predicate Logic as a Programming Language by Robert Kowalski
• Toward a mathematical semantics for computer languages by Dana Scott and Christopher Strachey
• Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation
• Algorithm = Logic + Control by Robert Kowalski
• Keeping CALM: when distributed consistency is easy
• Proof of correctness of data representation by Tony Hoare
• Functional Programming in Financial Markets (Experience Report)
• Programming as Theory Building by Peter Naur
• Consensus on transaction commit by Jim Gray and Leslie Lamport
• Refined input, degraded output: The counterintuitive world of compiler behavior
• C Analyzer: A Static Program Analysis Tool for C Programs
• Dark knowledge and graph grammars in automated software design
• Deriving Dependently-Typed OOP from First Principles
• Secure by Design: Google's Perspective on Memory Safety
• Misconceptions about loops in C
• Pseudo-Mathematics and Financial Charlatanism: The Effects of Backtest Overfitting on Out-of-Sample Performance
• Regret Minimization in Games with Incomplete Information
• Quadrophobia: Strategic Rounding of EPS Data
• Heads-Up Limit Hold’em Poker Is Solved
• Polymorphic types in C
• The Linux Scheduler: A Decade of Wasted Cores by Jean-Pierre Lozi and others
• How to benchmark code execution times on Intel® IA-32 and IA-64 Instrument Set Architectures by Gabriele Paoloni

Fiction

• The Tokyo Zodiac Murders by Soji Shimada
• 西出玉门 by 尾鱼
• 狂人日記/魯迅小說全集 by 魯迅
• 我在北京送快递 by 胡安焉
• Clarkesworld issue 234
• Seiobo There Below by László Krasznahorkai
• The last orphan by Greg Hurwitz
• On the Calculation of Volume I by Solvej Balle
• Think Weirder 01: The Year's Best Science Fiction Ideas edited by Joe Stech
• Down to the Woods by M.J. Arlidge
• Deadhouse Gates (Malazan Book of the Fallen series) by Stephen Erikson
• Red Mars by Kim Stanley Robertson
• The ministry for the future by Kim Stanley Robertson
• The colour of magic by Terry Pratchett
• Lord of Chaos by Robert Jordan
• Sudden Prey by John Sanford
• Japanese Folktales for Language Learners by Eriko Sato and Anna Sato
• Bangkok Wakes to Rain by Pitchaya Sudbanthad
• The Hunter by Tana French
• The Churn by James S A Corey
• Carl's Doomsday Scenario by Matt Dinniman
• A Conspiracy of faith by Jussi Adler-Olsen (Detective Q series)
• The Other Name by Jon Fosse (volume 1 of Septology)
• META: Game On by Xander Black
• My Heart is a Chainsaw by Stephen Graham Jones
• The Anomaly by Hervé Le Tellier
• Stoner by John Williams
• スワイプ厳禁 by 知念 実希人
• Clarkesworld issue 233
• Dark horse by Greg Hurwitz
• Possessed: A Lost Novel of the Occult by Rosalie and Edward Synton
• Never Flinch by Stephen King
• Bog People: A working-class anthology of folk horror edited by Hollie Starling
• Prodigal son by Greg Hurwitz
• We Spread by Iain Reid
• Into the fire by Greg Hurwitz
• Out of the dark by Greg Hurwitz
• Hellbent by Greg Hurwitz
• The Nowhere Man by Greg Hurwitz
• Buy a Bullet by Greg Hurwitz
• Orphan X by Greg Hurwitz
• Moonflow by Bitter Karella
• Strange Pictures by Uketsu
• Strange Houses by Uketsu
• Coffin Moon by Keith Rosson
• Love Me Not by M.J. Arlidge
• Hide and Seek by M.J. Arlidge
• Little Boy Blue by M.J. Arlidge
• Liar Liar by M.J. Arlidge
• Katabasis by R. F. Kuang
• The Long Walk by Stephen King
• Doll House by M.J. Arlidge
• Pop Goes The Weasel by M.J. Arlidge
• Eeny Meeny by M.J. Arlidge
• Gardens of the Moon (Malazan Book of the Fallen series) by Stephen Erikson
• Mind Prey by John Sanford
• Night Prey by John Sanford
• Winter Prey by John Sanford
• The Fires of Heaven by Robert Jordan
• The Shadow Rising by Robert Jordan
• The Dragon Reborn by Robert Jordan
• The Great Hunt by Robert Jordan
• The Eye of the World by Robert Jordan
• Rejection by Tony Tulathimutte
• Silent Prey by John Sanford
• Eyes of Prey by John Sanford
• Shadow Prey by John Sanford
• Rules of Prey by John Sanford
• You Like It Darker by Stephen King
• The Butcher Game: A Dr. Wren Muller novel by Alaina Urquhart
• Demon Copperhead by Barbara Kingsolver
• The Death Watcher by Chris Carter
• Hell Bent by Leigh Bardugo
• Ninth House by Leigh Bardugo
• Nothing but the rain by Naomi Salman
• Dungeon Crawler Carl by Matt Dinniman
• Disgrace by Jussi Adler-Olsen (Detective Q series)
• The Keeper of Lost Causes by Jussi Adler-Olsen (Detective Q series)
• Holly by Stephen King
• Nightwatching by Tracy Sierra
• Hidden Pictures by Jason Rekulak
• The Family Cabin by James Caine
• The Mirror Man by Lars Kepler
• Lazurus by Lars Kepler
• They Lurk by Ronald Malfi
• The Handyman Method by Nick Cutter
• The Surviving Sky by Kritika H. Rao
• The Year of the Locust by Terry Hayes
• The Bomber Mafia by Malcolm Gladwell

Reading in Japanese

• 少女終末旅行 vol 1
• サイコ×パスト 猟奇殺人潜入捜査 vol 2
• 勇者刑に処す 懲罰勇者9004隊刑務記録 vol 1
• こころから怖いもの家族 vol 2
• トナリノジイサン vol 2
• フェイクドキュメンタリーQ
• ハクメイとミコチ vol 1
• 頭のいい人が話す前に考えていること
• 変な家2 ～11の間取り図～
• ジャンル特化型　ホラーの扉
• 変な絵 vol 1
• ほんとにあった怖い話 vol 1
• 見える子ちゃん vol 6
• ルサンチマン vol 1
• 着ぐるみ家族
• 気になってる人が男じゃなかった vol 1
• カグラバチ vol 1
• おやすみプンプン vol 1
• アンダーニンジャ vol 1
• サイコ×パスト 猟奇殺人潜入捜査 vol 1
• こころから怖いもの家族 vol 1
• トナリノジイサン vol 1
• 見える子ちゃん vol 1-5
• 惨家 vol 1 * 5
• SAKAMOTO DAYS vol 1-2

What I'm reading to my son

• Unequal by Eugenia Cheng
• The art of doing science and engineering by Richard Hamming
• User Friendly: How the Hidden Rules of Design are Changing the Way We Live, Work & Play by Cliff Kuang and Robert Fabricant
• The Strangest Man: The Hidden Life of Paul Dirac, Mystic of the Atom by Graham Farmelo
• Mathematica: A secret world of intuition and curiosity by David Bessis
• The art of logic by Eugenia Cheng
• Numbers are forever by Liz Strachan
• The Last Battle by C.S. Lewis
• The Magician's Nephew by C.S. Lewis
• The Horse and His Boy by C.S. Lewis
• The Silver Chair by C.S. Lewis
• The Voyage of the Dawn Treader by C.S. Lewis
• Prince Caspian by C.S. Lewis
• The Lion, the Witch and the Wardrobe by C.S. Lewis

What I’m listening

I tend to prefer reading over audio books but now and then...

• The New China Playbook by Keyu Jin
• Breakneck: China's Quest to Engineer the Future by Dan Wang
• Hard New World by Hugh White

---

Last updated 2026-04-17.

Back to my omg.lol page!

Powered by omg.lol