Harry

· 𝓑𝘜Ī̸͎𝕃𝕯 𝕄Ô̸̹𝓓𝐸 · @chainstatspro · shitposts are my own ·

[Harry @0xSwan]

It’s called Web3 because you check Twitter every 3 minutes.

[Harry @0xSwan]

Tell me your project is automated without telling me it’s automated.

[Harry @0xSwan]

8/ What might actually help: a "contract graph verifier" that checks whether what one component promises is what the next one expects. Not a proof. A consistency check. Applied systematically across the whole codebase.

Would have caught 2 of my 4 bugs.

Full analysis with data, methodology, and the contract graph proposal: https://t.co/GhG0z4uAxf

[Harry @0xSwan]

1/ I formally verified AI-generated code in production. Here's what actually happened.

I built a Claude Code plugin called Crosscheck that uses Dafny (backed by Z3) to verify AI-generated code. Tested it on real energy-splitting logic in Django. Sessions spanning month boundaries need energy allocated correctly.

[Harry @0xSwan]

7/ The provers work. That's not the question. The question is whether "formal verification goes mainstream" means verifying ~25% of the codebase, which was already the most reliable part.

The integration layer, where components meet and assumptions are implicit, is where the real bugs live. No prover reaches it.

[Harry @0xSwan]

Find the article here https://t.co/rYELQyn0vk

[Harry @0xSwan]

Over half a billion dollars is now flowing into formal verification startups (Axiom $200M, Harmonic $295M). The thesis: AI writes code, math proves it works.

I built a Claude Code plugin that uses Dafny to verify AI-generated code. Tested it on real Django production logic.

The verification worked. But all 4 bugs were in the parts you can't verify.

Link in first comment.

[Harry @0xSwan]

To fully adopt AI, we have to lose our humanity. We have to admit our individuality can be reduced to math.

[Harry @0xSwan]

@ChainStatsPro @Dagnum_PI @CryptoNagato @UtilityTheory 💖

[Harry @0xSwan]

@OpenAI you ok boo?

[Harrison Chase @hwchase17]

LangChain 🤝 AIPlugins

A first open source attempt at using AIPlugins (the same ones ChatGPT is using)

s/o @vaibhavk97 for this. Excited to see what other techniques the @langchain community comes up with - it's only the beginning

Docs (Python and JS) in 🧵

[Early Majority (🌿,🌍) @earlymajority]

Sent some love to our members today— and the rest of you lovers can mint ‘Checkmate’ now until midnight Friday PST.

https://t.co/CeIoG2b0bZ

[*Walter Bloomberg @DeItaone]

ASKED IF HE'S RULED OUT ALIENS, TOP U.S. GENERAL SAYS HE HASN'T RULED OUT ANYTHING YET

[Space @redditSpaceView]

Great image of crescent Earth seen from the moon. Captured by Orion

[CryptoCondom @crypto_condom]

👀

[ᴏɴᴄʏʙᴇʀ @oncyber]

🇺🇸 oncyber is now available in english, korean, and japanese. packaged in a new visitor experience 🫡

🇰🇷 oncyber는 이제 영어, 한국어, 일본어 다 환영합니다.

🇯🇵 oncyber は英語、韓国語、日本語でご利用できるようになりました。