Pol Dellaiera

🇧🇪, 🇪🇺, MSc @ Umons, external consultant @ European Commission, STEM lover, serial photographer, great musicologist, combo breaker, perpetual student. Keywords: piano, nature, bike, swimming

Homepage: https://not-a-number.io
OrcID: https://orcid.org/0009-0008-7972-7160
Github: https://loophp.github.io
Github: https://github.com/drupol

Public Key

npub1av6hhjz2wgdt6xch4g0m7hgktg0mwrq8vjfw2zs339rynskllm9sempcc0

NIP-05 Address

pol_at_mathstodon.xyz@momostr.pink

Profile Code

nprofile1qqswkdtmep98yx4arvt658alt5t958ahpsrkfyh9pggcj3jfct0lajcprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntqyf8wumn8ghj7mmxve3ksctfdch8qatzcd5n4h

Publishing to

relay.momostr.pink

offchain.pub

relay.snort.social

Author Public Key

npub1av6hhjz2wgdt6xch4g0m7hgktg0mwrq8vjfw2zs339rynskllm9sempcc0

Show more details

Last Notes

2026-10-31 09:29:01 UTC

- reply

but how do you do to blindly trust this ? Where is it coming from ? Why do you think this is true without doing a bit more research ?

2026-10-30 19:51:55 UTC

- reply

What's going on ?

2026-10-30 09:32:20 UTC

- reply

You should look at the camera next time :D :D :D

2026-10-30 08:16:15 UTC

Today's office view
#work
https://media.mathstodon.xyz/media_attachments/files/117/528/865/930/417/010/original/41246d655a95eac1.jpg

2026-10-28 18:39:15 UTC

- reply

I think you can replace `writeShellScriptBin` with `writePython3Bin`.

2026-10-28 16:23:46 UTC

- reply

I'm not judging anyone. My point is that we are no longer discussing software excellence, but personal preferences. I respect everyone's choices and expect the same in return. In other words, I don't really care about people preferences and here this is not the right place to discuss them.

2026-10-28 07:25:35 UTC

Tomoki Sanders' gig was amazing!
https://www.youtube.com/watch?v=NbYAwLTmZrM

2026-10-24 22:09:49 UTC

It is 2026 and holding your phone up to your ear vertically is officially a thing of the past.
Honestly, I really can't stand that.

2026-10-24 13:57:00 UTC

- reply

mmmh sorry, can't help much here as I would need more info and also, I left my computer for today, sry mate. Nixos unstable should be updated by tomorrow I think, even before perhaps.

2026-10-24 13:43:59 UTC

- reply

I haven't tried, but perhaps:
```
system.replaceDependencies.replacements = [
{
oldDependency = pkgs.python3Packages.pyopenjtalk;
newDependency = (pkgs.python3Packages.pyopenjtalk.overrideAttrs { doCheck = false; });
}
];
```

2026-10-24 13:38:38 UTC

- reply

Oh yes. Let me try to find a way to fix this.

2026-10-24 13:37:08 UTC

- reply

`(pyopenjtalk.overrideAttrs { doCheck = false; })` does not fix it ?

2026-10-24 09:13:43 UTC

From "ClickOps" to "DevOps", from "Imperative" to "Declarative".
Nix and OpenTofu for managing ~250 projects, ~230 users, their memberships and groups on GitLab is a match made in heaven.
#nix #opentofu

2026-10-24 07:01:55 UTC

- reply

good for you then; I wish I could share the same feeling. I was a TeX user, then I discovered Typst and never looked back. Typst is among my favorite software. It's a pleasure to use. But all of this is personal preference and therefore pointless to debate.

2026-10-24 06:48:39 UTC

- reply

you actually forgot to mention that TeX is super slow and the error messages aren't helpful at all!

2026-10-22 18:30:10 UTC

I think I need a holiday.
I just mistyped: `jj got pus`

2026-10-22 10:26:50 UTC

It's 2026.
I have been using GitLab for years.
I still occasionally discover pages and menus I never knew existed.

2026-10-21 04:45:20 UTC

Bootvine is a boot animation showing stages of systemd as a tree.
A must-have if you're running Linux with systemd: https://codeberg.org/wvhulle/bootvine
See the animation: https://codeberg.org/wvhulle/bootvine/media/branch/main/docs/boot.gif
Written in Rust, it already has a NixOS module available for a quick and simple integration in NixOS.

2026-10-20 21:31:09 UTC

- reply

meshchatX as well ?!

2026-10-19 15:30:46 UTC

- reply

After more than 3 months of silence, I think expecting even a short reply is reasonable, don't you think ?
Or perhaps we could look at it the other way around: maybe the sheer amount of work involved in maintaining these repositories is why the maintainer stopped responding? Who knows ? :) In that case, closing my PRs was probably the right thing to do, wasn't it ?
Anyway, it's not a big deal. I am actually considering moving away from Reticulum altogether. I am simply getting tired of all the mess in this ecosystem, especially when it comes to firmwares.

2026-10-19 12:02:56 UTC

- reply

See:
- https://github.com/liberatedsystems/RNode_Firmware_CE/issues/116
- https://github.com/attermann/microReticulum_Firmware/pull/91

2026-10-19 11:20:44 UTC

- reply

MicroReticulum is no longer maintained. I tried to get in touch with the maintainer in the last 3 months, without luck. I now closed all the MRs I had against it.

2026-10-19 10:35:17 UTC

- reply

So sad the support for autonomous solar node (RAK4631 based) is not great...

2026-10-18 08:42:21 UTC

- reply

It was not in Nix ! It is now fixed in https://github.com/NixOS/nixpkgs/pull/575531

2026-10-13 13:41:53 UTC

When you contribute to an open-source project and disagree with some of its decisions, what do you do ?
Do you spend your time, energy, and health fighting to change things, or do you accept that nothing in life is perfect and learn to dance in the rain ?
And if you can not, perhaps the healthiest choice is to step away, remain a user, and enjoy what the project has to offer.
Who knows ? Maybe one day, things will change, eventually.

2026-10-09 13:26:20 UTC

- reply

After giving a second thought, I actually have a gripe... NixOS is boring :D

2026-10-09 13:25:28 UTC

- reply

I have absolutely no gripe.
Best of luck with your new project.
- A happy NixOS user.

2026-10-09 09:46:40 UTC

- reply

I can run `nix flake check` while being completely offline indeed, it is very convenient :)

2026-10-09 08:45:01 UTC

I just posted an new blog post about Nixcon, Nix cache and Gitlab, find it at https://not-a-number.io/2026/nixcon-2026/
#nix #nixcon #gitlab

2026-10-08 09:31:10 UTC

- reply

No way.

2026-10-07 15:41:29 UTC

- reply

Like this ? https://bsky.app/profile/ec.europa.eu

2026-10-07 13:15:07 UTC

- reply

I see a wild @npub1m05…m5up on the photo !

2026-10-07 06:45:28 UTC

This morning at work, I received again a AI generated answer to an issue. I was not really in the mood this morning, here's my reply:
```
Hello <redacted>,
Let's have a proper chat later, whenever is most convenient for you.
I do have one slightly unusual request: would it be possible **not to use AI** when discussing these kinds of things with me ? I genuinely prefer talking things through directly with people, **with all the imperfections that come with that**, rather than with a "clanker".
Quite often, the answers AI gives me are not quite right because it simply does not have all the context. I then have to spend time understanding the suggestion, checking it, and eventually working out the correct solution anyway.
I realise this request may sound a little odd, and it is absolutely nothing personal. But there is also a broader point behind it: if we gradually replace every interaction between colleagues with AI-generated answers, we risk removing quite an important part of what actually constitutes our work: discussing things, exchanging ideas, challenging each other and solving problems together.
And taken to its logical conclusion, if all those interactions are eventually delegated to AI, then at some point neither you nor I may have much of a job left, which is something I don't want.
Thank you.
```
#work

2026-10-06 12:36:22 UTC

I would love for us to take a sec to appreciate all the trees at the new Schuman roundabout and give a shoutout to the folks who made it happen ! Bravo. #sarcasm
https://media.mathstodon.xyz/media_attachments/files/117/393/981/802/995/710/original/f29dcca2799ebc37.jpg

2026-10-04 21:23:22 UTC

- reply

sadly it is lately mostly full of people eager to punch each other. I really hope this will change.

2026-10-04 20:05:30 UTC

You are now sponsoring Matt Sturgeon ! (https://github.com/MattSturgeon)
#nixos #nixcon #WellDeserved #ThankYou

2026-10-04 17:32:07 UTC

- reply

Cool initiative !
How about hanging in the Documentation Matrix room (https://nixos.org/community/teams/documentation/) as a starting point ?
I believe starting to contribute by improving the documentation is a very good starting point.
Good luck !

2026-10-02 20:44:19 UTC

Deux vidéos sur un sujet qui m’a toujours fasciné : la bibliothèque de Babel.
Celle d’EGO : https://www.youtube.com/watch?v=foabbu6v7ok
Celle d’ASTRA : https://www.youtube.com/watch?v=J3JsyxABi0g
Bon, c’est vrai, elles se ressemblent pas mal et c’est assez curieux... Mais elles sont toutes les deux très bien faites.

2026-10-01 12:21:36 UTC

Est-ce que cela vous semble credible ?
https://media.mathstodon.xyz/media_attachments/files/117/365/622/605/852/726/original/eaf1c9425e1ad005.png

2026-10-01 07:44:28 UTC

- reply

Yes ! Using it everyday :)

2026-09-30 10:40:07 UTC

Find the NixCon 2026 photos album at https://photos.app.goo.gl/nLCRtPU1VKX7fuq77
#nixcon2026 #nixcon #Nixos #nix

2026-09-29 17:47:59 UTC

- reply

Of course :)

2026-09-29 15:56:29 UTC

Here is one of the best moments from #Nixcon in Krakow !
https://media.mathstodon.xyz/media_attachments/files/117/355/143/172/041/765/original/5f98cb4ce29bb59a.png

2026-09-22 07:17:21 UTC

- reply

yes ! I have to update mine as well

2026-09-21 18:41:11 UTC

- reply

Fair enough :) And yes, 4GB may absolutely be excessive **for your use case**. It might not be enough for someone else. At that point, though, we are mostly talking about **personal preferences**, and everyone will have a different idea of what the “right” value should be. You see my point ? Is there really much to debate there ?
Anyway, my point was mostly about the framing: there is a difference between “*this default does not suit my system*” and “*this is another NixOS shenanigan thing*”.
Defaults are often compromises, and NixOS generally tries not to diverge from upstream defaults without a good reason to do so. Most of the time, those defaults come from upstream projects in the first place. I do not think NixOS should override them unless there is a good technical reason specific to NixOS.
And no worries about the personal-account part, I simply reacted because I follow the #nixos tag, and I am also a contributor to the project, working for free. I was reacting to the technical claim only.
There is also a human side to this: casual remarks can sometimes be more hurtful than intended when they concern work that people have put a lot of unpaid time and care into.
Your post was just a convenient example of something I see quite often in open-source discussions...
#nixos

2026-09-21 17:43:14 UTC

- reply

On a more personal note, I find this framing a little unfair, especially towards people maintaining open-source projects in their spare time, for free, for both the happy users and the unhappy ones.
Before calling something “shenanigans”, it is probably worth checking where the behaviour actually comes from and why that default exists.
I did a bit of research too, and in this case, **it is not really a NixOS default at all**: it comes from systemd-journald. `SystemMaxUse` defaults to 10% of the filesystem, capped at 4G. So on a 40G filesystem, having roughly 4G of journal is pretty much exactly the expected behaviour.
And `/var/log` **does not simply** “keep on growing” forever either: journald automatically removes old archived journal files to stay within its size limits. The default of `MaxRetentionSec=0` merely means that there is no *time-based* expiration policy.
Setting `SystemMaxUse=400M` may of course be perfectly reasonable for a particular server. But that is a local policy choice, not necessarily a broken default that needs to be “fixed”.
More generally, I wish we were a little more curious about why defaults exist before presenting them as silly mistakes. **They are often the result of trade-offs, discussions, and maintenance work by people (those volunteers again!) whose criteria may simply be different from yours.**
After all, there are usually more brain cells in a community than in any one of us. :)

2026-09-21 17:28:52 UTC

- reply

It has been updated last month on `nixos-unstable` (https://github.com/NixOS/nixpkgs/pull/536538). Feel free to submit a PR if you believe you can improve things, it is always welcome.

2026-09-21 08:37:05 UTC

- reply

Yeah, indeed ! But hey, everyone is free to spend their time however they want. It is really none of my business, I do not judge or have any opinion, and we all get to decide what is worth engaging with. IMO, we are already giving this too much attention !

2026-09-20 15:53:12 UTC

- reply

Saw it, had a good laugh, and then just deleted the email. I figured mentioning it on Mastodon wasn't really necessary either, so I skipped that too. 😊

2026-09-18 16:03:04 UTC

- reply

I tried but never understood those things with TURN and COTURN... luckily I don't have to setup those things !

2026-09-18 13:24:44 UTC

- reply

sinon NixOS, ça marche très (trop !) bien et c’est un projet européen… que demander de mieux, franchement, hein ? 😄

2026-09-17 11:50:08 UTC

- reply

Amazing, now I regret having sold mine !

2026-09-16 03:01:37 UTC

- reply

why do you think it is not popular?

2026-09-15 11:39:27 UTC

- reply

C'est un bon coup de (goo) gueule !

2026-09-13 07:44:51 UTC

- reply

cool! I also noticed that microReticulum is no longer active... Sadly :(

2026-09-12 12:50:40 UTC

- reply

NixOS is the last distro you will ever try :)

2026-09-11 17:21:58 UTC

- reply

I submitted it to Nix @ https://github.com/NixOS/nixpkgs/pull/562347
Feel free to have a look and provide feedback if you believe I did something wrong.

2026-09-11 14:07:09 UTC

"What cannot be mended must be transcended"
- Ursula K. Le Guin

2026-09-11 09:40:21 UTC

- reply

Soon in Nix as well ! https://github.com/NixOS/nixpkgs/pull/562221

2026-09-11 05:23:15 UTC

Ce matin, en ouvrant mes mails, je me suis posé une vraie question existentielle:
Est-ce que vieillir, c’est être sincèrement content de recevoir un mail annonçant que je vais recevoir 300 points bonus à la boucherie locale lors de mon prochain passage, à l’occasion de mon anniversaire ?
Parce que si oui, j’ai une mauvaise nouvelle concernant ma jeunesse...

2026-09-10 12:25:18 UTC

- reply

J’ai adoré l’article, en français comme en anglais, mais je me pose une question… pourquoi utiliser la ponctuation américaine ?
J’ai toujours trouvé ça curieux de mettre les points et les virgules à l’intérieur des guillemets.
Suis-je le seul ?

2026-09-10 10:27:41 UTC

- reply

I'd use a RAK4631. See https://not-a-number.io/2026/down-the-lorabbit-hole-from-meshtastic-to-reticulum/

2026-09-10 10:15:51 UTC

"Afin d’alléger la lecture de ce syllabus, <REDACTED> pose le choix de ne pas utiliser l’écriture inclusive. La forme masculine inclut donc ici toutes les identités de genre."
Ah !
https://media.mathstodon.xyz/media_attachments/files/117/246/216/392/740/270/original/40edd04fa0bc836e.png

2026-09-09 02:04:42 UTC

- reply

that guilty look though... 😍

2026-09-08 21:16:36 UTC

- reply

https://rns.recipes/forum/general/so-this-is-possible-but

2026-09-08 14:44:30 UTC

- reply

Trop bien ce jeu, merci :)

2026-09-08 14:44:14 UTC

- reply

www.maptap.gg September 8
99🎯 94🏅 54🫣 89👑 48😞
Final score: 712

2026-09-08 08:11:49 UTC

- reply

I don't forget these aspects. I deliberately chose to put them aside. As I wrote, **I do not minimise them at all**, and I think they raise very important questions of their own.
What I am trying to understand here is something slightly different: *people's reaction when they are confronted with something that has already been produced, entirely or partly, with the help of AI*.
In other words, I am not asking whether using AI is socially, environmentally or politically neutral. **It clearly is not**. I am trying to understand why the knowledge that AI was involved in producing something can change our perception of the result itself. Basically, when it is too late to say anything !

2026-09-08 08:07:40 UTC

- reply

This is very interesting, and I share that point of view. I like scrutinizing the path someone took to build something, and IMO, the value of that journey is part of the value of the final result.

2026-09-07 19:51:24 UTC

New blog post: On the use of AI
https://not-a-number.io/2026/on-the-use-of-ai/

2026-09-06 11:39:06 UTC

Completely mind blown by all the things Farid Zakaria has been releasing these last weeks. Please STAPH ! It is hard to stay up to date :)
Here's its latest creation: https://trynix.dev/
#nix #nixos

2026-09-03 16:27:05 UTC

- reply

> Par exemple, si j'ai plusieurs shells (envs) différents; en nix, ils seraient tous dans le flake.nix.
Non, pas forcément. Ça ne me dérange pas de te montrer le contraire si besoin.

2026-09-02 06:14:39 UTC

- reply

Got it working as well, but in a different way, using the `nixd` LSP.
Thank you mate!

2026-09-01 20:46:38 UTC

@npub18rw…js8e Do you have a working snippet of config to have `nixfmt-rs` working in Gram ? TY !

2026-08-27 17:05:33 UTC

Looks like it is the right moment to sell my ipad !
Context: https://www.reddit.com/r/gossipgoblin/comments/1vytgss/pomegranate_removed_from_youtube/
#pomegranate
https://media.mathstodon.xyz/media_attachments/files/117/168/557/142/969/172/original/81ff965508a6a6cb.jpg

2026-08-27 16:00:32 UTC

- reply

ignorance is bliss, you'll find a better way to allocate your time now ;)

2026-08-26 07:36:32 UTC

- reply

Perhaps you should investigate a bit more and eventually ask on the forums (https://rns.recipes) ?

2026-08-26 05:14:49 UTC

- reply

> Unfortunatrly, it doesn't seem to work properly, and I can't prove it, but I think it's MitM-ing the messages.
I believe such claims are inappropriate because it makes a serious allegation without providing any supporting evidence.
Claims of this nature should be backed by reliable sources and proofs. Without such evidence, perhaps it is better to avoid presenting speculation as fact.

2026-08-24 20:42:18 UTC

- reply

Ignore the vibe coded stuff, only the reference implementation is the one you should use.

2026-08-24 14:43:41 UTC

- reply

Using `nom` gives you a better understanding ;)
https://github.com/maralorn/nix-output-monitor

2026-08-21 15:21:16 UTC

- reply

I would use disko + Nixos Anywhere. This is how I always do.

2026-08-21 13:12:41 UTC

- reply

The correct URL is: https://conf.researchr.org/details/icsme-2026/icsme-2026-tool-demonstration/27/GHAgentFiles-A-dataset-of-coding-agent-file-histories-in-GitHub-repositories

2026-08-20 14:20:05 UTC

- reply

snap is a cancer.

2026-08-20 10:54:17 UTC

- reply

no worries, it was an issue on my side with fedilab. Thank you :)

2026-08-19 21:12:10 UTC

- reply

404

2026-08-19 14:49:47 UTC

- reply

disk encryption ?

2026-08-15 19:25:46 UTC

- reply

Can't wait for it !

2026-08-13 15:54:28 UTC

- reply

fair enough, I don't mind not reading your stuff then.

2026-08-12 14:54:48 UTC

- reply

cannondale are producing the best bike forks. Their technology is far more superior to the rest. The weight is not the only reason.

2026-08-12 12:42:03 UTC

- reply

Can’t read… there’s a paywall.

2026-08-11 10:14:16 UTC

- reply

Of course, that goes without saying. I would have tried myself but I am currently busy on something else, preventing me from doing any kind of open-source work. Also, I know that he worked on MurMur (IIRC), so this is the reason why I thought he might be interested.
If you would like to give a try yourself, perhaps trying with `nix-init` could worth the shot.

2026-08-11 10:01:09 UTC

- reply

Perhaps @npub1005…07hr could be interested!

2026-08-09 20:59:12 UTC

- reply

Sans problème je comprends. Ceci dit, je crois que ça t’aiderais :-)
Anyway, n’hésite pas à demander de l’aide si besoin, ça sera avec plaisir.

2026-08-09 16:28:29 UTC

- reply

Le moment parfait pour tester Den ? :-)

2026-08-06 07:31:51 UTC

- reply

Oh, I was not aware of that jj command, thank you !

2026-08-06 06:24:28 UTC

- reply

We can agree to disagree here, and it’s fine. Even though I do not always agreed with them, I don’t think this was intentional at all. We lack resources and time to avoid this kind of situations.
Anyway, now that you tagged them, perhaps you’ll get a formal explanation straight from the reviewer.
Have a great day, hope to see you again on Nixpkgs !

2026-08-06 05:41:59 UTC

- reply

I would not tag this as a sign of toxicity, please. You can definitely find better examples elsewhere, but I don't think this was intentional. There are so many pull requests and so few reviewers, that sometimes this can happen, sadly. I have been there myself, so I can relate. It's also very easy to lose its commit bit that it does not help, but that another issue, not fully related.
I sincerely hope that your next interactions with the project will be better, if any. There are maintainers doing their best everyday, giving their time and energy for free, regardless of the rest. Stay for those, just need to learn a bit who they are.

2026-08-06 04:43:06 UTC

- reply

this is so unfortunate, I fully understand your frustration. Perhaps you could try to contact the reviewer and ask for a more formal explanation ?

2026-08-05 14:15:46 UTC

- reply

I wrote a bit about it here: https://not-a-number.io/2026/down-the-lorabbit-hole-from-meshtastic-to-reticulum/

2026-08-04 21:21:36 UTC

- reply

I won't open the link until I have proof this was not written by an LLM! That said, there is so much truth in there that it cannot be!