Quint
quint-lang.org
Capture what your software should do, control every change, and know your tests have you covered. https://quint.sh/
👤 Joined on 06 March 2026
96
Followers
1
Following
160
Total Posts
📜 Kullanıcı Geçmişi
- 06 Mar 2026, 15:39
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@quint-lang.bsky.social - 06 Mar 2026, 16:37
✏️ Kullanıcı adı değişti:
@quint-lang.bsky.social→@quint-lang.org
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
“I don’t believe in that empty check mark […] you have to have an understanding of *what* are you checking”
Show Post
🏴☠️ Novo patrocinador a bordo: @quint-lang.org ! A Quint é uma linguagem open source de especificação executável. Com ela você descreve o comportamento do sistema e verifica se ele está certo antes que o bug chegue em produção.
Show Post
I cannot draw, but I have cool illustration ideas and hand them over to people that can actually draw. When I got this one, my heart was warmed 💜 Humans craft and have taste. Robots are tools.
Show Post
@bugarela.com joins @Robbyonrails.com to talk about what happens when 800 tests still aren’t enough to trust your code. AI-generated tests, formal specifications, Quint, and why human judgment still matters. Listen here: maintainable.fm/episodes/gab...
Show PostI really enjoyed talking to @robbyonrails.com on @maintainable.fm 💜
Show Post