miniblog.

I'm pretty impressed with Cursor: I've successfully asked it to perform codebase transforms in English, and it's worked! E.g. "Replace all calls foo(..., true) with foo_immediate(...) define a foo_immediate function". I'm still reading the diff and checking tests -- it's still AI after all.

Really cute approach to reporting type errors: when there's a type error, show an example of a runtime error that the type check has prevented! Data-Driven Techniques for Type Error Diagnosis https://escholarship.org/uc/item/59s4h4pv

Doing another iteration on my diagnostics display. I'm reasonably happy with the bold highlighting within the error message. I'm not sure about the colour on Warning and Error though. It gives the output some visual structure, but arguably the message itself is more important.