Simon Willison’s Weblog

16th November 2017

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

Adding TILs, releases, museums, tools and research to my blog - 20th February 2026
Two new Showboat tools: Chartroom and datasette-showboat - 17th February 2026
Deep Blue - 15th February 2026

This is a link post by Simon Willison, posted on 16th November 2017.

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