The structured source of truth for Terence Tao's web content — book errata, papers, CV, teaching, contact/policies, travel, collaborative projects, and curated links. The data lives as YAML, is validated against JSON Schema, and is rendered to a static site published at https://teorth.github.io/tao-web/ via GitHub Pages. The YAML is the ground truth; the pages are generated (with AI assistance).
data/<type>/*.yaml # ground truth, one directory per content type
schema/*.schema.json # the contract each data file must satisfy
scripts/validate.py # validate all data against the schemas (CI gate)
scripts/build.py # render YAML -> static HTML into site/
site/ # generated output (gitignored; built in CI)
.github/workflows/ # validate + build + publish to Pages on push to main
Each type is a directory under data/ with a matching schema/<type>.schema.json
that documents every field:
| type | what it holds |
|---|---|
errata |
book bibliographic details and errata (one file per book) |
papers |
a searchable, tag-organized database of papers, short stories, … |
cv |
profile, bio, education, awards, service → bio + short/full CV |
teaching |
the course list |
contact |
contact details and correspondence policies |
travel |
upcoming and past trips |
projects |
collaborative / formalization projects |
links |
curated link collections (e.g. Mastodon posts) |
A record is plain YAML; e.g. one erratum is a page token plus a text
correction (with inline math in $...$), where page: "?" marks a known
location whose page number is not yet filled in.
pip install -r requirements.txt
python scripts/validate.py # must pass before pushing
python scripts/build.py # writes site/; open site/index.html to previewEveryday edits are just YAML changes; pushing to main revalidates and
republishes automatically. Edit the data, never the generated HTML in site/.
This repository is maintained by the author (with AI assistance) and is not looking for co-maintainers, but corrections are welcome — please open an issue or a pull request. See CONTRIBUTING.md.
See LICENSE for the full terms. In short: the source code of the
interactive applets under static/apps/ (their HTML/CSS/JavaScript and the
accompanying Python tools) is licensed under the MIT License, so you may
copy, modify, and self-host the apps — for example, to run your own library of
paper diagrams — provided the copyright notice is retained. Everything else —
the errata, the works/papers database, the CV and biography, other content under
data/, and the pre-installed diagram data under static/apps/diagrams/ — is
© Terence Tao, all rights reserved; you are welcome to read the site and to use
the errata to correct your own copies of the relevant works. Reader-contributed
material remains its authors'.