Helping Solana Founders win @SuperteamBlack | Creator https://xitter.cf/t.co/XnaKnhWgL3
tmux
Joined August 2021
- Tweets18.8K
- Following4.8K
- Followers10.3K
- Likes35.8K
shek retweeted
If there's anyone that is interested in migrating to Solana, my DMs are open.
It doesn't matter if you're a L1, L2, or app on a dying blockchain.
Reach out. Solana can support your app.
If there's anyone that is interested in migrating to Solana, my DMs are open.
It doesn't matter if you're a L1, L2, or app on a dying blockchain.
Reach out. Solana can support your app.
shek retweeted
Now Alphabet/Google is super pissed with these guys.. They even say "Social media scrutiny" are not acceptable explanations. They owe an explanation to *billions* of relying parties its mistake exposed.
shek retweeted
funny thing about the zeldovich paper referenced (and also in the Ant post) is
the slop-specs for xv6 come out to 6000 lines. (xv6 itself is 6000 LOC C)
The theorem size is EQUAL to the the entire OS. no-one read it.
We're heading to a future of slop specs like never before.
ALT the generic adequacy theorem, which proves that any property can be derived from the invariants by xv6 holds on every trace level execution according to the operational semantics depends on 795 definitions spanning 660 lines in our proofs.
shek retweeted
Specification was always (and is especially now) the hard part of verification.
This is a creative use of fuzz tests: proving (at the binary level!) that a fuzz test w/ asserts capturing functional correctness never crashes is a neat way to squeeze a lot out of an existing spec!
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
shek retweeted
The first priority of the next govt should be to nationalize all Adani assets.
Watch this documentary, it will open your eyes.
This quoted post is unavailable.
complete failure of governance
what happens when bureaucracy abhors free markets
shek retweeted
The online crisis involving @eMudhra is just the tip of the iceberg for the Indians.
Our entire #DigitalCircus based governance architecture can be upended by any AI model made for fun.
This is NOT fear-mongering!
This is a result of outsourcing governance!
Read more - emudhra.com/en/post/certific…
shek retweeted
Since the entire internet cares about critical certificates today, a reminder @UPI_NPCI has been running on an expired cert since Sep 2025.
Issued by IDRBT, which is now managing all of *.bank.in.
ALT │ File in APK │ Subject │ Issuer │ Valid from │ Expires │ │ signer-erupee.crt │ CN=psosigner.npci.org.in (National Payments Corporation of India, Chennai) │ DigiCert EV RSA CA G2 │ 2023-09-01 │ 2024-10-01 23:59:59 GMT │ │ signer-upi.crt │ CN=upinpci │ IDRBT Sub CA 2022 │ 2023-09-20 │ 2025-09-19 18:29:59 GMT │
crazy how everyone is losing their minds that they chose to directly verify the binary
this will continue and become the most scalable way to prove programs
the actual insanity is the proof size, it’s impossible for a human expert to ready/verify
the hardest last mile is reliable specification
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
shek retweeted
If your company refers to engineers as the IT department, you have nothing to worry about. You were already breached last week.
QEDGen works with both Claude Code and Codex
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
shek retweeted
India as a nation has lost of a lot of credibility because of eMudhra. The vulnerability was especially egregious. The response was slop and reeked of incompetence.
In general, it showcases the nation in a very poor light. And rightfully so.
I hope Indian companies start to take security seriously and get their people trained on these things in depth.
Technical securiyy training for technology folks is absolutely mandatory. There are just SO many things to learn and figure out that its a continuous process.
shek retweeted
I hate that launch videos have become larp-contests over who can buy the most QTs instead of who makes the best video.
desperate founders pay slop agencies $200k-$500k, who pocket half and spend the rest buying QTs.All this just to convince investors they've gone viral. It's a great business for the agencies who has no work, but absolutely waste of capital for founders who are sometimes investing like 10% of their total raise.
this scam is only possible on X as they don't have a minimum window of 3s to count the views. As long as it loads on your screen, wether or not you play it, views are counted. On top of that they aggregate all the views to the main post.
a great way to identify such posts is look at the views to engagement ratio, it will be way off. Like 5m views, 1k likes and 1k RTs, 32 replies. let's not even talk about conversions or adding MRR, as it doesn't exist.
if you think your company has PMF because you larped some QTs on X, you'd believe you're popular amongst women after visiting the red light area.
if you're a founder considering to launch. invest all your budget into video product, great writers and doing something newsworthy in your industry. don't be sheep.
