The Trade-Off Was Not on the Frontier
Before accepting a trade-off, ask whether the current design is even on the frontier. Many systems are not noble compromises; they are merely bad at several things at once.
Read moreLaboratory of Digital Thought
Thoughts
Search results · 4 results.
Proofs Are Finally Getting Cheaper
LLM-assisted theorem proving matters because the model may propose proof steps, but Lean can reject the nonsense.
Read moreThe Agent Has A Hunch Before It Edits
Coding agents are beginning to encode where their future edits are going. That is useful only if we make the signal visible enough to challenge.
Read moreThe Code Is No Longer the Expensive Part
Coding agents make implementation abundant. The scarce engineering materials are now judgment, legibility, verification, and restraint.
Read more