Treeniks

High School without other people sounds absolutely awful.

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.

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

I have night light turned on 24/7 on all my devices. If I don’t I get a headache after around a day.

In fact, I couldn’t consistently use linux until recently because only the latest Nvidia drivers (545) added support for night light on wayland. Those glasses could’ve been handy there.

My vote goes to Auxio for music and Just Player for video.

I’m pretty sure this only concerns twitch affiliates. Multistreaming was always allowed for non-affiliates.

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.

if it’s taxed more, wouldn’t that just make them worsen the chances to compensate?

There is also Mailbird (not FOSS, costs money and has some weird NordVPN-like fake sales, but the app seems somewhat competent) and Mailspring (partly open source but afaik not completely, built with a MacOS-esque UI but works for Windows and Linux as well).

Now it absolutely isn’t open source or even free, so if that is a must feel free to ignore me, but I personally do still really like using Sublime. Once you install SublimeLSP I find it genuinely really clean to work with. And even though it’s technically not free, you can use its free trial version for as long as you want (with the only drawback being an annoying popup), if you do buy it it’s a one-time payment, not a subscription, and the package eco system is mostly open source (SublimeLSP e.g. is open source).

Again, not free, but much faster, more light weight and imo cleaner than VSCode, and definitely not very corpo given the rather small size of Sublime HQ.