{"@attributes":{"version":"2.0"},"channel":{"title":"Posts on radubahmata","link":"https:\/\/radubahmata.com\/posts\/","description":"Recent content in Posts on radubahmata","generator":"Hugo","language":"en-us","lastBuildDate":"Tue, 02 Sep 2025 00:00:00 +0000","item":[{"title":"The PoX-4 Bug Hunt","link":"https:\/\/radubahmata.com\/posts\/pox-4-bug-hunt\/","pubDate":"Tue, 02 Sep 2025 00:00:00 +0000","guid":"https:\/\/radubahmata.com\/posts\/pox-4-bug-hunt\/","description":"How we used stateful property testing to uncover three hidden bugs in PoX-4, the contract at the core of Stacks consensus."},{"title":"The Ice-Breaker Test","link":"https:\/\/radubahmata.com\/posts\/ice-breaker-test\/","pubDate":"Mon, 25 Aug 2025 00:00:00 +0000","guid":"https:\/\/radubahmata.com\/posts\/ice-breaker-test\/","description":"Small progress beats no progress. Start with simple ice-breaker tests to prove your setup works, then iterate toward complexity."}]}}