7

Source document

[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-11-21 01:00] traves_theberge: we cooking [2025-11-21 01:00] ajaxdavis: fo sure [2025-11-21 01:01] ajaxdavis: need to get the docs into the next model training windows so people don't have to add instructions to claude.md [2025-11-21 01:02] ajaxdavis: as long as the cli tool got good commands and a manpage should be fine though [2025-11-21 01:15] ajaxdavis: was quite simple to add a blocks.yml file to my blog, claude is currently running against my posts with the only domain constrain being `humour` [2025-11-21 01:19] ajaxdavis: thats cool (files: Screenshot_2025-11-21_at_11.19.23_AM.png) [2025-11-21 01:20] ajaxdavis: alright, day job [2025-11-21 01:21] ajaxdavis: *boots up claude at day job terminal* [2025-11-25 04:54] ajaxdavis: https://plopjs.com/documentation/#getting-started [2025-11-25 04:54] ajaxdavis: https://patternplate.github.io/ [2025-11-25 04:54] ajaxdavis: https://www.lost-pixel.com/ [2025-11-27 12:49] ajaxdavis: https://x.com/svpino/status/1993711956315058679 [2025-11-27 15:37] traves_theberge: Agents with automation flow tooling [2025-11-28 03:30] lisamegawatts: This is the one I was working on a few months ago <@806444151422976035> https://github.com/DavinciDreams/carmack [2025-11-28 03:30] lisamegawatts: Its supposed to be "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." [2025-11-28 03:31] lisamegawatts: I had it working and I think the idea is solid, not sure what state I left it in exactly :p [2025-11-28 03:31] lisamegawatts: It had autodocumentation and auto code correct [2025-11-28 03:32] ajaxdavis: yeah ive been meaning to bring it back up [2025-11-28 03:35] lisamegawatts: The typescript was making me crazy [2025-11-28 03:56] ajaxdavis: typescript is still the bane of my agentic coding experience [2025-11-28 03:56] ajaxdavis: not sure if i should make it more strict or less strict [2025-11-28 04:56] ajaxdavis: domain drift logic drift visual drift anything drift [2025-12-17 00:14] ajaxdavis: https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html https://news.ycombinator.com/item?id=46294574 add formal verification some how [2025-12-17 00:37] ajaxdavis: - add examples of claude hooks [2025-12-17 02:47] ajaxdavis: - conformance tests [2025-12-30 01:35] ajaxdavis: - generate a list of tpmjs standard tools [2025-12-30 03:01] traves_theberge: 👀 [2025-12-30 03:02] traves_theberge: hows the progress on this my dude. [2025-12-30 03:02] traves_theberge: could use a semantic linter. [2025-12-30 03:02] traves_theberge: <@806444151422976035> 😆