shek

16.7K posts

shek banner
shek

shek

@shek_dev

Helping Solana Founders win @Superteam | Angel (Energy: @DeCharge, Privacy: @encifherio, AI Wisdom: @chompdotfyi) | Dist Systems | Prev Founder @gumisfunn

tmux Entrou em Ağustos 2021
4.5K Seguindo9.1K Seguidores
shek
shek@shek_dev·
@arihantbansal @0xnirlin yeah, but people also shouldn't deploy code with questionable safe gaurd to mainnet
English
1
0
1
12
Arihant
Arihant@arihantbansal·
@shek_dev @0xnirlin and good security costs need to come down. this isn't sustainable
English
2
0
0
9
shek
shek@shek_dev·
@0xnirlin @arihantbansal they just need better tools and tools will get better i refuse to be pessimistic things won't improve
English
2
0
2
21
Nirlin - Security Auditor
Nirlin - Security Auditor@0xnirlin·
@shek_dev @arihantbansal Agreed most of the code is written by AI today but still why do you think the amount of bugs we see across the reports are still consistent, people are consistently writing buggy code even though AI is meant not to repeat bad practices. Good security is expensive.
English
1
0
1
19
shek
shek@shek_dev·
@0xnirlin @arihantbansal imo you can push a lot of mileage by having a coding agent do the heavy lifting of parsing out the properties and creating theorems with holes which will be either iteratively filled by a human or a smarter model.
English
1
0
1
29
shek
shek@shek_dev·
@arihantbansal @0xnirlin Easiest lift seems to spec the program behaviour and state machine very thoroughly. I hope formal verification gets cheap enough for some of the complex math. I am fighting 3 agents and lean for the last couple of days to get it to one short an fv for a simple escrow
English
1
0
2
36
Arihant
Arihant@arihantbansal·
I agree they shouldn't be the only thing you use but I see it as a way to fast-track your workflows and make sure your auditors get to work on a decent codebase and find the more complicated vulns rather than spending time chasing simple bugs like with offset calculations or incorrect checks
English
1
0
1
32
Arihant
Arihant@arihantbansal·
@0xnirlin why? they are so good at catching easy stuff early on
English
2
0
2
366
SOLAI
SOLAI@solaiwallet·
what if your wallet could think? meet SOLAI Wallet type → and it just happens send. swap. automate. 🚀
English
15
2
17
330
shek
shek@shek_dev·
@BioavailableNd Indians and Asians way ahead of everyone else
English
0
0
1
116
shek retweetou
Rational Aussie
Rational Aussie@rationalaussie·
I am getting severe covid deja vu. Shit is about to hit the fan.
English
115
147
2.5K
68.8K
shek
shek@shek_dev·
@SolJakey really the secret to a happy life
English
0
0
0
66
Jakey
Jakey@SolJakey·
Retardmaxxing is everything Kill overthinking Kill logic Kill worry Enter flowstate of action, retards dont try to calculate an outcome They just go out and do it, they experience it thru the action of doing it Be retarded.
English
44
25
154
5.2K
karan
karan@LilFatFrank·
@shek_dev Would you like $5 of $GOLD?
English
1
0
0
68
shek
shek@shek_dev·
@RamXBT Yep! There isn't a better proxy for loyalty than spending pattern.
English
0
0
1
138
Ram
Ram@RamXBT·
@shek_dev integrating with xStocks rn :) i do believe future of cashbacks is any asset that people want. Not some made up hype token.
English
2
2
42
588
shek
shek@shek_dev·
@jimcramer oh no, i will never financially recover from this
English
0
0
8
199
Jim Cramer
Jim Cramer@jimcramer·
Very oversold...
English
2.8K
647
6.8K
3.4M

Descobrir

@arihantbansal @0xnirlin @praptichilling @solaiwallet @BioavailableNd @elonmusk @BarackObama @taylorswift13