If we can't trust world-class cryptographers to hold on to their private keys, how can we trust plebs to

www.nytimes.com/2025/11/21/w...

Apparently this free CC Max promotion is only for previously cancelled customers. Loyalty can be costly

When you write math with a lean prover, it’s like writing code with a type checker; good code comes much easier

rkirov.github.io/posts/why_le...

AI raises the floor for everyone, but the ceiling remains untouched.

Google and OpenAI both gets gold in highschool IMO

www.reuters.com/world/asia-p...

I have been updating my workflows and MCPs since they really took off in the last few months.

These things tend to be very use-case specific, and everyone has their own favourites. But I can give you some examples of the popular ones that I’m using...

bsky.app/profile/flyi...

Spent the past day refreshing my workflows with new MCPs and agents. Made me realize I need to do this more regularly.

When will they be good enough so I can offload this too?

A terminal and vscode in excalidraw? What wizardry is this? 🪄

github.com/pad-ws/pad.ws

Explaining unintuitive math concepts without words

artofproblemsolving.com/wiki/index.p...

Apple's new passkeys API includes functions to transfer passkeys to/fro other password managers

developer.apple.com/videos/play/...

ProgCryptoSG is back with another meetup next week on Thur, May 29th! If you are in Singapore, come hang out and discuss ZK and cryptography!

There will be 2 sharing sessions:
1. Sumcheck and GKR by Flying Nobita
2. Applications of Verifiable AI in DeFi by Jseam

Link to sign up in replies below👇

Thanks to Jonathan Protzenko and his team, Python now uses HACL*, a formally verified library, for all its hash and HMAC functions. Any updates from HACL* will automatically be pulled downstream to Python

jonathan.protzenko.fr/2025/04/18/p...

@flyingnobita.bsky.social put together a repo of Jupyter notebooks going through all examples and algos from the "Intro to ProgCrypto" book by 0xPARC.

GitHub: github.com/flyingnobita...

I was reading the "Intro to ProgCrypto" book by @0xPARC and to understand the examples and algos better, I translated them line-by-line to Jupyter notebooks.

https://buff.ly/4k43sad

Finally free from FTX! After 2 years, the saga is over 🎉

Was my main CEX and I ALMOST lost BIG. When the fall tweets hit, I laughed but pulled 95% JIC (thanks to tradFi career for op-risk training!). Left a bit for $FTT bounce 🤣. Wrote it off and feels like free money now!

Setting up my new MBP with the NixOS package manager feels liberating. With just one command, I can install the same configuration and apps on my other computers.

Long live declarative configs!

I'm preparing material for this ZK workshop with Privacy Scaling & Exploration (PSE). Apply if you are want to learn about ZK and in Singapore on Feb 15 to 16!

lu.ma/r4g7f0z9