Dan Moore

mooreds.com

18 October 2026 23:53

@bugarela.com Enjoyed your interview on @maintainable.fm !

Mambi

gambiconf.dev

15 October 2026 13:09

Veja mais sobre no site deles para saber como fazer verificação formal sem sofrimento, ideal para sistemas distribuídos, blockchain e qualquer coisa em que um edge case custa caro: quint.sh

Mambi

gambiconf.dev

15 October 2026 13:09

🏴‍☠️ 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.

Arthur Tayt-Sohn

arthurtaytsohn.bsky.social

14 October 2026 16:38

Nossa crise jamais será estética

Quint

quint-lang.org

14 October 2026 13:23

Making software is a craft. We don't need to become managers. We are just crafting at a different level. Find tools that respect your craft.