Meet Blaster: Automated Formal Verification with Romain Soulat (@RSoulatIOHK) and…
This is a dev post classified by AGK Intelligence as Testing & observability (a tool drop), kept by the Dev Radar because it carries real work, not commentary.
Meet Blaster: Automated Formal Verification with Romain Soulat (@RSoulatIOHK) and Jean-Frédéric Etienne (@JeanFrdricEtie1). A Developer Office Hour on a tool that checks a Cardano smart contract against its rules, and shows the line where it breaks. Next Developer Office Hours: https://www.addevent.com/calendar/TG807216
Posted by Cardano (1.4M followers) 1 days ago · 99 likes · 16.5k views · view the original post on X. Kept by the Dev Radar as Testing & observability.
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.