jon

Efficient Verifiable Mixnets from Lattices, Revisited (Jonathan Bootle, Vadim Lyubashevsky, Antonio Merino-Gallardo) ia.cr/2025/658

@zkproof.org workshop in Sofia has started! Welcome everyone :)

🔥🔥🔥 Get ready for #ZKProof 2025! Keynote speaker: Dan Boneh from Stanford University Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more. For more details - link in the first comment.

Be part of the future of ZKproof cryptography. Counting down to ZKProof 7 - just one week left! Join us in Sofia March 23-25 to discuss the future of ZKP standardization, zkEVM Formal Verification, TLSNotarization & more. For more details - link in the first comment.

scottaaronson.blog?p=8693 My TLDR Scott Aaronson's warning: - He tried to put himself in the shoes of POTUS, doesn't compute. - So he used a new AI result, showing AI will go cruel if asked to code evil code. - Now the mental model is: tune yourself to evil once, shit, you've turned full-Hitler.

My first commands on a brand new Ubuntu: sudo apt install pipx pipx install uv llm pipx ensurepath re-login.. llm install llm-anthropic llm-perplexity llm-gemini llm keys set openai llm keys set anthropic llm keys set perplexity llm keys set gemini Now we're @simonwillison.net compatible :)

who's following the geoguessr vancouver show? man it's entertaining!!! for those who don't - there's this bro-dude, looks 1sec at a google map and pins it on the globe, "nice". now he's trying to guess the country for indoor pictures, and it's so funny his struggle with vancouver the nemesis :)

AWS plans to support pure ML-DSA signing via roots of trust:

@simonwillison.net can you please approve github.com/simonw/datas... love your work this closes github.com/simonw/datas... which is where i stole the fix (and tested)