yup

MuseScore had a big UI rework with MuseScore 4, with an excellent video about the behind the scenes by Tentacruel (https://youtu.be/XGo4PJd1lng).

Although not sure if it caught people off guard as I’m not a user of it.

May not be the most popular choice, but I absolutely love Sublime Merge. Only issue I have is that it doesn’t support workspaces. But I love how it doesn’t abstract git away. Most actions in the UI are just called like the underlying git command, there are no non-git things like a “sync”. Plus you can always click on the top to see which commands exactly were executed and with what output. And it’s Sublime-typical wicked fast.

It’s an unlimited free trial with the dark mode disabled. License costs $100 and lasts for 3 years of updates.

It is by FUTO’s definition.

Jokes aside, I find that attitude not very healthy. Whether you want to call it open source or not, as I said, it’s far from proprietary, and certainly more than just source available. Dismissing it for that reason is quite unreasonable.

It is not. FUTO calls it “source first” which just means “open source but with rules against bad actors”. Certainly far from proprietary.

I believe the main thing people liked about Floorp is tab grouping and vertical tab layout à la Vivaldi, and a more modern and slim design out of the box, while keeping a firefox core instead of being another chromium based browser.

Wow that firefox css is looking real nice. Thanks for sharing.

This Isabelle

just do everything in Isabelle and prove correctness, ezpz no tests required

That’s exactly it, no wonder I couldn’t find it. Thank you so much!

Actually when it comes to C++ 23 library features, MSVC is ahead of both. In fact, as far as I can tell, MSVC is the only compiler that fully supports all C++ 20 core language features at the moment. So credit where credit is due, MSVC has gotten way way better the past few years. Visual Studio is still awful, but the compiler has become quite competent.