shek

pro tip for @solana_devs building for the @colosseum frontier hackathon stop hoping your code is correct. your ai agent can now mathematically prove it. qedgen just dropped — it reads your solana program and auto-generates @leanprover proofs until it’s Q.E.D. proofs, not promises. ∎

@toly @elchuo160 Kinda insane how the post is getting out of hand

Excellent news reporting

Step 1. Attend Solana Accelerate this Tuesday Step 2. Attend all Superteam USA Side Events Step 3. Win forever

We're doing 1:1 security office hours at Solana Accelerate in Miami on May 5. Bring real questions about your protocol, your company, or your personal opsec. Apply: securityalliance.typeform.com/Accelerate

@theborklar @_subiii_ respect

@shek_dev @_subiii_ 😎

no WAY there's a polymarket bet on the TN elections - is this legal chat

@theborklar @_subiii_ I can’t believe I didn’t see this market earlier

@_subiii_ need some deeper markets on this Number of seats > Will VJ become MLA will be fun

@SuperteamIN @solana Bullish

introducing the india startup village 2026 🇮🇳 a ten-day residency for the best developers, founders, and creatives in the @solana ecosystem. may 15-25, in mumbai. apply here: in.superteam.fun/sv-mumbai

Highly recommend not missing this

@beeman_nl too many big things to keep count

@shek_dev Enjoy ser. I think I recall something is happening there this week, not sure what though 👀

gm miami

Seriously big week

@bajpaiharsh244 For most this is more than good enough The only problem is that AI makes a lot of previously inaccessible threat models common. It’s like script kiddies on steroids.

@shek_dev I think for simple web like projects, having a good test suite of behaviour, and common attack vectors can be good enough :)

Everyone is losing their shit over a cherry picked segment from the article. Overall the article makes sense, you just can’t keep with reviewing AI generated code, you need tooling to ensure it adheres to specs.

2026 will have a record number of security hacks. 2027 will be even higher.

Now you know why they paid 60B for @cursor_ai

@icedpourover @adii_kris Bro cooked with this

@adii_kris I only see cold brew

Actually I’ve been wanting to make a list (in no order of rankings) - Arnold Palmer cold brew @ Subko - Cranberry cold brew @ Beanlore - Whiskey barrel cold brew @ Nerlu - Pourover @ ground up - Taaza Tindi filter coffee - Cranberry foam cold brew @ Kahale - Yuzu espresso martini @ Katte Kulture - Ube tender coconut @ ddmmyy - Moosambi espresso @ Nenapu - Maverick Mazagran @ Mavericks and Farmers - Orange Cold brew @ humble bean - Drip and Drip, JP Nagar - Practically Sobar Near Richmond Road - Kappu in HSR

Chads have really cooked on this one

true write asm and ask qedgen to transpile to lean and verify profit

@NitanshuL @solana Yeah 180K

@shek_dev @solana this is noice! is it 180cu for verifying falcon 512 signatures ?

👀 @solana is about to quantummogg

@toly @solana @fusewallet Yeah the account abstraction folks were directionally correct. Best to assume there will be many migrations.

@shek_dev @solana I think the biggest risk is that pqc signature schemes will get broken by ai, we don’t know all the implementation footguns even, let alone the math footguns. So we need to support 2/3 wallets for them. @fusewallet or ideally natively with PDAs in the tx processor.

@toly @solana @deanmlittle over to @HarmonicMath

@toly @solana No this is Opus 4.7 and Codex 5.5. I am planning to let harmonic run loose on the Bertoni complement that @deanmlittle has added to keccak.