just do everything in Isabelle and prove correctness, ezpz no tests required
Personally I never understood why file managers in linux refuse to do operations that require privileges. Guess what, if I have Nautilus open and want to move files into, let’s say, /usr/local
, I don’t want to have to switch to the terminal to do so if I already have the stuff copied within nautilus. On Windows, I just get an admin password prompt if I try to do naughty stuff. On Linux, we have the whole polkit system, but no file manager seems to ever use it. Tbf, this is not a nautilus problem, as no file manager seems to do this.
My vote goes to Auxio for music and Just Player for video.
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.
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.
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.
scoop manages the whole PATH problem when installing apps. Winget on the other hand installs with the app’s installer if I’m not mistaken, thus should also have no problems with that.
You definitely can with Group Policies.
I love wezterm, primarily because it is cross platform. The most important factor to me is being able to use the same one on Windows, Mac and Linux, because I use all three on a regular basis and don’t want to maintain multiple configs. However, wezterm currently has a bug that prevents it from opening on Wayland+Nvidia which forces me to use something else on Linux. None of the other ones get close imo.
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).
I like Sublime Text and Sublime Merge and use both daily.