Linear's co-founder argues good products carry the judgement of the people who make them. As individuals ship changes through agents, software accumulates disconnected features. Cheaper building, he says, should buy time to form a point of view and refine until the pieces fit.
Karri Saarinen
Peter Piekarczyk says elaborate personal agent pipelines mostly automate the habit of starting projects and abandoning them, while chat tools already make building easy. Factories earn their keep at work, he argues, where messy, repetitive problems and team shipping justify the plumbing.
peterp.me
In a guest post, Francesco Maggi argues LLMs can generate proofs, but long machine proofs are often unreadable, so human understanding still matters. The bigger prize is building frameworks that make phenomena precise. He warns research could concentrate in private hands and calls for public LLM infrastructure and disclosure standards.
What's new (Terence Tao)
Systems BAE Systems runs for the federal judiciary, including Bankruptcy Noticing Center sites, have been disrupted since 9 October. Courts still take filings, but notices have stopped nationwide; the Eastern District of Texas extended some stays by 30 days. BAE says the incident is isolated to the noticing system.
The Register