Carl Sverre
f0a.org
Fascinated by the building blocks of great software. Extremely curious. High energy. Solving testing @antithesis.com. Built SQLSync.dev, graft.rs. Ex. SingleStore.
👤 Joined on 13 November 2023
675
Followers
225
Following
48
Total Posts
📜 Kullanıcı Geçmişi
- 13 Kas 2023, 19:41
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@carlsverre.bsky.social - 13 Kas 2023, 19:59
✏️ Kullanıcı adı değişti:
@carlsverre.bsky.social→@f0a.org - 14 Kas 2023, 02:19
🔄 Profil bilgileri güncellendi
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
Carl Sverre is on the Red Team at @antithesis.com. He joins @seanfalconer.bsky.social to discuss software verification, deterministic simulation testing, edge cases, distributed systems, and testing AI generated code. @f0a.org softwareengineeringdaily.com/podcasts/sof...
Show Post
On Monday at 2:00pm, @f0a.org presents "Hermetically Sealed Box of Pain," starting with classic property testing and scaling all the way up to deterministic simulation. Come for the property testing, stay for the pain. softwareyoucanlove.ca/talks/hermet... Tickets: softwareyoucanlove.ca/tickets/
Show Post
About to get thrown out of here for obvious reasons
Show Post
Today's "Andy at Sea" Database Seminar Speaker: Marco Primi will discuss how @antithesis.com automatically finds bugs in database systems (aka the most important software in the world). Public Zoom talk at 4:30pm ET. YouTube video available after: db.cs.cmu.edu/events/andy-...
Show Post