Une décision de la Cour suprême menace l'indépendance des agences américaines

2025-09-23
Une décision de la Cour suprême menace l'indépendance des agences américaines

Une ordonnance d'urgence de la Cour suprême a autorisé le président Trump à licencier Rebecca Slaughter, dernière membre démocrate de la Federal Trade Commission (FTC). Cela pourrait inverser un précédent vieux de près d'un siècle, permettant aux présidents de licencier des membres d'agences indépendantes à volonté, affaiblissant ainsi leur indépendance et leur nature bipartite. La décision repose sur le concept d'« exécutif unitaire », qui confère au président un contrôle absolu sur le pouvoir exécutif. Les juges libéraux expriment de fortes dissidences, arguant que cela viole la séparation des pouvoirs et transfère l'autorité du Congrès au président. La composition future des agences dépendra entièrement de la volonté du président, ce qui pourrait entraîner une plus grande polarisation politique. La Réserve fédérale pourrait constituer une exception, mais son avenir reste incertain.

Lire plus

PlanetScale pour Postgres est désormais disponible

2025-09-22
PlanetScale pour Postgres est désormais disponible

Le service Postgres géré par PlanetScale est désormais disponible publiquement, après une période d'accès anticipé. Les utilisateurs peuvent facilement créer des bases de données Postgres et utiliser les guides de migration pour passer d'autres fournisseurs. Fort de cinq années d'expérience avec son produit Vitess, PlanetScale a aidé des entreprises comme Cursor, Intercom et Block à faire évoluer leurs bases de données. Cette nouvelle offre combine la maturité de PlanetScale avec les performances du métal nu et inclut une solution de sharding Postgres appelée Neki, prévue pour une sortie open source future.

Lire plus
Technologie

TiDB : Base de données SQL distribuée, native du cloud et open source

2025-01-06
TiDB : Base de données SQL distribuée, native du cloud et open source

TiDB est une base de données SQL distribuée, native du cloud et open source, conçue pour les applications modernes. Elle offre une haute disponibilité, une évolutivité horizontale et verticale, une forte cohérence et des performances élevées. Les fonctionnalités clés incluent les transactions distribuées, des options d'évolutivité flexibles et la compatibilité MySQL. Le déploiement est pris en charge en local, via Kubernetes ou en utilisant le service géré TiDB Cloud.

Lire plus
Technologie distribuée

Ralentir intentionnellement les programmes : une amélioration surprenante de la précision des outils pour développeurs

2025-08-27
Ralentir intentionnellement les programmes : une amélioration surprenante de la précision des outils pour développeurs

La plupart des recherches sur les performances des langages de programmation se concentrent sur l’accélération des programmes, mais une nouvelle étude explore les avantages de les ralentir intentionnellement. En insérant des instructions NOP ou MOV dans les blocs de base des programmes, les chercheurs ont obtenu un contrôle précis de l’exécution du programme, ce qui a permis une détection plus précise des conditions de concurrence, une simulation d’accélération et une évaluation de la précision du profileur. Des expériences menées sur un Intel Core i5-10600 ont montré que les instructions NOP et MOV sont les mieux adaptées à cet usage, ouvrant de nouvelles voies pour les outils de développement avancés à l’avenir.

Lire plus

Outil VPN en ligne de commande : détail des paramètres

2025-03-02
Outil VPN en ligne de commande : détail des paramètres

Il s’agit d’un outil VPN piloté par ligne de commande. Les utilisateurs peuvent spécifier la destination du réseau privé (-d), le routage global (-g), l’adresse locale (-l), l’adresse du serveur distant (-s), le mode serveur (-srv), les adresses IP des dispositifs TUN client et serveur (-tc, -ts) et le nom du dispositif TUN (-tname). Il est essentiel que le serveur puisse atteindre le réseau privé ; sinon, les paquets seront perdus.

Lire plus
Développement réseau

Programmation littérale : rendre le code plus lisible

2025-06-19
Programmation littérale : rendre le code plus lisible

La programmation littérale, un paradigme inventé par Donald Knuth, privilégie la lisibilité du code pour les humains plutôt que l'exécution immédiate par la machine. Cela permet aux programmeurs de développer des programmes dans un ordre plus naturel, guidé par la pensée. Les programmes littéraux entrelacent des explications en langage naturel avec des extraits de code, améliorant la compréhension et la collaboration. L'outil Literate, décrit ici, vise à simplifier et étendre le système CWEB original de Knuth et Levy. Il prend en charge plusieurs langages, la mise en évidence de la syntaxe, l'impression en HTML, la création basée sur Markdown et offre une interface en ligne de commande pour compiler le code et générer de la documentation HTML. Le projet est open source et accepte les contributions.

Lire plus
Développement Programmation littérale

Un programme d'une décennie résout une conjecture mathématique séculaire

2025-09-22
Un programme d'une décennie résout une conjecture mathématique séculaire

Deux mathématiciens ont exécuté un programme pendant plus d'une décennie, réfutant finalement la conjecture d'additivité de longue date. Utilisant une base de données massive qu'ils ont construite, ils ont traité des millions de nœuds, trouvant finalement un contre-exemple qui a brisé la conjecture. Cette histoire souligne le pouvoir de la persévérance et d'une méthodologie intelligente, démontrant les immenses défis cachés dans des problèmes mathématiques apparemment simples.

Lire plus
Divers

Un Milliard de Pixels par Seconde : Visite des Laboratoires Secrets de la Caméra de l'iPhone 16

2025-01-04
Un Milliard de Pixels par Seconde : Visite des Laboratoires Secrets de la Caméra de l'iPhone 16

CNET a eu accès exclusif aux laboratoires secrets d'Apple à Cupertino, révélant la technologie derrière les capacités audio et vidéo révolutionnaires de l'iPhone 16 Pro. L'article détaille comment Apple utilise une chambre anéchoïque pour tester les microphones, l'apprentissage automatique pour améliorer l'audio et un cinéma Dolby Atmos pour le calibrage vidéo. Le résultat ? Des vidéos au ralenti impressionnantes en 4K à 120 ips et la fonction innovante Audio Mix, simplifiant l'édition audio de niveau professionnel pour les utilisateurs quotidiens.

Lire plus

Arrêtez de blâmer l'IA pour les tirets longs !

2025-09-15
Arrêtez de blâmer l'IA pour les tirets longs !

Cet article réfute avec véhémence l'idée que l'utilisation fréquente de tirets longs indique un texte généré par l'IA. L'auteur soutient que les tirets longs sont un signe de ponctuation élégant et flexible qui reflète la fluidité et la complexité de la pensée humaine. Assimiler les tirets longs à l'écriture de l'IA ne fait pas seulement mal interpréter leur fonction, mais aussi étouffe la diversité et la créativité de l'écriture humaine. L'auteur souligne que la présence de tirets longs dans les textes générés par l'IA met en évidence la dépendance de l'IA à l'écriture humaine. Protéger l'utilisation de tirets longs, c'est aussi protéger le charme unique de l'écriture humaine.

Lire plus
Divers

Houseplant : Simplifier les migrations de base de données ClickHouse

2024-12-27

Houseplant est un outil en ligne de commande conçu pour simplifier la gestion des migrations de bases de données ClickHouse. Il permet aux développeurs d'écrire des migrations dans un format YAML convivial, les rendant faciles à lire et à maintenir. Des commandes simples comme `houseplant init`, `houseplant generate` et `houseplant migrate` permettent l'initialisation, la génération de migrations, l'exécution et la restauration. Houseplant prend en charge différentes configurations d'environnement et offre une interface en ligne de commande intuitive pour une gestion transparente du schéma ClickHouse.

Lire plus

Le battage médiatique contre la réalité des vols spatiaux commerciaux : un regard lucide sur les récents échecs

2025-07-01
Le battage médiatique contre la réalité des vols spatiaux commerciaux : un regard lucide sur les récents échecs

Les récents revers de la conquête spatiale, notamment les deux tentatives infructueuses d'atterrissage lunaire d'iSpace et les difficultés du programme Starship de SpaceX, mettent en lumière un problème crucial : le décalage entre l'engouement autour des vols spatiaux commerciaux et la dure réalité de leurs défis techniques. L'auteur soutient que ce n'est pas simplement une série d'incidents isolés, mais plutôt un problème systémique résultant d'attentes irréalistes, de structures de coûts opaques et d'une culture qui privilégie le marketing à une ingénierie solide. En traçant des parallèles avec l'approche méticuleuse de l'ère Apollo, l'article critique les entreprises qui présentent les échecs comme des « opportunités d'apprentissage » tout en ignorant les défauts fondamentaux. Il conclut par un appel à une plus grande responsabilité et à un accent sur les progrès vérifiables, exhortant l'industrie à aller au-delà des déclarations tapageuses et à produire des résultats tangibles.

Lire plus

L'édition de gènes CRISPR promet des avancées dans le traitement du diabète de type 1

2025-09-12
L'édition de gènes CRISPR promet des avancées dans le traitement du diabète de type 1

Une étude révolutionnaire démontre le potentiel de l'édition de gènes CRISPR dans le traitement du diabète de type 1. Des chercheurs ont réussi à implanter des cellules pancréatiques modifiées par CRISPR chez un patient, lesquelles ont produit de l'insuline pendant des mois sans immunosuppresseurs. L'édition génétique a permis aux cellules d'échapper au système immunitaire. Bien que l'étude n'ait porté que sur un seul patient avec une faible dose de cellules, elle représente une étape importante en médecine régénérative, offrant un espoir de guérison pour le diabète de type 1. D'autres essais cliniques sont prévus.

Lire plus
Technologie

Construire un serveur de sauvegarde imbattable : FreeBSD, ZFS et sécurité multicouche

2025-08-02
Construire un serveur de sauvegarde imbattable : FreeBSD, ZFS et sécurité multicouche

Cet article détaille la construction d’un serveur de sauvegarde sécurisé et fiable à l’aide de FreeBSD, ZFS et BastilleBSD. L’auteur souligne l’importance de la redondance des données et du chiffrement multicouche, en décrivant des stratégies de sauvegarde pour les serveurs FreeBSD ZFS (à l’aide de zfs-autobackup), d’autres systèmes (à l’aide de BorgBackup) et les serveurs Proxmox (à l’aide de Proxmox Backup Server et Minio). L’article aborde également les VPN, l’isolement du réseau, les snapshots et le renforcement de la sécurité, dans le but d’aider les lecteurs à créer un système de sauvegarde robuste et résilient à diverses menaces.

Lire plus
Développement serveur de sauvegarde

GPU Kill : Outil CLI de gestion de GPU multiplateforme

2025-09-21
GPU Kill : Outil CLI de gestion de GPU multiplateforme

GPU Kill est un outil en ligne de commande pour gérer les GPU sur les systèmes NVIDIA, AMD, Intel et Apple Silicon. Surveillez, contrôlez et sécurisez facilement votre infrastructure GPU. Les fonctionnalités incluent la surveillance en temps réel de l'utilisation du GPU, l'arrêt des processus bloqués, la détection des mineurs de cryptomonnaies et des activités suspectes, l'application de politiques pour éviter les abus de ressources, un tableau de bord web pour la surveillance du cluster, la gestion à distance des GPU sur plusieurs serveurs et l'intégration avec un assistant IA. Compatible avec Linux, macOS et Windows. Interface en ligne de commande simple et tableau de bord web pour une gestion conviviale.

Lire plus
Développement gestion de GPU

Le compagnon secret de la Terre depuis 60 ans : découverte d’une nouvelle quasi-lune

2025-09-22
Le compagnon secret de la Terre depuis 60 ans : découverte d’une nouvelle quasi-lune

Des astronomes ont découvert un astéroïde proche de la Terre nommé 2025 PN7, une quasi-lune qui orbite la Terre inaperçue depuis environ 60 ans. Cet objet spatial d’environ 30 mètres de diamètre est plus petit que toutes les quasi-lunes connues jusqu’à présent, et son orbite oscille entre une orbite proche de la Terre et une orbite en fer à cheval. Les chercheurs émettent l’hypothèse qu’il pourrait provenir de la ceinture d’astéroïdes Arjuna, ou même être un fragment de la Lune. Bien qu’il soit très proche de la Terre, il ne représente aucune menace et offre des opportunités précieuses pour la recherche sur le système solaire et les tests de technologies d’exploration planétaire.

Lire plus

Échapper au piège de la musique dans le nuage : récupérer ma musique numérique

2025-09-12
Échapper au piège de la musique dans le nuage : récupérer ma musique numérique

Fatigué des limites des services de streaming musical, je me suis lancé dans une quête pour récupérer la propriété de ma musique. En disant au revoir à Apple Music, j’ai choisi Petrichor (macOS) et Doppler (iOS) comme lecteurs de musique locaux et je complète ma bibliothèque en achetant des téléchargements sans DRM ou en cherchant des CD d’occasion. La liberté d’avoir une bibliothèque musicale locale, et d’échapper à l’horrible application « Musique », est incroyablement libératrice.

Lire plus

Psychédéliques et respiration : une nouvelle ère pour le traitement des maladies mentales ?

2025-04-17
Psychédéliques et respiration : une nouvelle ère pour le traitement des maladies mentales ?

Des études récentes ont montré des résultats prometteurs pour les thérapies assistées par des psychédéliques, tels que la psilocybine et la MDMA, dans le traitement de la dépression résistante au traitement et du trouble de stress post-traumatique (TSPT). De nombreux essais cliniques indiquent des améliorations substantielles et durables. Simultanément, les thérapies respiratoires, y compris le Holotropic Breathwork, gagnent du terrain, la recherche suggérant une efficacité dans la réduction du stress, de l'anxiété et de la dépression. Ces thérapies semblent agir en modifiant l'activité cérébrale et les niveaux de neurotransmetteurs, impactant ainsi l'humeur et l'état mental. Bien que des recherches supplémentaires soient nécessaires pour confirmer l'efficacité et la sécurité, ces résultats offrent un nouvel espoir pour le traitement des maladies mentales et ouvrent des voies intéressantes pour explorer les mystères du cerveau et de la conscience.

Lire plus

Un OS minuscule en moins de 1000 lignes de Zig : OS-1000-lines-zig

2025-09-21
Un OS minuscule en moins de 1000 lignes de Zig : OS-1000-lines-zig

OS-1000-lines-zig est un projet impressionnant qui implémente un système d'exploitation léger en moins de 1000 lignes de code Zig. Ce système d'exploitation à noyau monolithique prend en charge la gestion de base des processus et de la mémoire, et dispose d'une interface en ligne de commande simple. Avec seulement un compilateur Zig, les développeurs peuvent facilement cloner, compiler et exécuter l'OS. Le projet possède une structure de code propre avec des composants tels que l'implémentation du noyau, les fonctions communes et un script de compilation, et inclut des tests et des directives de contribution. Les plans de développement futurs incluent l'extension de la gestion des processus, de la gestion de la mémoire, de l'interface en ligne de commande, du réseau et des systèmes de fichiers.

Lire plus
Développement

Quatre raisons pour lesquelles les réunions Zoom sont si exténuantes (et comment y remédier)

2025-01-09
Quatre raisons pour lesquelles les réunions Zoom sont si exténuantes (et comment y remédier)

Des chercheurs de Stanford ont identifié quatre causes principales de la « fatigue Zoom » : un contact visuel excessif en gros plan, se voir constamment à la caméra, une mobilité restreinte et une charge cognitive accrue. Un contact visuel excessif et des visages de grande taille créent du stress ; se voir constamment conduit à l’autocritique ; une mobilité limitée et une charge cognitive plus importante exacerbent la fatigue. Les solutions consistent à réduire la taille de la fenêtre Zoom, à masquer l’aperçu de soi, à augmenter les mouvements et à prendre des pauses « audio uniquement ». Une échelle d’épuisement et de fatigue Zoom (ZEF) est également en cours de développement pour mesurer le degré de fatigue Zoom.

Lire plus

arXivLabs : Création de nouvelles fonctionnalités arXiv avec des collaborateurs communautaires

2025-09-23
arXivLabs : Création de nouvelles fonctionnalités arXiv avec des collaborateurs communautaires

arXivLabs est un cadre collaboratif permettant aux développeurs de créer et de partager de nouvelles fonctionnalités arXiv directement sur le site web. Les participants, individus et organisations, adhèrent aux valeurs d'arXiv : ouverture, communauté, excellence et confidentialité des données utilisateur. arXiv s'engage envers ces valeurs et ne collabore qu'avec des partenaires qui les partagent. Vous avez une idée pour une contribution communautaire précieuse ? Explorez arXivLabs !

Lire plus
Développement

Microsoft Teams révolutionné par l'arrivée massive d'agents IA Copilot

2025-09-19
Microsoft Teams révolutionné par l'arrivée massive d'agents IA Copilot

Microsoft ajoute une multitude d'agents IA à Teams, promettant des assistants Copilot pour chaque canal, réunion et communauté. Ces nouveaux agents fonctionneront également sur SharePoint et Viva Engage, et sont déployés pour les utilisateurs de Microsoft 365 Copilot. Les nouvelles fonctionnalités incluent des agents facilitateurs de réunion qui créent des ordres du jour, prennent des notes et répondent aux questions ; des agents de canal qui répondent aux questions basées sur les conversations et réunions précédentes ; des agents communautaires dans Viva Engage qui aident les administrateurs ; et des agents de connaissance dans SharePoint qui organisent et résument les fichiers. Les agents facilitateurs de réunion sont disponibles dès maintenant, mais la création de documents et de tâches, ainsi que les autres agents, sont en prévisualisation publique, parallèlement à un outil Workflows remanié pour l'automatisation des tâches basée sur l'IA et un générateur de récapitulatifs audio.

Lire plus
Technologie

Repenser l'unité de travail dans le développement logiciel

2025-09-23

Cet article explore les meilleures pratiques pour définir l'«unité de travail» dans le développement logiciel. L'auteur soutient qu'une bonne unité de travail doit être décomposable, vérifiable, indépendante et priorisable, similaire à une user story, mais avec un accent plus fort sur son rôle tout au long du cycle de vie du logiciel. Définir clairement l'unité de travail, affirme l'auteur, augmente l'efficacité de l'équipe, réduit la complexité inutile et, finalement, offre plus de valeur au client. L'article critique également la pratique consistant à mesurer uniquement l'efficacité du développement assisté par IA par le volume de code généré, préconisant plutôt une évaluation axée sur la valeur client de l'impact réel de l'unité de travail.

Lire plus
Développement unité de travail

arXivLabs : Collaboration communautaire sur les nouvelles fonctionnalités d'arXiv

2025-09-23
arXivLabs : Collaboration communautaire sur les nouvelles fonctionnalités d'arXiv

arXivLabs est un cadre expérimental permettant aux collaborateurs de développer et de partager de nouvelles fonctionnalités d'arXiv directement sur le site web. Les individus et les organisations qui travaillent avec arXivLabs ont adopté et accepté nos valeurs d'ouverture, de communauté, d'excellence et de confidentialité des données des utilisateurs. arXiv est engagé envers ces valeurs et ne travaille qu'avec des partenaires qui les respectent. Vous avez une idée de projet qui apportera une valeur ajoutée à la communauté arXiv ? En savoir plus sur arXivLabs.

Lire plus
Développement

Compilation d'un petit langage fonctionnel vers LLVM : exemple de calculatrice simple

2025-09-23

Cet article détaille le processus de compilation d'un petit langage fonctionnel vers LLVM. En commençant par un langage de calculatrice basique, l'auteur construit progressivement un analyseur lexical, un analyseur syntaxique et un générateur de code LLVM. L'article explique minutieusement chaque étape, notamment l'analyse avec la bibliothèque megaparsec, la génération de code LLVM IR à l'aide des bibliothèques llvm-hs-pure et llvm-hs-pretty, et enfin la compilation et l'exécution du résultat. Grâce à cet exemple, les lecteurs peuvent apprendre à traduire les caractéristiques des langages fonctionnels (comme la correspondance de motifs) en LLVM IR et à utiliser LLVM pour la génération et la compilation de code.

Lire plus
Développement Langage fonctionnel

La lutte pour un logiciel fiscal libre aux États-Unis : pourquoi Direct File ne suffit pas

2025-04-13

Les contribuables américains ont longtemps dépendu de logiciels fiscaux propriétaires comme TurboTax, compromettant leur liberté. Bien que l'IRS propose Direct File, un service gratuit de dépôt électronique, il ne s'agit pas d'un logiciel libre, manquant de transparence, de sécurité et de réparabilité. L'article exhorte l'IRS à faire de Direct File un logiciel libre pour protéger les droits des contribuables, garantir la sécurité des données et améliorer la durabilité et l'inclusion du système. Il encourage à écrire au commissaire de l'IRS pour plaider en faveur de changements.

Lire plus

L'IA résout un défi de longue date en dynamique des fluides

2025-09-22
L'IA résout un défi de longue date en dynamique des fluides

Des chercheurs ont utilisé l'IA pour réaliser une percée en dynamique des fluides. Grâce à des réseaux neuronaux informés par la physique (PINNs), ils ont découvert de nouvelles familles de singularités instables avec une précision sans précédent – suffisamment précise pour prédire le diamètre de la Terre à quelques centimètres près. Cette avancée marque une nouvelle ère de mathématiques assistées par ordinateur, combinant des intuitions mathématiques profondes avec l'IA de pointe pour relever les défis de longue date en mathématiques, physique et ingénierie.

Lire plus
Technologie

arXivLabs : Collaboration communautaire sur les nouvelles fonctionnalités d'arXiv

2025-09-22
arXivLabs : Collaboration communautaire sur les nouvelles fonctionnalités d'arXiv

arXivLabs est un cadre permettant aux collaborateurs de développer et de partager de nouvelles fonctionnalités d'arXiv directement sur notre site web. Les participants doivent adhérer aux valeurs d'arXiv en matière d'ouverture, de communauté, d'excellence et de confidentialité des données des utilisateurs. Vous avez une idée pour améliorer la communauté arXiv ? En savoir plus sur arXivLabs.

Lire plus
Développement

Creuser une tombe pour maman en Caroline du Nord

2025-08-24
Creuser une tombe pour maman en Caroline du Nord

Ce récit poignant raconte l'expérience de l'auteur en préparant le départ de sa mère. Il détaille les aspects pratiques du choix d'un lieu d'inhumation, de l'acquisition de pelles et du cheminement émotionnel de la famille. Des préparatifs initiaux aux adieux inattendus en karaoké, le récit mêle la réalité sombre de la mort à des moments d'humour et d'amour, montrant les complexités du deuil et la force durable des liens familiaux.

Lire plus
Divers enterrement

Le PDG d'Uber met en garde contre le chômage massif des chauffeurs dû aux voitures autonomes

2025-09-22
Le PDG d'Uber met en garde contre le chômage massif des chauffeurs dû aux voitures autonomes

Le PDG d'Uber, Dara Khosrowshahi, a reconnu lors du récent sommet 'All-In' la menace significative que représentent les voitures autonomes pour les chauffeurs de VTC. S'il s'attend à ce que les chauffeurs humains restent prédominants pendant les 5 à 7 prochaines années en raison du rythme du développement technologique, Khosrowshahi prévoit un chômage massif des chauffeurs dans les 10 à 15 prochaines années. Il a admis qu'il s'agit d'un défi sociétal majeur sans solution facile. Bien que l'IA crée de nouveaux emplois, comme l'étiquetage de données, il est peu probable que cela compense entièrement les pertes d'emplois des chauffeurs. Le partenariat d'Uber avec Waymo, soulignant l'efficacité des véhicules autonomes, alimente encore davantage ces préoccupations.

Lire plus
Technologie

Le comité C++ abandonne une proposition de sous-ensemble sécurisé au milieu d'un débat sur la sécurité mémoire

2025-09-20
Le comité C++ abandonne une proposition de sous-ensemble sécurisé au milieu d'un débat sur la sécurité mémoire

Le comité de normalisation C++ a rejeté une proposition détaillée pour un sous-ensemble rigoureusement sécurisé du langage, malgré les préoccupations persistantes concernant la sécurité mémoire. Le co-auteur Sean Baxter attribue ce rejet à l'impopularité du modèle de sécurité de Rust au sein du comité, qui privilégie l'approche des « profils ». Bien que les profils soient soutenus par des personnalités comme Bjarne Stroustrup, leur viabilité est remise en question, et leur inclusion dans C++26 n'est pas garantie. Cette décision suscite la controverse, certains développeurs suggérant qu'il serait préférable de passer à Rust ou à d'autres langages plus sûrs, comme le projet expérimental « Carbon » de Google.

Lire plus
Développement
1 2 3 4 5 6 8 10 11 12 595 596