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

The last six months in LLMs, illustrated by pelicans on bicycles - 6th June 2025
Tips on prompting ChatGPT for UK technology secretary Peter Kyle - 3rd June 2025
How often do LLMs snitch? Recreating Theo's SnitchBench with LLM - 31st May 2025

cryptography 22 firefox 89 mozilla 111

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