Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)F

FizzyOrange

@ FizzyOrange @programming.dev

Posts
2
Comments
1236
Joined
3 yr. ago

  • A petition has been created by an Austrian EU rep. to replace Windows with GNU/Linux in all Europe

    Jump

  • Windows will actually stop you from deleting Program Files.

    Nobody is asking for idiot-proof, just mistake-resistant. It's ok, most people don't understand this point.

  • A petition has been created by an Austrian EU rep. to replace Windows with GNU/Linux in all Europe

    Jump

  • they would have had to intentionally push past warnings to force the uninstall

    Go and learn some basics about UX. Two different very smart people made this mistake.

    IIRC there are no warnings. It will just list gnome in the list of packages to uninstall that you often get when uninstalling things, and can easily ignore.

    Again to reinforce the point because many people do not understand it. Just because it was possible to avoid the issue if you were careful does not mean that it is not an issue. People make mistakes. Seatbelts exist.

  • A petition has been created by an Austrian EU rep. to replace Windows with GNU/Linux in all Europe

    Jump

  • Because my current company is too cheap to buy Macs, and the project I work on is full of Docker and bash scripts and obscure EDA tools. Would be a nightmare on Windows. WSL is a possibility I suppose.

  • A petition has been created by an Austrian EU rep. to replace Windows with GNU/Linux in all Europe

    Jump

  • Do you have 10k Linux laptops though? The places where I worked saw issues like this for a significant fraction of the dozens of Linux laptops (most people used Macs). There's no way you could scale that issue rate to 10k machines.

  • A petition has been created by an Austrian EU rep. to replace Windows with GNU/Linux in all Europe

    Jump

  • That would be incredibly dumb. There are entire fields where the FOSS is just hilariously behind proprietary software (or sometimes the only option). Do you want to cripple public institutions by cutting them off entirely from proprietary software?

  • A petition has been created by an Austrian EU rep. to replace Windows with GNU/Linux in all Europe

    Jump

  • So why does it work for other people with the same laptop and OS?

  • A petition has been created by an Austrian EU rep. to replace Windows with GNU/Linux in all Europe

    Jump

  • you are telling me they can’t do better than hitting subscribe on Office365?

    Yes I am absolutely telling you that.

  • A petition has been created by an Austrian EU rep. to replace Windows with GNU/Linux in all Europe

    Jump

  • I don't think that's the reason. It works for other people.

  • A petition has been created by an Austrian EU rep. to replace Windows with GNU/Linux in all Europe

    Jump

  • Yeah except that uninstalling Python 2 is a perfectly reasonable thing to want to do.

  • A petition has been created by an Austrian EU rep. to replace Windows with GNU/Linux in all Europe

    Jump

  • Why? I've worked in two companies where IT allows Linux as an option and people are constantly having issues (including me). And these are highly technical people. Two people who are not stupid managed to break their laptops by uninstalling Python 2 which Gnome depended on.

    Yes that's technically a UX issue, but there are plenty of good old bugs too, e.g. if you remove a VPN connection that a WiFi network autoconnects to then that WiFi network will entirely stop working with no error messages to speak of. Took me a long time to figure that out. Or how about the fact that 4k only works at 30fps over HDMI, but it works fine over DisplayPort or Thunderbolt3. The hardware fully supports it and it works for other people with the same OS and laptop. I never figured that out.

    That's just a taster... I almost never have issues like that on Windows or Mac.

    Windows may cost more than "free" but the additional support costs for Linux are very far from free too.

    Maybe something like Chromebooks makes sense if everything is in the cloud.

  • On "Safe" C++

    Jump

  • Not really. It will predict more vulgar output but that is fixed by fine tuning. It's not going to "poison" it in any meaningful sense.

  • On "Safe" C++

    Jump

  • Wow the level of drama and anger here is crazy. I assume it was cathartic to write at least!

  • Linux Kernel 6.12 Has Landed – And It's a Big One

    Jump

  • But you'd still be crazy to use it for either of those purposes, given how safety critical they are. I expect it would be more likely used in robots like Spot, or manufacturing robots.

  • Speeding up the Rust edit-build-run cycle

    Jump

  • Ok that was maybe a bit unfair!

  • Speeding up the Rust edit-build-run cycle

    Jump

  • I think you're being way too harsh.

    1. His recommendations to disable debug info and PIC are not "bad". He isn't suggesting that should be the default. He actually only suggested that split debug info should be made the default on Linux which is a sensible suggestion.
    2. There are gazillions of other posts talking about codegen-units, cranelift and so on. I don't think we need a repeat (though he could have linked to them).

    The focus on linking was because this post is introducing his liker project.

    OP ignore this naysayer.

  • Rust needs an official specification

    Jump

  • would not be considered bugs but maybe change requests.

    That's just playing with semantics. They are clearly bugs. They are literally called "defect reports".

    Without a spec how would you argue that a system/product is safe?

    1. Lots of testing, including randomised testing and ideally formal verification.
    2. Comprehensive test coverage - both code coverage (lines, branches) and functional coverage (hand written properties).
    3. Functional safety features (ECC, redundancy, error reporting & recovery, etc.)
    4. Engineering practices known to reduce the chance of bugs (strong static types, version control, CI & nightly tests, rigorous engineering processes - requirement tracking and so on, and yes ideally well written specifications for all the tools you are using).

    There are many aspects to safety and it's definitely a good idea to have a spec for a language, but it doesn't automatically mean safety is impossible without it.

    Software in itself cannot be safe or unsafe because without hardware it cannot do anything.

    The nice thing about abstraction is that you can talk about software without considering the hardware, more or less. If one says "this software is safe", it means it's safe assuming it's running on working hardware.

    It doesn't always hold up - sometimes the abstraction leaks, e.g. for things like spectre and rowhammer. And there are sometimes performance concerns. But it's pretty good.

  • Rust needs an official specification

    Jump

  • you can say that without a spec as well but what does “wrong” mean then? It just means you personally disagree with its behavior.

    Nope. Specs can have bugs. Here are the bugs in the C++ spec for example:

    https://www.open-std.org/jtc1/sc22/wg21/docs/cwg_toc.html

    As I said, specifications are useful and desirable, but the SIL's dogmatic "no spec = unsafe" is clearly not based in reality.

  • Rust needs an official specification

    Jump

  • It's not because we have tested this program extensively on every C++ compiler, but because the language rules of C++ say so.

    Debatable. Saying things in a prose specification doesn't magically make them happen. Tests and reference models can though.

    I also don't really agree with the SIL requirements that languages need to have rigorous specifications to be safe. Clearly it's better if they do, but would your rather fly on a rocket controlled by C code or Rust code?

    IMO a specification would be really nice to have, but it main purpose is to tick a certification checkbox, which is why the only one that exists was written specifically for that purpose.

  • Free, open-source Photoshop alternative finally enters release candidate testing after 20 years — the transition from GIMP 2.x to GIMP 3.0 took two decades

    Jump

  • Dunno why you're being downvoted. It's very obviously deliberately chosen to make 12 year olds giggle.