Last 15 minute solana wallet reviews:
@phantom try to create wallet, says that no username is avaliable
@Backpack can't connect to squads for some reason or any other dapp, never shows popup to connect, no support for firefox based browsers also
fire
Anyone grave dancing right now is sick in the head
Real lives affected, not just the team… But users and folks who thought they were in safe yield on other protocols
Sad day for Solana DeFi
If you are forking percolator this is my LLM flow to minimize bugs.
1) use max thinking mode to generate a spec for feature X
Loop:
1) is the spec succinct, unambiguous, formally verifiable in kani? Write the audit to https://t.co/MMZm8YbTSV
2) read the audit, is it correct? Update the spec with any issues.
Then basically loop the same thing for the implementation.
1) implement the spec and pass all the tests and proofs and is the proof and test coverage complete?
Loop:
1) is the implementation succinct? Are all the tests valid? Are all the proofs non vacuous? Is the coverage complete? Assume dev is adversarial. Write the audit to https://t.co/MMZm8YbTSV
2) fix any implementation issues in https://t.co/MMZm8YbTSV
I sometimes use two different LLMs, codex vs Claude
It’s time to onboard more superstars to @bulktrade
We are currently hiring for;
>Technical Product Manager
>Strategy/Growth
>Quant Trader
>Algo Developer
>Insti BD
If you enjoy solving hard problems and want to help shape the end state of DeFi, DM me with proof of work 🫡