context
Part 7
ctx:discord/blah/blocks/part-7No external document is attached to this context. (Many contexts are pure organisational labels.)
Facts in this context
Grouped by subject. Each subject links to its full article.
Ajaxdavis43 factsex:ajaxdavis
| affirmsAgreement | fo sure |
| announcesStarting | Day Job |
| assumesUses | Gemini |
| bootsUp | Claude |
| commitsToImplement | Content Re Purposing Engine |
| conditionsOfferOn | Get Slack |
| enthusiasticAbout | Domain Constraints |
| evaluatesAs | really good idea |
| evaluatesAs | cool |
| evaluatesAs | Bane |
| expressesExcitement | the powerrrr |
| imaginesScenario | Adding Domain Constraint to 200 Blog Posts |
| instructsToDo | Do a Pr |
| intendedToRevive | Carmack |
| motivatesActionToAvoid | Adding Instructions to Claude Md |
| needsToGet | Docs Into Next Model Training Windows |
| offers | Commit Access |
| offersToSend | Openai Key |
| ownsBlog | Blog |
| plansToRevive | Carmack |
| reportsAdded | Blocks Yml File to Blog |
| sentMessageAt | 2025-11-21 01:00 |
| sentMessageAt | 2025-11-21 00:59 |
| sentMessageAt | 2025-11-28 03:56 |
| sentMessageAt | 2025-11-28 03:32 |
| sentMessageAt | 2025-11-21 00:57 |
| sentMessageAt | 2025-11-21 01:01 |
| sentMessageAt | 2025-11-21 01:02 |
| sentMessageAt | 2025-11-21 01:15 |
| sentMessageAt | 2025-11-21 01:19 |
| sentMessageAt | 2025-11-21 00:56 |
| sentMessageAt | 2025-11-21 01:20 |
| sentMessageAt | 2025-11-21 01:21 |
| sentMessageAt | 2025-11-25 04:54 |
| sentMessageAt | 2025-11-27 12:49 |
| sharesLink | Plopjs Com Documentation Getting Started |
| sharesLink | X Com Svpino Status 1993711956315058679 |
| sharesLink | Lost Pixel Com |
| sharesLink | Patternplate Github Io |
| statesSufficiencyCondition | Cli Tool With Good Commands and Manpage |
| suggestsAlternative | Add AI Sdk Plugin |
| suggestsPlacement | Blog Posts Md |
| usesClaudeAtWork | Day Job |
Carmack14 factsex:carmack
| achieves | 17x better reliability |
| achieves | 20-100x faster performance |
| builtWith | Dafny |
| builtWith | Ast Grep |
| builtWith | Zod |
| comparedTo | Conventional AI Agents |
| guarantees | Correctness |
| hadFeatures | Auto Code Correct |
| hadFeatures | Autodocumentation |
| hasAutoFeatures | Autodocumentation and Auto Code Correct |
| isDescribedAs | A provably correct code editing agent architecture that prioritizes traditional programming approaches over prompting. Built with Zod, Dafny, and AST-grep to guarantee correctness while achieving 17x better reliability and 20-100x faster performance than conventional AI agents. |
| prioritizes | Traditional Programming Approaches |
| superiorTo |
Traves Theberge12 factsex:traves-theberge
| agrees | Exactly |
| commentsOnLink | Agents with automation flow tooling |
| declinesOffer | Commit Access |
| developing | Content Re Purposing Engine |
| enthusiasticAbout | Content Re Purposing |
| expressesEnthusiasm | fuck yeah |
| expressesTeamSpirit | we cooking |
| sentMessageAt | 2025-11-21 01:00 |
| sentReplyAt | 2025-11-27 15:37 |
| sentReplyAt | 2025-11-21 01:00 |
| sentReplyAt | 2025-11-21 00:58 |
| wasTryingToCreate | Content Re Purposing Engine |
Lisamegawatts10 factsex:lisamegawatts
| evaluatesIdeaAs | solid |
| frustratedBy | Typescript |
| hadItWorking | Carmack |
| mentionsUser | 806444151422976035 |
| refersToPreviousWork | Carmack |
| sentMessageAt | 2025-11-28 03:30 |
| sentMessageAt | 2025-11-28 03:35 |
| sentMessageAt | 2025-11-28 03:31 |
| sharesLink | Github Com Davincidreams Carmack |
| uncertainAbout | Current State of Carmack |
Domain Constrain4 factsex:domain-constrain
| appliesTo | Blog Posts |
| hasOnly | Humour |
| humorousExample | Dont Be Gay |
| includes | Dont Be Gay |
Chat Conversation3 factsex:chat-conversation
| involvesParticipants | Ajaxdavis |
| involvesParticipants | Traves Theberge |
| involvesParticipants | Lisamegawatts |
Claude3 factsex:claude
| isRunningAgainst | Ajaxdavis Posts |
| runsAt | Day Job Terminal |
| usedIn | Ajaxdavis Blog |
Omega Stuff3 factsex:omega-stuff
| costsTo | Ajaxdavis |
| hasCostTo | 20 cents |
| isCheap | 20 cents |
Typescript3 factsex:typescript
| causesFrustrationTo | Lisamegawatts |
| hinders | Agentic Coding |
| isBaneOf | Ajaxdavis Agentic Coding Experience |
Cli Tool2 factsex:cli-tool
| requires | Good Commands |
| requires | Manpage |
Adding Domain Constraint1 factex:adding-domain-constraint
| wouldRewrite | 200 blog posts |
Blocks Yml1 factex:blocks-yml
| addedTo | Ajaxdavis Blog |
Chat1 factex:chat
| spansDates | 2025-11-21 to 2025-11-28 |
Dont Be Gay1 factex:dont-be-gay
| hasInstruction | Don't be gay when you write |
Humour1 factex:humour
| isDomainConstrain | Claude Run |
Links Shared1 factex:links-shared
| sharedBy | Ajaxdavis |
Lost Pixel Com1 factex:lost-pixel-com
| isVisualTestingTool | Screenshot |
Patternplate Github Io1 factex:patternplate-github-io
| isToolReference | Design System |
Plopjs Com1 factex:plopjs-com
| isDocumentation | Getting Started |
Screenshot 2025 11 21 at 11 19 23 Am Png1 factex:screenshot-2025-11-21-at-11-19-23-am-png
| isAttachedTo | Ajaxdavis Message 01 19 |
X Com Svpino1 factex:x-com-svpino
| discusses | Agents Automation |