My repositories, explained
What each project in github.com/arivero is for
These are the repositories I created myself; forks of other people's
work are left out. Where a project publishes its own website through GitHub Pages
the entry carries a site tag and a direct link, since
the rendered site is usually the better place to start. Repositories are grouped by
theme and, within each group, listed from the most recent activity backwards.
Particle physics and mathematical physics
TeX and Markdown · started November 2026 · arivero.github.io/conneskk
Is the finite geometry of the noncommutative-geometry Standard Model the limit of an
ordinary Kaluza–Klein geometry with its tower of modes removed, and what do the counts
9, 10 and 11 mean in that reading? The draft
Finite spectral
triples as towerless intervals shows that the Connes–Lott two-point space is
exactly the minimal spectral truncation of a chiral interval of length l, with
mass π/2l, and follows the two limits: as the interval grows, a one-dimensional
Weyl law appears above the bulk gap; as it shrinks, a light sector of fixed mass survives
along a tuned bulk mass or a scaled boundary coupling. A second note,
The finite
Dirac operator as a boundary condition, writes every finite Dirac operator with
the signs of KO-dimension six as the lowest spectral window of the pure derivative on an
interval, with a grading at each wall as its boundary data. Reading 9 and 11 as labels of
the two limits is a proposal still to be constructed, and no vacuum that selects the
radius has been found so far. Proofs are numbered lemmas with a second language model as
referee; claims, dependencies and checks live in a Prolog ledger, beside a record of what
the literature already has. The website serves the drafts of 3 November 2026, unsubmitted
and unreviewed, in two-column and phone formats.
TeX · started September 2026 · arivero.github.io/navstokgap
A research program opened in September 2026 around one question, what survives
refinement, with two open goals: a physically justified positive action scale for
Newton's limit, and continuum pure SU(3) Yang–Mills theory with a finite positive mass
gap. On Newton's side, the polygon construction of motion is written out for arbitrary
partitions and lifted to quantum states, and the manuscript
The
cost of a mark computes what recording the comparison costs: in a quantum model of
the instrument with ħ supplied, every protocol that tells a constant force from free
motion whatever the body's preparation obeys a disturbance bound of order ħ, sharpened
for Gaussian marks, and Newton's inscribed polygon differs from the parabola by a
computable phase. Deriving that scale from Newton's own premises remains open, and
classical countermodels mark how far each candidate premise reaches. On the gauge side,
the finite-lattice gap and an existential volume-uniform strong-coupling gap are proved;
gap scaling along the weak-coupling trajectory and the construction of the continuum
theory remain open. At the end of October the notes were consolidated into 88 maintained
arguments, each stating its hypotheses, with countertests kept in a list of obstructions.
The website opens with a visual introduction and carries the arguments, the manuscripts
and the primary sources.
Lean 4 · started September 2026
A formalisation in Lean 4 (core and Std only, no mathlib) of the proof architecture
of Book I, Section II of Newton's Principia, Propositions I–IV. The De Motu
antecedents and the 1687 and 1713 editions keep their own statements, proofs and premises,
with one file per theorem, lemma, law or corollary tied to the exact Latin of the Newton
Project transcriptions; the proposed changes of 1694 and the 1726 text serve for
comparison. Supporting mathematics sits in separate libraries according to what each
admits: source-identified classics (Euclid, Aristotle, the Nine Chapters),
elementary finite geometry and exhaustion, and modern constructions, whose use is marked
on everything downstream. Among the checked results are the zero-force case, where
rectilinear motion, subdivision independence and a small-time bound follow from the
recurrence; an exact formula for the position error of a subdivided constant-force
impulse schedule; the area approximations of Lemmas II and III and the whole-figure
coincidence of Lemma III, Corollary I; and a conditional local swept-sector law for a
given motion in a positive monotone rational chart. The complete historical proofs remain
open, with a progress estimate kept for each witness. A companion to navstokgap, which
asks what a floor on Newton's vanishing comparison would mean.
data and charts · 2026 · arivero.github.io/pdghist
The history of Particle Data Group values for the fundamental parameters of the
Standard Model. The PDG publishes a new Review of Particle Physics every year
and its best estimates move as measurements improve; this project plots that
movement, edition year against value with error bars, for every mass, width and
mixing parameter. Each plot overlays the independent PDG sources that carry the
quantity (the all-editions database back to 1958, the yearly machine-readable files,
and values extracted from the Electroweak Model review) as a cross-check. The data
is packaged for reuse and the site serves interactive charts.
TeX · 2026
Since September 2026 the umbrella for all work on the de Vries relation: the
positive root of x² + Jx − J with J = s(s+1), compared between spin 1/2 and spin 1,
gives sin²θ = 0.22310, first noticed by Hans de Vries in 2004 and published with
attribution in hep-ph/0606171.
The REVTeX manuscript states the target as a ratio of pole masses and sorts every
claim into derived, coincidental, conjectural or open; the family/ folder
merges the results of ten sibling workspaces, one idea per entry with every project
that found it. Routes that failed are recorded as closed, most recently the squashed
three-sphere. The comparison with data has moved: with the 2026 W-mass average the
relation sits 1.3σ from the measured angle, against 0.3σ with the 2025 values. With
the Z mass as the single anchor, the negative branch of the same quadratic lands about
2% from the Higgs (122.4 against 125.2 GeV) and from the top quark (176.2 against
172.6 GeV).
TeX · 2026 · arivero.github.io/dualsm
Lecture notes and research on Sp(1) Seiberg duality and a proposed dualised Standard
Model as an electroweak ultraviolet completion. The website presents the material as
a small course: lectures, exercises, the research papers themselves, and an annotated
list of related papers, with sources and build scripts in the repository.
TeX and Python · 2026 · arivero.github.io/physres2
The sBootstrap program: research on Koide-type mass relations for quarks and
leptons, composite scalars, supersymmetry and SO(32) representation theory. It holds
several manuscripts in progress (on Koide relations, on an experimental comparison, on
a Lagrangian formulation) plus the calculations behind them, and the website is a
plain index of the current PDFs and a talk.
TeX · 2026 · arivero.github.io/physres1
From Newton to the Path Integral: a research program that reads
quantization as a refinement passage, a chain of composable local approximations
whose continuum limits force specific structures, running from Newton's polygon
through the continuous action, the path integral, deformed algebras and
renormalization. The cornerstone manuscript argues that three recurring obstructions
(singular probes, ordering ambiguity, ultraviolet divergences) are resolved by the
same move, controlled refinement, and that ℏ, c and G each appear as the coupling
forced by one compatibility condition. Thirteen satellite papers expand particular
aspects, and key theorems are formalised in parallel in Lean 4.
Python and Lean · 2026
The first of the numbered research workspaces: exploratory quantum theory and
constructive field theory, with Lean formalisation, symbolic calculations and
reproducible checks. It is where the agent-driven research layout used by the later
physres repositories was first tried.
Markdown · 2024 · arivero.github.io/particles
A skeleton for gathering, in book form, the scattered ideas on elementary particles
that I had been developing across several blogs over the years. The website is the
Jekyll rendering of those chapters.
Research with AI agents
Python · 2026
Teacher-forced block distillation for language models. Every transformer block is
trained on its own: the input and the target are adjacent hidden states from a frozen
teacher, so gradients never cross block boundaries and blocks can be trained as
independent multi-GPU stages. The repository holds the runtime, the validation
tooling and the write-up of an experimental campaign that closed in September 2026
after finding limited, task-dependent recall gains, together with a proposal for
layerwise learning during concurrent inference.
Markdown and Python · 2026 · arivero.github.io/agentbook
A living book on LLM agent orchestration, research workflows and GitHub automation.
The book practises what it describes: suggestions arrive as GitHub issues, agents
turn them into content, the Markdown sources build to a PDF, and the result is
published to GitHub Pages, all through Actions workflows. The site is the readable
edition; the PDF is attached to each build.
Markdown · 2026 · arivero.github.io/interdisciplinar
A research project on measuring interdisciplinary research with a panel of
indicators (Rao–Stirling diversity, network coherence, cross-field effect), and at the
same time a test of an interactive research scaffold: blackboards for formulas and
conjectures, append-only notebooks for stabilised material, satellite papers, and a
cycle board that plans and logs each round of work.
TeX · 2026
AI-assisted investigations of the ten First Proof research mathematics
problems, using the same blackboard, notebook and cycle layout as the
interdisciplinarity project. It keeps proof drafts and the verification workflows
applied to them.
Shell and prompts · 2026
A minimal, prompt-only reimplementation of the generate, verify, revise loop from
DeepMind's Towards Autonomous Mathematics Research (the Aletheia system).
Three role prompts and an orchestrator prompt do the work; small launchers start the
loop in the Codex or Claude command-line agents.
Python and Markdown · 2026 · arivero.github.io/fixedpoint
A file-based research coordination system for AI agents. Owned notes and PDFs are
stored as Markdown plus originals, references to other people's sources are kept
separately, atomic ideas are first-class objects grouped into projects and publication
issues, and indexes are generated deterministically from front matter. Issues are the
work surface, commits the record, and GitHub Pages the publishing surface; nothing
lives in a database.
Jupyter · 2025
Experiments on knowledge augmentation: can the output of extra test-time compute, or
a retrieved context, be distilled back into a model rather than re-supplied on every
prompt? The notebooks follow that question through the literature on context
distillation, persona injection and in-context editing, and try small versions of it.
Named after Borges's Pierre Menard, who rewrote the Quixote word for word.
Web and browser tools
JavaScript · 2024
Demos of a Chrome side-panel extension as a gateway for AI helpers over live
websites, so that a copilot can be tested without touching the production site. The
side panel tracks browsing history, extracts page headings and persists them
locally. The project is on the back burner in favour of the iframe approach below, and
keeps a list of other projects that reference DeepMind's Project Mariner.
HTML · 2024
The iframe twin of panelCopilot: AI-guided navigation for sites under your own
control that are CORS-compatible, for cases where depending on a browser extension is
not an option.
HTML and JavaScript · 2025 · arivero.github.io/quickcalcs
A set of themed, kid-friendly HTML calculators, each buildable as a single file
that can be downloaded and shared. A small template system keeps the shared chrome in
one place while each variant picks a vertical or landscape layout and its own styling.
Earlier related questions: teaching arithmetic with sets, 2018.
TypeScript · 2025
A small Vite and TypeScript sandbox on functions, created in CodeSandbox.
JavaScript · 2019
A prototype API for serving anonymised data with a time or place attached. An
administrator uploads CSV tables and marks which columns are personal, temporal or
spatial; the public side then serves samples rounded to a chosen scale, aggregate
statistics per zone, or time series shifted by a random offset that preserves
chronology.
Python · 2013
Scripts to build a search engine over YouTube transcripts. They fetch the
transcriptions, serve them through WSGI, and publish a sitemap so that an external
crawler (a Google custom engine at the time, or Yacy) does the indexing. Licensed
under the AGPL.
The 2013 launch announcements survive on Libertonia and Conjeturas.
Teaching and data
Jupyter · 2021–2023 · in Spanish
Materials for the Python programming module of the University of Zaragoza course
Métodos matemáticos y computacionales en cosmología, astrofísica y física de
partículas, with the notebooks executed in each session.
Jupyter · 2020
Two notebooks from late 2020 comparing the first and second waves of the pandemic.
Java · 2014
A RESTful web service for CERIF XML, the European research information format,
developed for the EPOS geoscience infrastructure; the project wiki lived at INGV.
Personal pages and archives
HTML · 2024 · arivero.github.io
The root of my GitHub Pages address, a minimal page with a LaTeX example. The
project sites above all hang under it.
HTML · 2024 · arivero.github.io/blog
A static export of my blog, made with Simply Static, kept as a mirror on GitHub
Pages. The live blog is at a.rivero.nom.es.
Python · 2018
Controlling the JJRC Blue Crab toy drone from a PC, on Linux and Windows.
mashup-al-rivero-gadgetgme, mashup-al-rivero-primeraprueba, scrapvidtext
2015 · automatic exports from Google Code
Three tiny projects rescued when Google Code closed: two Google Gadget mashup
experiments and a note on scraping video text. Kept for the record.
2008
A hello-world template from my first days on GitHub, in December 2008.