La Roadster de Elon Musk prise pour un astéroïde

2025-01-26
La Roadster de Elon Musk prise pour un astéroïde

Un astronome amateur a découvert un objet proche de la Terre qui s'est avéré être la Tesla Roadster d'Elon Musk, lancée dans l'espace à bord d'une fusée SpaceX Falcon Heavy en 2018. Cela met en évidence le manque croissant de transparence dans l'espace lointain, car un nombre croissant de vaisseaux spatiaux et de débris de fusées créent une confusion avec les astéroïdes, gaspillant les ressources d'observation et potentiellement faussant les analyses statistiques des astéroïdes dangereux. Le Minor Planet Center collabore avec le JPL pour améliorer les systèmes d'identification afin de mieux différencier les objets artificiels des objets naturels.

Lire plus

Que Faire ?: Le livre qui a contribué à déclencher la révolution russe

2025-01-03
Que Faire ?: Le livre qui a contribué à déclencher la révolution russe

Cet article explore le roman influent de Nikolai Chernyshevsky, *Que Faire ?*, un livre qui a profondément marqué le cours de l'histoire russe. Le roman critique l'autoritarisme tsariste et les inégalités sociales, proposant une société utopique fondée sur des principes coopératifs, dirigée par une élite instruite. De Lénine à Xi Jinping, des dirigeants se sont inspirés de ses idées radicales. L'article analyse les personnages du roman, ses points de vue sur le rôle de l'art dans la société et compare son concept d'« homme nouveau » à l'interprétation d'Ayn Rand. En fin de compte, *Que Faire ?* perdure grâce à sa croyance inébranlable en la transformation sociale et son appel à un avenir meilleur, ce qui en fait non seulement un roman, mais un manifeste social révolutionnaire.

Lire plus

Les artistes fantômes de Spotify : le secret obscur de l’algorithme

2024-12-19
Les artistes fantômes de Spotify : le secret obscur de l’algorithme

Cet article dévoile le programme « Perfect Fit Content » (PFC) de Spotify, qui remplit secrètement ses playlists de musique d’« artistes fantômes » à faible coût pour réduire les paiements de droits d’auteur. Ces artistes fantômes, produits en masse par des sociétés de production, manquent de mérite artistique, mais dominent les playlists populaires, au détriment des musiciens indépendants. Cette pratique a suscité l’indignation des artistes et des professionnels du secteur, soulevant des inquiétudes quant à la dévalorisation de la musique et à l’avenir du streaming. Elle révèle l’indifférence des services de streaming à l’égard de l’intégrité artistique et des droits des musiciens dans leur quête de maximisation des profits.

Lire plus
Technologie artistes fantômes

Goodfire publie des outils d'interprétabilité pour Llama 3.3 70B

2024-12-23

L'équipe Goodfire a entraîné des autoencodeurs creux (SAE) sur le modèle Llama 3.3 70B et a publié le modèle interprété via une API. Cela permet d'explorer l'espace latent du modèle grâce à une carte interactive des caractéristiques. L'équipe démontre les capacités de pilotage des caractéristiques et introduit des améliorations pour un pilotage basé sur les SAE plus facile et plus fiable. Tout en montrant des progrès en matière de pilotage, les limitations sont reconnues, notamment la tension entre le pilotage des caractéristiques et les tâches de classification, et la possible dégradation de la restitution des faits à des intensités de pilotage plus élevées. Les travaux futurs comprennent le raffinement des méthodologies de pilotage et le développement d'évaluations de sécurité pour une mise à l'échelle responsable des efforts d'interprétabilité.

Lire plus

La génération Z réclame une réglementation plus stricte des médias sociaux

2025-03-07
La génération Z réclame une réglementation plus stricte des médias sociaux

Une nouvelle étude révèle que plus de 60 % des jeunes Britanniques âgés de 16 à 24 ans estiment que les médias sociaux causent plus de dommages que de bienfaits, plaidant pour des réglementations plus strictes afin de protéger la santé mentale des jeunes. La recherche identifie les médias sociaux comme l'influence négative la plus importante sur le bien-être mental des adolescents, et beaucoup regrettent l'utilisation excessive de leur téléphone pendant leur enfance. Cette étude alimente le débat parlementaire sur un projet de loi visant à améliorer la sécurité des smartphones pour les enfants, exhortant le gouvernement à intervenir pour protéger les enfants des effets néfastes des médias sociaux.

Lire plus
Technologie

Le Projet GPT-5 d'OpenAI Pris dans les Retards et les Coûts Exorbitants

2024-12-23
Le Projet GPT-5 d'OpenAI Pris dans les Retards et les Coûts Exorbitants

Le projet très attendu GPT-5 d'OpenAI, de nom de code 'Orion', prend du retard et engendre des coûts exorbitants, selon le Wall Street Journal. Destiné à être une avancée majeure pour la technologie qui alimente ChatGPT, le projet rencontre des défis, notamment des inquiétudes concernant des données insuffisantes pour atteindre ses objectifs d'intelligence ambitieux. Microsoft, le plus grand investisseur d'OpenAI, attendait le nouveau modèle pour la mi-2024, mais ce calendrier est désormais incertain. Le projet, en cours depuis plus de 18 mois, fait face à un avenir incertain.

Lire plus
IA

Le déclin de MSN : la chute d'un géant de la technologie ?

2025-01-05

Autrefois force dominante sur le paysage d'internet, MSN est désormais tombé dans un relatif oubli. Il occupe une place importante dans la mémoire de nombreux utilisateurs, ayant servi de porte d'entrée à internet pour toute une génération grâce à sa messagerie instantanée et son portail web. Cependant, l'essor d'internet mobile et l'arrivée de nouveaux médias sociaux ont conduit au déclin de MSN, soulignant l'importance de l'innovation constante, même pour les leaders du secteur.

Lire plus

srsRAN : Radio logicielle 4G/5G open source

2025-01-05
srsRAN : Radio logicielle 4G/5G open source

srsRAN est un ensemble d'applications radio logicielles 4G et 5G open source développées par SRS. Implémenté en C++ portable avec un minimum de dépendances tierces, srsRAN fonctionne sous Linux avec du matériel informatique et radio standard. Le projet srsRAN comprend un CU+DU 5G RAN natif O-RAN complet, et une implémentation réseau 4G full-stack couvrant UE, eNodeB et EPC. Le projet est hébergé sur GitHub avec une documentation complète et un forum communautaire actif.

Lire plus
Développement radio logicielle

Donut.c sur une puce : rendu 3D minimaliste avec décalages et additions

2025-01-12
Donut.c sur une puce : rendu 3D minimaliste avec décalages et additions

Ce projet détaille le portage du programme donut.c classique vers un petit ASIC, réalisant un rendu 3D d'un donut en utilisant uniquement des décalages et des additions, éliminant ainsi le besoin de multiplication. En exploitant CORDIC et le ray marching, une conception à 4 tuiles a été soumise à Tiny Tapeout 8, résultant en une implémentation matérielle sur une puce 130nm. Les contraintes de ressources conduisent à un rendu grossier et polygonal, mettant en évidence l'élégance de la conception matérielle minimaliste.

Lire plus

Bun 1.2 : Une mise à jour majeure du runtime JavaScript full-stack

2025-01-23

Bun 1.2 est une mise à jour majeure qui améliore considérablement son ensemble d'outils JavaScript et TypeScript full-stack. Les principales fonctionnalités incluent une meilleure compatibilité avec Node.js (obtenue en exécutant la suite de tests de Node.js), un stockage d'objets S3 intégré (Bun.s3) et des clients Postgres (Bun.sql), un fichier de verrouillage textuel (bun.lock) pour une gestion des dépendances plus rapide et plus sûre, et une augmentation de vitesse de 3x pour Express. Bun 1.2 ajoute également la prise en charge de modules Node.js essentiels tels que node:http2, node:dgram, node:cluster et node:zlib, ainsi que des améliorations pour les add-ons C++ utilisant les API V8.

Lire plus
(bun.sh)
Développement

Expliquer les décisions des grands modèles de langage à l'aide des valeurs de Shapley

2024-12-28
Expliquer les décisions des grands modèles de langage à l'aide des valeurs de Shapley

Les grands modèles de langage (LLM) offrent des possibilités passionnantes pour simuler le comportement humain, mais leurs processus de prise de décision manquent de transparence. Cet article présente une nouvelle approche basée sur les valeurs de Shapley pour interpréter le comportement des LLM et quantifier la contribution de chaque composant de l'invite à la sortie du modèle. Grâce à deux applications, l'étude révèle que les décisions des LLM sont sensibles au « bruit des jetons », où le modèle réagit de manière disproportionnée aux jetons ayant un contenu informatif minimal. Cela soulève des inquiétudes quant à la robustesse et à la généralisation des informations obtenues à partir des LLM dans la simulation du comportement humain, soulignant la nécessité d'une ingénierie minutieuse des invites et d'une compréhension plus nuancée de leurs limites lorsqu'ils sont utilisés dans la recherche.

Lire plus

Optimiser la structure d'une entreprise à l'aide d'analogies avec l'apprentissage automatique

2025-02-26

Cet article explore les parallèles surprenants entre les techniques d'apprentissage automatique et l'organisation efficace d'une entreprise. L'auteur établit des analogies pertinentes, en associant des concepts tels que le dropout, la normalisation par lots, l'arrêt prématuré, la régularisation L1/L2, l'optimisation de la quantité de mouvement, les connexions résiduelles et le pré-entraînement/réglage fin à des défis organisationnels concrets. De la mitigation des risques liés au départ d'employés clés à l'amélioration des processus de recrutement, de gestion de projet, de communication d'équipe, de transfert de connaissances et de la promotion d'une culture d'entreprise saine, l'auteur suggère que les principes de l'apprentissage automatique offrent des cadres précieux pour optimiser la structure et les performances de l'entreprise.

Lire plus

Extension du backend de Futhark : pas facile, mais pas impossible

2025-03-28

Cet article explore les complexités de l’ajout d’un nouveau backend au compilateur Futhark. Futhark utilise un processus de compilation en plusieurs étapes : le frontend analyse et vérifie les types, le mid-end optimise et transforme, et le backend traduit la représentation intermédiaire (IR) en code cible. L’implémentation du backend n’est pas un simple tutoriel ; elle implique plusieurs dialectes IR et une compréhension approfondie des API internes. L’auteur suggère de choisir le dialecte IR approprié en fonction du niveau d’abstraction du langage cible et de tirer parti de l’infrastructure existante pour simplifier le développement. L’objectif final est un nouveau backend invocable via la ligne de commande.

Lire plus
Développement développement backend

Synergetica : Une application de bureau pour la conception de circuits génétiques de bout en bout

2025-02-15
Synergetica : Une application de bureau pour la conception de circuits génétiques de bout en bout

Synergetica est une application de bureau puissante pour la conception de circuits génétiques. Elle offre un flux de travail complet, de la conception et de la simulation des circuits à la génération de séquences d'ADN, le tout sur une seule plateforme. Les utilisateurs peuvent concevoir des circuits à l'aide d'une interface basée sur des nœuds ou sur du code, simuler interactivement les niveaux d'expression des protéines et générer des séquences d'ADN en fonction des paramètres déterminés par la simulation. La personnalisation est facile grâce à l'ajout de parties génétiques, et la fonctionnalité hors ligne assure un contrôle et une confidentialité complets.

Lire plus

L'erreur à un million de dollars d'un programmeur : un bug avec un rebondissement dramatique

2024-12-16
L'erreur à un million de dollars d'un programmeur : un bug avec un rebondissement dramatique

Trey, un programmeur travaillant pour une start-up de télécommunications 3G, a écrit un programme de test de paiement automatisé destiné à de petites transactions de test. Cependant, trois bugs dans le code ont fait que le programme crédite son compte de test de 100 $ toutes les cinq minutes. L'absence de vérification d'activité signifiait que lorsqu'une passerelle échouait, le programme continuait à s'exécuter pendant des heures, accumulant une somme considérable. Le lendemain matin, Trey a été interrogé par l'équipe de sécurité jusqu'à ce que son responsable de département explique la situation, mais le solde du compte de test a été remis à zéro.

Lire plus

Les LLMs peuvent-ils écrire un meilleur code si on leur demande sans cesse d'« écrire un meilleur code » ?

2025-01-03
Les LLMs peuvent-ils écrire un meilleur code si on leur demande sans cesse d'« écrire un meilleur code » ?

Cet article de blog détaille une expérience explorant si le fait de demander de manière répétée à un grand modèle linguistique (LLM) d'« écrire un meilleur code » améliore la qualité du code. En utilisant Claude 3.5 Sonnet, l'auteur commence par un problème de codage Python simple et sollicite itérativement le LLM. Les performances s'améliorent considérablement, atteignant une accélération de 100x. Cependant, des invites itératives simples conduisent à une sur-ingénierie. Une ingénierie d'invites précise produit un code beaucoup plus efficace. L'expérience montre que les LLMs peuvent aider à l'optimisation du code, mais l'intervention humaine et l'expertise restent cruciales pour la qualité et l'efficacité.

Lire plus

Explosion des factures d'électricité au Royaume-Uni : subventions élevées et retard des investissements dans le réseau

2024-12-20
Explosion des factures d'électricité au Royaume-Uni : subventions élevées et retard des investissements dans le réseau

Les factures d'électricité élevées au Royaume-Uni ne sont pas uniquement dues aux coûts de gros de l'électricité. Une analyse récente révèle que les coûts du réseau et les subventions aux énergies renouvelables sont les principaux facteurs. Vingt ans d'investissements stagnants dans le réseau nécessitent désormais une expansion urgente, faisant grimper les coûts du réseau. Les contrats subventionnant les énergies renouvelables continueront d'augmenter les factures d'électricité, tandis que les subventions précédentes, telles que l'Obligation d'énergies renouvelables et le Tarif de rachat, ne se sont pas adaptées assez rapidement à la baisse des prix des énergies renouvelables, entraînant des coûts massifs à long terme. L'auteur suggère de réduire la dépendance au réseau ou d'améliorer l'utilisation du réseau comme moyens de réduire les factures d'électricité à l'avenir.

Lire plus

Au revoir Pi-hole problématique : NextDNS, une solution économique

2025-02-19
Au revoir Pi-hole problématique : NextDNS, une solution économique

L'auteur a initialement utilisé un Raspberry Pi pour configurer un bloqueur de publicités Pi-hole. Bien que facile à configurer et convivial, il causait fréquemment des interruptions de réseau, nécessitant un dépannage constant et consommant beaucoup de temps. Finalement, l'auteur est passé à NextDNS, un service SaaS, résolvant tous les problèmes pour 20 $ par an. Cela a éliminé le besoin d'une maintenance et d'un dépannage fastidieux, offrant une expérience de blocage des publicités plus stable. L'auteur conclut que le coût en vaut la peine par rapport au temps et aux efforts économisés.

Lire plus
Développement Blocage des publicités

Ropey : Une corde à texte UTF-8 hautes performances pour Rust

2025-01-15
Ropey : Une corde à texte UTF-8 hautes performances pour Rust

Ropey est une bibliothèque de cordes de texte UTF-8 écrite en Rust, conçue pour servir de buffer de texte pour des applications telles que les éditeurs de texte. Elle est rapide, robuste et gère facilement les textes volumineux et les modifications incohérentes en mémoire. Ropey offre un solide support Unicode, des performances prévisibles et excelle dans la gestion des modifications fréquentes sur des textes de taille moyenne à grande. Cependant, elle n'est pas idéale pour les textes très petits ou ceux dépassant la mémoire disponible. Ses principales fonctionnalités incluent la prise en compte des lignes, des tranches de cordes efficaces et des API de bas niveau flexibles. Ropey a fait ses preuves dans divers projets et est soumise à des tests rigoureux, offrant une solution fiable pour la manipulation de texte.

Lire plus
Développement Édition de texte

Binaires natifs multiplateformes de Mill via Github Actions

2025-02-02

Le projet Mill utilise Github Actions pour construire des binaires natifs sur différentes plateformes (Mac, Windows, Linux) et les télécharger sur Maven Central. Une configuration astucieuse sépare la publication des artefacts compatibles JVM des binaires natifs spécifiques à la plateforme, assurant ainsi une compatibilité multiplateforme. Les tâches personnalisées `artifactName` et `jar` génèrent des fichiers versionnés avec des suffixes OS et architecture CPU, permettant aux utilisateurs de choisir l'exécutable approprié pour leur environnement.

Lire plus

Espace de conception pour les requêtes de recherche de code : approche innovante d’ast-grep

2024-12-26
Espace de conception pour les requêtes de recherche de code : approche innovante d’ast-grep

ast-grep est un outil de recherche de code basé sur l’arbre de syntaxe abstraite (AST) conçu pour la facilité d’utilisation, l’expressivité et la précision. Cet article de blog explore l’espace de conception des requêtes de recherche de code, en les classant en requêtes informelles, requêtes formelles basées sur des langages de programmation existants, requêtes formelles utilisant des langages personnalisés et requêtes hybrides. Les forces et les faiblesses de chaque type sont analysées. ast-grep utilise une approche hybride, permettant aux utilisateurs d’écrire des requêtes en utilisant la syntaxe familière du langage de programmation et offrant une expressivité plus puissante grâce à des fichiers de configuration YAML ou une API programmatique pour une recherche de code précise.

Lire plus

Fichiers polyglot HTML/ZIP/PNG : une fusion intelligente des formats

2024-12-28

Cet article détaille une méthode ingénieuse pour créer des fichiers polyglot HTML/ZIP/PNG. En exploitant la structure flexible du format ZIP et la tolérance aux erreurs du HTML, ainsi que les caractéristiques des fichiers PNG, les pages web et leurs ressources sont encapsulées dans un fichier PNG auto-extractible. L'article explique en détail comment gérer l'encodage des caractères, la lecture des données et les problèmes de compatibilité entre les formats, aboutissant à un schéma d'archivage web efficace et compact. Cela démontre l'ingéniosité du programmeur et une compréhension approfondie des formats de données.

Lire plus
Développement fichiers polyglot

Compression Introspective en Temps Réel : Donner une Conscience aux Transformers

2025-04-02
Compression Introspective en Temps Réel : Donner une Conscience aux Transformers

Les grands modèles de langage (LLM) souffrent de deux limitations majeures : le manque d’introspection et la nature éphémère de la cognition. Cet article propose une nouvelle méthode de compression introspective en temps réel qui traite les deux problèmes. Un modèle léger « parasite » est entraîné pour compresser les états internes d’un transformateur, permettant un accès et une relecture efficaces du fonctionnement interne du modèle. La méthode comprime les états du transformateur dans un espace latent de basse dimension, semblable à la sauvegarde d’un état de jeu, surmontant ainsi l’obstacle computationnel du stockage de l’état complet. Cela permet de nouvelles capacités telles que le retour en arrière du raisonnement, l’apprentissage par renforcement sur les trajectoires de pensée et la sauvegarde de points de contrôle efficaces en mémoire, conduisant finalement à des systèmes d’IA plus puissants et interprétables.

Lire plus

Le choix du lieu du serveur Minecraft engendre un débat sur les systèmes de vote

2024-12-21

Le choix d'un emplacement pour un serveur Minecraft a suscité un débat approfondi sur différents systèmes de vote. Le système de vote à la majorité simple (Plurality voting) initialement utilisé a conduit à la victoire de l'option la moins populaire en raison de «l'effet spoiler». Par la suite, le vote instantané (Instant runoff) a été testé, résolvant certains problèmes, mais violant la monotonicité lorsque les candidats ont changé. L'auteur présente également la méthode de Borda et le théorème d'impossibilité d'Arrow, recommandant finalement le vote par score (Score voting) et le vote d'approbation (Approval voting) comme des options supérieures, car ils satisfont aux trois conditions du théorème d'impossibilité d'Arrow : l'unanimité, la non-dictature et l'indépendance des alternatives non pertinentes.

Lire plus

La domination silencieuse de l'IA de Google : une stratégie d'intégration verticale similaire à SpaceX

2025-01-07

Depuis 2013, Google construit silencieusement son empire de l'IA. En commençant par le développement des TPU et en intégrant verticalement toute la pile, des puces aux applications, Google a créé un avantage en termes de coûts qui surpasse ses concurrents. Ses TPU offrent des performances comparables au H100 de Nvidia, mais à une fraction du coût (estimé à 10 fois moins). Ce mouvement stratégique, similaire à l'intégration verticale de SpaceX dans le lancement spatial, permet à Google de contrôler son infrastructure d'IA et de réduire considérablement les coûts. Alors qu'OpenAI recherche des tours de financement massifs, la vision à long terme et les ressources substantielles de Google (24 milliards de dollars en espèces) démontrent une approche différente de la domination de l'IA.

Lire plus

Le Latiniste du Pape : La vie extraordinaire de Reginald Foster

2025-03-24
Le Latiniste du Pape : La vie extraordinaire de Reginald Foster

Reginald Foster, un prêtre américain extraordinaire, a servi comme secrétaire latin du Pape au Vatican pendant quarante ans. Plus qu'un maître du latin, ses méthodes d'enseignement uniques ont cultivé des milliers d'enthousiastes du latin et ont profondément impacté l'héritage latin de l'Église. Cet article raconte sa vie légendaire, de son choix par un cardinal puissant à son style d'enseignement non conventionnel qui a fusionné l'apprentissage du latin avec l'histoire et la culture romaine. L'héritage de Foster vit à travers les nombreux universitaires et professeurs qu'il a formés, donnant une nouvelle vie à la langue ancienne.

Lire plus
Divers

Une technologie millénaire au service de l'électronique portable

2025-03-22
Une technologie millénaire au service de l'électronique portable

Une technique de sérigraphie vieille de 1000 ans, datant de la dynastie Song, révolutionne les textiles intelligents. Cette méthode ancienne, tirant parti de la finesse, de la résistance et de l'uniformité de la soie, permet un transfert de motifs efficace. Aujourd'hui, combinée à des encres conductrices, elle permet le prototypage rapide et la production à grande échelle d'électronique portable. Des entreprises comme idoona utilisent cette technique pour créer des chauffages électriques en TPU flexibles et fins pour des vêtements confortables et portables, montrant la puissance durable de cette ancienne technologie dans un contexte moderne.

Lire plus

Sentry : Surveillance des impacts sur Terre

2025-01-29

Sentry est un système conçu pour surveiller les astéroïdes qui présentent un risque potentiel d'impact sur la Terre. En analysant les données orbitales des astéroïdes, il calcule la probabilité et les conséquences potentielles d'un impact. Le système fournit des informations telles que la probabilité d'impact, l'énergie et la date, et utilise les échelles de Turin et de Palerme pour évaluer le risque. Bien qu'aucun astéroïde connu ne représente actuellement une menace élevée, Sentry surveille en continu et fournit des données cruciales pour la défense planétaire.

Lire plus

Outil de gel des classes de base Ruby : Ruby Refrigerator

2024-12-31
Outil de gel des classes de base Ruby : Ruby Refrigerator

Ruby Refrigerator est un outil qui fige toutes les classes et tous les modules de base de Ruby, empêchant ainsi les modifications inattendues des classes de base lors de l'exécution. Il fournit une méthode `freeze_core` pour figer les classes de base et une méthode `check_require` pour vérifier les bibliothèques afin de détecter les modifications apportées aux classes de base. `check_require` prend en charge des options pour prédéfinir les modules et les classes, exclure des classes spécifiques et spécifier les dépendances. Un outil de ligne de commande, `bin/check_require`, est également fourni pour faciliter son utilisation. Cet outil est extrêmement utile pour garantir la stabilité du code dans les environnements de production et de test.

Lire plus
Développement gel classes de base
1 2 550 551 552 554 556 557 558 595 596