Génesis, un simulateur de robots révolutionnaire, est dévoilé : un entraînement 430 000 fois plus rapide

2024-12-23
Génesis, un simulateur de robots révolutionnaire, est dévoilé : un entraînement 430 000 fois plus rapide

Des chercheurs de l'Université Carnegie Mellon ont dévoilé Génesis, un système de simulation de robots open source qui entraîne les robots 430 000 fois plus vite que l'entraînement en conditions réelles. Génesis utilise des cartes graphiques pour exécuter jusqu'à 100 000 simulations simultanément, réduisant considérablement le temps nécessaire aux robots pour apprendre des tâches complexes comme la manipulation d'objets, la marche et l'utilisation d'outils. De plus, l'équipe développe un agent d'IA capable de générer des simulations physiques 3D à partir d'invites textuelles, simplifiant la création d'environnements et réduisant les coûts. Écrit en Python et open source, Génesis représente une avancée significative dans la recherche robotique, démocratisant l'accès à la simulation haute vitesse.

Lire plus

Clean : Un DSL embarqué et un framework de vérification formelle pour les circuits ZK dans Lean4

2025-03-27

Des chercheurs ont développé Clean, un langage spécifique de domaine (DSL) embarqué et un framework de vérification formelle dans Lean4 pour construire des circuits à connaissance zéro (ZK). Les circuits ZK sont sujets aux bogues, et Clean vise à améliorer l’exactitude en permettant aux utilisateurs de définir des circuits dans Lean4, de spécifier leurs propriétés souhaitées et de les prouver formellement. Ce projet fait partie du projet de vérification formelle zkEVM, qui vise à fournir l’infrastructure et les outils nécessaires à la vérification formelle des zkEVM. Clean prend en charge quatre opérations de base pour définir les circuits : witness, assert, lookup et subcircuit, et offre une interface monadique pour une meilleure convivialité. Au cœur du système se trouve la structure FormalCircuit, qui regroupe de manière fortement typée la définition du circuit, les hypothèses, la spécification, les preuves de solidité et de complétude. Les grands circuits peuvent être vérifiés formellement en remplaçant récursivement les contraintes des sous-circuits par leurs spécifications (formellement vérifiées). Le framework a déjà vérifié avec succès des circuits simples comme l’addition 8 bits, avec des projets futurs pour ajouter plus de gadgets de bas niveau, définir des circuits de fonctions de hachage courantes et construire une machine virtuelle minimale formellement vérifiée pour un sous-ensemble de RISC-V.

Lire plus

Le responsable d'Asahi Linux démissionne en raison de l'épuisement professionnel et des conflits au sein de la communauté

2025-02-14
Le responsable d'Asahi Linux démissionne en raison de l'épuisement professionnel et des conflits au sein de la communauté

Hector Martin, responsable du projet Asahi Linux, a démissionné en raison de l'épuisement professionnel des développeurs, d'utilisateurs exigeants et de la manière dont Linus Torvalds a géré l'intégration de Rust dans le noyau Linux. Martin a critiqué le manque de soutien de Torvalds et accusé la communauté Linux d'hypocrisie et d'attaques malveillantes. Il a cité le manque de leadership de Torvalds dans la gestion de l'intégration de Rust, conduisant à des abus de pouvoir de la part des mainteneurs. Cela met en lumière le problème croissant de l'épuisement professionnel des développeurs et des conflits au sein de l'open source, et la nécessité d'un financement durable pour les projets open source.

Lire plus

La loi californienne sur la neutralité du net survit à la décision fédérale

2025-01-06
La loi californienne sur la neutralité du net survit à la décision fédérale

Malgré l'annulation de la tentative de la Federal Communications Commission (FCC) de réglementer le service Internet haut débit, les lois des États de Californie, de New York et d'ailleurs restent intactes. La décision de cette semaine de la 6e Cour d'appel des États-Unis, qui a annulé les règles d'Internet ouvert de la FCC, a peu d'incidence sur les lois des États adoptées au cours des années de bras de fer sur le pouvoir du gouvernement de réglementer les fournisseurs de services Internet. Des experts suggèrent que cette décision, ainsi que d'autres décisions et la position de la Cour suprême sur une affaire distincte de New York, a effectivement renforcé les efforts des régulateurs des États pour combler le vide. La Californie possède l'une des lois les plus strictes du pays sur la neutralité du net, promulguée en 2018, empêchant les pratiques anticoncurrentielles jugées préjudiciables aux consommateurs. La loi a survécu à des contestations judiciaires et a entraîné des changements dans la manière dont les fournisseurs de services Internet proposent des forfaits et des services.

Lire plus

Ce qui afflige l'Amérique – et comment y remédier

2024-12-30
Ce qui afflige l'Amérique – et comment y remédier

Dans un article publié sur Common Dreams, Jeffrey Sachs analyse les problèmes politiques et économiques actuels des États-Unis. Il soutient que le système politique est contrôlé par l'argent, les ultra-riches et les groupes de pression dominant le Congrès et la Maison Blanche, ce qui entraîne des politiques favorisant les intérêts particuliers au détriment du bien commun. Cela se traduit par des baisses d'impôts continues, une complaisance envers les lobbyistes et des dépenses militaires excessives et des guerres. Sachs propose des solutions : 1. Affronter le complexe militaro-industriel et le lobby israélien ; 2. Résoudre le déficit budgétaire ; 3. Mettre en œuvre des politiques d'innovation au service du bien commun. Ce n'est qu'en abordant ces problèmes que les États-Unis pourront réellement résoudre leurs problèmes et améliorer le niveau de vie de leurs citoyens.

Lire plus

Un iPhone SE 3 transplanté dans un Nokia Lumia 1020 !

2025-02-17
Un iPhone SE 3 transplanté dans un Nokia Lumia 1020 !

Un utilisateur de Reddit a réussi l'exploit incroyable de transplanter les composants internes d'un iPhone SE 3 dans le boîtier d'un Nokia Lumia 1020. Étonnamment, des composants clés comme l'appareil photo 12MP, le moteur Taptic et le capteur Touch ID ont été conservés. Même la connectivité 5G et le bouton emblématique de l'obturateur de l'appareil photo Lumia sont fonctionnels. Malgré l'absence de prise casque, le projet remplace intelligemment le port MicroUSB par un port Lightning et déplace le Touch ID à l'arrière. C'est une démonstration d'ingéniosité et un fascinant mélange de nostalgie et de technologie moderne.

Lire plus

wonderful.dev : La plateforme de portfolio pour les développeurs

2025-01-12

wonderful.dev est une plateforme de portfolio en ligne conçue pour les développeurs. Elle vise à aider les développeurs à présenter leurs compétences, à suivre les tendances du secteur et à trouver des emplois ou des projets idéaux. La plateforme prend en charge la vérification des compétences et s'intègre aux données WakaTime, permettant aux développeurs de présenter leurs capacités avec une crédibilité basée sur des données, améliorant ainsi leur compétitivité sur le marché du travail. Les développeurs peuvent créer des profils, mettre en avant leurs compétences et réalisations vérifiées, suivre les dernières tendances technologiques et découvrir des opportunités parfaitement alignées avec leur expertise.

Lire plus

Microsoft poursuit en justice un service ayant créé du contenu illicite avec sa plateforme d'IA

2025-01-11
Microsoft poursuit en justice un service ayant créé du contenu illicite avec sa plateforme d'IA

Microsoft poursuit trois individus et sept clients pour avoir exploité un service générant du contenu nuisible et illicite à l'aide de sa plateforme d'IA. Les accusés ont développé des outils pour contourner les mesures de sécurité de Microsoft, utilisant des comptes d'utilisateurs légitimes compromis pour créer une plateforme payante. Fonctionnel de juillet à septembre 2024, ce service utilisait des API non documentées et des clés API volées pour générer du contenu illégal, notamment de la pornographie et des contenus violents. Le procès intenté par Microsoft invoque de multiples violations légales et vise à obtenir une injonction et des dommages et intérêts.

Lire plus
Technologie sécurité IA

Accès gratuit à l'histoire de la CAO : La révolution de la conception technique

2025-02-25

Le blog Shapr3D a publié « La révolution de la conception technique » de David E. Weisberg, une histoire complète de la CAO de plus de 650 pages couvrant les personnages clés, les entreprises et les systèmes des années 1950 au début des années 2000. Disponible gratuitement en ligne ou en téléchargement, les lecteurs sont invités à faire un don à la recherche sur le cancer. Le livre détaille les origines et l'évolution de la technologie CAO, y compris l'impact d'entreprises comme Applicon, Autodesk et Computervision, offrant un aperçu approfondi de l'histoire de la CAO.

Lire plus

Lancement de Chiplab : Exécutez vos programmes 6502 sur du matériel réel

2025-03-30

Chiplab propose désormais un service permettant d’exécuter vos programmes assembleur 6502 sur une puce 6502 réelle, fournissant des traces de bus cycle par cycle pour des tests et des recherches de haute précision. Les utilisateurs téléchargent leur code, qui s’exécute pendant 100 cycles, après quoi une trace détaillée des valeurs des bus d’adresse et de données est renvoyée. Cette approche offre une alternative supérieure aux émulateurs et prépare le terrain pour l’analyse de puces plus complexes à l’avenir. Le projet est open source et accepte les contributions.

Lire plus
Matériel émulateur de puce

Un an de débogage des blocages de suspension/réveil sur Linux avec des GPU AMD

2025-02-17

L'auteur a rencontré un problème persistant où son système Linux, équipé d'un GPU AMD RX 570, se bloquait ou plantait après avoir tenté de se mettre en veille, entraînant souvent un écran noir au réveil. Après plus d'un an de débogage intensif, impliquant l'analyse des journaux, des ajustements de configuration de systemd, un shell de débogage et même de l'ingénierie inverse avec Ghidra, la cause racine a été identifiée comme un bug du pilote amdgpu lié à la sauvegarde de la VRAM en cas d'utilisation intensive de la mémoire. La solution, enfin implémentée, utilise l'API de notification de gestion de l'alimentation pour sauvegarder préventivement la VRAM avant la suspension, évitant ainsi les erreurs d'épuisement de la mémoire. Ce correctif devrait être inclus dans la version stable du noyau Linux 6.14.

Lire plus
Développement pilote GPU

Que se passerait-il si vous faisiez une planète de poissons ?

2024-12-29

Cet article scientifique explore une expérience de pensée fantaisiste : que se passerait-il si vous créiez une planète entièrement composée de poissons ? En utilisant les principes de la physique, l’auteur retrace méticuleusement le processus. De l’expansion des poissons dans le vide, leur collision et leur agrégation en astéroïdes, jusqu’à la formation finale d’une planète semblable à la Terre nommée « Rockfish », avec un noyau de diamant, un manteau métallique et de vastes océans, et même une étoile « Starfish » et un trou noir « Blackfish », l’article est plein d’amusement et explore la possibilité de l’émergence de la vie, montrant le charme de la physique dans l’exploration de scénarios absurdes.

Lire plus

La lutte contre le piratage français s'intensifie : le fournisseur de DNS Quad9 bloque les sites pirates à l'échelle mondiale

2024-12-12

Dans une lutte croissante contre le piratage sportif en ligne, le géant français des médias Canal+ a obtenu des ordonnances judiciaires obligeant les fournisseurs de DNS Quad9 et Vercara à bloquer l'accès aux sites de streaming pirates en France. Quad9, considérant qu'il s'agit d'une application absurde de la loi sur le droit d'auteur, prévoit de faire appel, mais a bloqué les domaines à l'échelle mondiale pour le moment. Cette action déclenche un débat mondial sur le droit d'auteur et la neutralité du net, Quad9 sollicitant le soutien du public pour son appel afin de maintenir un internet ouvert.

Lire plus

De la 'Magie' au 'Ah, d'accord !': Le Parcours d'un Développeur

2025-03-01

L'auteur partage son parcours d'apprentissage en programmation, comparant l'émerveillement initial face à des technologies complexes à la sensation d'impuissance devant un grand bâtiment. Au début, les compilateurs et les systèmes d'exploitation semblaient mystiques, mais avec l'expérience accumulée, l'auteur a progressivement compris les principes sous-jacents, tels que la mise en œuvre du calcul au moment de la compilation en Go. En explorant la fonctionnalité de calcul au moment de la compilation de Go, l'auteur a compris son mécanisme d'implémentation ingénieux et y a même contribué, bien qu'il ait ensuite découvert que certaines fonctionnalités étaient inutiles. L'article encourage les développeurs à approfondir leurs connaissances, à percer le mystère de la technologie et à améliorer continuellement leurs compétences.

Lire plus

twtxt : Un service de microblogging minimaliste et décentralisé

2024-12-22

twtxt est un service de microblogging minimaliste et décentralisé conçu pour les hackers. Sa documentation couvre l'installation, le démarrage rapide, l'utilisation, la configuration et les détails de l'API. Les utilisateurs peuvent suivre et ne plus suivre des sources, publier des mises à jour de statut, consulter leur fil d'actualité et les flux de sources spécifiques, et interagir avec twtxt via l'interface en ligne de commande (CLI). Le code source est hébergé sur GitHub et les contributions sont les bienvenues.

Lire plus
Développement décentralisé

Un artiste dresse des rats pour prédire les marchés de change

2024-12-19
Un artiste dresse des rats pour prédire les marchés de change

Le projet "Rat Traders", de l'artiste conceptuel autrichien Michael Marcovici, a entraîné des rats à prédire les prix des contrats à terme sur devises. Il a converti les fluctuations de prix en notes de piano, et les rats ont prédit les changements de notes suivants. Étonnamment, les rats entraînés ont apparemment surperformé les traders humains après quelques mois, bien que cela manquait de tests statistiques rigoureux. Le projet de Marcovici satire la croyance en la prédiction du marché et le désir humain de trouver des raccourcis pour réaliser des profits dans un système chaotique. Le projet a finalement pris fin en raison de la capacité de négociation limitée des rats, soulignant l'imprévisibilité de la prédiction du marché.

Lire plus

La bulle de l'IA générative : une arnaque fondée sur le battage médiatique et les mensonges ?

2025-02-18
La bulle de l'IA générative : une arnaque fondée sur le battage médiatique et les mensonges ?

Plus de deux ans après le lancement de ChatGPT, les grands modèles de langage (LLM) sont passés d'une nouveauté à l'une des plus grandes escroqueries du XXIe siècle. Bien que ChatGPT compte 300 millions d'utilisateurs hebdomadaires, l'auteur soutient que cela ne valide pas l'IA générative comme une industrie durable de mille milliards de dollars. L'article critique le modèle de dépenses excessives et sans profit d'OpenAI et d'Anthropic, ainsi que le battage médiatique excessif, soulignant comment de nouveaux produits comme Deep Research ne parviennent pas à apporter des avancées significatives, révélant au contraire une faible qualité et des coûts élevés. L'auteur prédit que la bulle de l'IA générative éclatera, causant des dommages importants à l'industrie technologique et à la société.

Lire plus
Technologie Bulbe technologique

25 ans plus tard : L'histoire non racontée du Dock de Mac OS X

2025-01-06
25 ans plus tard : L'histoire non racontée du Dock de Mac OS X

Cet article de blog relate les expériences de James Thomson, un ingénieur qui a travaillé sur le développement du Dock de Mac OS X. Il détaille son travail sur le Dock chez Apple en Irlande, incluant le processus de conception initial, les interactions avec Steve Jobs et son départ final d'Apple. L'histoire est pleine de tension et d'intrigue, incluant le secret entourant le projet, les exigences de Jobs concernant l'emplacement de l'ingénieur et les défis et les réussites rencontrés par Thomson pendant le développement. L'article offre un aperçu fascinant de la création d'une pièce maîtresse de Mac OS X et du parcours d'un ingénieur logiciel.

Lire plus
Développement

Hacking de masse en pilote automatique : exploitation des portes dérobées abandonnées

2025-01-12
Hacking de masse en pilote automatique : exploitation des portes dérobées abandonnées

L'équipe watchTowr a découvert un nouveau vecteur d'attaque : exploiter les vulnérabilités des shells web abandonnés (comme r57shell et c99shell) pour accéder à des milliers de systèmes. Ceux-ci contiennent souvent des failles non corrigées, permettant aux attaquants de prendre le contrôle de systèmes compromis avec un minimum d'effort. En enregistrant plus de 40 domaines, ils ont surveillé plus de 4000 portes dérobées actives, ciblant des gouvernements, des universités et des entreprises. La recherche met en évidence les risques de sécurité liés aux infrastructures abandonnées et souligne la nécessité de tests de sécurité continus.

Lire plus

Retrait du carbone océanique : les start-up rivalisent pour développer des technologies de capture du carbone marin

2024-12-26
Retrait du carbone océanique : les start-up rivalisent pour développer des technologies de capture du carbone marin

Face aux défis de la crise climatique, plusieurs start-up de technologies marines développent des technologies innovantes pour éliminer le dioxyde de carbone de l’océan. L’article met en lumière l’approche électrochimique de Captura pour extraire le CO2 de l’eau de mer, et la méthode d’Ebb Carbon qui consiste à augmenter l’alcalinité de l’océan pour stocker le carbone. Ces approches, bien que diverses, rencontrent des difficultés en matière de mise à l’échelle et de quantification des crédits carbone. Malgré des voies techniques différentes, l’objectif commun est de tirer parti de la vaste capacité de puits de carbone de l’océan pour accélérer le cycle du carbone de la Terre et lutter contre le changement climatique.

Lire plus

Déploiement local du modèle DeepSeek R1 671B paramètres

2025-01-31

Cet article décrit l'expérience de déploiement du grand modèle de langage DeepSeek R1 de 671B paramètres en local à l'aide d'Ollama. L'auteur a expérimenté deux versions quantifiées : 1,73 bit et 4 bits, nécessitant respectivement au moins 200 Go et 500 Go de mémoire. Sur une station de travail équipée de quatre RTX 4090 et de 384 Go de RAM DDR5, les résultats des tests ont montré que la version 1,73 bit offrait une vitesse de génération légèrement plus rapide, mais la version 4 bits s'est avérée plus stable et moins susceptible de générer du contenu inapproprié. L'auteur recommande d'utiliser le modèle pour des tâches plus légères, en évitant la génération de longs textes qui ralentissent considérablement la vitesse. Le déploiement a impliqué le téléchargement des fichiers du modèle, l'installation d'Ollama, la création d'un fichier de modèle et l'exécution du modèle ; il peut être nécessaire d'ajuster les paramètres du GPU et de la fenêtre de contexte pour éviter les erreurs de mémoire insuffisante.

Lire plus
Développement Déploiement de Modèle

WebExtension.net lance des collections organisées d'extensions Chrome

2024-12-23
WebExtension.net lance des collections organisées d'extensions Chrome

WebExtension.net a récemment introduit une fonctionnalité de collections organisées d'extensions Chrome, facilitant la recherche et l'utilisation d'extensions de haute qualité. Cette fonctionnalité permet aux utilisateurs de créer et de partager leurs propres listes d'extensions. Les collections existantes couvrent divers domaines, notamment l'apprentissage des langues, les outils de conception et le développement front-end, avec des collections d'outils essentiels pour les designers et des extensions utiles pour les développeurs front-end. Cela améliore considérablement l'efficacité et le flux de travail de l'utilisateur.

Lire plus

JReleaser : Déploiements de projets sans effort

2025-01-21

JReleaser simplifie le processus de déploiement de projets, prenant en charge de nombreux langages comme Java, Go et Node.js. Il crée facilement des paquets pour diverses plateformes (Homebrew, Snapcraft, etc.), les publie sur des services tels que GitHub et GitLab, et génère même automatiquement des journaux des modifications et annonce les versions sur Twitter. Que vous utilisiez l'interface en ligne de commande, Maven, Gradle ou Ant, JReleaser rationalise votre flux de travail, vous permettant de vous concentrer sur le développement.

Lire plus

KubeStatus Operator : Ajoutez facilement une page d'état à votre cluster Kubernetes

2025-01-24
KubeStatus Operator : Ajoutez facilement une page d'état à votre cluster Kubernetes

KubeStatus Operator est un outil gratuit et open-source qui permet d'ajouter facilement une page d'état à votre cluster Kubernetes, affichant l'état opérationnel (opérationnel, dégradé ou HORS SERVICE) des services. Écrit en Go et utilisant l'API Kubernetes pour récupérer les informations sur les clusters et les ressources, KubeStatus offre un moyen simple et pratique de visualiser l'état actuel de votre cluster et de vos ressources sans avoir besoin de l'outil en ligne de commande kubectl ou du tableau de bord Kubernetes. Il propose également une page conviviale qui peut servir de page d'état principale.

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

Oubliez l'algorithme, adoptez RSS : reprenez le contrôle de votre flux d'informations

2025-01-16

Fatigué des algorithmes des médias sociaux qui dictent votre contenu ? Cet article explique comment utiliser RSS pour créer un flux d'informations de haute qualité, en évitant le bruit. L'auteur explique comment s'abonner à des plateformes comme YouTube, IGN, Hacker News et Reddit en utilisant RSS, et utilise des techniques de filtrage avancées pour supprimer le contenu de basse qualité. Par exemple, il montre comment filtrer les publications Reddit pour obtenir uniquement du contenu textuel avec de nombreux votes positifs. L'avantage principal de RSS est le contrôle de l'utilisateur, permettant une lecture efficace sans les inefficacités des flux contrôlés par les algorithmes.

Lire plus
Technologie filtrage de contenu

Analyse non destructive d'une mosaïque d'Alexandre le Grand vieille de 2 100 ans

2025-01-22
Analyse non destructive d'une mosaïque d'Alexandre le Grand vieille de 2 100 ans

Des chercheurs ont utilisé des techniques non invasives pour analyser une mosaïque vieille de 2 100 ans représentant la bataille d'Issos, conservée au Musée archéologique national de Naples. L'imagerie multispectrale, la fluorescence des rayons X et la spectroscopie ont révélé la composition complexe de la mosaïque et des signes de dégradation. L'étude a identifié divers matériaux utilisés dans sa construction, notamment des marbres italiens et méditerranéens et des roches volcaniques, ainsi que du gypse et de la cire provenant de restaurations antérieures. Les résultats ont également mis en évidence une instabilité thermique et des problèmes structurels, fournissant des données précieuses pour les efforts futurs de restauration.

Lire plus

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

Une nouvelle étude précise la période de métissage entre Néandertaliens et humains modernes

2024-12-13
Une nouvelle étude précise la période de métissage entre Néandertaliens et humains modernes

Une nouvelle analyse d'ADN ancien d'humains modernes en Europe et en Asie a déterminé avec précision la période de métissage entre les Néandertaliens et l'Homo sapiens. Ce métissage a commencé il y a environ 50 500 ans et a duré environ 7 000 ans, jusqu'à ce que les Néandertaliens commencent à disparaître. Cette recherche, utilisant 58 génomes anciens et des génomes d'humains modernes, a révélé une date moyenne de métissage d'environ 47 000 ans, cohérente avec les preuves archéologiques. L'étude a également constaté que les Asiatiques de l'Est possèdent environ 20 % de gènes Néandertaliens de plus que les Européens et les Asiatiques de l'Ouest, probablement en raison de la présence de gènes mélangés lorsque les humains modernes ont migré vers l'est il y a environ 47 000 ans. Les résultats offrent une image plus complète des migrations humaines passées et du flux génétique, et éclairent l'impact des gènes Néandertaliens sur la santé humaine moderne.

Lire plus
1 2 558 559 560 562 564 565 566 595 596