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

Le déclin de Stack Overflow : les assistants IA et un paysage changeant

2025-01-10
Le déclin de Stack Overflow : les assistants IA et un paysage changeant

Stack Overflow, autrefois la ressource principale pour les développeurs cherchant de l'aide en codage, connaît un déclin significatif de son activité. Le nombre de nouvelles questions a chuté de 75 % depuis son pic en 2017, et de 60 % en glissement annuel en décembre 2024. Si l'essor des assistants IA est un facteur contributif, cité par certains comme une cause majeure, les problèmes de culture et de modération du site sont également mis en cause. Bien que Stack Overflow tente de monétiser sa base de connaissances et d'intégrer des fonctionnalités d'IA, la baisse continue de sa plateforme principale de questions-réponses représente une menace sérieuse pour son avenir.

Lire plus
(devclass.com)
Développement assistants IA

Le succès fou de SpaceX : l’algorithme Haywood en action

2025-01-10
Le succès fou de SpaceX : l’algorithme Haywood en action

Cette critique du nouveau livre d’Eric Berger, *Reentry : SpaceX, Elon Musk, and the Reusable Rockets that Launched a Second Space Age*, détaille l’extraordinaire histoire de succès de SpaceX. L’auteur attribue les réussites de SpaceX à l’adhésion extrême d’Elon Musk à « l’algorithme Haywood » : établir une liste de tout ce qui est nécessaire pour réussir, puis tout faire. SpaceX a surmonté d’innombrables obstacles techniques et politiques, révolutionnant l’industrie aérospatiale par ses innovations audacieuses et son exécution quasi-folle, réalisant des fusées réutilisables et réduisant considérablement les coûts de lancement. La critique utilise des anecdotes sur les exploits audacieux de SpaceX, du transport de fusées et de la construction de sites de lancement à la gestion de crises imprévues, pour souligner sa culture d’entreprise unique et sa quête incessante d’innovation malgré les contretemps. En fin de compte, l’auteur soutient que le triomphe de SpaceX provient de son engagement indéfectible envers ses objectifs, de son exécution tenace et du style de leadership non conventionnel de Musk.

Lire plus
(www.thepsmiths.com)
Technologie Fusées

Optimisation de la multiplication de matrices de bytes avec AVX-VNNI

2025-01-10
Optimisation de la multiplication de matrices de bytes avec AVX-VNNI

Cet article explore l'optimisation de la multiplication de matrices de bytes en utilisant le jeu d'instructions AVX-VNNI. L'auteur commence par une implémentation naïve, puis utilise les bibliothèques gemmology et xsimd pour créer des versions optimisées utilisant la transposition et une disposition personnalisée. Les résultats des benchmarks montrent que la disposition personnalisée atteint les meilleures performances, en tirant parti de l'instruction vpdpbusd pour des gains d'efficacité significatifs. L'article approfondit les détails de l'implémentation de la fonction maddw de la bibliothèque gemmology et ses variations architecturales.

Lire plus
(github.com)
Développement Multiplication de Matrices Optimisation des Performances

Construire une plateforme sans code avec Clojure : trouver l’équilibre entre vie personnelle et ambitions professionnelles

2025-01-10
Construire une plateforme sans code avec Clojure : trouver l’équilibre entre vie personnelle et ambitions professionnelles

Une panne de serveur le jour de la Saint-Valentin a été un tournant pour trois développeurs, qui ont ensuite adopté Clojure pour construire la plateforme sans code ambitieuse Vade Studio. Les structures de données immuables de Clojure, son puissant REPL et son paradigme de programmation fonctionnelle les ont aidés à surmonter les défis de la collaboration en temps réel, du générateur d’interface utilisateur glisser-déposer, de la modélisation de données unifiée et du moteur de workflow. Résultat : un développement efficace et un meilleur équilibre entre vie professionnelle et vie personnelle.

Lire plus
(bytes.vadelabs.com)
Développement plateforme sans code

Starlink moins cher que les principaux FAI dans certaines régions d'Afrique

2025-01-10
Starlink moins cher que les principaux FAI dans certaines régions d'Afrique

Le service Internet par satellite Starlink de SpaceX remporte une guerre des prix dans certaines régions d'Afrique. Dans au moins cinq pays africains, l'abonnement mensuel à Starlink est moins cher que les principaux fournisseurs d'accès Internet fixe. Bien que le coût initial du matériel Starlink doive être pris en compte, son faible coût mensuel et sa connectivité haut débit fiable, notamment dans les zones rurales, en font une option plus attrayante. Cela a contraint les opérateurs locaux à baisser les prix et à investir dans leurs propres réseaux satellites. Cependant, la croissance rapide de Starlink soulève également des inquiétudes concernant les monopoles et la suppression d'emplois.

Lire plus
(restofworld.org)
Technologie internet africain

Comment je programme avec les LLMs : Un an d'expérience

2025-01-10
Comment je programme avec les LLMs : Un an d'expérience

Un programmeur chevronné partage son expérience de l'utilisation des grands modèles de langage (LLM) pour la programmation au cours de la dernière année. Il catégorise l'utilisation des LLM en trois domaines : l'autocomplétion, la recherche de code et la programmation par chat. Il a constaté des gains de productivité significatifs grâce à l'autocomplétion et à la recherche de code. La programmation par chat, bien qu'elle nécessite une adaptation, accélère considérablement la rédaction de code, en particulier pour les environnements complexes et le prototypage rapide. Il souligne que les LLM excellent dans les tâches bien définies et met l'accent sur l'importance de compiler et de tester le code généré par les LLM. Il présente également sketch.dev, un outil que son équipe est en train de construire pour fournir un environnement de développement intégré simplifié avec intégration de LLM pour les programmeurs Go.

Lire plus
(arstechnica.com)
Développement Productivité des Développeurs

L'enfer de l'intégration d'OpenTelemetry : une histoire de problèmes d'observabilité

2025-01-10
L'enfer de l'intégration d'OpenTelemetry : une histoire de problèmes d'observabilité

La tentative d'une société de paiement d'intégrer OpenTelemetry dans son système basé sur Spring et Akka s'est transformée en un défi inattendu. Bien qu'OpenTelemetry vise à standardiser les outils d'observabilité, les bibliothèques héritées d'OpenTracing et les API conflictuelles entre les frameworks ont rendu le processus d'intégration étonnamment complexe. L'auteur détaille l'intégration des journaux, des métriques et du tracing, en soulignant les difficultés liées à la propagation du contexte, aux conflits d'API et au débogage des agents Java. La solution a consisté à convertir manuellement les contextes pour combler le fossé entre OpenTelemetry et OpenTracing. Cette histoire illustre de manière vivante comment des outils apparemment standardisés peuvent devenir complexes dans les applications du monde réel et reflète les défis de l'intégration de différentes bibliothèques et frameworks dans le développement de logiciels.

Lire plus
(iconsolutions.com)
Développement Surveillance Traçage distribué

DIRKU : Une bibliothèque d'enregistrement d'images basée sur le flux

2025-01-10
DIRKU : Une bibliothèque d'enregistrement d'images basée sur le flux

DIRKU est une bibliothèque logicielle pour l'enregistrement d'images basé sur le flux, développée au département d'informatique de l'université de Copenhague. Elle prend en charge diverses mesures de similarité (NMI, NCC, SSD), des méthodes de régularisation et la détection de collisions, ce qui la rend adaptée à la gestion de grandes déformations et des difféomorphismes. DIRKU prend en charge l'enregistrement d'images 2D et 3D et propose plusieurs schémas d'optimisation, des méthodes d'interpolation et des méthodes d'intégration temporelle. La bibliothèque est facile à utiliser, installable via Conda, et est fournie avec une documentation et des exemples complets.

Lire plus
(github.com)
Développement enregistrement d'images imagerie médicale

Chute des ventes de véhicules électriques au Japon : première baisse en quatre ans

2025-01-10
Chute des ventes de véhicules électriques au Japon : première baisse en quatre ans

Les ventes de véhicules électriques au Japon ont chuté de 33 % en 2024 par rapport à l'année précédente, atteignant 59 736 unités, soit la première baisse en quatre ans. La part des véhicules électriques dans les ventes totales de véhicules est tombée en dessous de 2 % au Japon, la plus faible parmi les principales économies avancées. Bien que les ventes mondiales de véhicules électriques continuent de croître, quoique à un rythme plus lent, la réticence du Japon à adopter les véhicules électriques devient de plus en plus apparente. Nissan a conservé la première place, tandis que la société chinoise BYD a enregistré une croissance grâce à un nouveau modèle.

Lire plus
(asia.nikkei.com)
Technologie Marché Automobile Japonais

HTML : Le langage de programmation sous-estimé

2025-01-10
HTML : Le langage de programmation sous-estimé

Cet article soutient que HTML, souvent considéré comme un simple balisage, est en réalité un langage de programmation profondément significatif, probablement le plus important jamais développé. Il ne constitue pas seulement la base du Web moderne ; son adaptabilité, son interactivité et sa portée mondiale sont inégalées. L’auteur utilise des anecdotes personnelles et l’exemple d’un site Web créativement cassé, le « Guide de dépannage de broderie », pour illustrer la puissance et le potentiel artistique de HTML. L’accessibilité et la nature démocratique de HTML sont mises en avant, soulignant que n’importe qui peut créer et innover avec lui.

Lire plus
(www.wired.com)
Développement

La Finlande presque sans-abri : leçons d’une stratégie réussie

2025-01-10
La Finlande presque sans-abri : leçons d’une stratégie réussie

La remarquable réduction du nombre de sans-abri en Finlande au cours des trois dernières décennies, de plus de 16 000 en 1989 à environ 4 000 en 2020, découle d’une stratégie nationale soutenue axée sur une approche « D’abord le logement ». Celle-ci donne la priorité à la fourniture d’un logement immédiat, indépendant et permanent, associée à des services de soutien social intégrés et à une aide financière par le biais du système de prestations sociales. Contrairement aux solutions temporaires, cette stratégie assure une base solide pour répondre à d’autres besoins tels que l’emploi et les soins de santé. Le succès souligne l’importance d’une approche équilibrée associant une aide financière, un soutien complet et une augmentation de l’offre de logements, ce qui s’avère beaucoup plus efficace que de dépendre d’un seul levier. Le modèle finlandais offre des leçons précieuses aux autres pays de l’OCDE qui cherchent à lutter efficacement contre le sans-abrisme.

Lire plus
(oecdecoscope.blog)
Divers sans-abrisme politique du logement protection sociale

Présentation des applications Ruby on Rails : We Use Rails

2025-01-10
Présentation des applications Ruby on Rails : We Use Rails

We Use Rails est une plateforme présentant des applications web construites avec le framework Ruby on Rails. Elle met en avant une variété d'applications, des startups aux grandes entreprises, couvrant les domaines de la finance, des jeux, du e-commerce, etc. Les développeurs peuvent y trouver l'inspiration, et les entreprises peuvent explorer les capacités de Rails. La plateforme propose la soumission et la recherche d'applications gratuites, ainsi que des fonctionnalités premium pour une visibilité accrue.

Lire plus
(weuserails.com)
Développement Applications Web Plateforme de Développement

Nouveau superpouvoir débloqué : repérer les différences dans les images

2025-01-10
Nouveau superpouvoir débloqué : repérer les différences dans les images

L'auteur a découvert une vidéo sur Reddit montrant l'incroyable capacité d'une fillette de 9 ans à identifier rapidement de minuscules différences entre des images presque identiques. Initialement incapable de reproduire cela, l'auteur a découvert qu'en croisant les yeux pour superposer les images, une troisième image apparaissait, mettant en évidence les différences avec un effet scintillant. Cette nouvelle compétence, décrite comme un « superpouvoir », est partagée avec des exercices pratiques et des images de différents niveaux de difficulté.

Lire plus
(danielwirtz.com)
Divers capacités visuelles

Nous n'avons jamais été purs : Une longue histoire de la mondialisation

2025-01-10
Nous n'avons jamais été purs : Une longue histoire de la mondialisation

Cet essai remet en question l'idée que la mondialisation a commencé dans les années 1990, arguant qu'il s'agit plutôt d'un processus continu tout au long de l'histoire humaine. En analysant les marchés historiques, l'échange colombien et les échanges culturels, l'auteur démontre que le mélange culturel n'est pas un phénomène moderne, mais une caractéristique fondamentale de l'évolution de la société humaine. L'article critique la vision de la mondialisation comme une menace, suggérant que cela provient d'une amnésie historique et d'un fantasme de « cultures pures ». Il appelle à reconnaître la mondialisation comme le moteur de l'évolution culturelle humaine, et non comme une catastrophe.

Lire plus
(aeon.co)
Divers mondialisation échange culturel

Méthodes formelles : une simple bonne pratique d’ingénierie ?

2025-01-10

Marc Brooker, ingénieur chez Amazon Web Services, soutient dans son discours d’ouverture à la conférence TLA+ que les méthodes formelles ne représentent pas une surcharge coûteuse, mais plutôt un gain de temps et d’argent pour les systèmes critiques de grande envergure, distribués ou de bas niveau. En réduisant les reprises et le coût des modifications, la conception formelle améliore considérablement l’efficacité du développement de logiciels. Tous les logiciels n’en bénéficient pas ; le développement agile est plus adapté aux domaines sensibles aux évolutions des besoins des utilisateurs, comme les interfaces utilisateur ou la logique de tarification. Cependant, pour les grands systèmes aux besoins clairement définis, les méthodes formelles réduisent efficacement le taux de bogues et améliorent les performances. Brooker recommande plusieurs outils, notamment des langages de spécification comme TLA+, P et Alloy, des vérificateurs de modèles et des langages de programmation avec vérification. Il souligne que les méthodes formelles garantissent non seulement la correction, mais aident également à explorer les options d’optimisation, évitant ainsi le compromis difficile entre correction et performance.

Lire plus
(brooker.co.za)
Développement méthodes formelles

L'héroïsme fastidieux de David Ruggles : une histoire du chemin de fer clandestin

2025-01-10
L'héroïsme fastidieux de David Ruggles : une histoire du chemin de fer clandestin

Cet article relate les efforts largement anodins de l'abolitionniste David Ruggles en 1836 pour libérer cinq hommes réduits en esclavage à bord du brick Brilliante. Le récit se concentre sur les fastidieuses et souvent frustrantes batailles bureaucratiques auxquelles Ruggles a été confronté, soulignant la réalité peu glamour d'une grande partie du travail abolitionniste : les innombrables heures passées à naviguer dans les processus juridiques, à faire des pétitions aux fonctionnaires et à subir des revers. Bien que seuls deux hommes aient finalement été libérés, l'article souligne l'importance vitale de cet « héroïsme fastidieux » dans la lutte plus large contre l'esclavage et sa contribution souvent négligée au changement historique.

Lire plus
(commonplace.online)
Divers Chemin de fer clandestin Abolitionnisme

Boulette : Prévention des arrêts accidentels de serveurs

2025-01-10
Boulette : Prévention des arrêts accidentels de serveurs

En codant tard le soir, vous tapez instinctivement `shutdown -h now`, pour vous rendre compte que vous avez arrêté votre serveur de production au lieu de votre machine locale ! Découvrez Boulette, un outil qui empêche les arrêts accidentels et autres commandes dangereuses en demandant une confirmation. Personnalisez le type de défi : exigez un nom d’hôte, des nombres aléatoires ou des caractères avant l’exécution. Il est particulièrement utile pour les sessions SSH et offre une création facile d’alias pour une sécurité et une commodité accrues dans l’administration des serveurs.

Lire plus
(github.com)
Développement administration de serveurs

La stratégie indienne de paiement digital met à l'écart Visa et Mastercard

2025-01-10
La stratégie indienne de paiement digital met à l'écart Visa et Mastercard

L'Inde réduit stratégiquement sa dépendance aux réseaux de paiement occidentaux tels que Visa et Mastercard, en s'appuyant sur son interface de paiement unifiée (UPI) et RuPay, des systèmes nationaux. Le volume massif de transactions et la facilité d'utilisation de l'UPI en ont fait le mode de paiement dominant, tandis que RuPay, avec des droits exclusifs pour traiter les transactions par carte de crédit via l'UPI, gagne rapidement des parts de marché. Cette stratégie réduit les frais pour les commerçants, stimule l'indépendance de l'économie numérique indienne et représente un défi important pour Visa et Mastercard.

Lire plus
(techcrunch.com)
Technologie Paiements Digitaux

Un carotte de glace de 1,2 million d'années extraite de l'Antarctique

2025-01-10
Un carotte de glace de 1,2 million d'années extraite de l'Antarctique

Une équipe internationale de scientifiques a réalisé un exploit remarquable en forant à près de 2 miles (2,8 kilomètres) dans le sous-sol rocheux de l'Antarctique, récupérant l'une des carottes de glace les plus anciennes jamais découvertes – au moins 1,2 million d'années. Le projet Beyond EPICA, coordonné par l'Italie, a nécessité quatre années de forage à des températures moyennes de -35°C (-25,6°F). L'analyse de cette glace ancienne devrait révéler des informations cruciales sur l'évolution de l'atmosphère et du climat de la Terre, éclairant les cycles des âges glaciaires et l'impact du carbone atmosphérique sur le changement climatique. Cette découverte fournit des données inestimables pour comprendre et faire face à la crise climatique actuelle.

Lire plus
(apnews.com)
Technologie Antarctique forage carotte de glace

Le revirement de Google sur la politique d'empreinte digitale : Dix ans de progrès en matière de confidentialité remis en question ?

2025-01-10

Le changement de politique de Google prévu pour février 2025, autorisant l'empreinte digitale des appareils à des fins publicitaires, a suscité de vives critiques de la part du Bureau du Commissaire à l'information du Royaume-Uni (ICO). Ceci est considéré comme une possible érosion de la confidentialité en ligne au cours de la dernière décennie. Auparavant, Google s'était engagé à interdire l'empreinte digitale pour protéger la confidentialité des utilisateurs et s'aligner sur ses initiatives Privacy Sandbox. Cependant, la nouvelle politique n'exige que la divulgation de la collecte de données, et non l'interdiction de l'empreinte digitale elle-même. Cela contredit les déclarations précédentes de Google et pourrait ouvrir la voie à une publicité hautement ciblée, alimentée par l'IA, intensifiant ainsi la collecte de données et les risques pour la confidentialité. Les analystes craignent que cela ne signale une régression en matière de confidentialité en ligne et ne préfigure des approches similaires dans les futurs produits Google.

Lire plus
(blog.lukaszolejnik.com)
Technologie confidentialité en ligne

Vers le raisonnement de système 2 dans les LLMs : apprendre à penser avec Meta Chain-of-Thought

2025-01-10
Vers le raisonnement de système 2 dans les LLMs : apprendre à penser avec Meta Chain-of-Thought

Les chercheurs proposent un nouveau cadre, Meta Chain-of-Thought (Meta-CoT), qui étend la méthode Chain-of-Thought (CoT) traditionnelle en modélisant explicitement le raisonnement sous-jacent nécessaire pour arriver à un CoT particulier. Meta-CoT utilise la supervision de processus, la génération de données synthétiques et des algorithmes de recherche. L'article décrit un pipeline d'entraînement intégrant l'ajustement d'instructions avec des traces de recherche linéarisées et l'apprentissage par renforcement. Ce travail fournit une feuille de route pour activer Meta-CoT dans les LLMs, promettant un raisonnement plus puissant et plus humain en IA.

Lire plus
(arxiv.org)
IA Chaîne de pensée

Elimination sécurisée des appareils intelligents : la réinitialisation d’usine est essentielle

2025-01-10
Elimination sécurisée des appareils intelligents : la réinitialisation d’usine est essentielle

Un article de blog de Rapid7 souligne l’importance de l’élimination sécurisée des anciens appareils intelligents. L’expérience de l’auteur consistant à acheter des appareils Amazon Echo d’occasion a révélé que beaucoup n’avaient pas été réinitialisés en usine, conservant ainsi les données des utilisateurs, telles que les mots de passe WiFi et les adresses résidentielles. Cela souligne la nécessité de réinitialiser les appareils en usine avant de les jeter ou de les revendre, même s’ils semblent cassés. L’article souligne que cela s’applique autant aux entreprises qu’aux consommateurs, recommandant aux entreprises de mettre en place des processus complets de gestion du cycle de vie de l’IoT pour atténuer les risques de sécurité.

Lire plus
(www.rapid7.com)
Technologie élimination des appareils

De belles clés API : le package uuidkey

2025-01-10
De belles clés API : le package uuidkey

AgentStation, dans le but d'améliorer l'expérience développeur, a créé le package uuidkey Go pour générer des clés API esthétiquement agréables. En utilisant UUIDv7, l'encodage Crockford Base32 et des tirets placés stratégiquement, il produit des clés triables, performantes et visuellement attrayantes. L'article détaille le raisonnement derrière le choix de UUIDv7 et de Crockford Base32, explique la conception des tirets et fournit des instructions d'utilisation et les résultats de référence du package uuidkey.

Lire plus
(docs.agentstation.ai)
Développement Clés API

Bird Buddy lance la caméra "Wonder" pour observer les insectes

2025-01-10
Bird Buddy lance la caméra

Les créateurs de Bird Buddy, un distributeur de nourriture pour oiseaux équipé d'une caméra, ont présenté aujourd'hui deux produits conçus pour observer les insectes, les fleurs, les oiseaux et d'autres éléments de la flore et de la faune. Sous une nouvelle marque "Wonder", les créateurs de Bird Buddy ont introduit la caméra Petal et les Wonder Blocks, conçus pour "capturer les moments merveilleux de la nature" dans un jardin. Petal est décrite comme une caméra biomorphique polyvalente qui prend des photos et des vidéos, un peu comme le Bird Buddy. Les photos prises sont envoyées à une application et peuvent être visualisées sur iPhone. Une fonction IA intégrée appelée Nature Intelligence interprète les "vues et les sons de la nature", pour montrer des oiseaux qui éclosent, des papillons qui voltigent, des abeilles qui visitent des fleurs, et plus encore. La caméra possède une tige flexible et un clip universel pour qu'elle puisse être positionnée n'importe où à l'extérieur, et elle peut être achetée avec un toit solaire en option. Les Wonder Blocks sont conçus pour être utilisés avec Petal, et peuvent être utilisés pour créer des habitats pour la faune. Avec une base en piédestal, les utilisateurs peuvent personnaliser les Wonder Blocks avec des plantes, des plateaux de semences, des hôtels à abeilles, des hôtels à insectes et un distributeur de nourriture pour papillons. La caméra Petal et les Wonder Blocks seront disponibles dans le cadre d'une campagne Kickstarter au printemps 2025.

Lire plus
(www.macrumors.com)
Technologie caméra intelligente observation de la nature faune

Le DOJ autorisé à vendre pour 6,5 milliards de dollars de Bitcoin saisis sur Silk Road

2025-01-10
Le DOJ autorisé à vendre pour 6,5 milliards de dollars de Bitcoin saisis sur Silk Road

Le Département de la Justice américain (DOJ) a reçu l'autorisation du tribunal de vendre environ 69 000 Bitcoin saisis sur le marché du darknet Silk Road, actuellement évalués à environ 6,5 milliards de dollars. Cette décision met fin à un long litige juridique. Malgré les objections et les tentatives de blocage de la vente par Battle Born Investments, le DOJ a prévalu. Invoquant la volatilité du prix du Bitcoin, le DOJ a plaidé pour une vente rapide afin d'atténuer les pertes potentielles. La vente, gérée par le US Marshals Service, sera l'une des plus importantes ventes de cryptomonnaies saisies de l'histoire.

Lire plus
(cryptobriefing.com)
Technologie

Koa.js : Un framework web Node.js nouvelle génération

2025-01-10

Koa.js, des créateurs d'Express, est un nouveau framework web pour Node.js qui vise à créer une base plus petite, plus expressive et plus robuste pour les applications web et les API. En tirant parti des fonctions asynchrones, Koa supprime les callbacks et améliore considérablement la gestion des erreurs. Il n'intègre pas de middleware, offrant à la place un ensemble élégant de méthodes pour construire des serveurs rapides et agréables. Les middlewares se chaînent de manière optimisée, et Koa fournit un contexte riche avec des méthodes simplifiant les tâches courantes HTTP comme la négociation de contenu, la mise en cache et la redirection.

Lire plus
(koajs.com)
Développement

Expérimente la dilatation du temps : une calculatrice en ligne

2025-01-10

timedilationforumula.com propose une calculatrice de dilatation du temps. Entrez la distance (années-lumière) et l'accélération (m/s²) pour calculer les effets relativistes : temps du voyageur contre temps de l'observateur, vitesse maximale, besoins énergétiques et décalage Doppler. Des graphiques interactifs visualisent ces effets. Le site explique la dilatation du temps, sa formule et les FAQ, telles que le paradoxe des jumeaux et la dilatation du temps gravitationnel.

Lire plus
(timedilationformula.com)
Technologie dilatation du temps relativité calculatrice en ligne

Peut-on comprendre cette preuve ? Un aperçu de la mathématique formalisée

2025-01-10
Peut-on comprendre cette preuve ? Un aperçu de la mathématique formalisée

Stephen Wolfram explore une énigme mathématique de longue date : la preuve d’un axiome étonnamment simple pour l’algèbre booléenne. Générée à l’aide d’une démonstration automatique de théorèmes, la preuve est incroyablement complexe et reste incompréhensible pour les humains. L’article explore les complexités de la preuve, dissèque ses opérations au niveau du « code machine » et propose un défi : humaniser cette preuve. Il discute du potentiel des grands modèles de langage (LLM) pour comprendre et simplifier la preuve, ainsi que des implications pour l’avenir des mathématiques. La conclusion suggère que certaines preuves mathématiques peuvent être intrinsèquement ininterprétables, ce qui indique que les mathématiques ressembleront de plus en plus à une science expérimentale.

Lire plus
(writings.stephenwolfram.com)
Mathématiques démonstration automatique de théorèmes mathématiques formalisées irréductibilité computationnelle

Feuilles d'espionnage en cascade : Exploitation de la complexité du CSS moderne pour l'empreinte digitale des emails et des navigateurs

2025-01-10

Des chercheurs ont découvert que les fonctionnalités dynamiques du CSS moderne permettent l'empreinte digitale dans les navigateurs et les emails, même avec JavaScript désactivé. Trois techniques utilisant les requêtes de conteneur, les fonctions arithmétiques et les sélecteurs complexes permettent d'obtenir une grande précision dans l'inférence des configurations d'application, de système d'exploitation et de matériel. Cette technique d'empreinte digitale fonctionne même dans l'environnement restrictif des emails HTML. Les chercheurs proposent deux mécanismes de défense : le préchargement des ressources du navigateur et un service proxy d'email.

Lire plus
(cispa.de)
Technologie

Wasmer recrute : Ingénieur logiciel Rust pour construire la prochaine génération de l'informatique de périphérie

2025-01-10
Wasmer recrute : Ingénieur logiciel Rust pour construire la prochaine génération de l'informatique de périphérie

Wasmer, une startup de Y Combinator qui construit la prochaine génération de plateformes informatiques cloud et de périphérie utilisant WebAssembly, recherche un ingénieur logiciel Rust expérimenté. Vous travaillerez à la construction d'infrastructures telles que les conteneurs WebAssembly, le stockage, les réseaux et l'orchestration, en collaborant étroitement avec la communauté open source. Les candidats idéaux maîtriseront Rust ou C/C++, auront de l'expérience avec WebAssembly, WASI et Emscripten, et posséderont une solide expérience en ingénierie logicielle. C'est une chance de travailler sur une technologie révolutionnaire et de contribuer à la communauté open source.

Lire plus
(www.workatastartup.com)
Développement Informatique de périphérie
1 2 … 530 531 532 534 536 537 538 … 595 596