Calculer une moyenne en Prolog : un cirque récursif

2025-05-07

Cet article illustre avec humour le calcul d'une moyenne en Prolog, passant d'une définition mathématique simple à une implémentation récursive excessivement verbeuse. L'auteur critique la contrainte pédagogique interdisant l'utilisation des fonctions de la bibliothèque standard de Prolog, ce qui conduit à un code redondant et moins lisible. L'article compare une approche mathématique concise à une solution récursive complexe, plaidant pour la priorité de la lisibilité et de la maintenabilité du code plutôt que pour un simple exercice de récursivité dans l'enseignement.

Lire plus
Développement

L'impact subtil mais significatif de ChatGPT sur le langage humain

2025-08-28
L'impact subtil mais significatif de ChatGPT sur le langage humain

Des chercheurs de la Florida State University ont découvert que les grands modèles de langage comme ChatGPT modifient subtilement notre façon de parler. En analysant les tendances lexicales avant et après la sortie de ChatGPT en 2022, ils ont constaté une convergence entre les choix de mots humains et les schémas associés aux mots clés de l'IA. L'augmentation de l'utilisation de mots comme "delve" et "intricate", fréquemment surutilisés par les LLM, suggère un possible "effet d'infiltration", où l'influence de l'IA dépasse le simple usage d'outils pour remodeler la communication humaine. Cela soulève des inquiétudes quant aux biais potentiels et aux désalignements dans les LLM et leur impact sur le comportement humain. L'étude souligne la nécessité de recherches futures sur le rôle de l'IA dans l'évolution du langage.

Lire plus
IA

Microsoft ferme son magasin de films et de séries après près de 20 ans

2025-07-19
Microsoft ferme son magasin de films et de séries après près de 20 ans

Microsoft a annoncé la fermeture de sa boutique de films et de séries télévisées sur le Microsoft Store, à compter du 18 juillet. Il ne sera plus possible d'acheter de nouveaux contenus vidéo sur le Microsoft Store, que ce soit sur un PC Windows ou une Xbox. Cela fait suite à la fermeture de Groove Music en 2017, marquant la fin de près de deux décennies de vente de films et de séries télévisées numériques par Microsoft. Les achats existants restent accessibles via l'application Films et TV, mais les utilisateurs sont encouragés à migrer vers des services tels que Netflix ou Amazon Prime Video. Ce changement représente un bouleversement important pour les utilisateurs ayant constitué des collections sur la plateforme Microsoft.

Lire plus

L'écran de 1000 pixels le plus improbable au monde : art interactif rencontre technologie low-fi

2025-08-05
L'écran de 1000 pixels le plus improbable au monde : art interactif rencontre technologie low-fi

Un développeur a passé six ans à construire Kilopixel, un écran de 1000 pixels ridiculement inefficace contrôlé via une interface web. Utilisant une machine CNC personnalisée et un mécanisme unique de rotation des pixels, l'écran se met à jour à un rythme glacial (10 pixels par minute). Les utilisateurs peuvent soumettre des œuvres d'art ou collaborer en temps réel pour créer des images sur cette création en bois unique. Le projet présente un mélange de développement web, d'informatique physique, d'usinage CNC et d'artisanat méticuleux. Kilopixel témoigne de la résolution créative de problèmes et de l'intersection de l'art et de la technologie.

Lire plus
Matériel

Mes données Pocket ont révélé mes secrets

2025-07-07
Mes données Pocket ont révélé mes secrets

Avant la fermeture de Pocket, l'auteur a exporté près de 900 articles enregistrés sur sept ans et a utilisé l'outil d'IA o3 pour les analyser. Étonnamment, o3 a déduit avec précision l'âge, le sexe, la localisation, la profession, le revenu, la situation familiale de l'auteur, et même ses orientations politiques, sa tolérance au risque et son style d'apprentissage. Cela a suscité des réflexions sur la confidentialité des données et les capacités de l'IA, inspirant la création d'un système de recommandation de contenu personnalisé.

Lire plus
IA

Expédition dynamique hautes performances avec GLIBC hwcaps

2025-07-16

Cet article montre comment tirer parti des capacités hwcaps de GLIBC 2.33+ pour une expédition dynamique simple dans les bibliothèques partagées amd64 et POWER. En créant des fichiers de bibliothèque pour différents ensembles d'instructions CPU (par exemple, x86-64-v4, x86-64-v3, etc.) sous `/usr/lib/glibc-hwcaps/`, le chargeur dynamique charge automatiquement la bibliothèque correspondante en fonction de l'ensemble d'instructions le plus élevé pris en charge par le CPU, optimisant ainsi les performances. Cela résout le défi de maintenir des performances de bibliothèque cohérentes sur différentes architectures CPU, comme démontré dans la création du paquet Debian de la bibliothèque ggml utilisée par llama.cpp et whisper.cpp.

Lire plus
Développement expédition dynamique

iOS 26 d'Apple intégrera le modèle GPT-5

2025-08-11
iOS 26 d'Apple intégrera le modèle GPT-5

Selon 9to5Mac, Apple intégrera le dernier modèle GPT-5 d'OpenAI dans iOS 26, iPadOS 26 et macOS Tahoe 26. GPT-5 se vante de réduire de 80 % les hallucinations et marque une refonte majeure de la façon dont OpenAI positionne ses modèles ; par exemple, GPT-5 choisit automatiquement d'utiliser un modèle optimisé pour le raisonnement en fonction de la nature de l'invite de l'utilisateur. Les utilisateurs gratuits devront accepter le choix, tandis que les comptes ChatGPT payants permettent de choisir manuellement quel modèle utiliser pour chaque invite. On ne sait pas encore comment cela fonctionnera sous iOS ; restera-t-il en mode non raisonnement de GPT-5 en permanence, ou utilisera-t-il GPT-5 « (avec réflexion) » ? Et s'il prend en charge ce dernier, les utilisateurs payants de ChatGPT pourront-ils choisir manuellement comme ils le peuvent dans l'application ChatGPT, ou seront-ils limités à ce que ChatGPT juge approprié, comme les utilisateurs gratuits ? Nous ne le savons pas encore. Ces mises à jour du système d'exploitation devraient sortir en septembre.

Lire plus
Technologie

Des bactéries utilisaient l'oxygène bien avant la photosynthèse, selon une étude

2025-04-19
Des bactéries utilisaient l'oxygène bien avant la photosynthèse, selon une étude

Une nouvelle étude publiée dans Science utilise l'analyse de l'horloge moléculaire et des données géochimiques pour reconstruire une chronologie détaillée de l'évolution bactérienne et de l'adaptation à l'oxygène. La recherche révèle que certaines bactéries pouvaient utiliser des quantités infimes d'oxygène bien avant le Grand événement d'oxydation (GOE), il y a environ 2,3 milliards d'années, et même avant l'évolution de la photosynthèse oxygénique. Cela remet en question notre compréhension de l'évolution de la vie primitive et souligne le rôle crucial joué par l'oxygène dans le façonnement de l'évolution bactérienne.

Lire plus

Shaped recrute un responsable de l'ingénierie

2025-06-11
Shaped recrute un responsable de l'ingénierie

Shaped recherche un responsable de l'ingénierie pour développer son organisation d'ingénierie et piloter la vision technique de ses produits. Le candidat idéal aura plus de 8 ans d'expérience en ingénierie logicielle, un diplôme de licence, master ou doctorat en informatique ou dans un domaine technique connexe, et d'excellentes compétences en communication et en résolution de problèmes. Les responsabilités comprennent la définition de la stratégie technique, la gestion d'équipes, la supervision du développement de produits, la collaboration interfonctionnelle et l'optimisation des processus et des infrastructures. Il s'agit d'une opportunité de leadership pour façonner la feuille de route du produit et garantir la fiabilité et l'évolutivité de la plateforme.

Lire plus

Piège UTC de l'objet Date JavaScript : Données manquantes au Japon

2025-07-30

Un filtre de date JavaScript apparemment simple a entraîné la perte de données back-end pour les utilisateurs japonais avant 9 h. La raison ? `new Date('AAAA-MM-JJ')` crée un objet date à minuit UTC, soit 9 h au Japon (UTC+9). Ainsi, « supérieur au 1er janvier » signifiait en réalité « supérieur à 9 h le 1er janvier ». La solution a consisté à définir explicitement l'heure à minuit pour éviter la valeur par défaut UTC.

Lire plus
Développement

Centres de données spatiaux : le rêve d’un seul lancement contre la dure réalité

2025-06-27
Centres de données spatiaux : le rêve d’un seul lancement contre la dure réalité

Starcloud affirme qu’un seul lancement de Starship de 100 tonnes pourrait suffire à créer un centre de données spatial (SDC) de 40 MW pour 8,2 millions de dollars. Cette analyse révèle que c’est impossible, nécessitant jusqu’à 22 lancements. Les panneaux solaires nécessitent 4 lancements, la gestion thermique 13 et les racks de serveurs 5. Starcloud sous-estime considérablement les coûts de lancement, ce qui rend sa comparaison économique avec les centres de données terrestres irréaliste. Cela met en évidence les immenses défis d’ingénierie et les coûts élevés des centres de données spatiaux, appelant à une analyse technico-économique plus réaliste.

Lire plus

Stasher : Partage de secrets éphémères sans compte

2025-08-07
Stasher : Partage de secrets éphémères sans compte

Stasher est un outil en ligne de commande pour le partage sécurisé et éphémère de secrets. Pas de compte, pas de backend, juste une transmission de secrets pure et chiffrée avec AES-256-GCM. La fonctionnalité « utilisation unique » garantit la suppression des secrets après une seule utilisation. Construit avec une transparence totale de la chaîne d'approvisionnement (signé cryptographiquement, attesté SLSA v1, enregistré dans Rekor), la nature open source de Stasher et sa sécurité vérifiable le rendent idéal même pour les utilisateurs les plus paranoïaques.

Lire plus
Développement partage de secrets

La vie à bord du Pino : Journal de six mois (2025)

2025-07-18

Ce couple documente sa vie à bord de son bateau, le Pino, pendant les six premiers mois de 2025. Leurs entrées détaillent les réparations du bateau, la sortie de leur jeu Oquonie et divers projets, notamment l'écriture de livres, le développement de jeux et des game jams. Ils partagent leurs lectures, leurs interactions avec la communauté et les défis de la vie à bord, peignant le tableau d'une existence maritime détendue mais aventureuse.

Lire plus
Divers vie à bord

Perplexity lance une offre de 34,5 milliards de dollars pour Google Chrome

2025-08-13
Perplexity lance une offre de 34,5 milliards de dollars pour Google Chrome

La startup de recherche IA Perplexity a fait une offre surprenante de 34,5 milliards de dollars pour acquérir Google Chrome, dépassant largement sa propre valorisation de 18 milliards de dollars. Cette offre non sollicitée intervient quelques mois après que Perplexity ait déclaré son intention d'acheter Chrome si le gouvernement obligeait Google à le céder. Ce mouvement reflète la tentative précédente de Perplexity d'acquérir TikTok. Bien que Perplexity affirme avoir un financement complet de fonds d'investissement et s'engage à investir plus de 3 milliards de dollars dans le développement de Chrome et Chromium au cours des deux prochaines années, Google n'a pas encore répondu et aucune décision de justice n'ordonne la vente.

Lire plus
Technologie

La Cour suprême juge que le haut débit n'est pas une télécommunication ; la lutte pour la neutralité du net continue

2025-08-09
La Cour suprême juge que le haut débit n'est pas une télécommunication ; la lutte pour la neutralité du net continue

Une décision de la Cour suprême en 2024 a donné aux tribunaux plus de pouvoir pour bloquer les interprétations des lois fédérales par les agences, annulant une décision de la FCC de 2016 de l'ère Obama. La cour a décidé que le haut débit est classé comme un "service d'information". Des groupes comme Free Press renoncent à un appel, se concentrant plutôt sur le Congrès, les législatures des États et d'autres tribunaux pour lutter pour l'abordabilité et l'ouverture d'Internet. Bien que la décision de la 6e Cour d'appel ait été erronée, d'autres approches sont considérées comme plus efficaces. La neutralité du net pourrait toujours arriver à la Cour suprême par le biais d'autres affaires, et la loi californienne sur la neutralité du net reste en vigueur.

Lire plus
Technologie

La Mort du Hardware Ouvert : Comment la Stratégie de Brevets de la Chine Étouffe l'Innovation en Impression 3D

2025-08-16
La Mort du Hardware Ouvert : Comment la Stratégie de Brevets de la Chine Étouffe l'Innovation en Impression 3D

Un article sur Hacker News révèle une tendance inquiétante : l’utilisation stratégique des brevets par la Chine pour étouffer le matériel informatique open source d’impression 3D. De nombreuses entreprises chinoises tirent parti des politiques de « super-déduction » pour déposer des brevets sur de petites variations de technologies existantes, créant ainsi un véritable champ de mines de brevets pour les petits projets open source. Le coût élevé et le temps nécessaires pour contester ces brevets, même avec des antériorités, placent les initiatives open source dans une situation de désavantage majeur. L’auteur appelle la communauté open source à s’unir et à surveiller proactivement les dépôts de brevets afin de protéger l’avenir du matériel open source.

Lire plus
Technologie brevets chinois

SQLite : Une légende incroyable de base de données

2024-12-30

SQLite, la base de données la plus déployée au monde, est maintenue par une équipe de trois personnes, refusant les contributions externes, mais conquérant le monde par ses performances exceptionnelles et sa stabilité. Née sur un navire de guerre américain pour résoudre les problèmes d'indisponibilité du serveur, elle est devenue la pierre angulaire de billions de bases de données. SQLite n'est pas open source, mais plutôt un logiciel du domaine public, avec moins de restrictions que toute licence open source. Son processus de test rigoureux, simulant même des situations extrêmes comme les pannes du système d'exploitation, garantit sa fiabilité extrêmement élevée. Cependant, son modèle économique unique — générer des revenus grâce à un support payant et à des adhésions — est également remarquable. La légende de SQLite réside non seulement dans ses prouesses techniques, mais aussi dans la persévérance et l'innovation qui la sous-tendent.

Lire plus
(avi.im)
Développement légende

L'éclatement de la bulle du capital-risque : un hiver qui approche ?

2025-08-28

Une analyse basée sur les déclarations SEC Form D révèle une bulle de capital-risque sur le point d'éclater. En suivant le nombre de formulaires Form D contenant des phrases telles que « Fund I », « Fund II », etc., l'auteur montre que la collecte de fonds de capital-risque a atteint son sommet au troisième trimestre 2022 avant de chuter brutalement. Cela est lié à l'augmentation des fonds de capital-risque pendant les périodes de faibles taux d'intérêt et à la croissance des entreprises « SPV as a service ». L'auteur prévoit une diminution significative de la disponibilité des fonds de capital-risque, due à la durée de vie typique de 10 ans des fonds et à une période de déploiement de 2 à 4 ans, qui dépasse désormais son apogée. Cela coïncide avec le boom des investissements dans l'IA, entraînant des valorisations gonflées. L'auteur conclut que le financement futur diminuera considérablement, les valorisations chuteront, de nombreuses entreprises rencontreront des difficultés et le cycle d'engouement pour l'IA se refroidira.

Lire plus
Startup

Découverte d'un nouveau groupe sanguin : Gwada négatif

2025-06-21
Découverte d'un nouveau groupe sanguin : Gwada négatif

Une femme française de Guadeloupe a été identifiée comme étant la seule porteuse connue d'un nouveau groupe sanguin, baptisé « Gwada négatif ». La découverte, officiellement reconnue par la Société internationale de transfusion sanguine, a été rendue possible grâce au séquençage ADN haut débit après la détection d'un anticorps inhabituel en 2011. La femme a hérité du gène muté de ses deux parents. Cette découverte améliore les soins aux patients ayant des groupes sanguins rares.

Lire plus

Ingénieur logiciel : Construire l'avenir des données neuronales

2025-07-19
Ingénieur logiciel : Construire l'avenir des données neuronales

Piramidal recherche un ingénieur logiciel pour construire et maintenir l'infrastructure back-end de sa plateforme révolutionnaire de données neuronales. Ce rôle implique une collaboration étroite avec les ingénieurs ML pour déployer des modèles de pointe et travailler directement avec les équipes produit et internes pour résoudre des problèmes critiques. Le candidat idéal possède 5+ années d'expérience dans une entreprise axée sur les produits, une maîtrise de Python et d'autres langages back-end, une expertise en conteneurisation (Kubernetes), en bases de données relationnelles (Postgres/MySQL) et en technologies web (JavaScript, React). Piramidal s'engage à utiliser la technologie pour améliorer le potentiel humain et soutient la liberté cognitive.

Lire plus
Développement Données neuronales

Cactus : Framework multiplateforme pour le déploiement local de LLM

2025-07-11
Cactus : Framework multiplateforme pour le déploiement local de LLM

Cactus est un framework multiplateforme permettant le déploiement local de modèles linguistiques volumineux (LLM), de modèles linguistiques de vision (VLM) et de modèles texte-parole (TTS) dans votre application. Compatible avec Flutter et React Native, il fonctionne avec tous les modèles GGUF de Hugging Face (Qwen, Gemma, Llama, etc.), gérant les modèles de FP32 à la quantification 2 bits. Cactus fournit des appels d'outils MCP pour une fonctionnalité IA améliorée (rappels, recherche d'images, réponses aux messages), une solution de repli sur le cloud pour les tâches complexes, des modèles de chat utilisant Jinja2 et le streaming de jetons. Un code d'exemple, des benchmarks de performance sur différents appareils et un backend C++ sont fournis.

Lire plus
Développement

Google étend la détection des utilisateurs mineurs grâce à l'IA

2025-07-31
Google étend la détection des utilisateurs mineurs grâce à l'IA

Google étend sa technologie d'estimation d'âge basée sur l'IA aux utilisateurs américains afin d'identifier les comptes de mineurs. Le système analyse l'historique de recherche et les habitudes de visionnage YouTube pour estimer l'âge. Si un utilisateur est considéré comme ayant moins de 18 ans, des restrictions sont mises en place, notamment des recommandations YouTube limitées, une chronologie Maps désactivée, pas de publicité personnalisée et un accès bloqué aux applications pour adultes sur le Play Store. Les utilisateurs peuvent contester une identification erronée en envoyant une pièce d'identité. Cette mesure reflète un effort mondial pour des mesures de sécurité en ligne plus strictes pour les enfants, les gouvernements américains et britanniques faisant pression sur les entreprises technologiques pour améliorer les protections.

Lire plus
Technologie

Le diamant rouge Winston de 2,33 carats du Smithsonian : un voyage à travers la couleur, l’histoire et la géologie

2025-06-14

Le diamant rouge Winston de 2,33 carats, récemment dévoilé au Musée national d’histoire naturelle du Smithsonian, est le cinquième plus gros diamant rouge fancy connu et le seul exposé au public. Cet article détaille l’enquête scientifique et historique de cette pierre précieuse rare, de l’analyse spectroscopique à ses origines géologiques. Il révèle que sa couleur rouge pur provient d’un équilibre subtil de caractéristiques d’absorption liées à la déformation plastique et à des défauts spécifiques, retraçant son histoire de 1938 à aujourd’hui. L’étude conclut que son origine probable est le Venezuela ou le Brésil.

Lire plus

Conséquences catastrophiques de pthread_cancel dans cURL 8.16.0 et sa suppression

2025-09-13

cURL 8.16.0 a introduit l'utilisation de pthread_cancel pour interrompre getaddrinfo(), dans le but d'améliorer les performances. Cependant, ce changement a provoqué de graves fuites de mémoire. Cela est dû au fait que getaddrinfo() peut être annulé lors de la lecture du fichier /etc/gai.conf, ce qui entraîne une non-libération de la mémoire allouée. En raison de la difficulté à résoudre ce problème et du potentiel de graves problèmes de stabilité, l'équipe cURL a décidé de supprimer cette fonctionnalité dans #18540, en recommandant aux utilisateurs d'utiliser la bibliothèque c-ares comme alternative, malgré quelques limitations fonctionnelles.

Lire plus
Développement fuite de mémoire

Python-BPF : Une nouvelle façon d'écrire des programmes eBPF en Python

2025-09-15

Python-BPF est une bibliothèque open source révolutionnaire permettant d'écrire des programmes eBPF entièrement en Python, et de les compiler directement en fichiers objets. Cela élimine la méthode fastidieuse précédente consistant à intégrer du code C dans Python. En utilisant l'AST de Python et LLVM IR pour la compilation, Python-BPF prend en charge le contrôle de flux, les tables de hachage, les fonctions auxiliaires et plus encore, simplifiant considérablement le développement eBPF et offrant une nouvelle option prête pour la production.

Lire plus
Développement

AT&T abandonne le travail hybride et impose un retour au bureau 5 jours par semaine

2024-12-18
AT&T abandonne le travail hybride et impose un retour au bureau 5 jours par semaine

Suivant l'exemple d'Amazon, AT&T abandonne son modèle de travail hybride. À partir de janvier, tous les employés devront travailler au bureau cinq jours par semaine. Cette décision marque un changement d'approche dans le secteur de la technologie concernant le télétravail et a suscité un débat important. AT&T vise à améliorer la collaboration d'équipe et à favoriser une culture d'entreprise plus forte.

Lire plus

LLM locaux : création d’un assistant IA préservant la vie privée

2025-08-09

Fatigué de dépendre du cloud pour vos besoins en IA ? Une équipe a créé une application LLM locale en priorisant la confidentialité. En combinant les LLM, les conteneurs Docker et un navigateur sans tête, leur système exécute les LLM localement, exécute du code sur des VM légères et accède à Internet en toute sécurité. Cela permet aux utilisateurs d’effectuer des tâches sensibles à la confidentialité, telles que l’édition de photos et de vidéos, sans que les données ne quittent leur machine. Bien que le développement d’applications Mac se soit avéré difficile, ils ont finalement créé un outil local puissant offrant un véritable isolement du code et des données, offrant aux utilisateurs un contrôle et une confidentialité sans précédent.

Lire plus
Développement code en conteneur

Des limites d'utilisation inattendues frappent Claude Code d'Anthropic

2025-07-18
Des limites d'utilisation inattendues frappent Claude Code d'Anthropic

Les utilisateurs de Claude Code d'Anthropic rencontrent des limites d'utilisation inattendues et strictes depuis lundi, affectant particulièrement les utilisateurs intensifs du plan Max à 200 $ par mois. Les utilisateurs ne reçoivent qu'un message vague de « limite d'utilisation atteinte » sans explication ni préavis, ce qui suscite des soupçons de rétrogradation d'abonnement ou de suivi d'utilisation imprécis. Anthropic a reconnu le problème, mais n'a fourni aucun détail. L'incident met en évidence les failles du système de tarification à paliers d'Anthropic, qui ne garantit pas de limites d'utilisation claires, rendant la planification difficile pour les utilisateurs. La forte valeur ajoutée du plan Max, permettant à certains utilisateurs de générer plus de 1000 $ d'appels d'API par jour, est également un point de préoccupation majeur, soulevant des questions quant à sa durabilité à long terme. Le manque de transparence érode la confiance des utilisateurs.

Lire plus
Développement

Le système révolutionnaire de freinage par fil de Bosch prend la route

2025-02-18
Le système révolutionnaire de freinage par fil de Bosch prend la route

Bosch a terminé les tests sur route publique de son système innovant de freinage par fil, éliminant le lien mécanique entre la pédale de frein et les freins. Ce système, utilisant des signaux électriques, réduit le poids et améliore l'efficacité spatiale. Déjà en train de recevoir des commandes de constructeurs automobiles, Bosch prévoit que plus de 5,5 millions de véhicules dans le monde seront équipés de cette technologie d'ici 2030. Le système dispose d'une double redondance pour la sécurité, offre une flexibilité de conception et promet des performances et une sécurité de freinage améliorées. Bien que les applications pour les motos présentent des défis, cette technologie représente un progrès significatif pour le freinage automobile.

Lire plus

Votre cerveau se reconfigure en temps réel en écoutant des rythmes

2025-06-12
Votre cerveau se reconfigure en temps réel en écoutant des rythmes

Une nouvelle recherche des universités d'Aarhus et d'Oxford révèle une découverte fascinante : lorsque vous entendez un rythme régulier ou un ton musical, votre cerveau ne reçoit pas passivement le son ; il se réorganise dynamiquement. Les chercheurs ont développé FREQ-NESS, une nouvelle méthode de neuroimagerie, pour cartographier l'organisation du cerveau avec une précision sans précédent, montrant l'interaction des ondes cérébrales sur plusieurs réseaux. Cette percée pourrait révolutionner notre compréhension du fonctionnement du cerveau et a des implications pour les interfaces cerveau-ordinateur et le diagnostic clinique.

Lire plus
Technologie Neuroimagerie
1 2 142 143 144 146 148 149 150 595 596