Books

The Logic of Sacrifice

The Logic of Sacrifice

We live in an age that prides itself on progress, and yet obesity, anxiety and an inability to commit are growing epidemics in societies that, in theory, have everything figured out. Fifteen chapters organised around the Seven Deadly Sins as misaligned instincts: gluttony as metabolic hijacking, sloth as false efficiency, lust as dopamine without attachment. Neither a self-help manual nor a sermon — an honest conversation grounded in biology about why so much no longer works, and about traditions that were never chains but technologies tested over thousands of years.

Science Catch-Up: When Science Finally Meets Reality

Science Catch-Up: When Science Finally Meets Reality

What happens when science arrives late to what already worked? Science Catch-Up examines the real limits of the scientific method — technical, institutional, economic and human — and proposes a framework for evaluating knowledge without waiting for consensus. An essay that does not seek to replace science, but to demand it fulfil its function: explaining the world, not decreeing it.

How I wrote it →

Papers

  • Preprint arXiv (cs.LG, cs.AI, eess.SY) · 2026

    An Omitted Mode Is a Rare Rule: The Sampling-Verification Danger Law in Continuous Code World Models

    Javier Aguilar Martín

    If a synthesised world model omits a rare failure mode, sampling will almost never catch it: N test rollouts miss an event of probability r exactly (1-r)^N of the time. Passing the tests certifies consistency with the sample and nothing more.

  • Preprint arXiv (cs.AI, cs.LG) · 2026

    When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models

    Javier Aguilar Martín

    A language model can write a game's rules as executable code, score high on predicting the next state, and still lose. Accuracy is not adequacy for planning.

  • Preprint arXiv (math.RA) · 2024

    The Derived Deligne Conjecture

    Javier Aguilar Martín, Constanze Roitzheim

    Brace algebras on operads give derived A∞-algebras a conceptual home, and with it new, rigorous versions of the Deligne conjecture.

  • PhD thesis University of Kent · 2023

    The Derived Deligne Conjecture

    Javier Aguilar Martín

    Doctoral thesis, supervised by Constanze Roitzheim. The work the preprint above came out of.

Teaching

  • Universidad de las Hespérides 2026–

    Lecturer

    Algebra & Geometry — 6 ECTS first-year core course, shared by the BSc in Maths & Data Science and Maths & Philosophy.

  • King's College London 2020–2025

    Graduate Teaching Assistant

    Undergraduate mathematics.

  • University of Kent 2020–2024

    Graduate Teaching Assistant

    Undergraduate mathematics, alongside the PhD.

  • KeepCoding Summer 2024

    Bootcamp instructor

    Statistical methods in R.