Spore

joined 2 years ago
[–] Spore@lemmy.ml 24 points 1 month ago (1 children)

It runs in the kernel of the OS as a driver, which means that it's basically a trusted malware that has even higher permission than the admin of the computer, and have access to more things than yourself, to closely monitor the whole system in order to find signs of cheating.

[–] Spore@lemmy.ml 3 points 8 months ago

Did they fixed the kernel panic problem that persisted in the last two versions? I don't dare to try it, last month their proprietary driver has almost destroyed my machine.

[–] Spore@lemmy.ml 4 points 1 year ago

You can use Nix on Guix System and vice versa, but it's like installing them as a package manager on a foreign system. The store and packages currently are completely isolated between the two, although there's a very early plan for a common store interface.

[–] Spore@lemmy.ml 1 points 1 year ago

No, monadic interface is used to programmatically access the store instead of being used to define packages. Packages are pure in Guix.

[–] Spore@lemmy.ml 1 points 1 year ago* (last edited 1 year ago)

Guix uses Guile everywhere. Nix uses string interpolated Bash and Perl for anything impure.

Now what do you think?

[–] Spore@lemmy.ml 2 points 1 year ago

Fyi, it's now available on nixos.

[–] Spore@lemmy.ml 2 points 1 year ago (2 children)

Nobody has mentioned that Guix is readily available on NixOS right now? Add a line to your config and it's ready to go. Compatible with everything else.

[–] Spore@lemmy.ml 1 points 1 year ago* (last edited 1 year ago)

I think there's no need to stick with one particular language. It benefits to learn more languages and bring the "good parts" of their design into your code whatever you are writing it in.

Btw It happens that I've learned a bit of RISC-V, with Rust.

[–] Spore@lemmy.ml 3 points 1 year ago (2 children)

I'd say no. Programming safely requires non-trivial transformation in code and a radical change in style, which afaik cannot be easily done automated.

Do you think that there's any chance to convert from this to this? It requires understanding of the algorithm and a thorough rewrite. Automated tools can only generate the former one because it must not change C's crooked semantics.

[–] Spore@lemmy.ml 4 points 1 year ago* (last edited 1 year ago) (1 children)

Well, they are not going to release in between, but their rewrite still "works" at each commit being a hybrid of Rust and C++.

[–] Spore@lemmy.ml 45 points 1 year ago* (last edited 1 year ago) (3 children)
  1. breaks compatibility
  2. breaks compatibility
  3. breaks compatibility
  4. hard to add without breaking compatibility

Then we arrive at Rust as a natural outcome.

And it's of course possible to migrate to Rust from C or C++ progressively, fish has almost got it done.

view more: next ›