I see those too sometimes 😅

@ChatGPT @sama As of past couple days, lots of development work is getting flagged by Astra as "cybersecurity risk". Literally building XYZ greenfield functionality, and asking: "is this implementation secure in its current form". super frustrating...

Slavic maxxxing on the weekend. Ain’t no AI or quantum computer cracking my Bayan skillz

borscht and hachipuri time 🥳

team effort! 🥳🥳🥳

Woohoo! I am at the top of the better.codes leaderboard! 🎉🥳 Big thanks to i34-9 for acknowledging my earlier queued submission was valid! Really appreciate it! The PR which got merged: github.com/proximity-prize/p… The approved PR had 76 of its 81 submission files byte-for-byte identical to my earlier queued PR, which got stuck bc of Yukon's flaky infra: github.com/proximity-prize/p… So what did I do to get this cutting edge result? I still did manual PR review and manual simplification of the Lean written by the agent. Had to tell the agent a lot, “this is way too verbose, this can be simplified.” Honestly, just basic PR cleanliness & basic CS principles helped push the frontier. Overall, better.codes is a cool project. Glad I am on the leaderboard, but submissions should stay private until verification finishes. Otherwise, others can resubmit your work while you’re still waiting for CI. If i34-9 hadn’t added me as a co-author, I could have ended up with 0 leaderboard credit. The CI infrastructure was having problems, and my earlier submission failed with this message: “The submission was never checked — the verifier could not reach a verdict. This is an infrastructure fault, not a judgement on the proof.” Also, if anyone knows who i34-9 is, I’d really like to DM them to thank them personally. Anyways, I am very happy. It’s a team effort after all!

harcho, hachipuri, hinkali 🇬🇪🇬🇪🇬🇪maxxxing

recipe to lift up your mood. Eat one of these bad boys:

One useful tool I built for myself is an agentic planner. In the morning, it gives me a comprehensive list of todo items by looking at github. At 8pm it scores my productivity for the day. Usually it rates me pretty harshly, but today it gave me an A (9/10) rating 😅

@benediktbuenz gave me some super helpful pointers, and the VEIL+FLOCK proof size dropped from ~2x non-ZK FLOCK to just ~11% proof size overhead when proving 4096 BLAKE3 hash preimages. Proving time is still much slower than non-ZK FLOCK, but there's progress :)

these numbers are from the gh repo readme. The proof sizes can be improved, likely with proving / verification times

Literally everyone is using GPT 5.6-sol... interesting

this and coffee in the morning :)

I think I did 10 PR reviews today and pushed 3 PRs I like PR reviews bc its sort of like low stakes bug bounty hunting, you're essentially forced to think "given this recent change, how can I exploit this system". this type of thinking is critical for secure blockchain development.

Rest in peace Dolly Parton 🙏🕊️ A Tennessee hero, will be dearly missed. piped.video/UbxUSsFXYo4?si=xVZN…

watching World Cup final and meanwhile vibe engineered #bitchat CLI for macOS 1. bitchat needs a target agnostic implementation. Implemented. 2. Bitchat seems like an excellent protocol for a multisig or for wallet signing via bluetooth rust-bitchat: github.com/partylikeits1983/…

Spent the afternoon going through the FLOCK paper. Main questions I have after reading: how hard would it be to make FLOCK zk, and if made zk, how much of a hit would it have on BLAKE3 hash proving performance 🤔🧐

playing chess outside and drinking coffee is a vibe

Plan for Sunday: rest, reflect, touch grass. Actual Sunday: 8 hours at the office. private digital money can’t wait until tomorrow.

Randomly found @sergeradd's TUI miden-watch tool which provides a fast UI for navigating @0xMiden testnet data. Miden block explorer, but in the terminal

trust, but verify… applies directly to your agentic code.

Nice evening stroll around Moscow

Yeah instagram algorithm is quite different from X 😅

instead of vibecoding with Fable5, I spent the weekend touching grass at the dacha 😅

Such a fascinating time to be in Moscow; just overhearing what people in the streets are saying is very interesting.

Everyday, I just needed to mix it up for lunch 😅

Slavic maxing

flying to Europe, this is the view from the window:

ngl, a bit bummed out about leaving the US. It’s really gotten better in the last 3 years. Everything here is just sooo chill. But I need to do some side quests before I come back.

wdym, food here is amazing 😅

chillin with my agents

SpaceX logo in the sky

This is kinda silly, but I did it anyways... My Tennessee license plate is going to be #zksnark #zcash #ethereum

Throwback to one of my first wins in Web3 security: my first bug bounty finding on @immunefi. it was a low-severity unauthorized access control issue in a live L1 contract, found about three years ago @immunefi #immunefitribe immunefi.com/s/ss/?severity=…

you’re one burrito away from being in a good mood 😄

"You demolished yesterday's plan overnight" - My daily planner / briefing agent was quite happy with my progress last night. At least someone is happy with me today :)

It’s a great feeling when repo maintainers are super nice when you open a PR! ArkLib maintainers are top notch! Side note, the Curry-Howard correspondence has been blowing my mind; the fact you can prove very complex mathematical statements in code is 🤯

PoV: you ran 8 Anthropic Fable 5, agents in parallel

Anthropic's Fable 5 model is insane... I got 6 PRs in a state ready for review in the span of 3 hours, without it feeling "vibe-cody". Feels like the model is much more precise and careful. Fewer mistakes. Still need to spend significant time during plan mode for best results.

Flowers after the rain

Tennessee weather this time of year is amazing !

Example where humans are still better than AI (for now): asked Claude to optimize this stack cleanup pattern, it couldn’t do it. Instead I wrote this line by hand, and as a result it saves 1 cycle. This adds up to around ~5-10 cycles across an entire tx trace

I just got back from a lunch date with my agents

“Claude, prove the Reed Solomon proximity gaps conjectures, make no mistakes”

I flew from Moscow to Miami and almost everyone here still speaks Russian 🤣

“NIST published their PQ DSA standards a bit too early… had NIST waited [a couple years] we would’ve had ML-DSA signature sizes 1/3 what they are today” - Dan Boneh piped.video/uhqPjH8OSN8?is=QsG-…

Mitchell Amador is a true visionary in our industry. DeFi owes him one big thank you for preventing billions lost in hacks. Insane speaking skills too 😅 @immunefi @consensus2026

Built a tool which takes plain english and generates arbitrarily complex DeFi transactions without having to trust an LLM / agent. Built this over the past two days at #EasyAConsensusHackathon It's a chatGPT-like interface for doing anything onchain:

I was watching my agents work while listening to Eric Trump talk about DeFi

I’m a supporter of Michael Saylor’s mission and thesis, however, ngl his talk today at Consensus was lackluster. Essentially it was a pitch of a derivative of a derivative that you can buy from MicroStrategy. Have we not learned anything from 2008?

At first I was surprised Alex Rodriguez was going to be a speaker at Consensus since he’s from outside the industry (baseball). Boy was I wrong! He’s got so much insight on business and personal development. Extremely sharp guy, I learned a lot from his talk today.

holy cow am I impressed by consensus. I’ve only been going to Ethereum & cryptography events outside the US so it’s a breath of fresh air. Consensus is def more institutional folks. Makes me realize just how early we are to the privacy narrative… hopefully not too early…

Adam Back on why he isn’t Satoshi

@CryptoHayes cuts through the crap and says things without a filter, very refreshing takes. Great pep talk on why decentralization matters.

Florida!

Some gas station workers at Buc-ee’s in the US make 250k…

sometimes I forget blockchain and DeFi is mainstream

isolation chamber office. white noise. caffeine. focus.