Vue normale

Reçu hier — 10 juin 2025

Oubliez Google ou Cloudflare, l’Europe a sa parade de DNS souverain pour le web

10 juin 2025 à 14:50

Europe Iris

Après des années d'attente, le DNS public européen DNS4EU a fait ses débuts. Il ambitionne d'être transparent, conforme aux normes et règles les plus récentes en matière de sécurité, de protection des données et de respect de la vie privée. Et de proposer une alternative souveraine à Google et autre Cloudflare.

Oubliez Google ou Cloudflare : l’Europe a enfin sa solution de DNS souverain pour le web

10 juin 2025 à 14:49

Europe Iris

Après des années d'attente, le DNS public européen DNS4EU a fait ses débuts. Il ambitionne d'être transparent, conforme aux normes et règles les plus récentes en matière de sécurité, de protection des données et de respect de la vie privée. Et de proposer une alternative souveraine à Google et autre Cloudflare.

La fusée géante Starship se prépare à une nouvelle pirouette aérienne

10 juin 2025 à 11:53

Starship booster Super Heavy

SpaceX enclenche les préparatifs pour organiser un nouveau vol d'essai du Starship, dont le dernier test fin mai n'a pas permis d'atteindre tous les objectifs fixés. L'entreprise américaine devrait renouer avec sa fameuse acrobatie.

Actualité : Nothing Phone (3) : adieu l'interface Glyph, son design a fuité

10 juin 2025 à 11:22
Le Nothing Phone (3) serait-il le smartphone de la rupture ? Attendu pour le 1er juillet 2025, cet appareil que Carl Pei, fondateur de la marque, a décrit comme définitivement tourné vers l'IA, fait les frais d’une fuite avec un premier rendu dévoilé sur X/Twitter.Cette fuite, que l’on doit au très sérieux Max Jambor, montre un dos radicalement diffé...

MindsEye : configurations PC, gameplay, date de sortie… tout savoir sur ce GTA-like

10 juin 2025 à 11:05

Jeu d'aventure solo teinté de cybernétique et de bagnoles, MindsEye fait son arrivée sur nos PC et consoles dès aujourd'hui. Qu'attendre du titre ? Quelle configuration PC faut-il pour en profiter ?
 [Lire la suite]

Elpe, un compromis entre NixOS et Ubuntu

Je travaille depuis quelque temps sur Elpe, un projet qui vise à obtenir les bonnes propriétés de Nix/NixOS (les mises à jour atomiques, la reproductibilité), mais avec des paquets Ubuntu.

Le code : https://nest.pijul.com/pmeunier/elpe

L'idée est de définir des recettes de compilation en OCaml et de les envoyer à un backend Rust, qui se charge de les exécuter dans un conteneur sans réseau, en exposant uniquement le contexte nécessaire à la bonne exécution de la compilation. Les produits du build sont indexés par le contenu de la recette du build, et indexés une deuxième fois par le résultat : c'est ce deuxième hash qui est utilisé dans les dépendants du paquet, ce qui permet de construire un arbre de Merkle du système complet (et non seulement de ses sources), qui rend toute modification ultérieure facilement détectable.

De plus, le système de base provient des dépôts de paquet Debian ou Ubuntu. Cependant, tous les chemins sont hard-codés (comme dans Nix), ce qui permet de garantir la reproductibilité, au détriment toutefois du coût de mise à jour en termes d'espace et opérations disque.

Si le choix de Rust devient relativement consensuel par les temps qui courent, OCaml est plus surprenant. Après divers essais avec plusieurs langages, je l'ai choisi parce que c'est le seul langage avec à la fois :

  • Une bonne approximation du système de types dont j'avais besoin: typage nominal et aussi structurel, entre autres.
  • Un système de types relativement simple (pas de typeclasses ni de monades comme en Haskell, de borrow checkers comme en Rust ni de types dépendants comme en TypeScript).
  • Du late binding, nécessaire pour exprimer des "overrides" et des "hooks", courants quand on veut compiler des choses (autoconf et make ont plein d'options de ce type, par exemple).
  • Un compilateur ultra-rapide.
  • Un bytecode, pour (dans le futur) contrôler aussi l'isolation du code de build de façon très légère.

La simplicité et l'expressivité d'OCaml sont bien adaptés à ce projet: les fonctions simples à concevoir y sont relativement claires à énoncer.


Pourquoi pas NixOS, me direz-vous ? En tant qu'utilisateur et contributeur depuis environ 10 ans, un certain nombre de problèmes plus ou moins récents m'ont motivé à explorer une alternative:

  • En termes de gouvernance, la communauté a traversé dans la dernière année plusieurs crises de différentes tailles (Anduril, Devenv…). On pourrait y voir un signe de maturation ou au moins de croissance du projet, mais plusieurs éléments me permettent d'en douter, dont les réactions répétées de la fondation Nix, qui semble avoir beaucoup de mal à comprendre les messages pourtant clairs des contributeurs.

  • Je vois aussi les choix de design imposés par les fondateurs du projet depuis quelques années comme un bien mauvais signe: les flakes (en 2020) étaient une première incarnation de cette tendance, et plus récemment la "distribution propriétaire" de Nix est clairement une mauvaise idée, alors que la qualité de code de Nix n'est pas au niveau où on l'attendrait et que le gros du projet repose depuis plusieurs années sur le travail pharaonique des contributeurs de Nixpkgs.

  • On pourrait parler longtemps de la sécurité de Nix, qui me fait de plus en plus peur y compris pour mon usage personnel. Les process de gestion des rapports ne me conviennent pas, de même que l'opacité de certains choix techniques (les flags de compilation désactivés sur certaines plateformes, entre autres), souvent bien cachés dans les entrailles de Nixpkgs.

  • Enfin, le langage trop complexe à utiliser (principalement par manque de typage statique et de messages d'erreurs pertinents) rend Nix difficile à utiliser au sein d'une organisation d'une taille importante, et encourage les comportements peu inclusifs (éviter d'écrire de la doc, inventer des casse-têtes pour faire des choses simples…). Je suis bien sûr conscient que des entreprises (comme Anduril) et des ONGs (comme Médecins Sans Frontières) l'utilisent, mais je ne pense pas que ce soit généralisable aux situations où j'aimerais voir ce genre de projet utilisé.

Commentaires : voir le flux Atom ouvrir dans le navigateur

La fusée géante Starship refait déjà rugir ses moteurs, après son échec fin mai

10 juin 2025 à 08:13

Starship booster Super Heavy

SpaceX enclenche les préparatifs pour organiser un nouveau vol d'essai du Starship, dont le dernier test fin mai n'a pas permis d'atteindre tous les objectifs fixés. L'entreprise américaine devrait renouer avec sa fameuse acrobatie.

Dune : Awakening, quelles sont les configurations requises pour y jouer sur PC ?

10 juin 2025 à 09:19

Après la série de films à succès Dune, un nouveau jeu se déroulant dans l'univers de Franck Herbert sort ce 10 juin sur PC. De quoi ravir les fans des intrigues intergalactiques mais aussi de MMO.
 [Lire la suite]

Chaque matin, WhatsApp s’anime avec les dernières nouvelles tech. Rejoignez notre canal Frandroid pour ne rien manquer !

Après l’échec de mai, la fusée géante Starship refait déjà rugir ses moteurs

10 juin 2025 à 08:12

Starship booster Super Heavy

SpaceX enclenche les préparatifs pour organiser un nouveau vol d'essai du Starship, dont le dernier test fin mai n'a pas permis d'atteindre tous les objectifs fixés. L'entreprise américaine devrait renouer avec sa fameuse acrobatie.

Reçu avant avant-hier

Actualité : iOS 26 : Messages se réinvente avec traduction instantanée et sondages

9 juin 2025 à 20:40
Avec l’arrivée prochaine d’iOS 26, Apple enrichit significativement son application Messages. Présentées lors de la WWDC 2025, ces nouveautés tendent vers plus de personnalisation, de confidentialité, et d'IA évidemment.Des conversations plus riches et plus sûresLes utilisateurs pourront personnaliser l’arrière-plan de leurs discussions, une nouveaut...

Actualité : iOS 26 : avec Visual Intelligence, Apple réinterprète la fonction Circle To Search de Google

9 juin 2025 à 19:40
Jusqu’à présent, l’intelligence visuelle d’Apple permettait de pointer l'appareil photo vers un objet ou un texte pour en apprendre davantage. Mais avec la future mise à jour iOS 26, cette technologie prend une toute autre dimension : elle peut désormais analyser ce qui se passe directement sur l’écran de votre iPhone, et pas seulement dans le monde...

Culture club

9 juin 2025 à 17:15
Emblème de la société de consommation ou de ses marges, vecteur d'émancipation ou épicentre de la discrimination : la boîte de nuit incarne tous les paradoxes. Entre clandestinité et industrialisation, elle a pu constituer un laboratoire pour une architecture en quête de liberté. Et, ce faisant, (...) / , , - 2025/06

Actualité : iOS 26 : Apple veut vous éviter le démarchage téléphonique avec cette nouvelle fonction

9 juin 2025 à 18:30
Avec sa future mise à jour iOS 26, Apple semble avoir mis la pédale douce sur l’IA, sans pour autant faire l'impasse sur certaines fonctionnalités intelligentes pensées pour améliorer le quotidien. Deux nouvelles options, centrées sur les appels, promettent de réduire les arnaques par téléphone et de faire gagner un temps précieux aux utilisateurs.Un...

Actualité : iOS 26 : Apple offre à son interface un design tout en transparence

9 juin 2025 à 17:40
Lors de l’ouverture de la WWDC 2025, sa grande conférence annuelle dédiée aux développeurs, Apple a dans un premier temps expédié le sujet de l’Apple Intelligence, en promettant une évolution notable l’an prochain, avant de dévoiler iOS 26, une version totalement repensée de son interface pour iPhone, passant non pas au très attendu "iOS 19", mais di...

❌