2541
 

Le problème d’Erdős n°728 résolu presque de manière autonome par l’IA

 (mathstodon.xyz)
Des outils d’IA ont presque résolu de manière autonome le problème d’Erdős n°728, illustrant leur impact croissant sur la recherche mathématique et la rédaction scientifique.
2 points par GN⁺ 2026-01-10 | 1 commentaires
2542
 

Flock Safety a codé en dur 53 fois le mot de passe de l’infrastructure de surveillance américaine

 (nexanet.ai)
Une clé d’API ArcGIS codée en dur par Flock Safety a exposé l’accès à des données sensibles de surveillance couvrant environ 12 000 organisations aux États-Unis.
2 points par GN⁺ 2026-01-10 | 1 commentaires
2543
 

De Mypy à Ty : guide d’adoption du vérificateur de types Python ultra-rapide en Rust créé par l’éditeur de ...

 (blog.pythonlibrary.org)
Guide d’adoption de `ty`, le nouveau vérificateur de types Python ultra-rapide en Rust d’Astral, avec installation via `uv`, configuration et intégration CI.
12 points par darjeeling 2026-01-10 | Commentaires et discussion
2544
 

Publication de la version alpha d’Orion pour Linux

 (help.kagi.com)
La version alpha d’Orion pour Linux permet de tester les fonctions essentielles du navigateur, avec gestion des onglets, favoris et mots de passe.
1 points par GN⁺ 2026-01-10 | 1 commentaires
2545
 

Ingénierie chez Anthropic : guide pratique et méthodologie pour l’évaluation (evals) des agents IA

 (anthropic.com)
Anthropic explique comment évaluer efficacement les agents IA en combinant tests logiciels, notation par code et jugements de LLM tout au long du cycle de développement.
16 points par darjeeling 2026-01-10 | 1 commentaires
2546
 

Les meilleurs produits du CES 2026

 (nytimes.com)
Une sélection des produits les plus marquants du CES 2026, entre robots maladroits et appareils étonnamment utiles pour la vie quotidienne.
9 points par GN⁺ 2026-01-10 | Commentaires et discussion
2547
 

Mathématiques pour l’informatique (2018) [PDF]

 (courses.csail.mit.edu)
Le manuel ouvert du MIT « Mathematics for Computer Science » présente de façon structurée les notions essentielles de logique, preuves, combinatoire, probabilités et récurrences pour les étudiants en informatique.
5 points par GN⁺ 2026-01-10 | 1 commentaires
2548
 

Prise de position du CEO de Cloudflare concernant l’amende infligée en Italie

 (twitter.com/eastdakota)
Le CEO de Cloudflare a brièvement réagi sur Twitter à une amende imposée en Italie, sans fournir de détails sur ses motifs, son montant ni son fondement juridique.
1 points par GN⁺ 2026-01-10 | 1 commentaires
2549
 

« Lend Me Your Ears », un jeu de mémoire pour apprendre le piano à l’oreille

 (lend-me-your-ears.specr.net)
Un jeu interactif dans le navigateur pour entraîner l’oreille musicale en rejouant au piano les mélodies entendues.
5 points par GN⁺ 2026-01-10 | 1 commentaires
2550
 

Le gouvernement vietnamien interdit « toutes les applications bancaires » sur les smartphones rootés

 (xdaforums.com)
Le Vietnam impose le blocage des applications bancaires sur les appareils rootés, avec bootloader déverrouillé ou ADB activé.
1 points par GN⁺ 2026-01-10 | 1 commentaires
2551
 

La Commission européenne lance un appel à contributions pour recueillir des éléments sur l’open source

 (lwn.net)
La Commission européenne ouvre un appel à contributions sur l’open source afin de préparer une stratégie visant à renforcer la souveraineté numérique et l’autonomie technologique de l’UE.
1 points par GN⁺ 2026-01-10 | 1 commentaires
2552
 

Anthropic bloque l’usage tiers des abonnements Claude Code

 (github.com/anomalyco)
Des utilisateurs ont signalé l’arrêt soudain de Claude Max dans OpenCode, sur fond d’accusations de blocage des outils tiers par Anthropic et de débat sur les abus d’API.
4 points par GN⁺ 2026-01-10 | 1 commentaires
2553
 

metacode - un langage de commentaires déclaratif et un parseur pour standardiser les action comments

 (github.com/pomponchik)
Une bibliothèque propose un langage de commentaires déclaratif et un parseur officiel pour standardiser les action comments dans l’écosystème Python.
1 points par xguru 2026-01-10 | Commentaires et discussion
2554
 

L’utilité déraisonnablement remarquable de la transformée de Fourier

 (joshuawise.com)
Cette présentation montre comment la transformée de Fourier et l’OFDM simplifient les problèmes complexes de communication pour rendre possibles des transmissions radio à la fois rapides et fiables.
11 points par GN⁺ 2026-01-10 | 7 commentaires
2555
 

Appelons un meurtre un meurtre

 (daringfireball.net)
Le texte qualifie la mort de Renee Good à Minneapolis de meurtre et souligne le rôle décisif de la vidéo filmée par la témoin Caitlin Callenson.
1 points par GN⁺ 2026-01-10 | 1 commentaires
2556
 

Embassy - un framework embarqué moderne basé sur Rust et async

 (github.com/embassy-rs)
Embassy est un framework embarqué moderne basé sur Rust et async, conçu pour le multitâche sûr, efficace et basse consommation sans RTOS.
4 points par GN⁺ 2026-01-10 | 2 commentaires
2557
 

Sopro TTS : modèle TTS de 169 millions de paramètres, compatible clonage vocal zero-shot et exécutable sur CPU

 (github.com/samuel-vitorino)
Sopro TTS est un modèle TTS léger en anglais de 169M de paramètres, compatible clonage vocal zero-shot, streaming et exécution sur CPU.
3 points par GN⁺ 2026-01-10 | 1 commentaires
2558
 

Les autorités du Minnesota privées d’accès aux preuves dans l’affaire de la mort par balle impliquant l’ICE...

 (pbs.org)
Le Minnesota affirme être privé d’accès aux preuves dans une affaire de mort par balle impliquant l’ICE, tandis que le FBI refuse une enquête conjointe.
1 points par GN⁺ 2026-01-10 | 1 commentaires
2559
 

Les outils d’assistance au code par IA sont-ils en train de se dégrader ?

 (spectrum.ieee.org)
Les assistants de code par IA semblent se dégrader, les modèles récents produisant davantage d’échecs silencieux où le code s’exécute mais renvoie des résultats faux.
10 points par GN⁺ 2026-01-10 | 1 commentaires
2560
 

Pourquoi, selon Cal Newport, la promesse des agents IA pour 2025 a manqué sa cible

 (aisparkup.com)
La promesse d’une révolution des agents IA ne s’est pas encore concrétisée, et la leçon pour 2026 est d’évaluer lucidement les capacités réelles de l’IA plutôt que de céder au battage médiatique.
5 points par davespark 2026-01-09 | Commentaires et discussion