Tópicos em alta
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-4,46%
USELESS
USELESS-7%
IKUN
IKUN-2,19%
gib
gib-2,03%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,44%
ALON
ALON+5,54%
LAUNCHCOIN
LAUNCHCOIN-0,63%
GOONC
GOONC-1,36%
KLED
KLED-9,65%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,07%
Boopa
Boopa-0,94%
PORK
PORK0,00%
header
Informal Systems
Parceiro Premier em Design de Protocolos e Infraestrutura Cross-Chain | Auditorias | Validador | Incubação @cyclesmoney
Informal Systems
Informal Systems7 horas atrás
Para encerrar o ano, estamos lançando o Quint Connect: uma biblioteca para testes baseados em modelos em Rust, adaptada para funcionar bem com LLMs. @bugarela explicou tudo no post mais recente do blog do Quint. Acabamos de configurar isso para a Emerald. Em qual projeto você vai experimentar?
67
Informal Systems
Informal Systems18 de dez., 23:01
Conversamos com a líder do Quint, Gabriela Moreira, para discutir como a especificação formal está mudando a forma como as equipes constroem software. Chega de depender de documentos ambíguos em inglês. Construa sobre uma referência que todos podem consultar e entender.
303