Helping Solana Founders win @SuperteamBlack | Creator https://xitter.cf/t.co/XnaKnhWgL3
tmux
Joined August 2021
- Tweets18.8K
- Following4.8K
- Followers10.3K
- Likes35.7K
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.
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 │
shek retweeted
If your company refers to engineers as the IT department, you have nothing to worry about. You were already breached last week.
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.
shek retweeted
People predicting that INR will structurally appreciate to USD are fools.
A currency appreciates because there is demand for that currency.
Demand for a currency happens if: that country has some value to offer.
Example: Indian's IT used to bring FOREX to India because the "Demand" for Indian labour was high.
Demand can come from intelligent labour or value for money goods produced within a country. Not stories.
The phase 2002-2009 was possibly the best phase for INR. Reason: IT was booming. And, India was expected to compete with China.
Now right the situation is that we are burning our FOREX reserves to save INR. Despite currency getting smacked, FIIs are not even buying our markets cheap.
These are plain facts.
But hey: who gives a shit? It is all about storytelling.
Tell some people that Mumbai locals are better than Maglev trains; many in India will actually believe that. And, start sharing this on their family's Whatsapp groups.
shek retweeted
The first rule of this government's response to any crisis unfolding in our great country, is to lash out at the people who exposed the crisis in the most bitter and spiteful way. They're like children, except with far too much power and responsibility.
shek retweeted
Solana's tech was already #1 for scaled crypto use cases. With Alpenglow, Solana is now light years ahead.
The audacity to replace the core mechanisms of the network while handling thousands of live TPS is uniquely Solana.
Congrats to the @anza_xyz team on shipping.
shek retweeted
Been screaming it from the rooftops.
Every CEO needs to send their 10x engineers into HR for like 1 week to gut the fuck out of it.
It's the lowest hanging fruit across thousands of the largest corporations.
shek retweeted
RBI in my view single handedly shaves off 1-2% GDP growth with all the compliances they foist down our throats via the banks they regulate. Especially wrt anything cross border.
I know Multiple investors of Indian origin who now refuse to invest in India just to avoid the compliance headache.
“India’s growth lag stems from cross-border friction in data, capital, and trade. Implementation and design failures - such as RBI systems, data localisation, investment screening, FEMA changes, and KYC duplication - raise uncertainty and deter investment. These linked frictions require architectural reform.” blog.theleapjournal.org/2026…
Great article by former executive director of @RBI, G. Padmanabhan
shek retweeted
Emudhra digital certificates have been compromised.
Best of luck filing your GST, ROC ...or any income tax filings that need DSC.
I think the govt needs to put out a TV advisory. You need to upgrade your browsers and root stores all across India.
emudhra.we-have-a-problem.co… – at San Francisco, CA
