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 · started September 2026 · arivero.github.io/navstokgap
A research program, opened in September 2026, aimed at the existence of a mass gap
for SU(3) Yang–Mills theory in four dimensions in the Jaffe–Witten formulation. It
proceeds by theorems with explicit volume, cutoff and coupling dependence, by
lower-dimensional solved cases, and by an analogy with a positive universal action
scale that an earlier phase developed through Newtonian trajectories and cut
refinement. The website lists every result by track, with Markdown source and typeset
PDF for each, and the consolidated note on classical action scales collects the
accepted results into a single argument.
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
A manuscript workspace on the de Vries relation, spin Casimir invariants and the
electroweak mixing angle. The construction pairs a two-by-two matrix built from the
Casimir value J = s(s+1) with a quadratic whose positive root, compared between spin
1/2 and spin 1, yields a number close to the observed sin²θ; the manuscript's job is
to state the target as a pole-mass statement and to sort each claim into derived,
numerical coincidence, conjectural, or still to be calculated. The repository is
organised for parallel agentic work on calculations, source audits, LaTeX builds and
referee-style criticism.
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.
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.
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.