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

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

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

This includes the following topics:

- 2PC
- EdDSA Signature Scheme
- Pedersen & KZG Commitments
- FHE
- Binary Tree ORAM and Path ORAM

Run it online without installation:

https://buff.ly/4k43rTH

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