hardening http://feynman.leostera.dev overnight.
This is a dev post classified by AGK Intelligence as Testing & observability (a launch), kept by the Dev Radar because it carries real work, not commentary.
hardening http://feynman.leostera.dev overnight. we got a solid checker here with temporal properties too you can now check your specs for properties that should * always happen * never happen * happen at every step * eventually always happen * happen infinitely often * lead from state A to state B
Posted by Leo 🏴☠️ (4.7k followers) 2 days ago · 6 likes · 489 views · view the original post on X. Kept by the Dev Radar as Testing & observability. Tools mentioned: Feynman.
More dev work like this
- The best way to speed up your CI is to run only the tests that matter. — @o_kwasniewski
- first mega QA is live with @theo 🔥 — @greg_rog
- Announcing Dagger for GitHub. — @dagger_io
- Did you miss our recent workshop on debugging agents in different environments? — @sentry
- Stop overpaying for slow CI — @hanghuang_
- A coding agent built an RSVP website from a single prompt. — @techNmak
- e2e just crossed 500k weekly downloads on npm 🔥 — @o_kwasniewski
- One AI coding agent run generated 300 metric series across 25 sessions. — @CloudNativeFdn
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.2k posts from 5k X accounts over the last 21 days, 8.8k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-10-30 21:12 UTC. Full method.