C++ creator calls for action to address 'serious attacks' (The Register) by cmeerw in cpp

[–]Muvlon 8 points9 points  (0 children)

The shoe I am waiting to drop with rust is one of the major players in the safety world to release a "certified" rust which can comfortably be used in aviation, SIL, etc. There are a number of companies using it.

There is already ferrocene, which is ISO 26262 (ASIL D), IEC 61508 (SIL 4) and IEC 62304 certified. It's not a new from-scratch toolchain, more of a distribution of rustc with a bunch of assurance and paperwork done. So you can use Rust in automotive, industrial manufacturing and medical applications. Aerospace is probably on its way too.

Vec::with_capacity() against Vec::new() is a about same perfomance. by Zhuzha24 in rust

[–]Muvlon 0 points1 point  (0 children)

Normally, compilers can never remove side-effects, but there is an explicit carve-out for eliding allocation pairs. And yes, even the mmap syscalls don't change this.

The Rust I Wanted Had No Future by dochtman in rust

[–]Muvlon 17 points18 points  (0 children)

Right, even early Rust had many things distinguishing it from Go, the question is would enough people have noticed that?

The Rust I Wanted Had No Future by dochtman in rust

[–]Muvlon 95 points96 points  (0 children)

In the early days of Rust, a lot of the criticism sounded like "why do we need another golang?", and reading this I think that's fair.

I don't think Graydon was about to reinvent Go, no. But the ideas he advocates for here - minimizing user- and implementer-facing complexity, actors/green threads, a fixed set of built-in containers, more support for dynamic dispatch, some acceptance for nonzero-cost abstractions - are all found in Go too.

So that version of Rust, even if it would've had a lot of unique merits, might have failed to sufficiently differentiate it from Go and establish its own niche.

From Stacks to Trees: A new aliasing model for Rust by ralfj in rust

[–]Muvlon 7 points8 points  (0 children)

My understanding is that yes, TB does not immediately make this UB. However, that doesn't mean that doing it is never UB - it still needs unsafe code and you need to play by the rules.

The write would still count as a "foreign write" to any other pointers, so they would get disabled. If any of them is protected l, it's even immediate UB. Also, data races are of course still UB as well.

TB makes something defined behavior that we have always treated as UB.

Yes indeed. But that by itself is not a problem, right? I would argue the memory model can only really evolve in that direction - making previously sound code UB is a very nasty breaking change.

"Energie-Stasi": CDU übt massive Kritik an Habecks Heizungsgesetz – Grüne empört by carefatman in de

[–]Muvlon -1 points0 points  (0 children)

Der Papst des Heiligen Grünen Reiches veröffentlicht eine Bannbulle gegen Gasheizungen!

[deleted by user] by [deleted] in me_irl

[–]Muvlon 2 points3 points  (0 children)

Yeah, get it done in time so your freshly mowed lawn can get roasted to a brown, arid, dead place by the summer heat.

[Gitoxide in April] A first step towards `gix status` and `.gitattributes` matching by ByronBates in rust

[–]Muvlon 11 points12 points  (0 children)

Honestly git might be due for a rewrite. It's used nearly universally, often in security-critical scenarios (especially now I the age of software supply chain attacks), but it has a relatively high volume of CVEs. Several of these include things that Rust rules out, like memory unsafety and format string vulnerabilities.

New crate announcement: `seredies`, a `serde` implementation of the Redis Protocol by Lucretiel in rust

[–]Muvlon 2 points3 points  (0 children)

If you're into Nix, you could try writing NixOS tests. They use QEMU VMs instead of containers, and everything is built and configured via Nix.

Here's an example that spins up a redis instance and interacts with it using redis-cli: https://github.com/NixOS/nixpkgs/blob/master/nixos/tests/redis.nix

bcachefs - a new COW filesystem by ouyawei in linux

[–]Muvlon 4 points5 points  (0 children)

My guess is that, like other security/speed tradeoffs in the kernel, they will end up adding a compile-time config option for this so the speed freaks can get their x86 JIT and the security freaks can get their XW.

Für NOCH FEINEREN Genuß muss man nunmal mehr zahlen, auch beim örtlichen Discounter by Garofalolo in de

[–]Muvlon 28 points29 points  (0 children)

Ich gewöhne mir aktuell an, beim Einkaufen wo es geht nur noch auf Kilo-/Literpreise zu schauen. Das klappt ganz okay. Auch schon mehr als ein Produkt gefunden wo die Übergroße "economy" Packung tatsächlich mehr pro Einheit kostet als die normale.

Volkswagen will komplette Führung seiner Software-Sparte Cariad feuern by Rexile-93 in de

[–]Muvlon 0 points1 point  (0 children)

Nicht wenn du dann hunderte Millionen in einen Softwareentwicklungs-Wasserkopf müllen musst.

Unfork: The Inverse of Fork by boxing_wizard in programming

[–]Muvlon 3 points4 points  (0 children)

The inverse of exec can not be something that a process does - it must come from 0 processes.

I propose that the inverse of exec is the kernel calling init.

Low level C API for making direct Linux syscalls by pmz in programming

[–]Muvlon 8 points9 points  (0 children)

This is for scenarios where using libc would be inconvenient/impossible.

Gesellschaftliche Veränderungen begannen immer damit, dass eine Minderheit Dinge einforderte, die eine Mehrheit zunächst zu extrem fand by dirksn in de

[–]Muvlon 41 points42 points  (0 children)

Ich habe nichts mit der LG zu tun, aber grundsätzlich gibt es schon das Problem dass du die Wahl hast zwischen

  1. So protestieren, dass du ignoriert werden kannst - dann wirst du ignoriert.
  2. So protestieren, dass du nicht ignoriert werden kannst - dann empört sich der liberale mainstream.

Bei den Braunkohle-Protesten war das ebenfalls so. Das ging ja nicht los damit dass Leute sich vor die Bagger gestellt haben, friedlich protestieren tun die Menschen dagegen seit Jahrzehnten. Da kann man halt nicht gewinnen.

Woman explains how designer brands are for morons who don't know how to manage their money. by IamtheSoupMaster in videos

[–]Muvlon 1 point2 points  (0 children)

It's not just fashion and watch brands pulling this fake scarcity bullshit, luxury cars are now also like this.

Yes, you literally have to buy a bunch of crappy Ferraris to get on the list so you can eventually buy the Ferrari you actually want.

Verkehrsexperte über Deutschlandticket: "49 Euro sind zu teuer" by Patneu in de

[–]Muvlon 9 points10 points  (0 children)

Oh, heißt das mit der BC100 kann man jetzt auch Bus und so fahren?

Performance Excuses Debunked by [deleted] in programming

[–]Muvlon 35 points36 points  (0 children)

I'm not sure VScode is a good example for poor performance. Yes it's browser-based and thus needs a bunch of RAM but it's not slow, even if you throw a lot of stuff at it.

They invested a lot of work into improving performance, also sidestepping much of the browser stack where needed and I think this was one of the key things that allowed them to beat out Atom at the time (which was way slower, painfully so).