Bibliography
Table of Contents
1. Overview
Citations on this site are org-cite with the CSL export processor, rendered by
citeproc-el at publish time. The convention is per-note: a note declares its own
#+bibliography:, #+cite_export: csl and #+print_bibliography:, and its
References section prints exactly the works that note cites.
As of 2026-10-29 the corpus is 710 BibTeX entries across 38 files, behind which
sit roughly 680 distinct works. 590 distinct citation keys are referenced from
the .org tree.
Two things this page is for: finding which note already cites a work before adding it again, and seeing which works carry weight across more than one note.
2. Works cited by more than one note
These are the candidates for consolidation into a shared bibliography — the
works where a divergent copy is most likely to cause a contradiction. Counts
treat the French mirror under site/fr/ as a separate citing page.
2.1. Agent memory and retrieval
packer2023memgpt— MemGPT: Towards LLMs as Operating Systems (2023). Cited by 2026-agent-memory-systems, 2026-history-as-retrieval-context.chhikara2025mem0— Mem0: Building Production-Ready AI Agents with Scalable Long-Term Memory (2025). Same two notes.rasmussen2025zep— Zep: A Temporal Knowledge Graph Architecture for Agent Memory (2025), arXiv 2501.13956. Same two notes. Author list corrected 2026-10-29.xu2025amem— A-MEM: Agentic Memory for LLM Agents (2025), arXiv 2502.12110. Same two notes. Author list corrected 2026-10-29.rhodes1997remembrance— The Wearable Remembrance Agent (1997), andrhodes2000jitir— Just-In-Time Information Retrieval (2000). The lineage the memory notes argue from.cloudflare2026memory— Agents: Memory (2026), vendor documentation.
2.2. Types, contracts and verification
findler2002contracts— Contracts for Higher-Order Functions (2002). Cited by 2026-type-systems-one-tool-four-ways, annotation-systems, 2026-reversible-pipeline-transforms — the most widely shared work in the corpus.meyer1992dbc— Applying "Design by Contract" (1992). Two notes.jhala2021refinement— Refinement Types: A Tutorial (2021). Cited by both type-systems notes.pierce2002tapl— Types and Programming Languages (2002). Cited by both type-systems notes; also present insite/research/reading.bibunder the divergent keypierce2002types.claessen2000quickcheck— QuickCheck: a lightweight tool for random testing of Haskell programs (2000). Cited by 2026-reversible-pipeline-transforms and 2026-visibility-verification.
2.3. Programming languages
hickey2014transducers— Transducers (2014). Cited by 2026-reversible-pipeline-transforms and shared-repl-gossip.
3. Works by note
Each note's bibliography, grouped by subject. The entry count is the number of BibTeX records in the file, not the number of works that note cites — a note prints only what it cites.
3.1. Agentic systems and agent memory
site/events/anthropic-agents-opus-2026/index.org— 0 entries,site/events/anthropic-agents-opus-2026/references.bib- 2026-agent-memory-systems — 7 entries,
site/research/2026-agent-memory-systems/references.bib - 2026-agentic-software-engineering — 9 entries,
site/research/2026-agentic-software-engineering/references.bib - 2026-agentic-systems-literature — 3 entries,
site/research/2026-agentic-systems-literature/references.bib - 2026-history-as-retrieval-context — 36 entries,
site/research/2026-history-as-retrieval-context/references.bib - bot-agent-trust-management-2026 — 21 entries,
site/research/bot-agent-trust-management-2026/references.bib - 2026-q2-skills — 4 entries,
site/research/references-2026-q2-skills.bib
3.2. Formal verification and type systems
- 2026-reversible-pipeline-transforms — 50 entries,
site/research/2026-reversible-pipeline-transforms/references.bib - 2026-type-systems-axes-not-covered — 7 entries,
site/research/2026-type-systems-axes-not-covered/references.bib - 2026-type-systems-one-tool-four-ways — 15 entries,
site/research/2026-type-systems-one-tool-four-ways/references.bib - 2026-visibility-verification — 9 entries,
site/research/2026-visibility-verification/references.bib - annotation-systems — 6 entries,
site/research/annotation-systems/references.bib - tla-plus-htaccess-redirects — 1 entry,
site/research/tla-plus-htaccess-redirects/references.bib - trust-boundaries-typed-category — 6 entries,
site/research/trust-boundaries-typed-category/references.bib
3.3. Programming languages and REPL-driven development
- 2026-one-book-four-lisps — 3 entries,
site/research/2026-one-book-four-lisps/references.bib - 2026-repl-driven-chat-mutation — 6 entries,
site/research/2026-repl-driven-chat-mutation/references.bib site/research/2026-repl-driven-ticket-triage/includes/01-crm-support.bib— 38 entriessite/research/2026-repl-driven-ticket-triage/includes/02-itsm-incident.bib— 33 entriessite/research/2026-repl-driven-ticket-triage/includes/03-cloud-platforms.bib— 41 entriessite/research/2026-repl-driven-ticket-triage/includes/04-code-hosts.bib— 58 entriessite/research/2026-repl-driven-ticket-triage/includes/05-model-vendors-frameworks.bib— 35 entriessite/research/2026-repl-driven-ticket-triage/includes/06-our-projects.bib— 3 entriessite/research/2026-repl-driven-ticket-triage/includes/07-models-and-demos.bib— 54 entries
3.4. Adtech and browser infrastructure
- browser-adtech-infra — 48 entries,
site/research/browser-adtech-infra/references.bib
3.5. Category theory and mathematics
- algebraic-path-problem — 9 entries,
site/research/algebraic-path-problem/references.bib - research — 12 entries,
site/research/references-category-theory.bib
3.6. Reading list and general reference
- research — 77 entries,
site/research/reading.bib
3.7. Other notes
site/events/harvard-cs-lecture-series/2026-10-08/index.org— 15 entries,site/events/harvard-cs-lecture-series/2026-10-08/references.bibsite/events/harvard-cs-lecture-series/2026-10-15/index.org— 12 entries,site/events/harvard-cs-lecture-series/2026-10-15/references.bibsite/events/harvard-cs-lecture-series/2026-10-22/index.org— 14 entries,site/events/harvard-cs-lecture-series/2026-10-22/references.bibsite/events/harvard-cs-lecture-series/2026-10-29/index.org— 9 entries,site/events/harvard-cs-lecture-series/2026-10-29/references.bibsite/events/pldi-2026/page-2026/keynote-shan-lu/index.org— 7 entries,site/events/pldi-2026/page-2026/keynote-shan-lu/references.bibsite/events/pldi-2026/research-papers/index.org— 18 entries,site/events/pldi-2026/research-papers/references.bib- 2026-forgetting-and-attribution — 25 entries,
site/research/2026-forgetting-and-attribution/references.bib - 2026-shipping-the-model — 8 entries,
site/research/2026-shipping-the-model/references.bib - bombadil-spa — 7 entries,
site/research/bombadil-spa/references.bib - algorism — 1 entry,
site/research/jwalsh1/algorism/references.bib - presci-6L256d — 3 entries,
site/research/jwalsh1/presci-6L256d/references.bib
4. Conventions
- One bibliography per note, named
references.bibbeside a directory note'sindex.org, orreferences-<slug>.bibbeside a flat<slug>.org. - A note that cites anything must declare all three of
#+bibliography:,#+cite_export: csland#+print_bibliography:. Omitting#+cite_export:falls back to org'sbasicprocessor, which renders an unresolved key as a literal(??)rather than failing — that shipped to production on one note and is the reason the rule is written down here. - Protect acronyms and proper nouns in
titlewith braces. Citeproc sentence-cases CSL titles, so an unbracedA-MEM: ... for LLM Agentsrenders as "A-Mem … for Llm Agents". - Internal wal.sh notes are referenced as inline
file:links, not as BibTeX entries. There is no self-citation convention on this site, and adopting one for a single note would imply it for every other.