Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Demonstração incrível de como usar o Quint para dominar um protocolo em 1 dia.
Simplesmente não é possível obter esse nível de compreensão tão rapidamente com um quadro branco ou mesmo uma linguagem de programação.
19/05/2025
Uma visão de como é escrever uma especificação Quint a partir de um arquivo em branco. Escrevendo uma nova especificação para o consenso Tendermint, agora com todo o aprendizado e técnicas que desenvolvemos nos últimos 3 anos.
Minha parte favorita são as descrições de execução. Escrevê-las fez tudo se encaixar tão bem!
3,28K
Top
Classificação
Favoritos