kenny
/now
I kept always two books in my pocket, one to read, one to write in.
Robert Louis Stevenson
What I’m reading
Non-fiction
- Sonic Writing by Thor Magnusson
- Genetic Programming: On the Programming of Computers by Means of Natural Selection by John Koza
- Introduction to Static Analysis by Xavier Rival and Kwangkeun Yi
- Principles of Abstract Interpretation by Patrick Cousot
- Essentials of compilation by Jeremy G. Siek
- Audible Design by Trevor Wishart
- The Creative Act by Twyla Tharp
- The Pattern of Change by Robert V. Moody and Deng Ming-Dao
- Composing Electronic Music: A New Aesthetic by Curtis Roads
- The Dark Side of the Mirror: Forgetting the Self in Dōgen’s Genjō Kōan by David Brazier
- 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
- Mechanizing Proofs by Donald MacKenzie
- 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
-
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
-
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 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
-
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 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
- Conceptual Physics by Paul G. Hewitt
- User Friendly: How the Hidden Rules of Design are Changing the Way We Live, Work & Play by Cliff Kuang and Robert Fabricant
- Tell My Sons: A Father's Last Letters by Lt. Col. Mark M. Weber
- The art of doing science and engineering by Richard Hamming
-
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-01-15.