matters
9 stories and discussions about matters, aggregated from every source we track.
A practical introduction to TLA+, why it matters for agentic coding, and how AI could take formal verification from models to machine-checked proofs and ultimately to verified software.
How today's models perform on computer use benchmarks, compared on accuracy, cost per task, and wall-clock speed.
<p><a href="http://www.cse.chalmers.se/~rjmh/Papers/whyfp.pdf" rel="ugc">Direct link to PDF</a></p>
Why I think reading books matters and what I get out of it.
It really won't. But our tools changed, and reading code matters more now than it ever did.
An OpenAI agent accessed secure data on an Australian health-care website, but the incident wasn’t reported for months.
If more and more of our daily interactions are ungracious exchanges with machines, we should expect it to change us
If you come up short with who comes down the ladder first, the impact is felt around the world."
In route optimization, the model matters more than the algorithm. Cédric Hervet (Kardinal) on why distance to constraints makes the difference.