Актуальные темы
#
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.
Удивительная демонстрация использования Quint для освоения протокола за 1 день.
Вы просто не можете достичь такого уровня понимания так быстро с помощью белой доски или даже языка программирования.
19 мая 2025 г.
Взгляд на то, каково это — писать спецификацию Quint с пустого файла. Пишу новую спецификацию для консенсуса Tendermint, теперь с учетом всех знаний и техник, которые мы разработали за последние 3 года.
Моя любимая часть — это описания выполнения. Написание их сделало все настолько понятным!
2,72K
Топ
Рейтинг
Избранное