L'emblématique TrackPoint de ThinkPad disparaît (de certains modèles)

2025-01-19
L'emblématique TrackPoint de ThinkPad disparaît (de certains modèles)

Lenovo a supprimé l'emblématique TrackPoint de ses nouveaux ordinateurs portables ThinkPad X9 Aura Edition. Bien que le TrackPoint reste présent sur d'autres modèles ThinkPad, cette décision marque un tournant important. Lenovo affirme que le TrackPoint, un design hérité, ne résonne pas auprès de toutes les tranches démographiques dans un monde principalement basé sur les trackpads. Les nouveaux ordinateurs portables Aura Edition sont dotés de processeurs Intel Lunar Lake, d'écrans OLED haut de gamme et d'une IA locale alimentée par Llama 3.0 de Meta, visant à séduire un public plus large.

Lire plus
Matériel

Codex : Assistant prometteur pour GitHub, mais nécessite des améliorations

2025-05-20
Codex : Assistant prometteur pour GitHub, mais nécessite des améliorations

Codex est un outil intégré à GitHub, alimenté par un modèle OpenAI, qui permet aux utilisateurs de soumettre des tâches de modification de code via le langage naturel. Sa force réside dans sa capacité à gérer plusieurs tâches en parallèle et à suivre l'avancement via une interface de chat familière. Cependant, Codex souffre actuellement de lacunes telles qu'une mauvaise gestion des erreurs, des difficultés à gérer les tâches de refactoring importantes et un manque d'accès à Internet. L'auteur estime qu'avec des améliorations du modèle et des fonctionnalités supplémentaires, Codex a le potentiel de devenir un assistant de développement hautement efficace, mais il est actuellement plus adapté aux tâches de maintenance petites et simples.

Lire plus
Développement

Le Conseil de sécurité de l'ONU débat pour la première fois de la réglementation des logiciels espions commerciaux

2025-01-16
Le Conseil de sécurité de l'ONU débat pour la première fois de la réglementation des logiciels espions commerciaux

Le Conseil de sécurité de l'ONU a tenu sa première réunion sur les dangers des logiciels espions commerciaux, les États-Unis et 15 autres pays demandant une réglementation. Bien qu'aucune proposition concrète n'ait émergé, la plupart des pays ont convenu de la nécessité d'agir pour contrôler leur prolifération et leur mauvaise utilisation. Citizen Lab a mis en lumière un écosystème mondial secret de développeurs de logiciels espions, citant l'Europe comme un foyer d'abus. La Russie et la Chine ont critiqué la réunion ; la Russie a blâmé les États-Unis, tandis que la Chine a fait valoir que les cyberarmes développées par les gouvernements représentent une menace plus importante.

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

Preuve de travail en moins d'une seconde : gagner le KernelCTF à 51 000 $ avec AVX-512

2025-05-30
Preuve de travail en moins d'une seconde : gagner le KernelCTF à 51 000 $ avec AVX-512

En mai 2025, l'équipe Crusaders of Rust a découvert et exploité un bug use-after-free dans le planificateur de paquets de Linux, visant le prix de 51 000 $ du kernelCTF de Google. L'auteur détaille sa contribution essentielle : optimiser la preuve de travail du concours (une fonction de délai vérifiable, ou VDF) en utilisant les instructions AVX-512IFMA. Grâce à des optimisations mathématiques, au portage en C++ et à des ajustements méticuleux au niveau de l'assemblage, ils ont réduit le temps d'exécution de 1,4 seconde à 0,21 seconde, assurant la victoire de l'équipe avec une soumission record de 3,6 secondes. Cela démontre une compréhension approfondie du matériel de bas niveau et une recherche implacable des performances.

Lire plus
Développement optimisation VDF

Décès de John Young, cofondateur du légendaire Cryptome, à 89 ans

2025-05-27
Décès de John Young, cofondateur du légendaire Cryptome, à 89 ans

John Young, cofondateur de l'archive internet légendaire Cryptome, est décédé à l'âge de 89 ans. Cryptome, qui a précédé WikiLeaks et d'autres plateformes similaires, a servi de répertoire vital de documents gouvernementaux et d'informations que le public avait le droit de connaître. L'activisme de Young, enraciné dans ses expériences de protestation contre la guerre du Vietnam et la ségrégation raciale, a alimenté son dévouement à la transparence. L'histoire de Cryptome comprend des conflits avec Microsoft et des désaccords avec Julian Assange sur le financement et les philosophies. La mort de Young marque la fin d'une époque, mais son héritage de lutte pour la liberté de l'information perdure.

Lire plus
Technologie

Rumeurs : une version économique du Tesla Model Y "E80" produite à la Gigafactory de Shanghai ?

2025-05-02
Rumeurs : une version économique du Tesla Model Y

Des rumeurs suggèrent que la Gigafactory de Shanghai de Tesla produira une version plus abordable du Model Y, baptisée en interne "E80", dès mai. Cette version allégée devrait comporter des jantes plus petites, des vitres latérales monocouches, l'absence d'écran arrière, moins de haut-parleurs, un éclairage d'ambiance monochrome, des sièges en tissu sans chauffage ni ventilation, et un coffre manuel. Ces réductions visent à faire baisser le prix à ¥190 000-¥210 000 (26 000-28 800 $), voire même à ¥150 000-¥170 000 (20 500-23 300 $). Cette stratégie fait écho aux précédentes versions économiques du Model 3 au Mexique et du Cybertruck aux États-Unis, toutes deux caractérisées par des réductions de coûts, comme des sièges en tissu et des fonctionnalités limitées. Malgré ces coupes, l'E80 devrait rester attrayante grâce au prestige de la marque Model Y et à la forte compétitivité du marché chinois des véhicules électriques.

Lire plus
Technologie Version économique

pl_synth : Un synthétiseur musical miniature basé sur JSON

2025-01-06

Dominic Szablewski de PhobosLab a publié pl_synth, un synthétiseur musical léger en C/JS et son éditeur de séquenceur (tracker). Inspiré par Sonant, pl_synth privilégie la petite taille du code et des données et utilise WASM pour améliorer considérablement les performances de la version JavaScript, réduisant le temps de génération de musique de 5 secondes à 25 millisecondes. Il prend en charge divers instruments et effets, dispose d'une fonctionnalité d'annulation/rétablissement et permet d'intégrer le produit final directement dans une URL. pl_synth est désormais inclus dans le moteur de jeu high_impact.

Lire plus
Développement synthétiseur musical

Rust à la poursuite d'Ada : Une bataille dans la programmation critique

2025-02-10
Rust à la poursuite d'Ada : Une bataille dans la programmation critique

Ada domine le domaine de la programmation critique depuis plus de quatre décennies. Au cours des dix dernières années, Rust a tenté de rivaliser, avec des résultats variables. Cet exposé explorera les puissantes fonctionnalités d'Ada pour garantir un code exempt de bogues, notamment ses robustes déclarations de sous-types et sa facilité d'utilisation, et les comparera aux capacités de Rust, soulignant les points faibles de Rust et ses progrès pour rattraper Ada.

Lire plus
Développement Programmation Critique

L'apprentissage par renforcement hors ligne améliore le raisonnement en plusieurs étapes des LLMs

2024-12-23
L'apprentissage par renforcement hors ligne améliore le raisonnement en plusieurs étapes des LLMs

Les chercheurs présentent OREO, une méthode d'apprentissage par renforcement hors ligne conçue pour améliorer les capacités de raisonnement en plusieurs étapes des grands modèles de langage (LLMs). S'appuyant sur l'apprentissage par renforcement à entropie maximale, OREO apprend conjointement un modèle de politique et une fonction de valeur en optimisant l'équation de Bellman douce. Cela résout les limitations de l'optimisation directe des préférences (DPO) dans le raisonnement en plusieurs étapes, notamment le besoin de données de préférence appariées étendues et le défi de l'attribution de crédit efficace. Les expériences montrent la supériorité d'OREO par rapport aux méthodes d'apprentissage hors ligne existantes sur les benchmarks impliquant le raisonnement mathématique et le contrôle d'agent incarné.

Lire plus

ACK pour Cray X-MP : Un triomphe de la rétro-informatique

2025-01-26
ACK pour Cray X-MP : Un triomphe de la rétro-informatique

Ce projet est une fourche de l’Amsterdam Compiler Kit (ACK) qui prend en charge le superordinateur Cray X-MP et le système d’exploitation COS. Il désactive les autres plates-formes en commentant les références dans les scripts de build LUA. Pour une compilation et une exécution réussies sur macOS et Linux, il faut installer bison, flex, gcc, gmake et lua. Il est également crucial d’installer les outils du référentiel GitHub COS-Tools (un assembleur croisé, un lieur croisé et un gestionnaire de bibliothèques pour le Cray X-MP). Après la compilation, les compilateurs croisés génèrent des exécutables pour le Cray X-MP et COS. Le fichier Lisez-moi détaille la compilation d’un programme, le téléchargement via FTP sur un système NOS 2.8.7, l’utilisation de l’interface Cray Station pour le transférer et l’exécuter sur le Cray X-MP, et enfin comment afficher les résultats. Un mélange fascinant de rétro-informatique et d’ingénierie logicielle moderne.

Lire plus
Développement

L'évolution incroyable des stents : un parcours personnel

2024-12-29
L'évolution incroyable des stents : un parcours personnel

Dix-sept ans après une crise cardiaque qui a conduit à l'implantation d'un stent, l'auteur réfléchit sur les progrès remarquables de la technologie des stents. Il établit des parallèles entre l'évolution des stents — de structures métalliques de base à des dispositifs sophistiqués à libération de médicaments et bio-resorbable — et le développement des smartphones. L'auteur explore l'impact des médicaments GLP-1 sur l'avenir des interventions avec stents et souligne l'effet profond que cette technologie salvatrice a eu sur les soins cardiovasculaires, aboutissant à une histoire personnelle de résilience et de gratitude.

Lire plus
(om.co)

Les coupures de Dedekind : une approche révolutionnaire pour définir les nombres réels

2025-02-18
Les coupures de Dedekind : une approche révolutionnaire pour définir les nombres réels

Cet article explore la proposition de Richard Dedekind de 1858 sur les coupures de Dedekind, une approche révolutionnaire qui a fourni une base solide au système des nombres réels. Dedekind a utilisé des partitions de nombres rationnels pour définir les nombres réels, résolvant élégamment le problème des « lacunes » dans le système des nombres réels causées par les nombres irrationnels. L'article compare les coupures de Dedekind à d'autres méthodes de définition des nombres réels, telles que les décimales infinies, et analyse les avantages et les inconvénients des coupures de Dedekind, ainsi que leur impact et leur signification dans l'histoire des mathématiques. Les coupures de Dedekind n'ont pas seulement résolu la définition des nombres réels, mais ont également été pionnières dans une nouvelle façon de penser les mathématiques : l'approche structuraliste, qui met l'accent sur les relations entre les objets mathématiques plutôt que sur la nature inhérente des objets eux-mêmes.

Lire plus

Confession d'un professionnel du Web3 : Je n'utilise presque pas le Web3

2024-12-27
Confession d'un professionnel du Web3 : Je n'utilise presque pas le Web3

Un vétéran du Web3 depuis 2018 avoue utiliser rarement les cryptomonnaies, soulignant la stagnation du secteur. Malgré des milliards investis, les produits Web3 ne répondent pas aux besoins des utilisateurs non cryptographiques, offrant principalement de la volatilité et des divertissements en ligne. L'auteur réfléchit sur l'accent mis par le secteur sur les outils pour les développeurs plutôt que sur les produits pour les consommateurs, observant les lacunes des finances traditionnelles —frais élevés, inefficacité— sans stimuler l'adoption massive des cryptomonnaies. Des préoccupations personnelles concernant la conformité, la gestion des portefeuilles, les contraintes de temps et l'aversion au risque l'amènent à privilégier des stratégies d'investissement plus simples. Il suggère que le Web3 pourrait être mieux adapté à une génération future.

Lire plus

SigNoz recrute : Ingénieurs backend pour l'observabilité open source

2025-01-26
SigNoz recrute : Ingénieurs backend pour l'observabilité open source

SigNoz, une startup d'observabilité open source, recherche un ingénieur backend. Le candidat idéal aura 3 à 6 ans d'expérience en ingénierie backend avec Go, une passion pour l'open source avec un historique de contributions, une compréhension approfondie du domaine de l'observabilité et une familiarité avec les verrous/canaux/concurrency de Go. Les responsabilités incluent la gestion du cycle de vie R&D du produit, la promotion de l'adoption d'OSS de SigNoz, la gestion de la feuille de route du produit et du développement de fonctionnalités pour améliorer l'expérience utilisateur open source, la rédaction de contenu technique, la création d'une place de marché d'intégrations, et plus encore.

Lire plus
Développement

Extension GitHub résumant les articles de Hacker News avec des LLMs

2024-12-12
Extension GitHub résumant les articles de Hacker News avec des LLMs

Le projet GitHub `hn-tldr-extension` propose une extension de navigateur utilisant les grands modèles de langage (LLMs) d'OpenAI et d'Anthropic pour résumer rapidement les articles de Hacker News. Les utilisateurs fournissent leurs propres clés API pour activer un bouton 'résumer' sur les pages HN, offrant des résumés concis des articles. Le code de l'extension est open-source et compatible avec des navigateurs comme Firefox.

Lire plus

Quelque chose ne va pas sur Internet : les géants de la technologie, les services de streaming et l’érosion de l’expérience utilisateur

2024-12-22
Quelque chose ne va pas sur Internet : les géants de la technologie, les services de streaming et l’érosion de l’expérience utilisateur

Un article de blog examine l’état actuel d’Internet, en arguant que les entreprises technologiques privilégient les demandes des investisseurs au détriment de l’expérience utilisateur, manipulant le comportement des utilisateurs par le biais de conceptions d’applications frustrantes, de résultats de recherche délibérément dégradés et d’un suivi des publicités omniprésent. Simultanément, le modèle de streaming de Netflix est critiqué pour avoir détruit l’industrie du cinéma, son mépris de la qualité et la manipulation des données de visualisation conduisant à un flot de contenu de faible qualité et à des chiffres d’audience gonflés. L’article conclut en soulignant l’insatisfaction généralisée des utilisateurs quant au coût croissant et à la baisse de la qualité des services en ligne, suggérant que les smartphones et les médias sociaux sous leur forme actuelle sont fondamentalement défectueux et nécessitent une amélioration significative.

Lire plus
Technologie services de streaming

Les incendies de Los Angeles aggravés par une acquisition de fonds privés ?

2025-01-26
Les incendies de Los Angeles aggravés par une acquisition de fonds privés ?

Les récents et dévastateurs incendies de Los Angeles ont été aggravés par une pénurie de camions de pompiers opérationnels, plus de la moitié de la flotte du LAFD étant hors service. Ceci n'est pas uniquement dû à des coupes budgétaires, mais plutôt au résultat d'une consolidation par des fonds privés. American Industrial Partners (AIP) a regroupé les fabricants de camions de pompiers au sein de REV Group, créant un quasi-monopole qui a fait grimper les prix et les délais de livraison. Cela a laissé le LAFD en difficulté pour remplacer les véhicules vieillissants, entravant sa capacité à combattre les incendies. L'article soutient que cette situation souligne la nécessité d'une application plus stricte des lois antitrust pour prévenir des crises similaires.

Lire plus

printf sûr et efficace en Idris : pas besoin de macros

2025-02-14

Cet article montre comment implémenter une fonction printf sûre et efficace en Idris sans utiliser de macros dangereuses ni d’arguments variables. L’auteur, en utilisant intelligemment la programmation de niveau type, analyse la chaîne de formatage dans une structure de données et génère dynamiquement la signature du type de fonction en fonction de celle-ci. Cela permet d’obtenir la fonctionnalité du printf de C tout en maintenant la sécurité mémoire et le typage. L’article explore également la gestion des chaînes de formatage en temps d’exécution et souligne les défauts de l’implémentation, tels que des messages d’erreur peu clairs, suggérant des pistes d’amélioration futures.

Lire plus

Deduce : Un vérificateur de preuves à des fins éducatives

2025-03-24
Deduce : Un vérificateur de preuves à des fins éducatives

Deduce est un vérificateur de preuves automatisé conçu pour l'éducation, aidant les étudiants à apprendre à prouver la correction des programmes fonctionnels, à approfondir leur compréhension de la logique et à améliorer leurs compétences en rédaction de preuves mathématiques. Il est destiné aux étudiants ayant des compétences de base en programmation (Java, Python ou C++) et une certaine exposition à la logique issue d'un cours de mathématiques discrètes. Deduce fournit des ressources allant de l'installation et de l'écriture de code à un manuel de référence et une feuille de triche, avec une preuve d'exemple d'un algorithme de recherche linéaire pour illustrer son utilisation.

Lire plus

Pyper : Python Concurrentiel Simplifié

2025-01-15
Pyper : Python Concurrentiel Simplifié

Pyper est un framework flexible pour le traitement de données concurrentes et parallèles, basé sur des modèles de programmation fonctionnelle. Il intègre parfaitement les opérations avec threads, multitraitement et asynchrones, simplifiant la création de systèmes ETL, de microservices de données et de pipelines de collecte de données. Avec une API claire et des files d'attente efficaces, Pyper offre une solution légère en Python pur (sans dépendances) qui privilégie la facilité d'utilisation, la sécurité et l'efficacité. Les développeurs peuvent se concentrer sur la construction de la logique plutôt que sur la gestion des détails de concurrence de bas niveau.

Lire plus
Développement

Statut du support du chipset Asahi Linux M3

2025-01-26
Statut du support du chipset Asahi Linux M3

La page wiki du projet Asahi Linux détaille son support pour les puces de la série Apple M3 (M3, M3 Pro et M3 Max). La page présente un tableau décrivant l'état de diverses fonctionnalités matérielles dans différentes versions d'Asahi Linux (comme linux-asahi, asahi-edge, etc.), incluant le support stable, les fonctionnalités en cours de développement et les fonctionnalités non supportées. Il est important de noter que, comme les puces de la série M3 n'ont pas encore été officiellement lancées, une grande partie du statut du support est prédictive, basée sur les modèles de mise à jour précédents d'Apple. La page souligne également les détails de l'implémentation et les difficultés de fusion en amont pour certaines fonctionnalités (par exemple, cpuidle).

Lire plus
Développement Puce Apple M3

Les coupes de financement du programme CVE menacent la gestion mondiale des vulnérabilités

2025-04-16
Les coupes de financement du programme CVE menacent la gestion mondiale des vulnérabilités

Le financement du gouvernement américain pour le programme mondial des vulnérabilités et expositions communes (CVE), qui attribue des identifiants uniques aux vulnérabilités logicielles, prend fin cette semaine. La fin de ce programme crucial risque de perturber la gestion mondiale des vulnérabilités, pouvant arrêter la publication de nouvelles vulnérabilités, mettre le site Web CVE hors ligne et compromettre les infrastructures critiques et la sécurité nationale. Bien que des mesures temporaires soient explorées, des solutions à long terme nécessitent une collaboration de l'industrie pour éviter l'effondrement du programme CVE.

Lire plus
Technologie

Perl dévoile un nouveau logo de chameau

2024-12-23

Après des années de discussions et de conception, Perl a enfin un nouveau logo officiel : un chameau amical. Conçu par Zach Roszczewski et affiné grâce aux commentaires de nombreux membres de la communauté, le logo est publié sous licence CC-BY. Il vise à représenter le langage Perl et sa communauté, encourageant une adoption plus large. Bien que non obligatoire, le logo vise à unifier l'image de la communauté et devrait être utilisé sur des plateformes telles que perl.com et metacpan.org à l'avenir.

Lire plus
Développement

Ingénieur Frontend Senior (Remote en Europe) chez Photoroom

2025-01-11
Ingénieur Frontend Senior (Remote en Europe) chez Photoroom

Photoroom recrute un ingénieur Frontend senior pour un poste entièrement à distance en Europe. C'est une excellente occasion de travailler à domicile tout en contribuant à une entreprise technologique en pleine croissance. Si vous avez une vaste expérience en développement frontend web et maîtrisez diverses technologies frontend, c'est l'emploi de vos rêves.

Lire plus
Développement ingénieur frontend

Une immunthérapie révolutionnaire contre le cancer du cerveau va faire l'objet d'un essai clinique à grande échelle

2025-02-27
Une immunthérapie révolutionnaire contre le cancer du cerveau va faire l'objet d'un essai clinique à grande échelle

Un essai clinique international mené par l'Australie va enquêter scientifiquement sur l'efficacité d'une approche d'immunothérapie double dans le traitement du glioblastome. L'essai, dirigé par le Brain Cancer Centre, une collaboration d'oncologues, d'immunologistes et de neurochirurgiens de renommée mondiale, testera l'immunothérapie double, certains patients recevant également une chimiothérapie. Bien que les résultats préliminaires soient encourageants, les chercheurs soulignent la nécessité d'un essai clinique à grande échelle avant de pouvoir le considérer comme une percée.

Lire plus

Boostez vos emojis Slack avec la HDR !

2025-04-17

Envie de rendre vos réactions Slack plus éclatantes ? Découvrez comment ajouter de la HDR à vos emojis ! Grâce à un simple script ImageMagick, transformez vos emojis classiques en versions HDR pour une luminosité saisissante sur les appareils compatibles (comme les iPhones). La compatibilité Android est pour l’instant absente. Vous devrez installer ImageMagick et télécharger le profil 2020_profile.icc. La valeur `Multiply` dans le script ajuste la luminosité et l’équilibre des couleurs.

Lire plus
Divers

Le chiffrement homomorphe dans iOS 18 d'Apple : Une recherche privée

2025-01-15

iOS 18 d'Apple utilise le chiffrement homomorphe pour améliorer ses fonctionnalités de recherche de photos, permettant des recherches dans le cloud sans révéler le contenu des photos des utilisateurs. L'article explique les principes sous-jacents du chiffrement homomorphe, permettant des calculs sur des données chiffrées dont le résultat déchiffré correspond aux calculs sur des données non chiffrées. L'implémentation d'Apple n'est pas entièrement homomorphe, sacrifiant une certaine confidentialité pour des performances accrues et la combinant avec la confidentialité différentielle et les réseaux d'anonymisation pour renforcer la confidentialité. Bien qu'imparfaite, elle représente une avancée significative vers un équilibre entre confidentialité et facilité d'utilisation.

Lire plus

En louange de l'idée de cent pages : plaidoyer pour la concision dans la non-fiction

2024-12-22

Tracy Durnell plaide en faveur de la valeur des livres de non-fiction concis, en particulier ceux d'environ 100 pages. Elle considère ces œuvres plus courtes comme idéales pour explorer une seule idée percutante sans détails excessifs, s'adaptant à la capacité d'attention plus courte des lecteurs modernes. Durnell met en lumière plusieurs exemples d'excellents livres de cette longueur, les comparant à des œuvres plus longues qui, selon elle, diluent souvent leurs idées centrales par des remplissages inutiles. Elle défend l'efficacité d'une approche ciblée, soulignant les avantages de connecter plusieurs idées concises pour construire une compréhension plus large que de consommer de longs tomes très détaillés.

Lire plus

Orange Intelligence : Outil de productivité open source pour macOS surpassant celui d'Apple

2025-01-26
Orange Intelligence : Outil de productivité open source pour macOS surpassant celui d'Apple

Orange Intelligence est un puissant outil de productivité open source pour macOS, conçu pour surmonter les limites des fonctionnalités d'intelligence intégrées d'Apple. Son interface élégante de fenêtre flottante permet aux utilisateurs de capturer, traiter et remplacer du texte de manière transparente dans n'importe quelle application. Grâce à la prise en charge des fonctions Python personnalisées, il s'intègre parfaitement aux LLM comme OpenAI ou LLaMA local, permettant la création de systèmes d'agents complexes. Construit avec Python, PyQt6 et Applescript, Orange Intelligence offre de nombreuses options de personnalisation, augmentant ainsi la productivité des développeurs, des chercheurs et des passionnés d'IA.

Lire plus
Développement
1 2 569 570 571 573 575 576 577 595 596