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...
25.11.2025 17:07
👍 0
🔁 0
💬 0
📌 0
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 compared “no/low code” platforms V0, Lovable and Bolt for vibecoding / prototyping webapps. I find Bolt gives me the best result (fewest shots). It was also easy to “export” the project and continue in cursor or other dev tools for further dev
...between different tasks.
See section 6 here for examples: www.anthropic.com/engineering/...
---
Frontend Dev
Using cursor for web design
- inspired by this video: www.youtube.com/watch?v=zQkF...
...
Multi-agent workflows
I find that not using a framework (e.g., CrewAI, langchain) makes it easier to debug and switch between LLMs (e.g., switching from Claude code to Gemini CLI). An interesting thing I find is that an important limiting factor is my ability (not agents’!) to context-switch...
...suitable for any LLM vendors
Claude: www.anthropic.com/engineering/...
Google: www.gptaiflow.tech/assets/files...
...the better the result. I find that it also works well for simple projects that don’t have a PRD too.
—
Updating Prompts
Reading up on prompt guides and updating my little “book of prompts” for all types of use cases.
These guides contain lots of good generic advice for prompts that are...
MCP - Others
markdownify-mcp: convert many things to MD format with total confidence (esp useful for me since i use Obsidian)
Taskmaster AI: meant for converting PRD to tasks. Can break down tasks into sub-tasks, taking into account task dependencies, deadlines, etc. The better written the PRD...
FastMCP: build your own MCP
---
MCP - Research
all-in-mcp: search on iacr, google scholar for papers, their citations, related papers, download, etc
arxiv-mcp-server: same as above but for arxiv
Zotero MCP: talks to your Zotero library and gets your annotations!
...still do better
Apidog MCP: similar to above, but useful if the project has no doc but has API specs (like many new projects where the docs are lacking)
agentdeskai/browser-tools-mcp: useful for web frontend so LLM can read errors from console log, see the HTML element you selected
...Absolutely start with MCPs if you aren’t one of them yet… here’s the list:
—
MCP - Coding
context7: gets the latest doc for any repo. It’s crowdsourced, and if you don’t see something there, you can simply add it to a repository. I find that even if the repo’s docs aren’t great, LLMs can..
MCP Servers
These have matured so much in the last few months, and they make a huge improvement to all my LLM interactions. Support for using MCPs is also available in many more of my apps than before. LLM can now call proper commands instead of figuring out API calls or just “brute-forcing”...
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/...
Special thanks to:
- imToken for lending us their venue
- @ethereum.foundation ZK Education Team for their sponsorship
- Purple for the poster design
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...
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
