Project Carmack
From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-06.)
Project Carmack is A provably correct code editing agent architecture that prioritizes traditional programming approaches over prompting..
Mostly:built with(3), has feature(2), rdf:type(1)
Maturity scale
raw canonical shape-checked rule-derived certifiedInbound mentions (2)
Other subjects in dontopedia point AT this entity as a value. These are inverse relationships — e.g. "X motherOf this subject" — and answer questions the forward facts can't. Grouped by predicate.
mentionedResourceMentioned Resource(1)
- Lisamegawatts
ex:lisamegawatts
targetTarget(1)
- Bring Carmack Back Up
ex:bring-carmack-back-up
Other facts (11)
The long tail: predicates that appear too rarely to warrant their own section. Filter or scroll to find a specific one. Each row links to its source.
| Predicate | Value | Ref |
|---|---|---|
| Built With | Zod | [1] |
| Built With | Dafny | [1] |
| Built With | Ast Grep | [1] |
| Has Feature | autodocumentation | [1] |
| Has Feature | auto-code-correct | [1] |
| Rdf:type | Software Project | [1] |
| Url | Carmack | [1] |
| Description | A provably correct code editing agent architecture that prioritizes traditional programming approaches over prompting. | [1] |
| Claimed Reliability Improvement | 17x | [1] |
| Claimed Performance Improvement | 20-100x | [1] |
| Compared to | conventional-ai-agents | [1] |
Timeline
Timeline axis is valid_time — when each source says the fact was true in the world, not when Dontopedia learned about it. Retracted rows are kept for provenance; coloured stripes indicate the context kind.
References (1)
ctx:discord/blah/blocks/7- full textblocks-7text/plain3 KB
doc:agent/blocks-7/accda6aa-871e-43ab-8c2f-15f30d8c039bShow excerpt
[2025-11-21 01:00] traves_theberge: fuck yeah [2025-11-21 01:00] ajaxdavis: imagine adding a domain constraint and rewriting 200 blog posts though [2025-11-21 01:00] ajaxdavis: the powerrrr [2025-11-21 01:00] traves_theberge: exactly [2025-…
See also
Keep researching
Missing something or suspicious of what's here? Kick off a research session — a Claude agent will investigate, cite its sources, and file new facts into a dedicated context you can review before accepting into the shared view.