Актуальные темы
#
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.

Johnnyonline
Погрузка...
ум: взорван
claude + foundry fuzzing очень (, очень) хороши, но claude + foundry invariant testing это OP!!!
такой же инвариант, как в QT, но на этот раз обнаруженный с помощью инвариантных тестов - не целенаправленного фуззинга (конечно, одним выстрелом от claude)
вместо того, чтобы пытаться угадать, как инвариант ломается, claude написал универсальный обработчик, который оборачивает все функции, изменяющие состояние и доступные пользователю, и позволяет фуззеру делать свое дело
добавить еще один инвариант тривиально, просто напишите сам инвариант - никакой новой логики воспроизведения не нужно
кажется, это шаг-функция в обновлении того, как тестируются протоколы
огромное спасибо легендарному @gndizzy и всем гигантам, создающим эту невероятную технологию




Johnnyonline19 дек. 2025 г.
fuzzing is all the talk since the yETH hack (at least in my mind) - @claudeai just wrote the perfect foundry fuzz test for me and uncovered an edge case an entire massive test suite missed
the invariant is simple, `sum(trove debts) >= total_debt`, otherwise `total_debt` can go negative if all troves repay making it impossible to close the last trove
screenshot of the fuzz test attached and link to the test in the first comment, for your convenience
tell claude to fuzz yo code!

3
gmgm. на вчерашнем стриме @claudeai практически одним выстрелом создал бэкенд @FastAPI для @flexmeow. мы также разобрались с хостингом и публичной конечной точкой на @vercel (спасибо @OpenAI's chatgpt)
сегодня много тегирования!
но, честно говоря, технологии просто потрясающие. то, что раньше занимало долгие часы, теперь занимает минуты. и качество результата тоже на высшем уровне
"неаудированная бета" приближается быстро!

Johnnyonline16 дек. 2025 г.
gm. Резюме стрима "going full dutch 2":
для поддержки токенов с разным количеством десятичных знаков мы использовали волшебный трюк с оракулом 10^36. Теперь мы можем легко создавать рынки с любым токеном займа (например, crvUSD/USDC) и любым токеном залога (например, wstETH/WBTC).
Мы также обновили контракт аукциона до последней версии, которая добавляет переключатель, позволяющий только правительственные пинки, что означает, что наш контракт dutch_desk может быть уверен, что если аукцион активен, то именно он его запустил.
В четверговом стриме мы постараемся разработать вспомогательный контракт для интерфейса, чтобы облегчить жизнь Клоду в интерфейсе, и окончательно определить параметры рынка перед завершением неаудированного MVP и переходом в эру неаудированной беты.
Продолжайте строить технологии свободы!

183
станет ли @flexmeow самым точным местом для определения рыночной цены денег?
в aave/morpho и т.д. ставки формируются искусственными кривыми. параметры, предположения, французы
в традиционных финансах, конечно, еще хуже. комитеты, собрания, бумеры
Flex переворачивает это - заемщики не принимают ставку, они выбирают ее. создавая рыночную цену без вмешательства внешних сил

Johnnyonline19 нояб. 2025 г.
сообщите, если я заблуждаюсь, но я думаю, что это один из самых интересных примитивов DeFi, которые у нас есть
заемщики выбирают свою процентную ставку, кредиторы могут в любой момент забрать ликвидность
конечно, это было бы невозможно без работы @LiquityProtocol и других
190
Топ
Рейтинг
Избранное