Stephane L Rolland-Brabant ⁂⧖⏚ @mathstodon.xyz More Curious Amateur than Expert
\#Linux \#NixOS \#SoftwareCraft \#FunctionalProgramming
Denotational Design & Semantics Graph Theory & Transformation & Formal Grammars HoTT/UF/CategoryTheory Diagrams & Props Networks
Machine Learning/Statistics/Probability Natural Language Processing Computational Linguistics Information Theory
Dynamical Systems Pde/Chaos DSP Audio Math+Music/MamuX
Posts 0
Comments 1
Petition on the implementation of an EU-Linux operating system in public administrations across all EU countries
just an idea, it could be based on #NixOS , if I remember well the project was partially funded by European Research or Opensource funds.
Please correct me if I am wrong on the fundings, I say this from distant memory.
EDIT: it was just an idea, as it is not the most user-friendly distro out there...