Populaire onderwerpen
#
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
Laden...
mind: blown
claude + foundry fuzzing is heel (, heel) goed, maar claude + foundry invariant testing is OP!!!
dezelfde invariant als in de QT, maar deze keer ontdekt via invariant tests - niet gerichte fuzzing (natuurlijk oneshotted door claude)
in plaats van te proberen te raden hoe de invariant breekt, schreef claude een generieke handler die alle gebruikersgerichte, statusveranderende functies omhult en liet de fuzzer zijn gang gaan
het toevoegen van een andere invariant is triviaal, schrijf gewoon de invariant zelf - geen nieuwe repro-logica nodig
het lijkt een stapfunctie-upgrade in hoe protocollen worden getest
enorme dank aan de legendarische @gndizzy en alle reuzen die deze ongelooflijke technologie bouwen




Johnnyonline19 dec 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!

4
gmgm. tijdens de stream van gisteren heeft @claudeai vrijwel in één keer een @FastAPI backend voor @flexmeow gemaakt. we hebben ook de hosting en het openbare eindpunt op @vercel uitgezocht (dank aan @OpenAI's chatgpt)
veel tagging vandaag!
maar eerlijk gezegd is technologie zó goed. wat vroeger uren kostte, duurt nu minuten. en de kwaliteit van de output is ook topniveau
"unaudited beta" komt snel dichterbij!

Johnnyonline16 dec 2025
gm. "going full dutch 2" stream samenvatting:
om tokens met verschillende decimalen te ondersteunen, hebben we de magische 10^36 oracle truc gebruikt. we kunnen nu markten opzetten met elke leen-token (bijv. crvUSD/USDC) en elke onderpand-token (bijv. wstETH/WBTC) met gemak.
we hebben ook het veilingcontract bijgewerkt naar de nieuwste versie, die een schakelaar toevoegt om alleen governance kicks toe te staan, wat betekent dat ons dutch_desk contract er zeker van kan zijn dat als er een veiling actief is, hij degene was die het heeft gestart.
op donderdag's stream zullen we proberen een ui helper contract uit te werken om Claude's leven gemakkelijker te maken op de ui en de marktparameters te finaliseren voordat we de niet-geauditeerde mvp beëindigen en overgaan naar het niet-geauditeerde beta-tijdperk.
blijf vrijheidstechnologie bouwen!

184
zal @flexmeow de meest nauwkeurige plek worden om de marktprijs van geld te ontdekken?
in aave/morpho etc. worden tarieven gevormd door kunstmatige curves. parameters, aannames, Franse mensen
in tradfi natuurlijk, nog erger. commissies, vergaderingen, boomers
Flex draait dit om - leners accepteren de rente niet, ze kiezen deze. de marktprijs creëren zonder externe krachten die zich ermee bemoeien

Johnnyonline19 nov 2025
laat me weten of ik delusioneel ben, maar ik denk dat een van de meest interessante DeFi-primitieven is die we hebben gekregen
leners kiezen hun eigen rentepercentage, kredietverstrekkers kunnen op elk moment liquiditeit opnemen
natuurlijk zou dit niet mogelijk zijn zonder het werk van @LiquityProtocol en anderen
192
Boven
Positie
Favorieten