Simon Willison’s Weblog

16th November 2017 - Link Blog

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

Conceptual integrity and counting lines of code - 19th August 2026
Qwen 3.8 27B is excellent, but it defaults to wildly overthinking things - 16th August 2026
Now we have a timeline of the OpenAI accidental attack against Hugging Face - 7th August 2026

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

cryptography 29 firefox 102 mozilla 117

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