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

How often do LLMs snitch? Recreating Theo's SnitchBench with LLM - 31st May 2025
Talking AI and jobs with Natasha Zouves for News Nation - 30th May 2025
Large Language Models can run tools in your terminal with LLM 0.26 - 27th 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