@raito@nixos.paris
@raito@nixos.paris avatar

raito

@raito@nixos.paris

Student at ENS Ulm in computer science, mathematics, geopolitics and public policies : formal verification maximalist.

President & core contributor at https://mangaki.fr, an open source recommender system for anime & mangas.

Contributor to the NixOS project and Lean theorem prover.

Often available for nerdsnipping or contracting for fun subjects, check my interests on my website!

Profoundly unsatisfied on politics discourse, anti-fascist, fan of https://catala-lang.org/.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

raito, to NixOS
@raito@nixos.paris avatar

I have been working on something, which is not totally ready.

Most of the deployment tools in the ecosystem are tailored to... NixOS. NixOS can run in a bunch of places, but not easily on 256MB RAM devices and 32MB disk.

For that, you have plenty of options, one of them is (https://www.liminix.org/).

Liminix is currently tailored to OpenWRT-class APs/routers and I worked on bringing support for the Zyxel NWA50AX (https://openwrt.org/inbox/toh/zyxel/nwa50ax). 1/???

whitequark, to random
@whitequark@mastodon.social avatar

both telegram and matrix have untrustworthy cryptography, but telegram has gaslit me significantly fewer times and generally not on an ongoing basis, which is really the main thing i care about in a messenger

"it's vulnerable to IND-CCA3" anybody who can pull off that attack on me deserves whatever they get out of it. i just want a messenger that isn't built by americans who have a Single Phone Number and also doesn't gaslight me. is that too much to ask for?

raito,
@raito@nixos.paris avatar

@whitequark honestly, i'm a bit frustrated that ircv3 is stuck because of a lack of good frontend, a lack of will to go and implement more stuff and all that is lacking is a MLS integration in the protocol

raito,
@raito@nixos.paris avatar

@farcaller @whitequark hm, why not? No messaging platform is doing well from my PoV, the first one who move the needle much much further can get back IMHO?

matthartley, to random
@matthartley@fosstodon.org avatar

Yes, this is legit and is something I've enlisted the NixOS community to help with. I am mysterious like that. It's a work in progress, the community members I'm working with will help me make the final selection.

https://discourse.nixos.org/t/exciting-partnership-announcement-framework-community-nixos-communities-join-forces/44640

raito,
@raito@nixos.paris avatar

@fink @matthartley yeah, it's hard to have infrastructure that's respectful of user privacy in self hosted contexts because of the whole PII stuff. It was either this or to go find some random non-updated NextCloud or Google Forms I suppose. Apologies for this.

raito,
@raito@nixos.paris avatar

@mangoiv my biggest issue with cryptpad.fr is that I had bugs with data loss :( and support is still looking into them, they have a bunch of hiccups

cholling, to NixOS
@cholling@social.sdf.org avatar

I haven't been keeping up with all the drama. Is it ok to use again, or is it still evil?

raito,
@raito@nixos.paris avatar

@cholling We hope we addressed community concerns and that we will be ushering in a new era towards community-based governance.

Feel free to take the time to review the situation with your friends / colleagues, IMHO.

(Full disclosure: I am board observer.)

danderson, to random
@danderson@hachyderm.io avatar

The unmoderated nixos reddit is extremely mad at the woke mind virus conquering nix.

I'm going to take this as a very hopeful sign indeed.

raito,
@raito@nixos.paris avatar

@danderson Hopefully, we will build on the momentum. At least, I am committed to do so as a board observer :).

danderson, to random
@danderson@hachyderm.io avatar

Trying out a bunch of distros again, the overriding feeling I'm having is: wow, nobody learned anything from distri did they, why is all of packaging still so slow, why are projects that treat the OS as a single whole-ass atomic block still take like five minutes of crunching to make fetch happen?

NixOS builds being slow were always an annoyance, and I assumed bailing would be a breath of fresh air... But, really not that much :/

raito,
@raito@nixos.paris avatar

@danderson there's a funny page on comparison with Nix and OSTree seems to say they inspired themselves from Nix!

raito,
@raito@nixos.paris avatar

@danderson My uninformed ass external perception was they were using too many mounts and the kernel didn't enjoy all of that, but yeah, I am surprised reading your comments

I didn't expect that given the work that UAPI folk put outside which was more about ostree-oriented folks than Nix folks for example

tuxedocomputers, (edited ) to linux German
@tuxedocomputers@linuxrocks.online avatar

🎥 VIDEO 🎥
We take a look at the special Linux distribution @nixos_org. This is based on the package manager called Nix & allows the entire operating system to be configured from one file. Thanks to @linus!

https://www.youtube.com/watch?v=cQRGBxhY0co

raito,
@raito@nixos.paris avatar

@tuxedocomputers @nixos_org boss @linus on the thumbnail

raito, to random
@raito@nixos.paris avatar

Usually, April's Fools is reserved for jokes, but I have a shitpost that looks like an April's Fools which is not a joke.

Unfortunately, I have more and more responsibilities in life and complicated scheduled requirements spanning across many calendars shared with SO, friends, work and etc.

To juggle with all of that has become more and more impossible, especially while trying to preserve my own energy levels and burnout.

1/n

raito,
@raito@nixos.paris avatar

An interesting problem in Operations Research is the one of scheduling, you have many type of scheduling.

In the case where you are trying to juggle your own todolist (I have a TaskWarrior system), it's hard to know what is the "next thing" to work on and TaskWarrior only help you with prioritization/urgency and what not.

I need a scheduler and a one that takes into account many things like burnout rate!

Enter this shitpost: https://github.com/RaitoBezarius/bujin-scheduler -- a TaskWarrior-based scheduler to CalDAV.

raito,
@raito@nixos.paris avatar

There's a pun I guess I have to explain, bujins are Japanese warriors, most often AFAIK samurais.

They have a very high ethos and deliver on their promises.

With bujin-scheduler, my hope is that I can deliver more on my promises while taking care of myself even better.

In the future, I will experiment all sorts of models that I will throw to the solver to achieve better schedules.

ktemkin, to NixOS
@ktemkin@chaos.social avatar

nix users: what bothers you most about nix (ux-wise or otherwise)? what seems the most mysterious to you?

raito,
@raito@nixos.paris avatar

@ktemkin :$$$$
stay silent

raito,
@raito@nixos.paris avatar

@ktemkin i think i forgot all of them ~

astrid, to random
@astrid@fedi.astrid.tech avatar

lemme just borrow ur account for one second bro just one second bro trust me bro I'll give it back I won't do any changes bro just trust me bro just

raito,
@raito@nixos.paris avatar

@danderson @astrid though it's highly likely here they're here for the airdrop cryptocurrency money and are just scamming you out of shitcoins

raito,
@raito@nixos.paris avatar

@danderson @astrid let's thank the gods of economical efficiency everyday

it doesn't seem like the chaotic attacker that could be so meticulous to target all distros and be stealthy as fucked has appeared or we didn't detect it

dfeldman, to random
@dfeldman@hachyderm.io avatar

If there were another binary backdoor similar to the xz attack that was found today... how would you find it?

(The xz attack was found by chance and some trivial issues that caused performance degradation)

raito,
@raito@nixos.paris avatar

@alanc @dalias I'd imagine it'd be reasonable to modulo those generated files like the version / hash rev or would you believe more sophisticated executable generated file would be present?

raito, to NixOS French
@raito@nixos.paris avatar

In the context of https://www.openwall.com/lists/oss-security/2024/03/29/4 -- the security community of nixpkgs looked into the vulnerability and preliminary analyses seems to indicate that NixOS is unaffected (stable doesn't have it, unstable has supposedly the affected version). Please take this initial report with a salt of grain.
A revert has been sent: https://github.com/NixOS/nixpkgs/pull/300028 -- consider pulling it if you can eat the mass rebuild.

tuxflo, to rustdesk
@tuxflo@chaos.social avatar

Binary version of in , when? Spending way too much time compiling endless crates when doing 'nixos-rebuild switch'

raito,
@raito@nixos.paris avatar

@Atemu probably unfree?

gsuberland, to Electronics
@gsuberland@chaos.social avatar

anyone used Picotech's Picoconnect passive probes, e.g. this one? got opinions on it?

seems extremely affordable for the performance and I'm tempted to check them out for LPDDR3 debugging.

https://www.picotech.com/accessories/passive-low-impedance-probes/picoconnect-912-4-ghz-20-dc-coupled-probe

raito,
@raito@nixos.paris avatar

@gsuberland Don't mind me I'm just like wtf lpddr3 debugging is a thing

raito,
@raito@nixos.paris avatar

@gsuberland I understood it but still I didn't think it was realistic to debug LPDDR3 directly on the board without using on-board methods or smth

raito,
@raito@nixos.paris avatar

@gsuberland open hardware DDR5 wen

btp, to NixOS
@btp@fosstodon.org avatar

Any admins or engineers out there that have built production boxes using ? What's your experience with this? Pros/Cons?

raito,
@raito@nixos.paris avatar

@btp plenty but your question is probably too vague :)

raito, to NixOS
@raito@nixos.paris avatar

For people hosting Mastodon on , you can consider helping queer.af folks by adding

 networking.extraHosts = ''  
 65.108.48.233 queer.af  
 '';

to your configuration to make it for them easier to migrate away.

raito,
@raito@nixos.paris avatar

@graphite ah they don't read the /etc/hosts… ?

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • provamag3
  • kavyap
  • DreamBathrooms
  • InstantRegret
  • magazineikmin
  • thenastyranch
  • ngwrru68w68
  • Youngstown
  • everett
  • slotface
  • rosin
  • ethstaker
  • Durango
  • GTA5RPClips
  • megavids
  • cubers
  • modclub
  • mdbf
  • khanakhh
  • vwfavf
  • osvaldo12
  • cisconetworking
  • tester
  • Leos
  • tacticalgear
  • anitta
  • normalnudes
  • JUstTest
  • All magazines
    •