Simon Willison’s Weblog

Verified cryptography for Firefox 57 (via) Mozilla just became the first browser vendor to ship a formally verified crypto implementation.

Posted 16th November 2017 at 2:26 pm

Recent articles

ChatGPT agent's user-agent - 4th August 2025
The ChatGPT sharing dialog demonstrates how difficult it is to design privacy preferences - 3rd August 2025
Reverse engineering some updates to Claude - 31st July 2025

cryptography 22 firefox 90 mozilla 112

Monthly briefing

Sponsor me for $10/month and get a curated email digest of the month's most important LLM developments.

Pay me to send you less!

Sponsor & subscribe