βeta

rust lover /n/

hft enthusiastic /n/

@ bulktrade

[βeta @levbeta]

let's try something instead of arch

[βeta @levbeta]

Waiting for bare metal server provisioning

[βeta @levbeta]

@Anekiaaa @phantom @Backpack U comming to scam me too?

[βeta @levbeta]

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

[βeta @levbeta]

@talha_muzamil @junbug_sol @muarmemuar @bulktrade @pacifica_fi @HyperliquidX @extendedapp @variational_io @nadoHQ @Polymarket Not really, a lot of people were doing insane degen bets to try to get into the top

In normal conditions you don't trade with deltas so high

[βeta @levbeta]

1.6.26

[βeta @levbeta]

@soundsonacid Imagine importing it and add 20 new dependencies for stuff u dont care

This the right way imo

[kdot | bulk @kdotcrypto]

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

[βeta @levbeta]

I never tought I would say this ever, but

my 'cd' command is lagging a lot ffs

[βeta @levbeta]

noice....

fk u

[βeta @levbeta]

@FPupusas @paper1837 @neogoose_btw When calling a function if you don't specify the name of the argument it "selected" by position

[βeta @levbeta]

We vibecoding finance now?

Ffs mate

[toly 🇺🇸 @toly]

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

[βeta @levbeta]

Just ascended to a new point of knowledge ngl

[βeta @levbeta]

@LilQwantXBT Final is Temple tbh

[βeta @levbeta]

Nothing better than bricking your arch in the morning

[βeta @levbeta]

Every time I see this I just know I have time to smoke a cig

love u rocks

[kdot | bulk @kdotcrypto]

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 🫡

[βeta @levbeta]

@maruushae Why am I looking at a fucking boat

[βeta @levbeta]

@enzo_gte @junbug_sol Transparent but without any public documentation yet?

You just contradicted yourself lil bro

[βeta @levbeta]

DEX's with sequencer's are just CEX's with big words behind