Mambi

gambiconf.dev

19 October 2026 15:50

O instalador customizado do FreeBSD para o workshop na GambiConf já está pronto! Curioso pra saber mais e aprender mais sobre criptografia? Veja a programação e venha participar do workshop do Vinícius Zavam!

Mambi

gambiconf.dev

15 October 2026 13:07

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:07

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

Mambi

gambiconf.dev

13 October 2026 12:47

Veja só tudo o que te aguarda na GambiConf 2026! Bastante coisa para fazer e pessoas para conhecer no último fim de semana de Novembro!

alex

bates64.com

13 October 2026 00:18

a new tool for making Paper Mario mods. diorama64.starhaven.dev