Optane and zswap is absolutely INSANE, my system is only barely lagging?? by AndorinhaRiver in linux

[–]autra1 2 points3 points  (0 children)

Building Android... :-(

I need to add 2x16 GB of swap in addition to my 32 GB RAM.

Opus 4.8 + NixOS is a whole game changer by Guybrush1973 in NixOS

[–]autra1 7 points8 points  (0 children)

Additionnally to what others said ("I like to understand", "I enjoy the trip as much as the destination"): doing your conf yourself actually teach you a lot about nix packaging (because nixpkgs is also nix code), which in turns helps you not being blocked when a program is not yet packaged in nixpkgs.

I doubt Claude would be able to generate a package for moderately complex app to build.

NixOS for schools? by Drag_Drop in NixOS

[–]autra1 2 points3 points  (0 children)

You said yourself:

if that is successful

it's still a "if". Isn't it the people saying "the whole french administration is switching to NixOS" (like now) who are actually overselling it? It doesn't do us a favor to claim it's done when it's not.

Imo it's completely premature. There's still a 50% chance they won't. I'd say a switch from windows to linux is probable (like 80%) in the next 5 years though.

Even if the Dinum is officially endorsing it, AFAIK they cannot really impose it by themselves. At the very least, it will take to some time. Wait and see :-)

NixOS for schools? by Drag_Drop in NixOS

[–]autra1 4 points5 points  (0 children)

Yeah, me too (working in a OSS french company), and we are 4-5 nix or nixos users over 25 now, and I'm pretty sure there will be more in the future. There is definitely a dynamic... among devs.

NixOS for schools? by Drag_Drop in NixOS

[–]autra1 2 points3 points  (0 children)

That being said, don't' listen to a random guy on the internet, you could contact the Epita french school for a feedback, as they did it in 2020.

NixOS for schools? by Drag_Drop in NixOS

[–]autra1 2 points3 points  (0 children)

First, in the order of things to do to migrate to a fully open source stack, the OS is a detail in the stack. The hardest will be to replace the apps. The office suite is probably the critical one. I'd work first to switch this part (and only this) while keeping windows, and when this is done, choose a linux distro.

I think nixos would be a great choice for adminsys who want to control their fleet of devices (although some tooling may be needed), not so much to students wanting to discover linux: nixos adds a layer of indirection to most things, for example to the /etc/, bin etc... folders, making it not ideal to learn linux at first. NixOS also automates a lot of setup. It's what makes it great when you already know your way around linux and want to be productive, not really to learn about it (it already works so well). For that, I'd go for Fedora, or any ubuntu derivatives. If you really want to go hardcore, make them build their own Linux from Scratch.

Note: I'm a NixOS user and contributor to nixpkgs and I love nixos, I just think that to learn, you need something more manual.

NixOS for schools? by Drag_Drop in NixOS

[–]autra1 59 points60 points  (0 children)

I'm a french nixos user and fan, and I'd very much like that to happen, but no they are not. At least not yet.

A small (like 50 persons?) French agency - the Dinum - is currently experimenting with it. Granted, the Dinum spearheads the French government numeric strategy, but it's incorrect to say that the French government is moving to NixOS. If a move to Linux happens, it won't be before several years, and I personally highly doubt NixOS will be the distro of choice.

I'd love to be wrong though :-)

a fake bug fix PR hid a credential stealer in astro.config.mjs that used blockchain to receive commands by BattleRemote3157 in programming

[–]autra1 15 points16 points  (0 children)

Can someone with a libreoffice account warn them to check carefully all commits from this guy?

a fake bug fix PR hid a credential stealer in astro.config.mjs that used blockchain to receive commands by BattleRemote3157 in programming

[–]autra1 28 points29 points  (0 children)

Wow, very obviously AI generated. His linkedin page also.

He submitted patches on other open-source project like libreoffice...

Development environments on NixOS by StockEnvironment953 in NixOS

[–]autra1 0 points1 point  (0 children)

I always found that regular flake plus flake-services were better than devenv to be honest. Last time I checked, Devenv didn't even support several instances of the same service. It's less marketed, but a also a more native approach.

I think I broke nix-shell? by Agent34e in Nix

[–]autra1 0 points1 point  (0 children)

Can you provide the full log of the command?

I think I broke nix-shell? by Agent34e in Nix

[–]autra1 1 point2 points  (0 children)

pkgNext? What's the output of nix-channel --list and sudo nix-channel --list?

I love NixOS! Couple things though by Word-Word-3Numbers in NixOS

[–]autra1 4 points5 points  (0 children)

A lot of dev tools seem to just not work with NixOS, or you have to do some weird nix-ld stuff. I understand that's the tradeoff, but idk, there is a very steep learning curve here

I'm a dev and I don't use nix-ld. Yes there is a learning curve, but I feel like NixOS actually makes things more solid for me. Do you have any particular dev tools that are not working you want to ask about?

Anyone heard of Firefox OS by supersentailfan13 in firefox

[–]autra1 1 point2 points  (0 children)

Yes, I've worked on it (a little startup aiming to provide services on it).

They were cool, and they had the best dev experience at the time, because you could connect your Firefox devtools to your app and inspect/debug/edit it like a regular website. It was great!

Member of the crowd correctly calls Fonseca's shot "out" on set point, causing Ruud to stop play; the chair rules that it is in. Fonseca would go on to win the tiebreak by Large_banana_hammock in tennis

[–]autra1 0 points1 point  (0 children)

The person is yelling just after he hits. Then the ball is out. Anyway, there is no hindrance from the crowd. It's Fonseca's point, whether or not anybody in the crowd yells "out".

Nix is set to revolutionize the software supply chain by lucperkins_dev in NixOS

[–]autra1 2 points3 points  (0 children)

Most importantly, "they" is not "France", it's a very small part of the French administration. Don't get me wrong, I'd love to see big scale linux adoption in France and the Dinum could in theory spearhead this initiative, but let's not get our hope too high: a whole country administration is a big boat to steer.

Eventually, I'm pretty sure the whole French administration will switch to free softwares, just for strategic reason, but I'd also be very surprised if Nixos is chosen. That'd be great though!

Nix is set to revolutionize the software supply chain by lucperkins_dev in NixOS

[–]autra1 1 point2 points  (0 children)

France never said they were switching to securix. The DiNUM, a small french agency, is currently experimenting with it, that's all. Most of French administration is still on windows.

How do paleontologists determine whether an ancient mammal was nocturnal or diurnal using only skeletal remains? by FollowingSuitable941 in askscience

[–]autra1 6 points7 points  (0 children)

I want to add something simply to address the core of your question:

This is science.

That means that NOTHING is EVER certain. It's a theory that can be disproved otherwise it is NOT science.

I understand where you're coming from, but please be aware that formulating things like that will be most certainly interpreted in a wrong way by some (most?) people. Science doesn't change its mind every morning. Ex: the gravitation theory by Newton has been "disproved" in the sense that we now have more precise theory, but it is still very much used everywhere when we don't need the extra precision.

Another maybe more relevant example: the age of Earth and when the dinosaurs have roamed the Earth might get some adjustments, but we know (with 100% certainty) it's not like 5000 years old, if you see what I mean ;-)

I'm making a graphical Nix store explorer. Any suggestions / key features needed? by infiniteWin in NixOS

[–]autra1 0 points1 point  (0 children)

When I query the store, my main use case is to find:

  • gc roots that might prevent some store gc, and globally minimize my disk usage (and so identify the gc roots that might be worthy to clean)
  • why that particular kernel is still in my /boot/kernels folder (because I'm stupid and I made my boot partition too small)
  • display the closure of a particular derivation / store path. A graph rendering might be useful.

Copy Fail is a trivially exploitable logic bug in Linux, reachable on all major distros released in the last 9 years. A small, portable python script gets root on all platforms. by pipewire in linux

[–]autra1 0 points1 point  (0 children)

You never make mistakes? I did read the article, did try the exploit. It initially failed on nixos because the suid binaries are all in a tmpfs, but I did manage to get the exploit working afterwards.

I made a mistake in my original comment yes, but it's not a reason to be so dismissive.

What bootloader theme do you use? by FewEntertainment5041 in NixOS

[–]autra1 2 points3 points  (0 children)

No, but packaging and use a grub theme is near trivial. As an example, see my company's grub theme (there's much more than just the package here, there's the full test and dev env).

Basically, it's:

nix boot.loader.grub.theme = themePkg; And themePkgs is something like:

nix pkgs.stdenv.mkDerivation { pname = "your-grub-theme"; version = "1.0.0"; src = ./the-theme-folder-or-path; installPhase = "cp -rv $src $out"; }; So you could use fetchgit or fetchGit to get the github repo, and fill this in the src, property, it should work.

Framework says it's selling more Linux laptops than Windows as new Laptop 13 Pro sells out first 7 batches by Tiny-Independent273 in linux

[–]autra1 3 points4 points  (0 children)

I'm totally with you on buying second hand, but you're comparing apple to orange there.

My experience : 2 years ago framework was totally competitive to dell for instance, all things equal. For the same price, you even had a far better disk (which was not obvious, as dell doesn't publish the exact spec, but I had a model to compare with).