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!

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.

This is correct, while OpenGL and DirectX 11 and before are considered high level APIs, Vulkan and DirectX 12 are both considered low level APIs.

there is Inshellisense

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.

IntelliJ and PyCharm are the only JetBrains IDEs with community editions. If you want to use CLion for example, you’ll either have to be a student or you have to pay.

The MS extensions are quite convenient, like Live Share and the MS C/C++ extension. There are equivalent free versions, but those are more work to setup and might not have the full feature set.

Not perfectly sure what you mean. I found Zed to be not any less simple than Sublime+LSP+Terminus. Mind elaborating?

Haven’t seen anyone mention the Zed Text Editor yet. It’s only available on MacOS as of now, but I’ve tried it out a bit and once it’s more mature (and available on other OSes), I might switch over from Sublime Text. It’s got a similar speed as Sublime, but with LSP, vim emulation and collaboration features built in, whereas in Sublime I need to install packages to achieve the same. Also made by the same people who originally made Atom and Treesitter.

I also want to mention Onivim. Unfortunately, development has stopped, so it’s not really a viable option anymore, but I loved the idea. The idea was to make a vscode/vim hybrid. To that extend, it’s written in Reason which allowed them to support vscode extensions, thus they didn’t have to create their own extension ecosystem, while still being faster than electron. As for the vim part, the entire editor could be controlled with a keyboard. They had a global shortcut to go into a “UI move mode” so to say, which allowed you to go to every single piece of UI you had on screen. Thus they were able to copy the vscode UI, but still be keyboard-only. It was a surprisingly effective idea, so I hope some people can revive it someday.

I think Zed looks really promising in that regard, although it’s only on MacOS so far (but other OSes will come). It feels like sublime text, but with modern LSP, vim emulation and collaboration features built in.

yup, my bad. Frankly I thought grapheme meant something else, rather stupid of me. I think I understand the issue now and agree with you.

The way UTF-8 works is fixed though, isn’t it? A new Unicode standard should not change that, so as long as the string is UTF-8 encoded, you can determine the character count without needing to have the latest Unicode standard.

Plus in Rust, you can instead use .chars().count() as Rust’s char type is UTF-8 Unicode encoded, thus strings are as well.

turns out one should read the article before commenting

I’ve turned off Updates with group policies and have not had an issue with that ever since Windows 10 got released. Afaik the same can be done with registry when on Windows Home. It will still check for updates, but if set up correctly it should not download nor install them.

I’m not saying it’s good, I’m saying the original comment is factually incorrect. Criticize windows for the shit it’s doing, not for something it isn’t.

shit on windows for what it does, not for what it doesn’t.

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

I use bash and fish natively on Windows and it obviously works in those. You can also use nushell natively and that has piping as well.

I’m explicitly saying natively because most people assume that I’m talking about WSL when I say I use bash on Windows. I am not, msys2 allows you to use these things natively without a VM.

The only thing Windows installs without you wanting to is Edge. Ads like Candy Crush will only be installed after installing windows for the first time, not after any updates.