Ooh, Google implementing OpenPGP in the browser? JS crypto has a lot of problems, but it would be better than the current standard practice.
Related Posts
Ooh, difftastic is now listed on the official git website! https://git-scm.com/tools/command-line
One interesting consequence of the rise of LLMs: there's more demand for tools that handle untrusted input.
Arbitrary HTML+JS can be safely run in a browser. Lean can check an arbitrary proof.
These work really well with an LLM that can be wrong, but sometimes gives exactly what you want. Are there other tools in this family?
One day I am going to reach the height of technological sophistication, and every clock in my house will handle daylight savings automatically.
I'm not there yet. I think modern appliances are getting better though.
(Does a microwave really need to know the current time?)