← Feed @jasongorman@mstdn.business 2026-09-25 04:54 UTC So your software provably satisfies its specification? But still nobody's using it? Replies (0) No replies.