I noticed quite a few commits in your repo say "aryx and claude commited". I don't know what the general sentiment is but I don't consider this "literate" programming, which should be based on *your* thorough understanding of the code. Picking a random thing from your commits:
%claude: This part follows bytes from the user's URL bar into a UTF-8 stream ready for the renderer. It opens with URL parsing---the algebra of splitting \verb+scheme://host/path?query#fragment+ apart and resolving relative URLs against a base. Next comes the actual HTTP transport, covered first as a standalone command-line client ([[hget]]) for clarity, then as the long-running file server ([[webfs]]) that mothra actually talks to through [[/mnt/web]]. Cookies and charset conversion are layered on top: [[webcookies]] is a file-backed jar that survives [[webfs]] restarts, and [[tcs]]/[[uhtml]] form a pre-parser filter chain that turns whatever encoding the server sent into UTF-8 before the HTML parser ever sees it. Algebra of splitting? Dijkstra wept. > On Apr 28, 2026, at 5:13 AM, [email protected] wrote: > > Hi, > > I would like to announce a project I've been working on for quite some time > now to the > plan 9 community: Principia Softwarica. > Here is the main website: https://principia-softwarica.org/ > Principia is essentially a series of books explaining the code of Plan 9, but > not just the kernel, > the whole Plan 9 operating system (windowing system rio, the toolchain, the > rc shell, the debugger, etc.). > I am using the Literate programming technique invented by Donald Knuth to > explain the code (more details on > my website above). > > Note that I will present this project to the upcoming IWP9 workshop > https://iwp9.org/ so if some of you attend, I'll > be happy to get feedback and questions live. > > Oh, and that means yet another fork of Plan 9 here > https://github.com/aryx/principia-softwarica > I know ... > > > 9fans / 9fans / see discussions + participants + delivery options Permalink ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Tf9a9e5697dfa63e0-M29ec349eda723fb7aefc1812 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
