Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Pol Dellaiera

@Pol@mathstodon.xyz
mastodon 4.7.2
  • Open on mathstodon.xyz

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

471 Followers
334 Following
36 Posts
Joined June 08, 2017
Homepage:
https://not-a-number.io
OrcID:
https://orcid.org/0009-0008-7972-7160
Github:
https://loophp.github.io
Github:
https://github.com/drupol
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 4mo ago
Replying to
@bagder@mastodon.social @gonzo_askold@mastodon.social @orpach.neocities.org Indeed, Nix greatly increases the chances of producing reproducible packages by controlling the build environment. That said, it does not magically make the final artefact reproducible. There can still be sources of non-determinism, and we try to track them down as much as possible. So far, things are going well! :)
8
1
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 2mo ago
The Reticulum Network Stack and its companion daemon, LXMD, are now available as NixOS services! Setting up your own Reticulum node is now a piece of cake ! https://github.com/NixOS/nixpkgs/blob/master/nixos/doc/manual/release-notes/rl-2611.section.md#new-modules-sec-release-2611-new-modules #nixos #nix #Reticulum
GitHub

nixpkgs/nixos/doc/manual/release-notes/rl-2611.section.md at master · NixOS/nixpkgs

Nix Packages collection & NixOS. Contribute to NixOS/nixpkgs development by creating an account on GitHub.

2
0
1
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 5mo ago

Happy to share that I have published my first crate.

It is called `json-sort`: a small Rust CLI for deterministic JSON sorting.

Find it at https://crates.io/crates/json-sort

crates.io
5
2
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 5mo ago

Commission awards €180 million tender for sovereign cloud to four European providers !

https://ec.europa.eu/commission/presscorner/detail/en/ip_26_833

Commission awards €180 million tender for sovereign cloud to four European providers
European Commission - European Commission

Commission awards €180 million tender for sovereign cloud to four European providers

The European Commission is strengthening the European Union\

3
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 6mo ago
Replying to
@kde @frameworkcomputer Link is 404 ! Correct link is https://ev.kde.org/2026/03/27/framework-becomes-kde-patron/
Framework Becomes a KDE Patron
KDE e.V.

Framework Becomes a KDE Patron

Framework supports free open-source software and becomes KDE

3
2
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 5mo ago
Replying to
@jgbarah @mitchellh Concerned is the least indeed. Many projects should have left the day it has been acquired by Microsoft.
2
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 5mo ago

Den Framework Follow-up: Issue Fixed ! @ https://not-a-number.io/2026/den-framework-follow-up-issue-fixed/

#blog #Nix #Den #IaC #ramblings

not-a-number.io
2
2
3
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 6mo ago
Replying to
@goldstein@im-in.space That's such a masterpiece post ! Congratulations :)
2
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 6mo ago
Replying to
@jgalowicz I actually found your choice of image quite questionable.
2
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 6mo ago
Replying to
@greg_harvey Zulip ? Matrix ? Fluxer ?
2
2
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 5mo ago

Je propose de renommer "BePost" en "BeNotPost". #strike #belgium #tiredOfThisShit

mathstodon.xyz
1
0
1
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 5mo ago

I am slowly (but very slowly) starting to fall in love with Polish: W czasie suszy Sasza szedł suchą szosą.

1
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 6mo ago
Replying to
@bmcgee84 Congrats on the release! It reminded me I need to submit a bug report for treefmt-nix!
1
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 10mo ago
Replying to
The pull request has just been merged! #Nix #NixOS #meshtastic #LoRa
2
0
1
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 6mo ago
Replying to
@greg_harvey I hear a lot of good feedback with Zulip lately.
1
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 8mo ago
Replying to
Welcome @HennaVirkkunen !
1
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 8mo ago
Replying to
@onegeekarmy@mastodon.social@mania@hachyderm.io @jamesbelchamber@hachyderm.io thanks for letting me know ! I understand the reason now.
1
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 10mo ago
Replying to
@woile@hachyderm.io @slint@fosstodon.org Congratulations :) I do remember my first package as well, it was something like "Whaaat ? This is already done ?" !
1
1
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 24mo ago
Replying to
@rtn You're missing the Nix one ! @koen
2
1
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 8mo ago
Replying to
@hedgedoc@fosstodon.org In Nix already ! https://github.com/NixOS/nixpkgs/pull/487033
github.com
0
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 10mo ago
Replying to
@adingbatponder I do not mean anything, I am just trying to figure out what you are looking exactly :) The PR I made is public and I think there are existing documentation on how to use a PR until it gets merged. Importing a service which is not yet merged is fully possible, I just can't find it right now, sorry.
0
1
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 8mo ago
Replying to
@luj@chaos.social@raboof@merveilles.town congratulations to both of you! So sad I was not there :(
0
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 9mo ago
Replying to
@ploum@mamot.fr You cannot imagine how happy I am to see the stuff you're teaching. That's great ! Keep up the good work !
0
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 8mo ago
Replying to
@mania@hachyderm.io @jamesbelchamber@hachyderm.io While I would have loved having a nap due to a temporary issue at home, I don't see the point coming to #fosdem to have a nap, I'd rather stay home for that.
0
2
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 4mo ago
Replying to
@ilumium@eupolicy.social They lied then ! Sue them :D
0
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 9mo ago
Replying to on mastodon.nz
@nickofnz@mastodon.nz Actually self-driving cars would be the only benefit of AI and similar technologies. Self-driving cars means less cars, less accidents, less noise polution and probably less energy consumption.
0
1
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 10mo ago
Replying to
@matthewcroughan@social.defenestrate.it fair enough!
0
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 14mo ago
Replying to
@tao@mathstodon.xyz That's so sad, what a crazy world. Perhaps it is time to look for moving out of that country and find another university to work in. How about UMons in Belgium? :)
0
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 5mo ago
Replying to
@Harbinger@fosstodon.org Yes ! :)
0
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 5mo ago
Replying to
@kpcyrd@chaos.social hello kp, I wanted to use it initially and I did something with it but it has some limitations. First, it changes the indentation, then it removes comments, last, it changes some values sometimes (Unicode escape, number formatting with scientific notation). Basically it doesn't have the limitations that json-sort-cli has (https://github.com/tillig/json-sort-cli#known-issues) This is the reason why it embeds its own parser. I know comments are not JSON standard, but they exist... I want json-sort to do only one thing without messing around with the rest.
github.com
0
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 10mo ago
Replying to

@adingbatponder Good idea ! Perhaps a bit of clarification would be nice. Do you want to use the NixOS service or ... ? What's preventing you from using the PR I did today until it gets (hopefully) merged in nixpkgs ?

0
1
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 10mo ago
Replying to
@lix_project congratulations, massive changelog!
0
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 9mo ago
Replying to

@Nezchan@wandering.shop @nickofnz@mastodon.nz I understand. However, I think the key shift would not be the technology itself, but the ownership model it enables.

If autonomous cars actually work well, the incentive to own a private car changes. A self-driving car you summon when needed starts to feel much closer to public transport or shared infrastructure than a personal asset sitting idle 95% of the time in the garage, or in the street.

In that scenario, fewer cars can serve more people: higher utilisation, fewer parked vehicles, less need for everyone to own one.

Not because companies suddenly want to sell fewer cars, but because the value moves from ownership to access.

All of that is obviously not guaranteed, and it depends a lot on regulation and incentives but that is the pathway I see from autonomy to fewer cars, not blind techno-optimism.

0
0
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 5mo ago
Replying to
@ploum@mamot.fr Je comprends et je partage la critique. Le numérique a des avantages: horaires plus facilement mis à jour, informations en temps réel, adaptation plus simple en cas de changement. Pour beaucoup d’usagers, ce sera effectivement pratique, voire bénéfique, d’autant plus qu’une grande partie de la population dispose aujourd’hui d’un smartphone. Mais cela ne change pas le fond du problème: a partir du moment ou on rend l’accès à l’information dépendant d’un dispositif connecté (autrement dit, dès qu’on ajoute une couche supplémentaire entre l’usager et l’information et qu’on rend cet accès plus indirect) on exclut de facto une partie de la population, qu’elle soit minoritaire ou non. Cela dit, aucun support n’est parfaitement universel. Un affichage papier ne résout pas tout non plus, notamment pour les personnes malvoyantes ou en difficulté de lecture, sans compter les cas où les horaires ne sont plus à jour ou sont simplement vandalisés. Mais ce constat ne justifie pas de remplacer un support imparfait par un autre qui ajoute encore davantage de prérequis et de contraintes techniques: smartphone, batterie, connexion Internet, etc etc... IMO, la bonne approche n’est donc pas de refuser le numérique, mais d’éviter qu’il devienne un passage obligé. Le QR code peut être un complément utile et il devient problématique lorsqu’il remplace toute autre forme d’accès direct à l’information, comme un "bon vieux papier". Bref,... tout est une histoire de compromis, tout le temps, partout.
0
1
0
0
Open post
Pol Dellaiera @Pol@mathstodon.xyz
· 8mo ago
Replying to
@davepagurek @chrisamaphone Oriental shorthair I would say. Lovely, the best cat breed !
0
2
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 21:29:56 UTC