Bracket Pair colours

Stream: general

[Eric Rodriguez]

I'm sure many people here use bracket pair colourisation; it's now a core VSCode feature with much improved performance (and hopefully also much improved lack of bugs!)

[Eric Rodriguez]

(also, the article is really interesting about how they tried to optimise the feature and its algorithmics)

[Gabriel Ebner]

I was surprised to see a familiar face on the article: @Henning Dieterichs also rewrote the abbreviations expander in our vscode extension.

[Riccardo Brasca]

And it finally works over SSH!!

[Sebastian Ullrich]

He's a former student of ours :) https://pp.ipd.kit.edu/publication.php?id=dieterichs21masterarbeit

[Bryan Gin-ge Chen]

(We should add masters theses like this to our papers page!)

[Kevin Buzzard]

We might want to distinguish published papers from unpublished MSc theses? Not sure. I have supervised a few MSc theses which do cool Lean stuff (e.g. define group cohomology in Lean)

[Eric Rodriguez]

image.png turns out this feature still has some lean-specific errors ;b (also section ... end don't match)

[Henning Dieterichs]

Identifier-based bracket pairs are a known issue and will be supported soon!