Superset & Conductor worktrees are a key feature, but frustrating. They default to remote with no easy way to use local branches. If your local is ahead but you aren't ready to sync, unpushed changes are ignored. Major workflow blocker.

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...

nytimes.com

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/...

What’s new in passkeys - WWDC25 - Videos - Apple Developer

Discover how iOS, iPadOS, macOS, and visionOS 26 enhance passkeys. We'll explore key updates including: the new account creation API for...

developer.apple.com

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...

GitHub - flyingnobita/0xparc_intro_book_workbook: Workbook for Introduction to Programmable Cryptography

Workbook for Introduction to Programmable Cryptography - flyingnobita/0xparc_intro_book_workbook

github.com

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