arithmetic
6 stories and discussions about arithmetic, aggregated from every source we track.
Solving equations feels smooth when basic arithmetic is automatic – it’s like moving puzzle pieces around, and you just need to identify how they fit together. But without automaticity on basic arithmetic, each puzzle…
A cost report gets read twice: once by a person in a terminal, once by an agent through an MCP server. Making the server compute every total instead of handing back rows keeps the two answers the same, and measures the report's own arithmetic against the AWS bill.
Arithmetic skill for human. GitHub Gist: instantly share code, notes, and snippets.
So uhhh, yeah. Writing is hard, time-consuming, and often frustrating. Coming up with topics worth writing about is even harder and littered with false starts. I figured I should try to get out...
Arbitrary precision, custom formats, and fast software backends with Lean proofs connecting execution to the specification.