miniblog.

LLMs seem to handle dependency upgrades really well. The task is well-specified, there's usually a build/test suite to check correctness of the modifications, and there's often a changelog they can consume too.

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?)

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. Are there other tools in this family?