Torsten Curdt
tcurdt.bsky.social
CTOish person. Open Source at the ASF. Building Software Infra Teams. Worked at soundcloud, joost, gilt, honeypot and others. Trying to pass on 30y+ of software engineering experience without being grumpy. (Might not always work) Love sailing!
👤 Joined on 05 June 2023
460
Followers
251
Following
280
Total Posts
📜 Kullanıcı Geçmişi
- 05 Haz 2023, 20:33
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@tcurdt.bsky.social - 13 Kas 2023, 00:48
🔄 Profil bilgileri güncellendi
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
OK, PHPcalypse patches eingespielt. Gestern Google Cloud und CAcalypse. Läuft diese Woche.
Show Post
A friend just pointed out Vermillion. The idea is to use Verus annotations on a Rust program but replace Z3 with Lean. This increases the sophistication of possible proofs allows simplification. Nice work. proofsandintuitions.net/2026/10/18/v... @ilyasergey.bsky.social #proof #verus #rust #lean
Show Post
Thanks for the feedback - fair point. We’re looking at how to reveal more value before asking for an email.
Show Post
Nope. And this is actually what I'm worried about…
Show Post