Sabitlenmiş Tweet
zooko🛡🦓🦓🦓 ⓩ
148.3K posts
zooko🛡🦓🦓🦓 ⓩ
@zooko
Freedom maximalist. Good vibes only.
Boulder, Colorado, USA, Earth Katılım Mart 2008
2.6K Takip Edilen111.2K Takipçiler
Good episode! Makes me want to try @phreeli
Jack Rhysider 🏴☠️@JackRhysider
New episode. Ep 176: NSL One day Nick got a visit from the FBI demanding he give them data on one of his customers. They asked for it in the form of a National Security Letter or NSL. Something wasn’t right about this letter. It seemed to violate the constitution. So he set out to change the law. darknetdiaries.com/episode/176/
English
@socrates1024 @zksecurityXYZ We wrote it manually and ran it on a few test vectors
English
Can you build the fastest circuit?
Prove it.
zkGolf is live. ⛳️
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
Odysee was the first project that actually made me believe decentralized social media could be viable, not just as a sideshow but as a primary platform for creators.
Everything I earned on that platform is going to zero. But I don't mind. I'll be forever grateful. Going down with the ship.
The dream isn't dead. Yapp with you all soon! 🐶
julian chandra@julianpchandra
Goodbye Odysee. It's been fun, but it's over now.
English
@zooko It nice to be able to garden and if I want focus on a amazing crops.
Vs having to be a farmer to feed my family.
It's nice Ai can do the farmers, and now programmer's can focus on an epic garden with prize tomatoos
English
It's funny, I'm bullish on AI-powered software engineering, but I'm also proud of having hand-coded smalloc after a 15?-year hiatus from coding, and I'm proud of typing in long, complicated technical documents by pushing buttons one at a time with my stupid human meat fingers.
English
Long, complicated technical documents can't be "verified" except by feeding them into an AI and asking it what it thinks of it. I guess.
English
I guess I'm only bullish on AI-powered software engineering when the results can be *verified*, such as with tests, benchmarks, proofs of correctness, and cryptographic proofs.
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
Shout-out to @QED_Audit for breaking our leaderboard by finding a neat exploit, exposing a gap in the Clean framework.
We fixed the issue and redeployed zkGolf with updated statements and the original leaderboard.
What happened?
QED Audit@QED_Audit
zk.golf by @zksecurityXYZ challenges you to write the cheapest formally verified circuit and prove it correct in Lean 4. For the SHA-256 challenge, we submitted a circuit with 1 witness and 1 constraint. It still verified. Here is how we broke the spec. 🧵
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
We believe the challenge is now robust against adversarial circuits, and want to thank the community for trying break it. Please continue to do so!
Happy zkGolfing ⛳️
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
Ever seen "ONLY SEND X TO THIS ADDRESS, ANYTHING ELSE WILL BE LOST" and sweated as you sent your transaction?
Gone are these days, we built receive policies to solve this class of problems for every day users.
Tempo@tempo
Introducing Receive Policies On most blockchains, any token can be sent to any account: There's no easy way to restrict who can send you assets or refuse an unwanted token. Receive policies bring these features to Tempo, enforced by the protocol.
English
@omw_to_the_moon I follow lobsters on bsky: bsky.app/profile/lobste… . I do like old stuff. 90% of new stuff you would never waste your time on if you saw it 5 years from now. So why not start ignoring 90% of new stuff today!? :-)
English
🥰 “A technical career retrospective part 1:
January - June 1978” by Ken Whitesell: kenwhitesell.github.io/2026/07/10/A-t…
English
zooko🛡🦓🦓🦓 ⓩ@zooko
English
zooko🛡🦓🦓🦓 ⓩ@zooko
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
Have you seen the new Zingo Beta experience yet?
This Friday we'll explore it live, talk about the latest news and answer your questions.
📅 Friday, July 17
🕐 13:00 UTC
📍 Live on @zingolabesp
Don't miss it! 🚀
#Zcash #ZingoBeta
English
zooko🛡🦓🦓🦓 ⓩ retweetledi
