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

Introducing gisthost.github.io - 1st January 2026
2025: The year in LLMs - 31st December 2025
How Rob Pike got spammed with an AI slop "act of kindness" - 26th December 2025

cryptography 24 firefox 90 mozilla 114

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