reference
lessons on agents, rust, and web delivery drawn from hraness projects, plus a study of model choice and sourced histories of software companies and labs.
each topic collects lessons drawn from the code and operations of hraness projects. most lessons are open to everyone; the rest ask for your email partway through and stay free.
the columns describe one design from different sides: the projects keep their material in formats the owner controls, leave evidence for every consequential act, keep permission explicit, and turn what worked into procedures. the thread through hraness
features
- promptingwhat predicts a frontier-model pick across 337 coding sessions, why the second reading disagrees with the first, and the model router updated in step
dossiers
sourced histories of the companies, labs, and products worth studying.
- roam researcha sourced history of roam research and its founder conor white-sullivan, from the hype and the backlash to the unfinished idea of networked thought.
- obsidiana sourced history of obsidian, its people, the discourse around it, and the file-over-app idea it is built on.
- gumroada sourced history of gumroad and sahil lavingia's umbrella company, the discourse around them, and the small-company idea behind them.
- everya sourced history of every, the media house and app suite, the discourse around it, and the bundle idea behind it.
- ink & switcha sourced history of ink & switch, the independent lab behind automerge and the local-first software movement, and the tools-for-thought scene it seeded.
- tldrawa sourced history of tldraw, steve ruiz's infinite-canvas company: the sdk business, the make-real demos, and the canvas-as-infrastructure thesis.
- antithesisa sourced history of antithesis, the deterministic simulation-testing company from the foundationdb lineage, and its autonomous-testing idea.
- midjourneya sourced history of midjourney, david holz's self-funded independent research lab, its community, and its models.
- zeda sourced history of zed industries, the editor company founded by atom and tree-sitter veterans, from gpui to its idea of a fast collaborative editor.
- core automationa sourced history of core automation, inc., the san francisco ai lab founded by former openai vp of research jerry tworek, not the industrial-automation firms.
- morpha sourced history of morph, the apply-model company behind fast apply, from its lingtual pivot years to its subagent suite.
- moving castlesa sourced history of moving castles, the berlin studio, its worlds, and the zero release.
- typesafea sourced dossier on typesafe ai, the system-one lab behind jev: its founders, its launch, and the calibration question it leaves open.
- cognitiona sourced history of cognition, scott wu's company behind the devin software-engineering agent, and its acquisition of windsurf.
- deepseeka sourced history of deepseek, the open-weights ai lab, its founder liang wenfeng, and high-flyer, the hedge fund behind it.
- andon labsa sourced history of andon labs, the ai-safety evaluation shop, covering project vend and its model-behavior experiments.
- convergent researcha sourced history of convergent research, the nonprofit that incubates focused research organizations, and its cofounders adam marblestone and anastasia gamick.
lessons
technical columns written from the systems hraness runs.
- agent infrastructuredurable sessions, orchestration, and review for coding agents.
- local-first softwareowning state on the device, syncing on the owner's terms.
- knowledge systemsmarkdown vaults, retrieval, and evidence beside the code.
- web deliverymetadata, sitemaps, social images, and proof of which commit production serves.
- design systemsprimitives, tokens, and brand catalogs shared across products.
- browser mediaaudio, midi, and generative media in the browser.
- accounts and commerceshared identity, billing, and marketplace payouts across products.
- the factoryone engineer, many products: monorepo operations and agent workflow.
- rust systemsone cargo workspace, many small crates: ports, deterministic cores, and effectful shells.
- programming languagessmall languages built to be run, measured, and replayed.
- peer-to-peer systemsidentity, discovery, transport, and consensus without a server in the middle.
- computer sciencesimulation, evaluation, and complexity treated as engineering inputs.
- correctnessthe methods that make agent-written software hold up: proofs, properties, replay, and receipts.
by hraness · drafted with ai assistance