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

Perhaps not Boring Technology after all - 9th March 2026
Can coding agents relicense open source through a “clean room” implementation of code? - 5th March 2026
Something is afoot in the land of Qwen - 4th 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