Tags populaires：
Virtualisation sécurité DNS vérification formelle analyse d'atteignabilité erreurs du compilateur conflit de macro extension web framework de développement Graphiques bitmap incohérences d'API Tous les tags

La Boring Company de Musk va construire une boucle de 10 miles à Nashville

2025-07-31
La Boring Company de Musk va construire une boucle de 10 miles à Nashville

The Boring Company d'Elon Musk prévoit de construire une boucle souterraine de 10 miles reliant le centre-ville de Nashville, le centre des congrès et l'aéroport. Financé de manière privée par la société et des partenaires non divulgués, le projet vise une mise en service dès l'automne 2026. Si le projet de Las Vegas a été un succès, les projets précédents ont connu des revers et des problèmes de sécurité. Le succès du projet de Nashville reste incertain, notamment en termes de sécurité et de vitesse de construction.

Lire plus
(techcrunch.com)
Technologie

Échapper à Google Authenticator : générer des codes TOTP en ligne de commande

2025-09-01
Échapper à Google Authenticator : générer des codes TOTP en ligne de commande

Afin de réduire sa dépendance aux services Google, l’auteur a simplifié son téléphone Android pour n’utiliser que Google Maps et Authenticator pour les codes TOTP. Pour générer des codes TOTP en ligne de commande, il a utilisé l’utilitaire oathtool, mais le processus de migration s’est avéré complexe. L’article détaille la migration des codes depuis Google Authenticator : exportation d’un code QR, décodage avec qrtool, extraction des secrets à l’aide d’un script Python (otpauth_migrate) et enfin génération des codes TOTP avec oathtool. Un script Bash simplifie le processus. Les problèmes de sécurité liés au stockage des clés secrètes sont également abordés.

Lire plus
(imrannazar.com)
Développement

Le gouvernement américain s'attaque à la confidentialité des cryptomonnaies, tandis que l'institutionnalisation du Bitcoin progresse

2025-09-12
Le gouvernement américain s'attaque à la confidentialité des cryptomonnaies, tandis que l'institutionnalisation du Bitcoin progresse

Le Trésor américain et le FinCEN envisagent apparemment d'interdire CoinJoin, les swaps atomiques et d'autres techniques améliorant la confidentialité de Bitcoin, ce qui suscite des critiques pour atteinte grave à la vie privée financière. Parallèlement, Bitcoin connaît un processus d'institutionnalisation, avec une volatilité réduite, mais aussi un potentiel de hausse moindre. L'article mentionne également brièvement un nouveau projet de loi pour des réserves stratégiques de Bitcoin, une prochaine table ronde de la SEC sur les cryptomonnaies et une proposition d'utiliser Bitcoin comme standard commercial sur Mars.

Lire plus
(www.tftc.io)
Technologie Confidentialité Bitcoin Investissement institutionnel

Kodak au bord du gouffre : un géant centenaire menacé de faillite

2025-08-14
Kodak au bord du gouffre : un géant centenaire menacé de faillite

Eastman Kodak, l'entreprise qui a révolutionné la photographie amateur, est au bord du gouffre après plus de 130 ans d'existence. Avec plus de 470 millions de dollars de dettes et des revenus en baisse, l'entreprise a exprimé de sérieux doutes quant à sa capacité à poursuivre ses opérations. Malgré des tentatives de diversification dans les produits chimiques spéciaux et les produits pharmaceutiques après sa faillite en 2012, Kodak lutte pour rester à flot. L'entreprise réduit ses coûts, y compris son régime de retraite, dans une tentative désespérée de respecter ses obligations de dette d'ici le 15 août. La situation précaire de Kodak sert d'avertissement sur les défis de l'adaptation au changement technologique.

Lire plus
(www.usatoday.com)
Technologie entreprise

Un livre miniature sur-ingénierisé : IA, traceur, imprimante 3D et amour

2025-02-14
Un livre miniature sur-ingénierisé : IA, traceur, imprimante 3D et amour

Cet article détaille le parcours de l’auteur dans la création d’un petit livre artisanal pour sa femme, rempli de souvenirs et de blagues privées. Il a utilisé l’IA (Midjourney) pour les illustrations, un traceur à plume pour l’impression et une imprimante 3D pour la reliure. Le processus a été semé d’embûches : contrôler les styles artistiques de l’IA, vectoriser les images, choisir le stylo adapté au traceur, sélectionner le papier approprié et maîtriser les techniques de reliure. Malgré les contretemps et un délai serré (en raison du secret !), le résultat a été un cadeau profondément personnel et apprécié. Le projet met en valeur un mélange créatif de technologie et d’artisanat.

Lire plus
(muffinman.io)
Divers livre artisanal

Meta accusée d'avoir gonflé les performances de ses publicités e-commerce

2025-08-21
Meta accusée d'avoir gonflé les performances de ses publicités e-commerce

Une plainte d'un lanceur d'alerte affirme que Meta a artificiellement gonflé le retour sur investissement publicitaire (ROAS) de son produit de publicités Shops en incluant les frais d'expédition dans les revenus, en subventionnant les enchères et en appliquant des remises non divulguées. L'ancien employé, Samujjal Purkayastha, affirme que cela a été fait pour contrer l'impact des changements de confidentialité d'Apple de 2021 et stimuler l'adoption du produit publicitaire e-commerce naissant. Des examens internes auraient révélé une inflation du ROAS de 17 à 19 % en raison de l'inclusion des frais d'expédition et des taxes, une pratique non suivie par les autres produits publicitaires de Meta ou par des concurrents comme Google. Purkayastha, qui a ensuite été licencié, a fait part de ces préoccupations à la haute direction. Meta nie les allégations et défend activement le procès.

Lire plus
(www.adweek.com)
Technologie Fraude publicitaire

Algorithmes de flou en temps réel : du flou de boîte au flou Dual Kawase

2025-09-06
Algorithmes de flou en temps réel : du flou de boîte au flou Dual Kawase

Cet article détaille l'évolution des algorithmes de flou en temps réel, du simple flou de boîte au flou Dual Kawase efficace. À l'aide de démonstrations interactives WebGL, l'auteur explique progressivement les algorithmes de flou de boîte, de flou gaussien, de flou gaussien séparable, de flou Kawase et enfin de flou Dual Kawase, en analysant les forces et les faiblesses et les performances de chacun. L'article explore également le traitement d'images dans le domaine fréquentiel et les techniques de sous-échantillonnage dans les algorithmes de flou, ainsi que la manière d'optimiser les performances du GPU. En fin de compte, l'auteur préconise le flou Dual Kawase comme élément constitutif fondamental des effets visuels en temps réel en raison de son équilibre entre performances, stabilité et qualité visuelle.

Lire plus
(blog.frost.kiwi)
Développement algorithmes de flou

La FDA interdit le colorant rouge n° 3 lié au cancer

2025-01-16
La FDA interdit le colorant rouge n° 3 lié au cancer

La Food and Drug Administration (FDA) américaine a interdit l'utilisation du colorant alimentaire artificiel rouge n° 3, lié au cancer, dans les aliments et les médicaments. L'interdiction entrera en vigueur le 15 janvier 2027 pour les aliments, les fabricants de médicaments disposant d'un délai supplémentaire pour reformuler leurs produits. Cela concerne de nombreux produits contenant ce colorant, des bonbons aux médicaments contre le rhume, suscitant des inquiétudes au sein de l'industrie alimentaire.

Lire plus
(www.bloomberg.com)
Technologie cancérigène

L'impasse sur la politique énergétique de la Californie : le SB 540 peut-il débloquer la situation ?

2025-07-21
L'impasse sur la politique énergétique de la Californie : le SB 540 peut-il débloquer la situation ?

Le projet de loi 540 du Sénat californien, visant à créer un marché régional de l'électricité pour faciliter les échanges interétatiques d'énergie propre, a déclenché un vif débat parmi les environnementalistes. Les partisans soutiennent qu'il réduira les factures d'électricité et accélérera les actions pour le climat, tandis que les opposants craignent que la Californie ne perde le contrôle de son réseau et devienne acheteuse d'électricité au charbon provenant d'autres États, ce qui pourrait entraîner une hausse des prix de l'électricité. L'article examine les avantages et les inconvénients du projet de loi et les positions des différentes parties prenantes, concluant que la coopération est essentielle pour faire face à la crise climatique, et que le choix de la Californie aura un impact profond sur la transition vers les énergies propres dans tout l'Ouest.

Lire plus
(www.latimes.com)
Technologie marché régional de l'électricité

Au-delà du texte vers SQL : construire un analyste de données IA

2025-09-01

Cet article explore les défis et les solutions pour construire un analyste de données IA. L’auteur soutient que la simple conversion de texte en SQL est insuffisante pour les questions d’utilisateurs réels, nécessitant des plans en plusieurs étapes, des outils externes (comme Python) et un contexte externe. Son équipe a construit une plateforme de BI générative utilisant une couche sémantique alimentée par Malloy, un langage de modélisation qui définit explicitement la logique métier. Ceci, combiné à un système multi-agents, à la génération augmentée par la récupération (RAG) et à une sélection stratégique de modèles, permet une analyse de données de haute qualité et à faible latence. La plateforme génère du SQL, écrit du Python pour des calculs complexes et intègre des sources de données externes. L’article met l’accent sur l’ingénierie du contexte, l’optimisation du système de récupération et la sélection des modèles, tout en partageant des solutions pour les modes de défaillance courants.

Lire plus
(www.pedronasc.com)
IA Analyste de données IA Couche sémantique

Let's Encrypt ferme OCSP, privilégiant la confidentialité avec CRL

2025-09-15
Let's Encrypt ferme OCSP, privilégiant la confidentialité avec CRL

Let's Encrypt a officiellement interrompu son service de protocole de statut de certificat en ligne (OCSP), passant exclusivement aux listes de révocation de certificats (CRL) pour les informations de révocation. Cette mesure priorise la confidentialité des utilisateurs, car OCSP révèle les adresses IP des utilisateurs lorsqu'ils accèdent à des sites web. Let's Encrypt a cessé d'inclure les URL OCSP dans les certificats il y a plus de 90 jours ; tous les certificats les contenant ont désormais expiré. L'arrêt d'OCSP simplifie également l'infrastructure CA de Let's Encrypt, améliorant ainsi l'efficacité et la fiabilité. À son apogée, le service OCSP de Let's Encrypt a traité environ 340 milliards de demandes par mois. Nous remercions Akamai pour son généreux don de services CDN pour OCSP à Let's Encrypt au cours des dix dernières années.

Lire plus
(letsencrypt.org)
Technologie

Vaincre le non-déterminisme dans l'inférence des LLM

2025-09-11
Vaincre le non-déterminisme dans l'inférence des LLM

L'irreproductibilité des résultats d'inférence des grands modèles de langage (LLM) est un problème persistant. Cet article explore la cause profonde, révélant qu'il ne s'agit pas simplement de la non-associativité des nombres à virgule flottante et de l'exécution concurrente, mais plutôt du manque d'« invariance par lot » dans les implémentations des noyaux. Même si les noyaux individuels sont déterministes, les variations non déterministes de la taille du lot (en raison de la charge du serveur) affectent la sortie finale. Les auteurs analysent les défis liés à la réalisation de l'invariance par lot dans RMSNorm, la multiplication matricielle et les mécanismes d'attention, proposant une méthode pour éliminer le non-déterminisme en modifiant les implémentations des noyaux. Cela conduit à une inférence LLM totalement reproductible et à des impacts positifs sur l'apprentissage par renforcement.

Lire plus
(thinkingmachines.ai)
IA

L'IA révolutionne la physique : de LIGO à de nouvelles expériences d'intrication quantique

2025-07-22
L'IA révolutionne la physique : de LIGO à de nouvelles expériences d'intrication quantique

L'intelligence artificielle révolutionne la recherche en physique. Cet article détaille l'application de l'IA pour améliorer la sensibilité de LIGO, découvrir des symétries dans la relativité d'Einstein à partir des données du Grand collisionneur de hadrons et même trouver une nouvelle équation pour l'agglomération de matière noire. Plus impressionnant encore, des expériences d'intrication quantique conçues par l'IA, surpassant les conceptions précédentes en simplicité et en efficacité, ont été validées avec succès en Chine, démontrant l'immense potentiel de l'IA dans la conception expérimentale et l'analyse de données.

Lire plus
(www.quantamagazine.org)
Technologie Intrication Quantique

La Magie du Code : Du Débutant à l’Épuisement, pour Devenir le Père Noël

2025-07-21
La Magie du Code : Du Débutant à l’Épuisement, pour Devenir le Père Noël

Cet article relate le parcours d’un programmeur : le sentiment initial d’omnipotence, la désillusion qui suit lorsqu’il réalise sa dépendance aux API des grandes entreprises technologiques, et la compréhension finale que la vraie magie provient d’un effort persévérant et d’une profonde expertise du domaine. L’auteur utilise un ton léger et amusant, en tissant des anecdotes personnelles et des exemples de travail pour illustrer l’essence du développement logiciel. L’article encourage les programmeurs à persévérer, en améliorant continuellement leurs compétences pour créer leur propre « magie ».

Lire plus
(digitalseams.com)
Développement

Construire des MVP : rapidité, focalisation et prévention des erreurs courantes

2025-05-16
Construire des MVP : rapidité, focalisation et prévention des erreurs courantes

Cet article explique comment construire efficacement un produit minimum viable (MVP). Un MVP n’est pas synonyme de travail bâclé ; il s’agit d’une version simplifiée de votre produit principal conçue pour valider rapidement les hypothèses et les besoins des utilisateurs. L’article souligne les erreurs courantes à éviter, telles que le gonflement des fonctionnalités, le mauvais choix de technologies et la négligence de la qualité du code. En vous concentrant sur les problèmes principaux, en choisissant la bonne pile technologique et en privilégiant la qualité et la sécurité du code, vous pouvez atténuer les risques, accélérer l’itération et, finalement, réussir votre produit.

Lire plus
(www.erlang-solutions.com)
Développement Développement de produit

Mangle : un langage de programmation de base de données déductive open source basé sur Datalog

2025-08-18
Mangle : un langage de programmation de base de données déductive open source basé sur Datalog

Mangle est un langage de programmation open source qui étend Datalog pour la programmation de bases de données déductives. Il prend en charge des fonctionnalités telles que l'agrégation, les appels de fonctions et la vérification de type optionnelle, permettant une représentation et une interrogation uniformes des données provenant de plusieurs sources et la modélisation des connaissances du domaine. Mangle fournit une bibliothèque Go pour une intégration facile dans les applications. Il prend en charge les règles récursives et montre, à travers des exemples, comment utiliser Mangle pour trouver les logiciels affectés par la vulnérabilité log4j, et comment effectuer le groupement et l'agrégation. Bien qu'il sacrifie certaines performances, sa facilité d'utilisation et son extensibilité en font un outil puissant.

Lire plus
(github.com)
Développement base de données déductive

Vers la barre de recherche vide : surcharge d’informations et défaillances de conception

2025-05-08

En partant d’un simple mauvais clic sur un signet, l’auteur explore les impacts négatifs des algorithmes de recommandation à l’ère de la surcharge d’informations. Trop d’options peuvent perturber la prise de décision de l’utilisateur, réduire l’efficacité et même mener à une « paralysie par le choix ». L’auteur suggère que la conception du site web doit être centrée sur l’utilisateur, en offrant la possibilité de désactiver les recommandations, en évitant l’autocomplétion involontaire et en commençant par une interface vide, permettant aux utilisateurs de choisir les fonctionnalités dont ils ont besoin. Cet article ne se contente pas d’analyser l’expérience personnelle de la surcharge d’informations, mais soulève également des considérations éthiques sur les mécanismes de recommandation algorithmique, appelant à des principes de conception plus centrés sur l’humain.

Lire plus
(fi-le.net)
Design algorithmes de recommandation surcharge d’informations

Copain animé de la barre de défilement : une alternative amusante à la barre de défilement standard

2025-03-03

Fatigué des barres de défilement ennuyeuses ? Ce projet remplace la barre de défilement standard par un personnage animé qui monte et descend sur la page lorsque vous faites défiler. L’auteur a créé un premier prototype à l’aide de JavaScript simple et prévoit d’ajouter d’autres personnages, comme un skateur, un grimpeur ou même un écureuil. Quels autres copains de défilement devrions-nous ajouter ?

Lire plus
(focusfurnace.com)
Développement barre de défilement créative

La première image de l'Observatoire Rubin révèle des milliers d'astéroïdes inconnus

2025-06-30
La première image de l'Observatoire Rubin révèle des milliers d'astéroïdes inconnus

L'Observatoire Vera C. Rubin, au Chili, a publié sa première image, révélant le nombre impressionnant de 2 104 astéroïdes inconnus jusqu'à présent, dont sept objets géocroiseurs. Cela représente plus de cinq fois le nombre d'astéroïdes découverts au cours des 200 dernières années. Équipé de la plus grande caméra numérique au monde, l'observatoire capturera des images massives haute résolution du ciel austral tous les trois nuits. La capacité à enregistrer le mouvement des astéroïdes sous forme de « films » est cruciale pour la défense planétaire, permettant une meilleure étude des mouvements des astéroïdes et la détection opportune des menaces potentielles.

Lire plus
(www.space.com)
Technologie découverte d'astéroïdes

Correcteurs orthographiques dans les années 80 : une guerre de la mémoire

2025-08-13

Créer un correcteur orthographique pour un nouveau traitement de texte MS-DOS en 1984 était un défi monumental. Les ordinateurs disposaient d'une mémoire très limitée (souvent seulement 256 Ko), ce qui obligeait les programmeurs à utiliser des techniques de compression et des algorithmes ingénieux pour adapter le dictionnaire et les fonctionnalités de correction orthographique. Cela contraste fortement avec la situation actuelle, où la mise en œuvre d'un correcteur orthographique est une tâche triviale, soulignant les progrès considérables réalisés en génie logiciel et en puissance de calcul. L'article décrit avec éloquence cette évolution, d'une lutte de plusieurs mois avec des limitations de mémoire à la simplicité des implémentations modernes.

Lire plus
(prog21.dadgum.com)
Développement

Pollution de l'air : Le voleur silencieux du cerveau

2025-09-15
Pollution de l'air : Le voleur silencieux du cerveau

Si les effets néfastes de la pollution de l'air sur la santé pulmonaire et cardiaque sont connus de longue date, des recherches récentes mettent en lumière son impact significatif sur la santé du cerveau. Des études montrent que les polluants atmosphériques, tels que les PM2,5, peuvent entraîner des anomalies du développement cérébral fœtal et augmenter le risque de troubles neurodéveloppementaux comme l'autisme, le TDAH et la schizophrénie, ainsi que de maladies neurodégénératives comme Parkinson et Alzheimer. Les polluants de l'air affectent la structure et la fonction du cerveau par des mécanismes tels que l'inflammation, le dysfonctionnement mitochondrial et la dysrégulation du glutamate. Bien qu'une évitement complet soit difficile, la réduction de l'exposition, comme la minimisation de la ventilation en cas de mauvaise qualité de l'air et l'utilisation de purificateurs d'air, peut atténuer les risques.

Lire plus
(neurofrontiers.blog)
Technologie troubles neurologiques

Les géants de la tech s'unissent pour soutenir le développement open source de Chromium

2025-01-09
Les géants de la tech s'unissent pour soutenir le développement open source de Chromium

La Fondation Linux a lancé l'initiative "Supporters of Chromium-Based Browsers", soutenue par Google, Microsoft, Meta et Opera. Cette initiative vise à financer et soutenir le développement open source des projets Chromium, en favorisant la collaboration entre les développeurs, le monde académique et les entreprises technologiques pour assurer la durabilité et l'innovation de l'écosystème. Fonctionnant sur un modèle de gouvernance ouvert, le projet privilégie la transparence et la participation de la communauté. Cette mesure est considérée comme cruciale pour garantir l'avenir des navigateurs basés sur Chromium et promouvoir une plus grande collaboration au sein de l'industrie technologique.

Lire plus
(betanews.com)
Développement Fondation Linux

RTX 5090 : Performances initiales de Llama.cpp en IA

2025-03-10

Suite aux benchmarks CUDA, OpenCL et OptiX de la RTX 5090, l'intérêt des lecteurs a motivé une étude de ses performances en IA, notamment avec Llama.cpp. Des benchmarks initiaux comparant la RTX 5090, les cartes RTX 40 et RTX 30 utilisant Llama.cpp (avec les modèles Llama 3.1 et Mistral 7B) montrent des gains de performance significatifs pour la RTX 5090 en génération de texte et traitement de prompts. D'autres benchmarks plus approfondis suivront en fonction de l'intérêt des lecteurs.

Lire plus
(www.phoronix.com)
IA Performances IA

Une artiste tatoueuse allemande détenue à la frontière américaine pendant 25 jours

2025-03-02
Une artiste tatoueuse allemande détenue à la frontière américaine pendant 25 jours

Jessica Brösche, une artiste tatoueuse allemande, et son amie avaient prévu un projet artistique aux États-Unis, mais elle a été détenue à la frontière américano-mexicaine pendant 25 jours. Les douanes et la protection des frontières américaines (CBP) l'ont accusée d'avoir l'intention de violer son programme d'exemption de visa, malgré un visa valide et un billet de retour. L'incident a suscité l'attention en ligne, des internautes l'ayant localisée et une résidente locale lui ayant rendu visite en détention. Brösche reste détenue, ce qui soulève des inquiétudes concernant le système d'immigration américain et ses coûts de détention élevés.

Lire plus
(www.kpbs.org)
Divers contrôle des frontières système d'immigration américain

Les incendies à Los Angeles forcent des milliers d'évacuations, le JPL de la NASA ferme ses portes

2025-01-08
Les incendies à Los Angeles forcent des milliers d'évacuations, le JPL de la NASA ferme ses portes

D'énormes incendies de forêt faisant rage dans le comté de Los Angeles ont forcé des dizaines de milliers de personnes à évacuer, conduisant à la fermeture du Jet Propulsion Laboratory (JPL) de la NASA. Attisés par des vents violents, les incendies ont consumé des milliers d'hectares, causant des victimes et des dommages matériels importants. Le gouverneur de Californie a déclaré l'état d'urgence. Bien que le JPL lui-même n'ait subi aucun dommage, de nombreux employés ont évacué leurs maisons, certains signalant des pertes importantes. La catastrophe souligne la gravité du changement climatique et soulève des inquiétudes quant à la sécurité de données scientifiques et d'équipements inestimables.

Lire plus
(www.theregister.com)
Technologie incendies de forêt Californie

Échapper au verrouillage du fournisseur de cloud : construisez votre propre Heroku avec CoreOS et Dokploy

2025-08-16
Échapper au verrouillage du fournisseur de cloud : construisez votre propre Heroku avec CoreOS et Dokploy

Cet article aborde les points faibles des coûts et de la maintenance de l’hébergement cloud, en explorant les compromis entre les VPS coûteux et les solutions serverless pratiques. L’auteur propose une solution intermédiaire : combiner CoreOS (un système d’exploitation conteneurisé stable, sécurisé et sans maintenance) avec Dokploy (un outil CI/CD open source similaire à Heroku) pour transformer un VPS en une plateforme peu coûteuse et facile à maintenir. Dokploy simplifie l’orchestration des conteneurs, le déploiement et la gestion des journaux, offrant une expérience similaire à PaaS tout en conservant les avantages en termes de coût et l’indépendance d’un VPS. Cette approche convient aux développeurs ayant une certaine expérience technique qui souhaitent trouver un équilibre entre coût et commodité.

Lire plus
(nikodunk.com)
Développement

Blocage des Réseaux Sociaux au Népal : Des Manifestations Fatales

2025-09-08
Blocage des Réseaux Sociaux au Népal : Des Manifestations Fatales

L'interdiction gouvernementale de 26 plateformes de médias sociaux, dont Facebook et WhatsApp, a déclenché de vastes manifestations au Népal. Des milliers de jeunes sont descendus dans la rue pour dénoncer la répression de la liberté d'expression par le gouvernement. Les manifestations ont dégénéré en violences, faisant au moins 14 morts et des dizaines de blessés, ce qui a conduit au déploiement de l'armée pour rétablir l'ordre. L'incident met en lumière le conflit entre la réglementation gouvernementale et la liberté d'expression, soulevant des inquiétudes quant à l'avenir numérique du Népal.

Lire plus
(www.tribuneindia.com)
Technologie

Dieu a-t-il créé les nombres réels ? Réexamen de la célèbre citation de Kronecker

2025-08-30

Cet essai explore la signification de la célèbre citation de Kronecker : « Dieu a créé les entiers ; tout le reste est l’œuvre de l’homme. » L’auteur soutient que la simplicité des entiers provient de l’abstraction humaine, tandis que la complexité des nombres réels reflète la nature chaotique du monde naturel. Une « hiérarchie de l’étrangeté » est proposée, suggérant que les choses les plus proches des origines naturelles sont les plus étranges d’un point de vue humain. Cela conduit à une discussion sur la science par rapport à l’art, la création divine par rapport à l’invention humaine, et la théorie des ensembles infinis de Cantor et ses implications théologiques. L’essai se conclut par la remise en question par l’auteur du point de vue de Kronecker et une réflexion sur la nature des mathématiques, ce qui en fait un texte perspicace sur le plan philosophique.

Lire plus
(www.ethanheilman.com)
Divers philosophie des mathématiques

Assistant de codage IA : Mon moment « Oh mon Dieu »

2025-01-13
Assistant de codage IA : Mon moment « Oh mon Dieu »

Pendant les vacances de Noël, l'auteur a expérimenté un assistant de codage IA pour convertir une bibliothèque Rust en Haskell. Les résultats ont été étonnants : l'assistant a non seulement effectué la conversion, mais a également généré une suite de tests complète, des liaisons C et une interface CoreAudio. Il ne s'agissait pas d'une simple régurgitation de connaissances, mais d'une invention nouvelle par l'IA. L'auteur estime que les futurs ingénieurs logiciels doivent adopter les assistants IA pour survivre, et qu'une division existe actuellement au sein de l'industrie concernant leur adoption.

Lire plus
(ghuntley.com)
Développement codage IA

Polémique à la FOSDEM : L’intervention de Jack Dorsey, milliardaire, suscite l’indignation

2025-01-16

Jack Dorsey, ancien PDG de Twitter, doit prononcer une conférence à la FOSDEM, une importante conférence sur les logiciels libres. Cela a provoqué une réaction importante au sein de la communauté des logiciels libres. Les critiques pointent du doigt le rôle de Dorsey dans le déclin de Twitter et son implication avec Block, affirmant qu’il ne mérite pas une plateforme aussi importante. L’auteur appelle au boycott et organise une manifestation pour protester contre la présence de Dorsey et plaider pour une réallocation des fonds afin de soutenir la communauté des logiciels libres.

Lire plus
(drewdevault.com)
Développement Logiciels Libres
1 2 … 95 96 97 99 101 102 103 … 595 596