Tópicos em alta
#
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 do uso do Quint para dominar um protocolo em 1 dia.
Você simplesmente não pode obter esse nível de compreensão tão rapidamente com um quadro branco ou mesmo uma linguagem de programação.
19 de mai. de 2025
Um pico 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 das corridas. Escrevê-los fez tudo clicar tão bem!
2,98K
Melhores
Classificação
Favoritos