Hacker News new | ask | show | jobs
user: smperng
created: 2026-02-12
karma: 4

submissions:

Show HN: Tally – check a spreadsheet's numbers against their source, in-browser
4 points | 0 comments
Show HN: Choreo – an animation DSL that verifies its own rendered output
2 points | 0 comments