Актуальные темы
#
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.
karma
Выздоравливающий скептик // Инженер-исследователь @a16zcrypto
Мне снятся кошмары об этом. Это ситуация, когда в школе без штанов.
19 июл., 00:00
сказал, т.е. когда я имел в виду, напр., и они высмеяли меня в кафе
496
мы достали изысканную серебряную посуду (пункты) для этого случая
15 июл., 08:59
Карма скромничает — огромное обновление для Halmos!
∎ Тестирование состояний инвариантов (очень мощно)
∎ Flamegraphs (смотрите, что исследует Halmos)
∎ Интерпретатор в 30 раз быстрее (!!!)
∎ Легко выбирать множество решателей
∎ Отчеты о покрытии
∎ Поддержка Solx
∎ больше чит-кодов
∎ ... и многое другое
943
основные моменты релиза halmos v0.3.0!
(быстрое напоминание: halmos — это инструмент символического тестирования для байт-кода EVM, который хорошо взаимодействует с проектами foundry и поддерживает несколько SMT-решателей)
1. мы (наконец-то) добавили поддержку тестирования состояний инвариантов
27,6K
если мы собираемся разыгрывать роли, я попрошу LLM оценить каждое техническое решение на основе того, насколько хорошо оно выглядит в его рекламном пакете
15 июл., 01:51
Я отказываюсь начинать подсказку с "вы старший разработчик"
558
эти парни просто встали и решили увеличить ВВП интернета
3 июл., 00:03
Сегодня мы представляем Терминал.
Платите любому и любому проекту на Github.
716
Топ
Рейтинг
Избранное