Mastodon Feed
bcantrill ("Bryan Cantrill") wrote:
Today on @oxidecomputer and Friends, @ahl and I will be joined by our colleagues Greg Colombo and @rain to discuss techniques for software verification that they have used at Oxide. Come for the model checking -- stay for the property-based testing! Join us, today, 5p!
https://discord.gg/2ehc2K5B?event=1120434813015425064
As always, recorded and made available as a podcast: