Apprivoiser le dragon UB de C++ : Mise à jour sur les améliorations de sécurité

2025-03-31
Apprivoiser le dragon UB de C++ : Mise à jour sur les améliorations de sécurité

Le comportement indéfini (UB) en C++ a longtemps été une source de vulnérabilités de sécurité et de bogues difficiles à déboguer. Le comité de normalisation C++ travaille activement à résoudre ce problème, en réalisant des progrès en C++26 en éliminant le UB pour les variables non initialisées et en améliorant la sécurité des limites de la bibliothèque standard. Les efforts futurs catalogueront et traiteront systématiquement les cas restants de UB en utilisant un comportement erroné, des profils de langage et des contrats. L’objectif est d’atteindre la parité avec les autres langages modernes de sécurité mémoire en termes de vulnérabilités de sécurité, sans sacrifier les performances ou la flexibilité de C++.

Lire plus
Développement

Borges et Simon : une conversation interdisciplinaire à Buenos Aires en 1970

2025-04-02
Borges et Simon : une conversation interdisciplinaire à Buenos Aires en 1970

À Buenos Aires en 1970, une rencontre entre l'écrivain argentin Jorge Luis Borges et le pionnier de l'IA Herbert A. Simon a donné lieu à un dialogue interdisciplinaire fascinant. Leur conversation, abordant le libre arbitre versus le déterminisme, a exploré les parallèles entre le comportement humain et les programmes informatiques. Les questions perspicaces de Borges ont mis Simon au défi de concilier la nature déterministe des actions humaines avec la préservation de l'identité individuelle. Cet échange souligne la valeur de la pensée interdisciplinaire et offre une réflexion opportune sur les défis auxquels le monde académique est confronté aujourd'hui, en soulignant la nécessité d'une collaboration entre les humanités et les domaines STEM. La conversation inspire également la contemplation sur la simulation de personnages historiques à l'aide de l'IA.

Lire plus

Prévisions météo du week-end à Springfield : Ensoleillé et chaud

2024-12-16

Le temps à Springfield aujourd'hui est ensoleillé avec une température de 72°F, une humidité de 55 %, un point de rosée de 65°F, une pression barométrique de 12 PPI, un vent du nord à 6 mph et une visibilité de 35 miles. Les précipitations de juillet sont de 1 pouce. Les prévisions pour le week-end annoncent un ciel ensoleillé et des températures chaudes tout au long du week-end, ainsi qu'une humidité modérée. La piscine de la rue Clark est de nouveau ouverte, venez !

Lire plus

Startup parisienne d'IA recherche ingénieur ML pour construire le modèle de base de prévision ultime

2025-02-20
Startup parisienne d'IA recherche ingénieur ML pour construire le modèle de base de prévision ultime

Une startup parisienne d'IA recherche un ingénieur Machine Learning pour construire un modèle de base de prévision universel. Ce modèle intégrera diverses sources de données (séries temporelles numériques, texte, images) pour des applications de prévision d'entreprise telles que la gestion du personnel, la gestion de la chaîne d'approvisionnement et la planification financière. Les candidats doivent maîtriser les réseaux neuronaux, PyTorch ou Jax, et avoir de l'expérience dans la construction et le déploiement de grands modèles. L'entreprise offre une rémunération et des avantages compétitifs, ainsi que la possibilité de travailler dans le Paris vibrant.

Lire plus

MiceWine : Exécuter des applications et des jeux Windows sur Android

2024-12-30
MiceWine : Exécuter des applications et des jeux Windows sur Android

MiceWine vise à exécuter des applications et des jeux Windows sur les smartphones Android. Il utilise une version personnalisée de Wine compilée pour Android et Box64 pour des performances optimales. Actuellement en développement actif, il utilise un serveur X basé sur Termux-X11. Compatible avec Android 10 et supérieur. Les GPU Adreno 7xx et 6xx sont compatibles avec Turnip/Zink, tandis que d'autres ont un support partiel avec natif/Zink (expérimental). Vulkan natif sur les GPU autres qu'Adreno est expérimental et nécessite des tests.

Lire plus
Développement Applications Windows

La renaissance de Vim après la disparition de son fondateur

2025-01-24

La mort de Bram Moolenaar, créateur de Vim, a ébranlé la communauté. Cependant, le projet continue sous la direction de Christian Brabandt. L'équipe a géré la modernisation du site web, les mises à jour de sécurité et le développement de nouvelles fonctionnalités, notamment la prise en charge du répertoire XDG et du support Wayland. Malgré des controverses, comme l'intégration de Tree-sitter, la communauté Vim reste active et dévouée à l'avenir du projet.

Lire plus
Développement

La tarification de congestion à New York : six mois de succès et de controverse

2025-07-06
La tarification de congestion à New York : six mois de succès et de controverse

Six mois après sa mise en œuvre, le programme de tarification de congestion de la ville de New York montre des résultats significatifs. Un rapport révèle une réduction de 11 % du nombre de véhicules, avec 67 000 véhicules de moins entrant dans la zone de congestion chaque jour, et une réduction de 25 % des retards de circulation. Des améliorations de la qualité de l’air, une réduction de la pollution sonore, une augmentation de l’activité piétonne et une hausse du nombre de passagers dans les transports en commun ont également été constatées. Cependant, le programme fait l’objet de critiques, certains le qualifiant d’« impôt injuste ».

Lire plus
Technologie

Headset Bridge : La gestion des stocks en temps réel stimule la croissance des ventes de cannabis

2025-04-20

Le logiciel VMI de Headset Bridge permet le suivi en temps réel des ventes et des stocks auprès des partenaires dispensaires, optimisant les réapprovisionnements, ciblant les efforts marketing et informant le développement de produits. David Craig (CMO) souligne l'amélioration de la collaboration, James Duncan (Directeur des ventes) met l'accent sur la valeur du suivi des données de ventes en temps réel, et Lauren Marshall (Responsable régionale des ventes) note l'allocation en temps réel des stocks en fonction de la vitesse de vente pour maximiser les revenus et éviter les ruptures de stock.

Lire plus

Manifeste du Pipeline de Livraison Continue : Construire une meilleure livraison de logiciels

2024-12-21
Manifeste du Pipeline de Livraison Continue : Construire une meilleure livraison de logiciels

Les équipes de développement de logiciels modernes ont désespérément besoin de meilleurs outils pour gérer leurs pipelines de livraison continue. L’écosystème actuel des pipelines de CD est fragmenté, rigide et inefficace. Ce manifeste préconise des pipelines axés sur le code, conviviaux pour les développeurs et conçus pour gérer la complexité des workflows d’ingénierie modernes. Il met l’accent sur une seule source de vérité, des composants réutilisables et typecontrolable, des pipelines dynamiques et flexibles, un débogage transparent et visuel, et des mécanismes pour gérer les changements et les boucles de rétroaction rapides, dans le but ultime d’améliorer l’efficacité et d’accélérer la livraison.

Lire plus

Rip de CD corrompu : Un cauchemar de métadonnées MusicBrainz

2025-06-12
Rip de CD corrompu : Un cauchemar de métadonnées MusicBrainz

L'auteur a rippé un CD de « Echo Afternoon » de Finish Ticket, pour découvrir des incohérences : un nom de piste mal orthographié, une piste mal chronométrée et une chanson manquante. Le coupable ? Des métadonnées imprécises dans la base de données MusicBrainz. Le logiciel de rip de CD utilise la table des matières (TOC) du disque pour faire correspondre et récupérer les métadonnées de MusicBrainz. Des erreurs dans la base de données, notamment des pistes fusionnées et des titres incorrects, ont conduit au rip défectueux. L'auteur a corrigé les entrées de la base de données MusicBrainz et mis à jour sa bibliothèque musicale, soulignant le double tranchant des bases de données modifiables et le rôle crucial de la qualité des données.

Lire plus

Plugin LLM pour le tri sémantique des lignes

2025-02-12
Plugin LLM pour le tri sémantique des lignes

Ce plugin en ligne de commande utilise un grand modèle de langage (LLM) pour trier sémantiquement les lignes de texte. Similaire à la commande GNU `sort`, mais au lieu de l'ordre alphabétique, il classe les lignes en fonction de leur pertinence sémantique à une requête donnée. L'entrée peut provenir de fichiers ou de l'entrée standard. Les utilisateurs peuvent personnaliser la méthode de tri, la limite de sortie, le modèle et le modèle de prompt. Un modèle de prompt par défaut est fourni, mais la personnalisation est prise en charge. L'installation est simple : cloner le code, créer un environnement virtuel et installer les dépendances.

Lire plus
Développement Tri Sémantique

Augmentation de 20 % de la productivité : un aperçu réel des assistants de codage IA

2025-05-08
Augmentation de 20 % de la productivité : un aperçu réel des assistants de codage IA

Une entreprise SaaS de 12 ans d’existence et 40 développeurs ont expérimenté les assistants de codage IA, Cursor et Claude Code. Huit développeurs les utilisent presque exclusivement, tandis que 11 les utilisent environ la moitié du temps. Claude excelle dans la rédaction de fonctionnalités complètes, tandis que Cursor est meilleur pour les modifications mineures. Les assistants IA ont augmenté la productivité, notamment pour les tâches répétitives et la compréhension de code inconnu. Cependant, le code généré par l’IA nécessite parfois une révision minutieuse, et le style cohérent sacrifie l’individualité. L’auteur soutient que la maîtrise des assistants de codage IA est une compétence cruciale pour l’avenir, mais en fin de compte, la pensée humaine reste primordiale dans la définition des fonctionnalités du logiciel.

Lire plus
Développement assistants de code

Harvard publie un énorme jeu de données gratuit pour l'entraînement de l'IA

2024-12-18
Harvard publie un énorme jeu de données gratuit pour l'entraînement de l'IA

L'Université Harvard, en collaboration avec Microsoft et OpenAI, a publié un énorme jeu de données pour l'entraînement de l'IA contenant près d'un million de livres du domaine public. Créé par l'Initiative de données institutionnelles de Harvard, ce jeu de données vise à « niveler le terrain de jeu » en donnant aux petits acteurs et aux chercheurs individuels accès à des référentiels de contenu hautement raffinés et organisés, que seules les grandes entreprises technologiques avaient les ressources pour assembler. Semblable à l'impact de Linux, cette ressource, couvrant divers genres, décennies et langues, stimulera le développement de modèles d'IA. Cependant, les entreprises auront toujours besoin de données de formation supplémentaires sous licence pour différencier leurs modèles.

Lire plus

BuyMeACoffee coupe silencieusement les paiements aux créateurs ukrainiens, provoquant l'indignation

2025-05-16
BuyMeACoffee coupe silencieusement les paiements aux créateurs ukrainiens, provoquant l'indignation

BuyMeACoffee a silencieusement interrompu le support pour le mode de paiement Payoneer, laissant de nombreux créateurs ukrainiens sans recevoir leurs paiements. Les réponses initiales ont cité la "conformité" et les "mises à jour des politiques", provoquant l'indignation. Il s'est avéré que BuyMeACoffee n'a conservé que Stripe, indisponible en Ukraine. Le changement n'a pas été annoncé ni expliqué, affectant gravement les créateurs ukrainiens qui dépendent de la plateforme. La plateforme a ensuite affirmé qu'aucun fonds n'avait été gelé, mais sa communication et sa gestion de la situation restent très critiquées. Le manque de transparence et de communication a conduit à des critiques généralisées et à la méfiance.

Lire plus

Système OCR révolutionnaire : alimenter les ensembles de données d'IA pour l'éducation

2025-04-05
Système OCR révolutionnaire : alimenter les ensembles de données d'IA pour l'éducation

Un système OCR révolutionnaire optimisé pour l'apprentissage automatique extrait des données structurées à partir de documents éducatifs complexes, tels que des copies d'examen. Prenant en charge le texte multilingue, les formules mathématiques, les tableaux, les diagrammes et les graphiques, il est idéal pour créer des ensembles de données d'entraînement de haute qualité. Le système ajoute des annotations sémantiques aux éléments extraits et génère automatiquement des descriptions en langage naturel, telles que des descriptions textuelles pour les diagrammes. Prenant en charge le japonais, le coréen et l'anglais, et facilement personnalisable pour d'autres langues, il produit une sortie prête pour l'IA au format JSON ou Markdown, incluant des descriptions lisibles par l'homme des expressions mathématiques, des résumés de tableaux et des légendes de figures. Atteignant une précision supérieure à 90-95 % sur des ensembles de données académiques réels, il gère les mises en page complexes avec un contenu scientifique dense et des éléments visuels riches.

Lire plus
IA

Détection d'occupation à domicile en temps réel avec S2

2025-03-06
Détection d'occupation à domicile en temps réel avec S2

Cet article détaille un système de détection d'occupation à domicile en temps réel construit à l'aide d'un capteur d'imagerie thermique infrarouge AMG8833, d'un Raspberry Pi et de la plateforme de streaming de données S2. Le système diffuse les données du capteur vers S2, qui sont ensuite utilisées par un frontend Next.js pour afficher une carte thermique en direct. Un traitement d'image simple détermine l'occupation. Le faible coût et la facilité d'utilisation de S2 en font une solution économique, coûtant environ 2 $ par mois.

Lire plus
(s2.dev)
Matériel

5 Mo en 1966 : L’histoire de 62 500 cartes perforées

2025-02-19
5 Mo en 1966 : L’histoire de 62 500 cartes perforées

En 1966, stocker seulement 5 Mo de données nécessitait la quantité faramineuse de 62 500 cartes perforées, un contraste saisissant avec l’accès instantané aux quantités massives d’informations d’aujourd’hui. Chaque carte contenait quelques centaines d’octets, et le chargement de 5 Mo prenait quatre jours. Cela contraste fortement avec les clés USB modernes et le cloud computing. Les gigantesques ordinateurs centraux, principalement utilisés par les gouvernements et les grandes entreprises, dépendaient de ce système. Le passage des cartes perforées aux bandes magnétiques et aux disques durs a marqué un bond gigantesque dans la technologie informatique, soulignant les progrès incroyables réalisés dans l’informatique moderne.

Lire plus
Technologie cartes perforées

Delphi fête ses 30 ans : Rétrospective

2025-02-14

Le 14 février marque le 30e anniversaire du lancement du langage de programmation Delphi. Marco Cantù se souvient avoir assisté au lancement du produit au Moscone Center de San Francisco il y a 30 ans et partage des liens vers ses articles de blog et une vidéo YouTube commémorant l'événement, y compris un article sur le 10e anniversaire. L'article offre un regard nostalgique sur les trois décennies d'impact de Delphi sur la programmation.

Lire plus
Développement 30e anniversaire

Protocole de contexte de modèle (MCP) : un USB-C pour l’IA

2025-03-26

Le protocole de contexte de modèle (MCP) est un protocole ouvert qui standardise la manière dont les applications fournissent un contexte aux LLM. Imaginez-le comme un port USB-C pour l’IA : il connecte les modèles d’IA à diverses sources de données et outils. Le SDK Agents prend en charge le MCP, permettant l’utilisation de divers serveurs MCP pour équiper les Agents d’outils. Les serveurs MCP se déclinent en deux types : les serveurs stdio (locaux) et les serveurs HTTP sur SSE (distants). La mise en cache de la liste d’outils minimise la latence. Des exemples complets sont disponibles dans le répertoire examples/mcp.

Lire plus
IA

Google Workspace intègre l'IA partout : l'avenir du travail basé sur l'IA est arrivé

2025-01-15
Google Workspace intègre l'IA partout : l'avenir du travail basé sur l'IA est arrivé

Google a annoncé l'intégration de ses meilleures capacités d'IA dans les offres Workspace Business et Enterprise, fournissant ainsi à toutes les entreprises des outils d'IA sans coût supplémentaire. Cela inclut des assistants IA dans Gmail, Docs, Sheets, et plus encore, ainsi que l'IA de nouvelle génération, Gemini, pour résumer, rédiger des e-mails, créer des documents et des vidéos, etc. NotebookLM Plus, un assistant de recherche IA révolutionnaire, est également inclus. Cette mesure vise à réduire les obstacles à l'adoption de l'IA, aidant les entreprises à améliorer leur productivité et à gagner un avantage concurrentiel.

Lire plus
Technologie IA pour le travail

arXivLabs : Projets expérimentaux avec des collaborateurs communautaires

2025-05-09
arXivLabs : Projets expérimentaux avec des collaborateurs communautaires

arXivLabs est un cadre permettant aux collaborateurs de développer et de partager de nouvelles fonctionnalités arXiv directement sur notre site web. Les individus et les organisations qui travaillent avec arXivLabs ont adopté et accepté nos valeurs d'ouverture, de communauté, d'excellence et de confidentialité des données des utilisateurs. arXiv s'engage à respecter ces valeurs et ne travaille qu'avec des partenaires qui les partagent. Vous avez une idée de projet qui ajoutera de la valeur à la communauté arXiv ? En savoir plus sur arXivLabs.

Lire plus
Développement

Repenser l'économie des soins de santé aux États-Unis : une proposition radicale

2025-01-11

Un article de blog présente un plan révolutionnaire pour s'attaquer aux problèmes économiques des soins de santé aux États-Unis. L'auteur soutient que la complexité du secteur entraîne des coûts exorbitants, et propose un retour à un modèle plus simple : les patients reçoivent des soins et paient ce qu'ils peuvent se permettre. La question principale devient le financement des personnes dans l'incapacité de payer. L'auteur suggère de réduire les coûts grâce à une plus grande transparence (publication des listes de matériaux et des marges des fournisseurs), à des contrats simplifiés et à la suppression des compagnies d'assurance. L'objectif final est de réduire de plus de moitié les dépenses totales de santé. Plusieurs mécanismes de financement pour les non-assurés sont explorés, ce qui suscite un vif débat dans les commentaires.

Lire plus

Une IA génère plus de 500 mashups de genres musicaux bizarres

2025-05-02
Une IA génère plus de 500 mashups de genres musicaux bizarres

Un mystérieux programme d'IA a généré plus de 500 combinaisons inhabituelles de genres musicaux, telles que "Reggae arabe gothique" et "Touareg de saxophone". Ces combinaisons mélangent audacieusement diverses cultures et styles musicaux, démontrant les possibilités illimitées de l'IA dans la création musicale. Cela suscite des réflexions sur l'avenir de la composition musicale et offre aux musiciens une nouvelle inspiration créative.

Lire plus
IA

Programmation uniquement en append: Une expérience amusante

2025-02-21

L'auteur a expérimenté une nouvelle méthodologie de développement logiciel appelée "programmation uniquement en append" : tout le code réside dans un seul fichier C, le nouveau code est ajouté à la fin et l'édition du code existant est interdite. Cela oblige les programmeurs à définir les interfaces à l'avance, à écrire des petites fonctions et produit un code très lisible. Cependant, cette approche est sujette aux erreurs ; si une fonction est erronée, une version corrigée doit être ajoutée et tous les appelants doivent être corrigés, ce qui peut nécessiter la réécriture de l'ensemble du programme. L'auteur a expérimenté avec un interpréteur Lisp et l'a trouvé fastidieux. En fin de compte, l'auteur conclut que c'est un défi amusant, mais pas une méthode pratique de développement logiciel, suggérant des améliorations telles que l'utilisation de fichiers d'en-tête ou d'un fichier par fonction.

Lire plus
Développement

Résolution de problèmes de probabilité complexes avec le comptage de modèles

2025-02-14

Cet article présente une méthode pour résoudre des problèmes de probabilité complexes à l'aide de compteurs de modèles propositionnels. L'auteur montre, à travers un exemple simple, comment traduire des relations probabilistes complexes en formules de logique booléenne et utiliser un compteur de modèles pour calculer la probabilité de l'événement final. Cette méthode peut gérer des scénarios avec des chaînes causales complexes et des probabilités conditionnelles, et a des applications importantes dans des domaines tels que l'évaluation de la sécurité des centrales nucléaires et le trading quantitatif. L'article fournit également un outil open source, ganak, pour effectuer des calculs de comptage de modèles.

Lire plus

Erreurs d'hydratation React dans le rendu côté serveur : causes et solutions

2025-04-06
Erreurs d'hydratation React dans le rendu côté serveur : causes et solutions

Cet article explore les erreurs d'hydratation courantes rencontrées dans le rendu côté serveur (SSR) de React. À l'aide d'un exemple simple d'application React/Express, il montre comment se produisent les erreurs d'hydratation : lorsque le HTML initialement rendu par le serveur ne correspond pas à la structure des composants attendue par React lors de l'hydratation côté client. L'article explique en détail la différence entre `hydrateRoot` et `createRoot`, et propose plusieurs solutions, notamment la vérification de la cohérence entre les rendus serveur et client, la gestion des API spécifiques au navigateur et l'utilisation de `useEffect` pour éviter le rendu avant la fin de l'hydratation. Il souligne également l'importance d'éviter le HTML invalide et de gérer les aspects spécifiques de l'environnement du navigateur, comme localStorage. L'objectif final est de garantir des rendus cohérents du serveur et du client pour éviter les erreurs d'hydratation et améliorer l'expérience utilisateur.

Lire plus
Développement Hydratation

Extension Mermaid Chart pour VS Code : créez et modifiez des diagrammes Mermaid.js dans Visual Studio Code

2025-04-02
Extension Mermaid Chart pour VS Code : créez et modifiez des diagrammes Mermaid.js dans Visual Studio Code

L'extension Mermaid Chart pour VS Code offre aux développeurs un outil de création de diagrammes puissant directement dans leur environnement Visual Studio Code. Créez et modifiez des diagrammes Mermaid.js sans effort ; aucun compte n'est nécessaire pour les fonctionnalités de base. Profitez du rendu en temps réel, de la mise en évidence de la syntaxe et de l'intégration transparente avec Markdown. L'extension reconnaît automatiquement les fichiers .mmd. Les fonctionnalités avancées telles que la synchronisation dans le cloud, la collaboration d'équipe et la génération de diagrammes par IA sont déverrouillées en vous connectant à un compte Mermaid Chart. Qu'il s'agisse de visualiser des flux de travail, une architecture logicielle ou des flux d'API, cette extension augmente la productivité, prend en charge l'édition hors ligne et s'intègre parfaitement au contrôle de version Git.

Lire plus

SpaceX prépare un nouveau lancement du Starship après l'explosion de janvier

2025-02-24
SpaceX prépare un nouveau lancement du Starship après l'explosion de janvier

Un mois après une spectaculaire explosion lors de son premier vol d'essai, SpaceX prépare le Starship pour une nouvelle tentative de lancement. La FAA a annoncé une fenêtre de lancement entre le 26 et le 28 février depuis Starbase, au sud du Texas. Si le lancement du 16 janvier a vu le premier étage atterrir avec succès, l'étage supérieur a subi une défaillance moteur et s'est désintégré, dispersant des débris dans les Caraïbes. Malgré ce revers et l'enquête en cours de la FAA sur l'incident, SpaceX poursuit ses efforts, dans le but de remettre le programme Starship sur les rails.

Lire plus
Technologie

arXivLabs : Expérimenter avec la collaboration communautaire

2025-04-24
arXivLabs : Expérimenter avec la collaboration communautaire

arXivLabs est un cadre permettant de collaborer et de partager de nouvelles fonctionnalités arXiv directement sur le site Web. Les participants adhèrent aux valeurs d'arXiv : ouverture, communauté, excellence et confidentialité des données utilisateur. Vous avez une idée pour améliorer la communauté arXiv ? En savoir plus sur arXivLabs.

Lire plus
Développement

Écran LED à l'échelle nanométrique : Plus petit qu'un virus !

2025-03-20
Écran LED à l'échelle nanométrique : Plus petit qu'un virus !

Des chercheurs de l'université de Zhejiang en Chine ont créé l'écran à diodes électroluminescentes (LED) le plus petit au monde, avec des pixels de moins de 100 micromètres et même atteignant les 90 nanomètres étonnants, soit plus petit qu'un virus ! Cette percée utilise des matériaux semi-conducteurs à base de pérovskite, maintenant la luminosité et l'efficacité même à des tailles extrêmement petites, ouvrant de nouvelles possibilités pour la technologie des écrans miniatures. La recherche est publiée dans Nature.

Lire plus
1 2 465 466 467 469 471 472 473 595 596