Lapsed philosopher, failed musician, retired dancer. I used to write encyclopedias for a living.
EA-numbers. Anki deck: Some key numbers that every effective altruist should know.
26dotfiles. My configuration files for Emacs, Karabiner, macOS, and more.
8codex. Emacs integration for OpenAI Codex CLI
8gptel-plus. A few gptel enhancements
6issues-to-projects. A collection of scripts to automatically add issues from multiple repos to GitHub projects.
3johnson. A multi-format dictionary UI for Emacs
3org-table-wrap. Visual word-wrapping for Org tables
3wikipedia. Emacs interface for Wikipedia editing
3scihub. Emacs SciHub downloader
2macos. Convenience functions for macOS
2internet-archive. Download PDFs from the Internet Archive.
2mullvad. Emacs convenience functions for interfacing with Mullvad
2bib. Rudimentary support for bibliographic information retrieval
2anki-noter. AI-powered Anki notes generator.
2agent-sync-template. Toolkit for keeping Claude Code and Codex instructions, skills, and hooks synchronized.
2annas-archive. Emacs integration for Anna’s Archive
1mercado-libre. Emacs Lisp functions for interacting with Mercado Libre.
1init. Convenience functions to manage Emacs configuration profiles
1goldendict-ng. Search GoldenDict from within Emacs
1kelly. Emacs Lisp implementation of the Kelly criterion
1pdf-tools-pages. Delete and extract pages from PDFs
1chrome-to-eww. Chrome extension to open the current page in eww, Emacs’s built-in browser
1pangram. Emacs integration for Pangram, an AI detection platform
1org-indent-pixel. Pixel-accurate wrap-prefix for variable-pitch Org buffers
1gdocs. Emacs integration for Google Docs
1elfeed-ai. AI-powered feed scoring for elfeed
1agent-log. Browse conversation logs from agentic AI coding tools
1spofy. Spotify player for Emacs
1stafforini.el. Emacs commands for building and previewing stafforini.com
1sgn. Signal client for Emacs via signal-cli JSON-RPC
1trx. Emacs interface for the Transmission BitTorrent client
1agent. AI coding agent integration for Emacs
1