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

Hacking the WiFi-enabled color screen GitHub Universe conference badge - 28th October 2025
Video: Building a tool to copy-paste share terminal sessions using Claude Code for web - 23rd October 2025
Dane Stuckey (OpenAI CISO) on prompt injection risks for ChatGPT Atlas - 22nd October 2025

cryptography 22 firefox 90 mozilla 113

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