Raito Bezarius

#Lix developer, #NixOS developer, #Lean theorem prover user.

My interests revolve around formal verification, evolutions of the Nix model, firmware platform security, public policies and (geo)politics.

Alternatively, I enjoy Japanese animation and culture.

My DMs are open for anything and everything.

Raito Bezariusraito@nixos.paris
2025-06-10

@mildsunrise (fret not, i am a rust guy)

Raito Bezariusraito@nixos.paris
2025-06-10

@mildsunrise you just insulted the golang family^H^H^H^H

Raito Bezariusraito@nixos.paris
2025-06-09

@mildsunrise this is the contents I signed up for

Raito Bezariusraito@nixos.paris
2025-06-08

@famfo @domi if you have a repro, plz send it my way

Raito Bezariusraito@nixos.paris
2025-06-08

@famfo @domi what weird shit is happening

Raito Bezariusraito@nixos.paris
2025-06-08

@domi what is the error and what is the conf?

Raito Bezarius boosted:
Zack Weinbergzwol@hackers.town
2025-06-07

Since we were just talking about magic numbers, let's get a thread going on other common mistakes people make when designing binary file formats. I'll start:

* Inconsistent byte order, as mentioned earlier
* Record fields whose size varies with the writer's ABI
* Writing C structs (or equivalent) to disk all at once instead of field by field
* Optimizing a write-rarely-read-often format (which almost all binary formats are) for ease of *writing* rather than ease of reading
* Inventing your own compression algorithm
* No room left for future extensions
* No provision for metadata

Raito Bezariusraito@nixos.paris
2025-06-07

@crawfordlong home-manager can work in "system mode", so you can do things like `home.users = readFromSomeInventory ...` and then it will start switch home-manager in each directory, but the users will lose the ability to switch by themselves

basically, this feature is really just a systemd service that switch home-manager by impersonating the user privilege and you just iterate over all the users you care about

Raito Bezarius boosted:
maxine 🇵🇸maxine@hachyderm.io
2025-06-07

Can anyone speak to a good repair cafe experience with fine solder work? I have a broken joycon and replacement ribbon clamp connectors, but I am absolutely unskilled when it comes to fine soldering.

East #Berlin preferred for my convenience, but I don’t mind a trip. Boosts welcome.

Raito Bezarius boosted:
2025-06-07

Past couple of days, I've had some epic warning label brainrot that friends fed back into enough to become some new identity affirming normality after I tweaked and updated this cursed warning label I made specifically for Calyo.

I am a product with hazards that must be warned about to my users. 😵‍💫

(I know this isn't standard warning label design; I wanted to use all of the NFPA safety colors)

A fictional warning label warning about a few fantastical hazards associated with Calyo, namely:

Mutagenic goo which cannot be protected against by PPE so contact must be avoided

Metaphysical glue capable of forming ontologically permanent coatings and metaphysical adhesive bonds that cannot be broken, so contact must be avoided

Extradimensionality indicating that the product cannot be contained by conventional means and is fully connected even if masses appear to not be. Special containment protocols include: dimensional containment, its own Collar or other conventional bondage apparatus (enforced by its Collar), or adhesives (for obviously hrny reasons).

Finally, a notice that the warning label cannot be removed once it is applied and nonded, indicating that its presence and effects on the product are ontologically permanent.
Raito Bezariusraito@nixos.paris
2025-06-06

@Foxboron @archlinux hahahaha, I guess treehouse.systems would be a good option IMHO

Raito Bezariusraito@nixos.paris
2025-06-06

@Foxboron @archlinux ~~nixos.paris~~

Raito Bezariusraito@nixos.paris
2025-06-05

@dragondaddy il faudrait migrer vers un 2ème VPS et détruire l'ancien si tu veux changer d'IPv6

Raito Bezarius boosted:
2025-06-05

systemd definitely does get many things right. My current favorite is how it sets the system resolver to loopback and provides an own DNS server.
Common Linux tradition was to tell processes to use getaddrinfo, where nsswitch then provides configurable backends. That means that every process goes through loading /etc/nsswitch.conf, but worse, it reduces DNS to a terrible subset. Query SVCB records? tough luck, you're on your own.

Raito Bezarius boosted:
2025-06-05

Autres mythes qui m'ont été soufflés :
- On peut perdre de l'argent en passant à une tranche d'imposition supérieure : Impossible, le nouveau taux d'imposition ne s'applique QUE à tes revenus qui dépassent le plafond de ton ancienne tranche. Les autres continuent à être imposés au même taux.

Raito Bezarius boosted:
2025-06-05

Un des mythes les plus tenaces de la culture française, c'est qu'on ne toucherait pas de chômage en cas de licenciement pour faute grave. C'est de la propagande patronale et c'est complètement faux.

Raito Bezariusraito@nixos.paris
2025-06-05

@dragondaddy à moins d'être 100 % certain que tu envoies pas de spam sur cette range, tu pourrais aller du côté de la justice, sinon juste cycle le /64 avec un autre via OVH

Raito Bezariusraito@nixos.paris
2025-06-05

@mntmn isn't this EU law with interop and APIs for the banking industry?

Raito Bezariusraito@nixos.paris
2025-06-05

@zuludjin All credits to the original author at DGNum (who is not on Fedi alas) 🙂

Raito Bezariusraito@nixos.paris
2025-06-05

@zuludjin you're looking for this: git.dgnum.eu/DGNum/infrastruct

we just reuse colmena and generate a NETCONF activation script that we throw to the target switches

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst