AMD MI300X : Un potentiel changement de jeu dans le paysage du matériel pour l'IA ?

2025-03-07

Une petite entreprise a reçu deux serveurs AMD MI300X et prévoit de les utiliser pour le calcul IA. L'auteur estime qu'AMD a fait des progrès significatifs en matière de logiciels, ce qui pourrait saper l'avantage de CUDA de NVIDIA. Ils ont construit une pile entièrement souveraine, du matériel à PyTorch, qui sera bientôt portée sur le MI300X. L'auteur est optimiste quant au MI300X d'AMD, prédisant qu'il pourrait surpasser le H100 de NVIDIA, et anticipant une croissance massive du marché de l'IA à l'avenir. Un investissement d'un quart de million de dollars témoigne d'une confiance à long terme.

Lire plus
Technologie

Deputy : Un langage typé dépendamment hébergé par Clojure

2025-05-20

Deputy est un langage de programmation expérimental à typage dépendant, intégré à Clojure, avec des types de données inductifs. Il explore les implications d'un flux de travail interactif piloté par REPL basé sur Lisp, aussi bien pour la programmation que pour la vérification des types. Implémenté comme une bibliothèque Clojure, il permet aux programmeurs d'utiliser le langage hôte tout en travaillant au niveau des types. Cela permet des calculs de niveau type qui dépendent de valeurs, débloquant des modèles de programmation puissants. Il est important de noter que, malgré la riche sémantique dynamique des types, la vérification des types reste une opération purement effectuée au moment de la compilation.

Lire plus
Développement

Récits nostalgiques de VAX/VMS : leçons apprises et mésaventures hilarantes

2025-05-22

Cet article de blog relate les expériences amusantes de l'auteur travaillant avec des systèmes VAX/VMS et les leçons de vie apprises en cours de route. Sur un ton léger et humoristique, l'auteur partage des anecdotes de ses années d'université en tant que technicien de laboratoire informatique et opérateur, notamment la résolution créative de problèmes de courrier électronique des étudiants et un incident presque de licenciement dû à une panne du système de messagerie. Une histoire particulièrement amusante implique l'utilisation d'un système VAX/VMS comme oreiller pendant deux ans. L'article est un mélange de nostalgie pour les technologies passées et de perspectives uniques sur la carrière d'un programmeur, se classant dans la catégorie Technologie.

Lire plus
Technologie Programmeur

Apple dévoile un nouveau design logiciel époustouflant : Liquid Glass

2025-06-09
Apple dévoile un nouveau design logiciel époustouflant : Liquid Glass

Apple a présenté aujourd'hui un nouveau design logiciel époustouflant intégrant un matériau translucide révolutionnaire appelé Liquid Glass. Ce design dynamique et adaptatif, déployé sur iOS 26, iPadOS 26, macOS Tahoe 26, watchOS 26 et tvOS 26, apporte un niveau de vitalité et de concentration sans précédent au contenu sur toutes les plateformes Apple. Liquid Glass réagit au contenu et au contexte, créant une expérience utilisateur plus immersive et agréable. Les contrôles, les barres d'outils et les éléments de navigation mis à jour sont parfaitement intégrés, et les développeurs ont accès à de nouvelles API pour adopter facilement ce nouveau look époustouflant.

Lire plus
Technologie Design logiciel

Cosmopolitan 3.0 : Écrivez une fois, exécutez partout (et plus vite !)

2025-02-01
Cosmopolitan 3.0 : Écrivez une fois, exécutez partout (et plus vite !)

La bibliothèque Cosmopolitan version 3.0 est arrivée ! Après près d’un an de développement, cette version révolutionne la donne. Un seul exécutable s’exécute désormais sur les architectures AMD64 et ARM64 sous Linux, macOS, Windows, FreeBSD, OpenBSD et NetBSD. Ceci est rendu possible grâce à un nouveau lieur, apelink.c, qui tisse habilement ensemble les formats de fichiers PE, ELF, Mach-O et PKZIP. Cosmopolitan 3.0 offre également des améliorations considérables de la compatibilité avec Windows et macOS, ainsi que des gains significatifs en vitesse et en efficacité mémoire. Une « distribution Linux volumineuse », Cosmos, est incluse, contenant des outils tels que Emacs, Vim et CoreUtils. Cette approche novatrice offre non seulement une portabilité inégalée, mais aussi des performances supérieures.

Lire plus
Développement exécutable

Les Rouleaux Cantonais : Un RPG amusant pour apprendre le cantonais

2025-02-03

Les Rouleaux Cantonais est un jeu de rôle unique pour apprendre le cantonais, développé par Jonathan Vasquez. Offrant des modes solo et coopératif local, le jeu vise à rendre l'apprentissage du cantonais amusant et accessible. Reconnaissant le manque de ressources standardisées pour le cantonais, le jeu documente la langue telle que comprise par le développeur, offrant une expérience d'apprentissage gratuite et hors ligne. Les dons sont les bienvenus pour soutenir le développement continu.

Lire plus

L'IA prend son envol : le Gripen E de Saab intègre avec succès l'IA Centaur de Helsing

2025-06-14
L'IA prend son envol : le Gripen E de Saab intègre avec succès l'IA Centaur de Helsing

Saab, en collaboration avec Helsing, a annoncé la réussite de trois vols d'essai intégrant l'agent IA Centaur de Helsing dans un avion de chasse Gripen E. Ces vols, faisant partie du « Projet Beyond » de Saab, marquent une avancée significative dans l'intégration des capacités d'IA dans les avions militaires. Centaur a exécuté de manière autonome des manœuvres complexes dans un environnement de combat au-delà de la portée visuelle (BVR) et a incité le pilote à tirer. Le projet, financé par l'Administration suédoise du matériel de défense (FMV), est un élément clé du programme conceptuel des systèmes de chasseurs futurs de la Suède.

Lire plus
Technologie Avion de chasse

L'empire commercial de la famille Trump : un réseau complexe de pouvoir et d'argent

2025-05-19
L'empire commercial de la famille Trump : un réseau complexe de pouvoir et d'argent

Cet article expose l'utilisation extensive du pouvoir présidentiel par la famille Trump à des fins personnelles. De la création de la memecoin sans valeur $TRUMP à des accords lucratifs au Moyen-Orient, en passant par des dons massifs et des règlements avec des géants de la technologie, la famille Trump a accumulé des richesses par des moyens éthiquement contestables. Ses actions représentent un mépris flagrant des conflits d'intérêts et des normes éthiques, suscitant une condamnation généralisée.

Lire plus
Startup

Informed Delivery de l'USPS : une fuite de données ?

2025-07-22
Informed Delivery de l'USPS : une fuite de données ?

Un développeur logiciel, utilisateur régulier du service Informed Delivery de l'USPS, a remarqué que le système divulguait parfois des scans de courrier non adressés à lui. Récemment, il a reçu un scan montrant son courrier et celui d'un voisin. L'auteur suggère que cela indique une faille de confidentialité potentielle, où les scans de courrier sont envoyés par erreur aux mauvais destinataires. Bien que ce ne soit peut-être pas un problème majeur, cela soulève des inquiétudes quant à la sécurité du système.

Lire plus
Divers

Automates finis déterministes en résonance avec les modèles physiques

2025-04-25

Cet article détaille la construction d'automates finis déterministes (AFD) en utilisant des règles simples basées sur des concepts fondamentaux de l'informatique, tels que les arbres, les arêtes et les chaînes binaires. L'auteur décrit un processus en cinq étapes, aboutissant à deux variations principales d'AFD qui résonnent avec les modèles physiques : l'un incluant les trous noirs et les trous blancs, l'autre uniquement les trous noirs. En mappant les chaînes binaires à des phénomènes physiques (inflation, trous noirs, trous blancs, entropie), un modèle pour l'évolution cosmique est proposé. Les connexions avec la mécanique quantique et d'autres disciplines sont explorées, soulignant la profonde interaction entre l'informatique, les mathématiques et la physique.

Lire plus

Infisical recrute : Ingénieur Full-Stack pour révolutionner la gestion des secrets

2025-03-09
Infisical recrute : Ingénieur Full-Stack pour révolutionner la gestion des secrets

Infisical, la plateforme de gestion des secrets open source n°1, recherche un ingénieur full-stack. Vous construirez, optimiserez et maintiendrez le produit principal, en garantissant une excellente expérience utilisateur et en explorant la gestion des secrets basée sur l'IA. Les candidats idéaux possèdent de solides compétences full-stack : gestion d'infrastructure, Docker/Kubernetes, architecture cloud native (AWS préférable), TypeScript/Go. Il s'agit d'une équipe en forte croissance ; d'ici 18 mois, vous aurez un impact sur des milliers d'utilisateurs et pourrez potentiellement posséder des composants clés de la plateforme.

Lire plus
Développement

AGX : Un client ClickHouse de bureau moderne construit avec Tauri et SvelteKit

2025-03-19
AGX : Un client ClickHouse de bureau moderne construit avec Tauri et SvelteKit

AGX est une application de bureau construite avec Tauri et SvelteKit, offrant une interface moderne pour explorer et interroger des données à l'aide du moteur de base de données embarqué de ClickHouse (chdb). Elle offre les performances d'une application de bureau native, un éditeur de requêtes SQL interactif avec coloration syntaxique, un navigateur de schéma, un affichage des résultats sous forme de tableau, la prise en charge du glisser-déposer de fichiers et une compatibilité multiplateforme (macOS, Linux, Windows). L'interface utilisateur utilise SvelteKit pour une interface réactive et efficace, tandis que le backend utilise Tauri et Rust pour des performances et une sécurité natives. La communication entre l'interface utilisateur et le backend se fait via le pont IPC de Tauri, les requêtes de données étant traitées par le moteur ClickHouse embarqué, chdb. Les contributions sont les bienvenues !

Lire plus
Développement

Citizen Lab dévoile la portée mondiale de Paragon, fabricant israélien de logiciels espions

2025-03-22
Citizen Lab dévoile la portée mondiale de Paragon, fabricant israélien de logiciels espions

Un nouveau rapport de Citizen Lab révèle que Paragon Solutions, fabricant israélien de logiciels espions, bien qu'affirmant ne vendre qu'aux démocraties, a probablement vendu son logiciel espion Graphite aux gouvernements d'Australie, du Canada, de Chypre, du Danemark, d'Israël et de Singapour. Le rapport, basé sur l'analyse de l'infrastructure du serveur et des certificats numériques, lie Paragon à ces gouvernements. Le logiciel espion de Paragon cible des applications spécifiques, rendant la détection médico-légale plus difficile. Meta a confirmé un indicateur lié à Paragon mentionné dans le rapport. Les conclusions soulèvent de sérieuses inquiétudes concernant l'utilisation abusive des logiciels espions commerciaux et la nécessité d'une surveillance gouvernementale accrue.

Lire plus
Technologie logiciel espion

L'IA dans les humanités : une arme à double tranchant

2025-06-03
L'IA dans les humanités : une arme à double tranchant

Cet article explore l'impact profond de l'IA générative sur l'éducation humaniste. L'auteur soutient qu'ignorer l'influence de l'IA est une erreur, car les modèles de langage de l'IA reposent sur les connaissances et les compétences humanistes. L'IA démontre un potentiel immense dans la traduction, la classification et d'autres domaines, tandis que les compétences humanistes sont de plus en plus cruciales pour la recherche en IA elle-même. À travers son expérience personnelle de développement de jeux éducatifs sur des thèmes historiques, l'auteur met en lumière les applications de l'IA dans l'enseignement, mais souligne également que la mauvaise utilisation de l'IA peut entraîner une diminution de l'engagement des élèves et exacerber les inégalités éducatives. Enfin, l'auteur appelle les éducateurs à participer activement au développement d'outils pédagogiques personnalisés basés sur l'IA, à prévenir les abus de l'IA et à préserver les valeurs fondamentales d'une éducation de qualité.

Lire plus

DeepSeek-Prover-V2 : Faire progresser le raisonnement mathématique formel grâce à l'apprentissage par renforcement

2025-04-30
DeepSeek-Prover-V2 : Faire progresser le raisonnement mathématique formel grâce à l'apprentissage par renforcement

DeepSeek-Prover-V2 est un grand modèle de langage open source conçu pour la démonstration formelle de théorèmes en Lean 4. Il utilise un pipeline de démonstration de théorèmes récursif alimenté par DeepSeek-V3 et l'apprentissage par renforcement pour intégrer le raisonnement mathématique informel et formel. Le modèle commence par décomposer les problèmes complexes en sous-objectifs à l'aide de DeepSeek-V3, synthétisant les preuves de ces sous-objectifs pour créer des données initiales pour l'apprentissage par renforcement. DeepSeek-Prover-V2-671B atteint des performances de pointe, atteignant un taux de réussite de 88,9 % sur MiniF2F-test et résolvant 49 problèmes de PutnamBench. Un nouvel ensemble de données de référence, ProverBench, contenant 325 problèmes formalisés issus de compétitions de lycée et de manuels scolaires, est également présenté.

Lire plus

Hub centralisé de gestion des connexions à distance

2025-03-12
Hub centralisé de gestion des connexions à distance

Cet outil sert de hub central pour toutes vos connexions à distance, regroupant SSH, Docker, Kubernetes, etc. Il prend en charge divers terminaux, environnements d'exécution de conteneurs et hyperviseurs (Proxmox, Hyper-V, etc.), offrant une prise en charge complète de SSH, y compris les fichiers de configuration, les intégrations d'agent, les serveurs de saut, les tunnels, les fichiers de clés, les cartes à puce, la redirection X11, et plus encore. Lancez des sessions de shell instantanément et gérez efficacement toutes vos ressources distantes.

Lire plus

Reprompt : Accélérez votre carrière en IA de 3 à 4 ans

2025-02-01
Reprompt : Accélérez votre carrière en IA de 3 à 4 ans

Reprompt recrute ! Vous souhaitez accélérer votre carrière en IA ? Rejoignez-nous et gagnez 3 à 4 ans d'expérience en seulement trois ans. Devenez un expert IA top 0,01 %, collaborez avec des ingénieurs expérimentés de Facebook, Robinhood et Mapbox, et apprenez le financement, la gestion de produit et le leadership d'équipe. Vous construirez des systèmes d'extraction de données IA de pointe. Un esprit de collaboration, de l'adaptabilité et une forte éthique de travail sont essentiels.

Lire plus

Problème subtil d'appel de fonction C++/WinRT et sa résolution

2025-03-09
Problème subtil d'appel de fonction C++/WinRT et sa résolution

Une requête d'extraction de C++/WinRT a corrigé une ambiguïté dans l'appel à `invoke` dans `winrt::impl::promise_base::set_completed`, causée par la recherche dépendante des arguments (ADL). La mise à jour vers les coroutines C++20 a élargi l'espace de recherche ADL, trouvant inopinément `std::invoke` au lieu de `winrt::impl::invoke`. L'article détaille le mécanisme ADL et fournit un correctif pour les anciennes versions de C++/WinRT : déclaration d'une fonction `invoke` mieux adaptée dans l'espace de noms `winrt::Windows::Foundation` pour guider le compilateur. Ce correctif inclut également une assertion statique pour garantir sa suppression automatique après la mise à jour de C++/WinRT.

Lire plus
Développement

Zeekstd : Une implémentation Zstandard avec recherche en Rust

2025-06-16
Zeekstd : Une implémentation Zstandard avec recherche en Rust

Zeekstd est une bibliothèque Rust implémentant un format Zstandard avec fonction de recherche. Elle divise les données compressées en trames indépendantes pour un accès aléatoire efficace. Entièrement compatible avec la spécification originale, Zeekstd apporte des améliorations et inclut des fonctionnalités de codage et de décodage, permettant la décompression de fichiers entiers ou de trames spécifiques. Un outil en ligne de commande est également fourni.

Lire plus

Un champion d'échecs vend aux enchères son jean controversé pour la charité : #JeansGate continue

2025-03-01
Un champion d'échecs vend aux enchères son jean controversé pour la charité : #JeansGate continue

Magnus Carlsen, le meilleur joueur d'échecs au monde, met aux enchères le jean Corneliani italien qui a provoqué une controverse sur le code vestimentaire lors des championnats du monde de blitz et de rapid. Après avoir été condamné à une amende et s'être retiré du tournoi de New York, Carlsen fait don des bénéfices de la vente aux enchères eBay (actuellement à 8 200 dollars) à Big Brothers Big Sisters of America. La vente aux enchères se termine le 1er mars. L'association caritative utilisera les fonds pour développer les programmes de mentorat pour les jeunes, notamment des ateliers d'échecs et des événements communautaires.

Lire plus

Amélioration de la mise en évidence de la syntaxe Tree-sitter Emacs : coloration sémantique du code

2025-03-01
Amélioration de la mise en évidence de la syntaxe Tree-sitter Emacs : coloration sémantique du code

Cet article de blog détaille une amélioration de la mise en évidence de la syntaxe Tree-sitter d’Emacs, allant au-delà de la simple coloration des mots clés. L’auteur montre comment utiliser le mode Tree-sitter pour obtenir une coloration basée sur la sémantique des noms de variables, en différenciant les mots clés de contrôle de flux, les alias de type et les instructions d’importation. En personnalisant la fonction `treesit-font-lock-rules` et en utilisant l’outil `treesit-inspect-mode`, un contrôle précis des règles de coloration est obtenu, ce qui donne une coloration de code plus intelligente et expressive. Un article suivant explorera la coloration heuristique basée sur les noms de variables couramment utilisés.

Lire plus

Déconnexion de la revue de code IA : outils pour les auteurs vs. outils pour les relecteurs

2025-03-01

De nombreuses équipes d’ingénierie achètent des outils de revue de code IA dans l’espoir d’accélérer le processus, mais découvrent souvent qu’ils ne résolvent pas le problème principal : les ingénieurs expérimentés passent trop de temps à examiner les demandes de tirage. Bien que ces outils soient excellents pour améliorer la qualité du code *avant* la revue, ils ne changent pas fondamentalement l’expérience du relecteur. L’auteur soutient que la plupart des outils sont axés sur l’auteur, et non sur le relecteur. La solution idéale implique une combinaison des deux : des outils axés sur l’auteur pour les améliorations préalables à la revue et des outils axés sur le relecteur pour rationaliser le processus de revue lui-même.

Lire plus

Comment les programmeurs devraient penser au temps

2025-06-25
Comment les programmeurs devraient penser au temps

Cet article explore les complexités de la gestion du temps en programmation. Il explique les concepts de temps absolu (basé sur les époques et les durées) et de temps civil (calendrier grégorien et fuseaux horaires), en clarifiant la mécanique des secondes intercalaires et des transitions de fuseaux horaires et leurs défis inhérents. L'importance de la base de données des fuseaux horaires IANA, qui fournit des règles historiques et futures pour les fuseaux horaires afin d'assurer une gestion précise du temps, est soulignée. Trois études de cas : un forum de discussion, un site Web de planification d'événements et un projet personnel, illustrent différentes stratégies de gestion du temps, en soulignant que « utiliser simplement UTC » n'est pas une solution universelle.

Lire plus

tsx : Simplifier le développement TypeScript dans Node.js

2025-07-18
tsx : Simplifier le développement TypeScript dans Node.js

tsx est une extension de Node.js qui permet d'exécuter du code TypeScript directement sans configurations complexes. Il résout les problèmes de compatibilité entre les modules CommonJS et ESM dans l'écosystème Node.js, permettant une commutation transparente et incluant un mode de surveillance pour augmenter la productivité du développeur. Né des défis de l'évolution du système de modules de Node.js, tsx vise à simplifier l'expérience TypeScript. Actuellement dépendant des dons des utilisateurs, il recherche un parrainage pour assurer la maintenance et le développement continus.

Lire plus
(tsx.is)
Développement

L'aventure norvégienne en superyacht de Zuckerberg : ski dans les fjords

2025-05-04
L'aventure norvégienne en superyacht de Zuckerberg : ski dans les fjords

Le PDG de Meta, Mark Zuckerberg, s'est lancé dans une aventure de ski-hélicoptère luxueuse dans les fjords de Norvège, utilisant ses deux superyachts, le Launchpad et le Wingman, comme base flottante. Pour contourner les réglementations strictes de la Norvège concernant les atterrissages d'hélicoptères, il a astucieusement utilisé l'héliport de son yacht, skiant sur des sommets reculés. Ce voyage extravagant met en lumière l'esprit aventurier et les capacités logistiques de Zuckerberg, mais soulève également des débats sur la durabilité et l'impact environnemental d'un tel luxe, ainsi que des questions plus larges d'inégalité de richesse.

Lire plus
Divers Norvège

L'essor et le déclin (et l'essor ?) du journalisme narratif : l'histoire de This American Life

2025-04-05
L'essor et le déclin (et l'essor ?) du journalisme narratif : l'histoire de This American Life

This American Life (TAL) a révolutionné le journalisme d'information grâce à son style narratif, utilisant une narration captivante pour engager les auditeurs et remporter un prix Pulitzer. Son succès reposait sur la transformation de problèmes sociaux complexes en histoires humaines captivantes, illustrées par "The Out Crowd", son reportage sur les demandeurs d'asile à la frontière entre les États-Unis et le Mexique. Cependant, le scandale de Mike Daisey a terni la réputation de TAL, exposant des éléments fabriqués dans un épisode populaire et provoquant des critiques à l'égard du journalisme narratif. Malgré cela, TAL a persévéré, en adoptant des mesures de vérification des faits plus rigoureuses et en réaffirmant son engagement envers le journalisme narratif.

Lire plus

Sauver les performances de mon blog avec jekyll-skyhook

2025-07-28
Sauver les performances de mon blog avec jekyll-skyhook

L'indexation de mon blog sur Google a échoué, et PageSpeed Insights a donné un score lamentable de 43/100. Les coupables ? Google Fonts, les intégrations YouTube et les images mal optimisées. J'ai créé un plugin Jekyll, jekyll-skyhook, pour résoudre ce problème. Il héberge les polices localement, utilise une bibliothèque YouTube légère et implémente des transformations d'images, des images responsives et la mise en cache. Le résultat ? Un score PageSpeed impressionnant de 99/100 ! jekyll-skyhook prend en charge la conversion de formats d'image (WebP, AVIF), la génération automatique de srcset pour les images responsives et la mise en cache pour éviter le traitement redondant, améliorant ainsi considérablement les performances du blog.

Lire plus
Développement

Le code source du jeu indépendant à succès VVVVVV est disponible !

2025-05-07
Le code source du jeu indépendant à succès VVVVVV est disponible !

Terry Cavanagh, le créateur du jeu indépendant acclamé VVVVVV (2010, musique de Magnus Pålsson), a publié son code source ! La version pour ordinateur de bureau est incluse. Le jeu reste disponible commercialement pour soutenir le développeur, mais vous pouvez le compiler librement pour un usage personnel. Consultez le fichier LICENSE.md pour plus d'informations sur la distribution de versions compilées. Les discussions sur les mises à jour ont principalement lieu sur le serveur Discord non officiel de VVVVVV, dans le canal #vvvvvv-code.

Lire plus
Jeux

Mermaid.js : Créez des diagrammes facilement avec Markdown

2025-05-24
Mermaid.js : Créez des diagrammes facilement avec Markdown

Mermaid.js est un outil de création de diagrammes et de graphiques basé sur JavaScript qui utilise des définitions de texte similaires à Markdown pour créer et modifier des diagrammes. Il résout le problème de la documentation qui prend du retard sur le développement en permettant la création et la modification faciles de divers graphiques, notamment des organigrammes, des diagrammes de Gantt et des diagrammes de séquence. Même les non-programmeurs peuvent facilement utiliser l'éditeur en direct pour créer des visuels complexes. Mermaid s'intègre à des applications populaires comme GitHub et inclut un iframe sandboxé pour une sécurité accrue.

Lire plus
Développement Diagrammes

Streaming vs. Téléchargement : Tout est téléchargement ?

2025-05-26
Streaming vs. Téléchargement : Tout est téléchargement ?

Cet article révèle la différence principale entre le streaming et le téléchargement de vidéos : si l’appareil conserve les images vidéo mises en cache. Les lecteurs de streaming mettent en mémoire tampon certaines images pour gérer les fluctuations du réseau, ce qui est essentiellement un téléchargement. Les plateformes restreignent les téléchargements en fonction de la confiance de l’utilisateur, en comptant sur les utilisateurs pour supprimer les fichiers mis en cache. Les utilisateurs peuvent contourner ces restrictions en conservant des copies. Bien qu’il existe des différences dans l’ordre des fichiers, la transcodage et la gestion des droits numériques (DRM), la distinction principale réside uniquement dans la conservation ou non du fichier vidéo.

Lire plus
Technologie téléchargement vidéo
1 2 299 300 301 303 305 306 307 595 596