Актуальні теми
#
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
сказав, тобто, коли я мав на увазі, наприклад, і вони вигнали мене з кав'ярні
476
З цієї нагоди ми випустили вишуканий столовий посуд (bulletpoint)
15 лип., 08:59
Карма скромна — величезне оновлення для Halmos!
∎ Інваріантне тестування зі збереженням стану (дуже потужне)
∎ Флеймграфи (дивіться, що досліджує Халмос)
∎ У 30 разів швидший перекладач (!!)
∎ Легкий вибір багатьох розв'язувачів
∎ Звіти про покриття
∎ Підтримка Solx
∎ більше чит-кодів
∎ ... та багато іншого
935
Основні моменти релізу Halmos v0.3.0!
(Коротке нагадування: Halmos — це інструмент для символьного тестування байт-коду EVM, який чудово взаємодіє з проектами ливарного виробництва та підтримує кілька розв'язувачів SMT)
1. Ми (нарешті) додали підтримку інваріантного тестування зі збереженням стану
27,53K
якщо ми збираємося грати в рольові ігри, я попрошу LLM оцінювати кожне технічне рішення в залежності від того, наскільки добре воно виглядає на своєму промо-пакеті
15 лип., 01:51
Я відмовляюся починати підказку з "ви senior-розробник"
547
ці хлопці просто встали і вирішили збільшити ВВП інтернету
3 лип., 00:03
Сьогодні ми представляємо Термінал.
Платіть будь-кому та будь-якому проекту на Github.
706
Найкращі
Рейтинг
Вибране