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

Thoughts on OpenAI acquiring Astral and uv/ruff/ty - 19th March 2026
GPT-5.4 mini and GPT-5.4 nano, which can describe 76,000 photos for $52 - 17th March 2026
My fireside chat about agentic engineering at the Pragmatic Summit - 14th March 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