May ‘25
- Ghostty Devlog 006 – Mitchell Hashimoto: Incredible introduction to SIMD, and how to actually benchmark a terminal emulator
- LLVM is Smarter Than Me: this blew my mind. What if there can be much more of these
Apr ‘25
- “Let’s talk about AI and end-to-end encryption”, Matthew Green
- “A very casual introduction to Fully Homomorphic Encryption – A Few Thoughts on Cryptographic Engineering”, Matthew Green
Mar’25
- “websockets RFC”
- “axum docs”
- “Decrusted: Axum”
- await”, jonhoo
- “The telemetry data platform: Breaking Down Operational Silos”: Good review about current telemetry stack of enterprises, and the new needs with agents.
Feb’25
- “Hell Is Overconfident Developers Writing Encryption Code” By Soatok
- oauth2 explainer
- “If A ‘ZK’-Prover Network Asks For Your Data. Don’t Give It to Them.”, Wyatt Benno: Exactly my thoughts when reading newer projects and proof systems. CSP should be the ideal scenario, and it’s not necessary to achieve this by running all the proof generation logic at client-side. Efficient delegation of proof composition where witnesses are not revealed to the computing party is a really neat way to offload computation, which is what these proof systems actually enable.
- “Episode 346 - ZK in Review: Decoding 2024 & Predicting 2025”: Things i want to get answer for is:
- are there any applications of ZK outside it’s property of succinctness? Most of the applications, currently condenses on ZK Rollups, co-processors and Web Proofs.
- Obviously, near zero cost client-side-proving is the holy grail.
what application this enables? Assume, we already have zero-cost CSP.