abenenson.github.io

Personal landing page — essays, working papers, projects.

Deploy

GitHub Pages: push this directory contents to abenenson/abenenson.github.io (or enable Pages on any public repo, routing to this folder).

No build step required — pure HTML/CSS, no dependencies.

Content

• index.html — the page

To update

1. Edit index.html directly
2. Push to the Pages repo
3. Live in ~60 seconds

Sections

• Writing — published essays on Medium
• Working Papers — in-preparation papers (update status when published)
• Projects — SFT, lean4-info-geometry, Connectome, Forethink

Notes

• lean4-info-geometry link will 404 until repo is flipped public (pending Adam approval)
• Working papers section updates when Constitution paper + governance paper are published
• Connectome has no GitHub link — private repo; description only