βeta

2.2K posts

βeta banner
βeta

βeta

@levbeta

rust lover /n/ hft enthusiastic /n/ @ bulktrade

شامل ہوئے Ağustos 2021
837 فالونگ1.5K فالوورز
βeta ری ٹویٹ کیا
kdot | bulk
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
English
54
46
442
23.6K
βeta
βeta@levbeta·
I never tought I would say this ever, but my 'cd' command is lagging a lot ffs
English
1
0
5
338
βeta
βeta@levbeta·
noice.... fk u
βeta tweet media
English
0
0
2
326
Dmitriy Kovalenko
Dmitriy Kovalenko@neogoose_btw·
I remember I once spent a week on a bug like this
Dmitriy Kovalenko tweet media
English
38
4
646
97.5K
βeta
β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 audit.md 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 audit.md 2) fix any implementation issues in audit.md I sometimes use two different LLMs, codex vs Claude

English
0
0
3
424
βeta
βeta@levbeta·
Just ascended to a new point of knowledge ngl
βeta tweet media
English
1
0
9
361
lil qwant
lil qwant@LilQwantXBT·
@levbeta Arch Linux? This is the final form right?
English
1
0
1
71
βeta
βeta@levbeta·
Nothing better than bricking your arch in the morning
English
1
1
4
253
βeta
βeta@levbeta·
Every time I see this I just know I have time to smoke a cig love u rocks
βeta tweet media
English
0
0
3
242
βeta ری ٹویٹ کیا
kdot | bulk
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 🫡
English
79
23
281
14.4K
βeta
βeta@levbeta·
@maruushae Why am I looking at a fucking boat
English
0
0
1
72
Marusha
Marusha@maruushae·
Hellcats might get a pass on vibe check
English
9
1
25
2.3K
βeta
βeta@levbeta·
@enzo_gte @junbug_sol Transparent but without any public documentation yet? You just contradicted yourself lil bro
English
0
0
4
389
enzo
enzo@enzo_gte·
If your interpretation of our system is that we can 'reorder' transactions to front run users because we are faster than you (without having anything else to form your opinion on as we haven't put out any public documentation), then your reading comprehension skills are worse than I thought. Your ecosystem right now is offchain HFT guys masquerading as DEXes through Prop AMMs and you really think your focus on decentralization is going to beat them? Good luck, buddy. I look forward to your next QT of me -- seems to be the only way you can get attention / validation :)
English
4
0
42
2.5K
βeta
βeta@levbeta·
DEX's with sequencer's are just CEX's with big words behind
English
0
1
6
233
seg
seg@segfaultdoctor·
the website the kid is referring to is ibrl.wtf the website is meant to highlight validators that are advertising “higher yields” but at the expense of Solana’s long term growth and vision. if this website makes you feel attacked then you are likely playing timing games and other detrimental things that hurt Solana’s long term growth. Jito is 100% and always has been IBRL and Solana aligned and sharing publicly available data should always be cheered for not frowned upon. we can do better and we will: BAM
Ben ⏳💧∿@HypoNyms

Jito made a whole website about us. If you're wondering whether we're a threat to their monopoly, I think they just answered that for you.

English
11
1
135
19.9K
βeta
βeta@levbeta·
@ioci24 what u doing 🙃
English
1
0
0
32
kdot | bulk
kdot | bulk@kdotcrypto·
Homie office complete ✅
kdot | bulk tweet media
English
76
0
198
6.4K
βeta ری ٹویٹ کیا
BULK
BULK@bulktrade·
Hello Manlets >Do you run a validator on Solana? >Do you want to increase your revenue? If the answer to both of these questions is yes, DM us!
English
58
25
232
16.1K
glowburger
glowburger@glowburger·
i sent @junbug_sol a pic of this cute crustacean plate, he replied “Rustacean” i hope for your bags that your founder is as locked in as this
glowburger tweet media
English
10
2
44
2.7K