Récoltes et Semailles
Grothendieck's autobiographical manuscript combining reflections on his mathematical work with sharp criticisms of how it was later used and credited.
Although I read 90% of my books digitally, I own a sizeable collection of monographs. Unfortunately I scatter most of them around the house, leaving old texts to lie on the ground. I’ve been procrastinating on organizing my bookshelf, but here’s a few shelves of what I managed to tidy up as of 2026 (mostly old learning materials I’d finished 2-3 years ago).
Below are the digital books I’ve enjoyed:
Grothendieck's autobiographical manuscript combining reflections on his mathematical work with sharp criticisms of how it was later used and credited.
A seminal work by Grothendieck: redefines algebraic geometry by replacing classical varieties with schemes, establishing a categorical foundation that unifies algebraic geometry and number theory through sheaves and prime ideals.
Following foundational questions about number toward a vision of mathematics as a means of constructing possible worlds.
Using the prospect of self-reproducing, adaptive machines to ask where human responsibility lies once creation begins to escape its creator’s control.
Showing how spinors expose the hidden algebra of relativity, with the geometry of light determining the structure of space-time.
Constructs Fukaya categories from Lagrangian Floer theory and applies their algebraic structure to Lefschetz fibrations and Picard-Lefschetz monodromy.
Develops quasicategories through fibrations, adjunctions, limits, presentability and ∞-topoi, supplying foundations now used throughout derived and homotopical mathematics.
Proposong a process-based metaphysics where reality is composed of interrelated events and experiences instead of stable substances.
A defiant tragedy of knowledge and power, paid for with endless suffering.
Part of the OOO lineage, arguing that philosophy escape human-centered 'correlationism,' where contingency underlies everything.
Maxwell's work that synthesized all known electromagnetic phenomena into one mathematical framework, introducing the displacement current to complete equations that govern light as an electromagnetic wave.
Builds bosonic and fermionic field theory from CCR and CAR representations, Fock spaces, quasi-free states and Bogoliubov transformations before treating interacting Euclidean fields.
Machines evolving and individuating alongside humans.
A collection of imaginative, playful short stories where a narrator named Qfwfq recounts the birth and evolution of the universe through fiction.
A software copy tests whether consciousness depends on any particular machine, then confronts the possibility that a mathematically consistent world can sustain its own reality.
Turning consonance into an arithmetic problem, deriving each interval’s degree of agreeableness from the prime factors of its frequency ratio.
Treating technology as an evolutionary process that may transform human cognition until knowledge itself becomes something designed.
Syropoulos examines theoretical machines that could solve problems inaccessible to every Turing machine, asking whether the Church-Turing thesis defines a genuine limit on computation.
Epic poetry on how the pursuit of honor and immortality grinds human lives against the hard fact of death.
A feverish philosophical descent into annihilation through war diaries, mysticism, and surreal violence.
Reality as one necessary substance, and that human freedom lies in understanding its laws.
Florensky turns imaginary numbers into a geometry in which Dante’s journey marks a transition from physical space into the Empyrean.
A massive, open-source collaborative reference (over 7,000 pages) that builds algebraic geometry entirely from scratch. It is currently the best resource for learning about algebraic spaces (including non-quasi-separated ones, making it more general than Knutson's monograph).
Unofficial community translation project for Grothendieck-Dieudonné’s Éléments de géométrie algébrique; useful but not a canonical edition.
French full-text archive for math journals, seminars, conference proceedings, books, and theses.
Database of L-functions, modular forms, elliptic curves, number fields, Galois groups, and arithmetic-geometric objects.
A scholarly database and search platform for high-energy physics. It is especially useful because it connects records from places like arXiv, CERN-related resources, publishers, and citation databases.
Poems by Sohrab Sepehri.
Collection of Turing's writings.
Terence Tao's blog on mathematics.
Create code that solves mathematics problems
A formalized library of modern mathematics proofs built in the Lean proof assistant.