live
- your daily tech & design digest, one email a day -
OpenAI's Navier-Stokes proof mistranslated mathematics into code [Xtra!]A caution about formalizing AI-generated proofs in code.
Microsoft-Decision-1, a model for fast decision-making [Xtra!]Another sign vendors are building task-specific models alongside general ones.
Deterministic simulation testing in Celld [Xtra!]Deterministic simulation is a proven way to find rare distributed-systems bugs.
Rampart: on-device PII redaction in the browser [Xtra!]Local redaction keeps sensitive text off servers before it reaches an LLM.