miniblog.

It's weird that GitHub shows time since the last commit, but not time since the first commit. It's a nice way of seeing how mature a project is.

I'm experimenting with diagnostics formatting. * I've added a left margin, showing both the file name and line numbers * I'm showing one line of context above/below the offending line. * I'm using grey for comments. What do you think? Is there anything you'd change?

In LSP, a position is represented as a line number and a column offset (in Unicode code units): https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#position This is pretty elegant. You'll get the correct line regardless of encoding bugs, and the editor already knows the line number so it's cheap to compute.