toddschiller.com valid
Todd Schiller
Personal site of Todd Schiller, PhD — co-founder and CEO of PixieBrix. Writing focuses on software engineering, browser extensibility, programming languages, verification, AI coding, and applied reasoning.
For agents: Personal site of Todd Schiller, PhD (PixieBrix CEO): essays on software engineering, browser extensibility, verification and AI coding, plus publications and to
software engineeringbrowser extensibilityformal verificationai codingpixiebrix
- Authority
- 46 reach 0 · trust 10 · quality 21 · freshness 15
- Tier
- listed
- llms.txt
- https://toddschiller.com/llms.txt
- Sections
- 4
- Links
- 23
- Size
- 4311 bytes
- Registered
- 2010-08-02
- Country
- United States Hosting inference
- Hosting country
- United States Hosting inference
- Country evidence
- No published address evidence collected yet
- Categories
- Personal sites and blogs
- For agents
- Documentation: developer or product docs worth reading, nothing to call
- Inferred actions
- Read documentation Search content Download data About these labels
- Audience
- mixed · agents can: read docs, search content, download data · en
- First seen
- 2026-10-23T13:14:01.529Z
- Last checked
- 2026-10-23T13:14:02.219Z
- Badge
Their llms.txt
The beginning of the file, from our validated copy saved 2026-10-23T13:14:01.548Z. Cached copy · Source on toddschiller.com
# Todd Schiller
> Personal site of Todd Schiller, PhD — co-founder and CEO of PixieBrix. Writing focuses on software engineering, browser extensibility, programming languages, verification, AI coding, and applied reasoning.
Todd holds a PhD in software engineering and programming languages from the University of Washington (advised by Michael Ernst), and BS/MS degrees from Washington University in St. Louis. The blog spans both peer-reviewed research interests (verification, DSLs, machine learning) and practical engineering essays (debugging, testing, hiring, web automation).
Blog posts live under `/blog/{slug}.html`. Static pages live under `/pages/{slug}.html`. Interactive single-page artifacts (calculators, demos) live under `/artifacts/{slug}/`. Every HTML page has a Markdown version with the extension replaced by `.md`, including `/index.md` for the homepage and `/artifacts/{slug}/index.md` for artifacts. Request `Accept: text/markdown` on an HTML or directory URL to negotiate Markdown. Interactive artifacts export their static text; use the HTML page to run them.
For the full, current list of posts use the feeds below rather than caching any per-article list.
## Start here
- [Home](https://toddschiller.com/index.md): Latest writing and selected essays.
- [Start here](https://toddschiller.com/pages/start-here.md): Reading guide.
- [Extensibility](https://toddschiller.com/pages/extensibility.md): Weekly series index.
## About
- [About Todd Schiller](https://toddschiller.com/pages/about.md): Biography, education, research lineage, and professional service.
- [Subscribe](https://toddschiller.com/pages/subscribe.md): Email subscription page (Buttondown). RSS/Atom feeds are also linked from this page.
- [Publications](https://toddschiller.com/pages/publications.md): Peer-reviewed research publications.
- [Speaking](https://toddschiller.com/pages/speaking.md): Conference talks and invited presentations.
- [Artifacts](https://toddschiller.com/pages/artifacts.md): Interactive single-page tools and demos hosted on the site.
- [Social / Contact](https://toddschiller.com/pages/contact.md): Links to LinkedIn, GitHub, X, Bluesky, and other profiles.
## Blog
- [Blog index](https://toddschiller.com/blog/index.md): Paginated list of all posts (essays and notes), newest first.
- [Notes](https://toddschiller.com/notes/index.md): Notes-only index. Shorter pieces, announcements, talk previews, and cross-posts. Distinct from long-form essays.
- [Sitemap](https://toddschiller.com/sitemap.xml): XML sitemap covering every post, page, and index on the site.
- [All posts — Atom feed](https://toddschiller.com/feeds/all.atom.xml): Canonical machine-readable feed of every post (title, summary, body, date).
- [All posts — RSS feed](https://toddschiller.com/feeds/all.rss.xml): Same content as the Atom feed in RSS 2.0.
## Topic feeds
Per-category Atom feeds. Each is the authoritative list of posts in that category.
- [Browser Extensions](https://toddschiller.c
…Related sites
Find similar publishers by meaning →
Other listed sites in Personal sites and blogs. See the whole category →
| Domain | Title | Category | Country | Authority | llms.txt | llms-full.txt | Save |
|---|---|---|---|---|---|---|---|
| ito.com | Joi Ito's Web | documentation Education Personal sites and blogs | — | 64 | ✓ | ✓ | |
| kitces.com | Kitces.com | documentation Personal sites and blogs Finance and payments | — | 64 | ✓ | ✓ | |
| tomtunguz.com | Tomasz Tunguz | informational Personal sites and blogs | US | 64 | ✓ | ✓ | |
| ctrl.blog | Ctrl blog | documentation Personal sites and blogs | US | 63 | ✓ | ✓ | |
| devsaran.com | GENERATED by websites/scripts/generate-llms-txt.mjs — do not edit by hand. | documentation Personal sites and blogs | — | 63 | ✓ | ✓ | |
| fs.blog | Farnam Street: Mastering the best of what other people have already figured out | informational Personal sites and blogs | — | 63 | ✓ | ||
| nvie.com | nvie.com | documentation Personal sites and blogs | US | 62 | ✓ | ||
| randalolson.com | Dr. Randal S. Olson | informational AI and machine learning Data and analytics +2 | US | 62 | ✓ | ✓ |
Machine-readable: GET /v1/resolve?q=toddschiller.com · GET /v1/domain/toddschiller.com · this page as Accept: application/json or text/markdown · MCP lookup_domain
Automatically discovered from public files. Inclusion does not imply endorsement or publisher participation.
Own or manage this website?
If you own or manage toddschiller.com, you can update its listing and review file health, discovery activity and score history.
Manage this listing — optional
What verification unlocks
See how your site is discovered—and control what agents see.
- See your website in the map
Review your indexed topics, nearby publishers sharing headings, measured listing exposure and map snapshots in a private report for your website.
- Control what agents see
Edit your listing description, tags, public contact details and additional llms.txt paths. Publish your terms for automated access, attribution and pricing.
- Make your profile eligible for search
A valid, listed, unblocked, verified profile can appear in our publisher sitemap and become eligible for search-engine visibility. Search engines decide what to index and rank.
- Appear in our llms-full.txt
Eligible verified publishers are listed by name, with their file links and summaries, in the service overview agents can read.
Free. No account registration, backlink or payment required. Public discovery remains available without verification.
Let your coding agent verify it
If your coding agent is authorized to manage this website, paste these instructions into it.
Claim my listing on Agent Web Map for toddschiller.com:
1. POST https://agentwebmap.com/v1/sites/toddschiller.com/claims and keep claim_id and claim_secret private.
2. Publish the proof: add the line "AgentWebMap ownership: <token>" (token from step 1) to https://toddschiller.com/llms.txt, or use the DNS, meta-tag or well-known method the response describes.
3. POST https://agentwebmap.com/v1/sites/toddschiller.com/verify with {"claim_id": "...", "claim_secret": "..."}.
4. Save the api_key from the answer; it manages the listing (PATCH https://agentwebmap.com/v1/sites/toddschiller.com).
MCP equivalent: tools begin_ownership_claim, then verify_domain, at https://agentwebmap.com/mcp. Docs: https://agentwebmap.com/docs#verifyCorrections or removal requests: contact the directory.