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.
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.
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.
Votre café et votre dose de tech vous attendent sur WhatsApp chaque matin avec Frandroid.
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 :
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
Une version préliminaire de Windows 11 permet de mettre la main sur la nouvelle version du menu Démarrer de Windows 11. Cette mise à jour entraine une refonte notable de l'interface.
Une version préliminaire de Windows 11 permet de mettre la main sur la nouvelle version du menu Démarrer de Windows 11. Cette mise à jour entraine une refonte notable de l'interface.
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.
Chaque matin, WhatsApp s’anime avec les dernières nouvelles tech. Rejoignez notre canal Frandroid pour ne rien manquer !
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.
Téléchargez notre application Android et iOS ! Vous pourrez y lire nos articles, dossiers, et regarder nos dernières vidéos YouTube.
Un nouveau vol en direction de la Station spatiale internationale (ISS) doit avoir lieu le 10 juin. À bord de la capsule mise à disposition par SpaceX, quatre astronautes, dont trois débutants.
Le saviez-vous ? Google News vous permet de choisir vos médias. Ne passez pas à côté de Frandroid et Numerama.
L'édition 2025 de Roland-Garros s'achève. Il ne reste plus que la finale en simple messieurs à jouer aux Internationaux de France de tennis. Le duel organisé sur le court Philippe-Chatrier opposera l'Espagnol Carlos Alcaraz à l'Italien Jannik Sinner. Deux grandes options existent pour suivre la rencontre en direct et en streaming.
Vous pensiez que ce récapitulatif hebdomadaire allait faire la part belle à la Switch 2 ? Que nenni : il est question ici de l'opération Toile d'araignée de l'Ukraine qui se poursuit contre la Russie, d'une mise à jour de l'identité des chaînes de France TV et d'iOS 19 qui change de numéro.
Un VPN — pour Virtual Private Network (réseau privé virtuel) — est un dispositif de sécurité qui établit un « tunnel » chiffré entre votre appareil et un serveur éloigné. Grâce à ce tunnel, deux ordinateurs peuvent échanger des données en toute confidentialité, isolant ainsi leurs communications du reste d’Internet.
Si vous voulez recevoir les meilleures actus Frandroid sur WhatsApp, rejoignez cette discussion.
À l’issue d’une deuxième journée d’audience consacrée aux témoignages en faveur du prévenu, qui ont dépeint un homme extraordinaire accusé par un adolescent menteur et « détraqué sexuel », la procureure avait requis trois ans de prison avec sursis. « Sans surprise, appel sera interjeté », a commenté son avocat.
Le lundi 2 juin, la 20e chambre correctionnelle du tribunal de Nanterre devait juger en une demi-journée sept dossiers, dont six affaires d’agression sexuelle, incluant deux cas d’inceste. Faute de temps, elle a dû en renvoyer deux au mois de janvier 2026 - il n’y a aucune date disponible avant. Mais le vendredi 6 juin, la même chambre a entendu pendant six heures, onze des douze témoins cités par la défense de Daniel Chapellier, prévenu d’agression sexuelle sur Vincent*, un collégien de 14 ans. De 9h30 à 16h30 - pause méridienne comprise - le tribunal fut le réceptacle d’intarissables éloges de la part d’anciens élèves et collaborateurs au bénéfice de cette sommité de l’enseignement catholique, «éducateur intégral» passé par les plus prestigieuses institutions du pays (lire notre article précédent).
L’ancien directeur adjoint de Daniel Chapellier à Saint-Martin-De Pontoise a résumé ce long tunnel de témoignages peu utiles à la manifestation de la vérité : «Je suis venu aujourd’hui pour dire ce que je ne sais pas. »
Le premier témoin a enregistré une vidéo que le tribunal a projeté à l’audience. Un homme courtois s’était filmé devant une bibliothèque avant de remercier la vie d’avoir eu le bonheur d’éprouver l’autorité bienveillante de Daniel Chapellier. Le deuxième témoin n’est autre que le fils du prévenu, « sous la direction de papa du CE1 à la terminale », ému à l’évocation d’un père attentionné, «exceptionnel». « Ce qu’il adorait, c’était le contact avec ses élèves »...
Après Lorenzo Musetti contre Carlos Alcaraz cet après-midi, une autre-demi-finale aura lieu ce soir, le 6 juin 2025 : Jannik Sinner contre Novak Djokovic. Un match à suivre en direct et en streaming.
Que se passerait-il si SpaceX et le gouvernement américain rompaient leurs relations ? On le saura peut-être si la crise entre Donald Trump et Elon Musk va jusqu'au bout. Si la rupture survient, des conséquences lourdes du côté spatial et de la défense pour l'Amérique sont à prévoir.
La nouvelle numérotation des chaînes de la TNT est active depuis ce 6 juin 2025. Dans la grande majorité des cas, ce changement se fera sans souci, hormis la nécessité de se souvenir des nouveaux numéros de telle ou telle chaîne. Mais s'il y a des soucis, l'agence nationale des fréquences fournit de l'aide.
Que se passerait-il si SpaceX et le gouvernement américain rompaient leurs relations ? On le saura peut-être si la crise entre Donald Trump et Elon Musk va jusqu'au bout. Si la rupture survient, des conséquences lourdes du côté spatial et de la défense pour l'Amérique sont à prévoir.
Mon Voisin Totoro, Le Tombeau des Lucioles, Le Château Ambulant, Princesse Mononoké... Depuis déjà plus de 40 ans, le studio Ghibli nous offre des chefs-d'œuvre du cinéma d'animation. Si vous n'avez pas encore découvert ces films cultes, ou s'il vous reste quelques classiques à voir, il faudra vous rendre sur une plateforme de streaming en particulier : Netflix.
Que se passerait-il si SpaceX et le gouvernement américain rompaient leurs relations ? On le saura peut-être si la crise entre Donald Trump et Elon Musk va jusqu'au bout. Si la rupture survient, des conséquences lourdes du côté spatial et de la défense pour l'Amérique sont à prévoir.
Rejoignez-nous de 17 à 19h, un mercredi sur deux, pour l’émission UNLOCK produite par Frandroid et Numerama ! Actus tech, interviews, astuces et analyses… On se retrouve en direct sur Twitch ou en rediffusion sur YouTube !
Connexion