41
 

Pourquoi ne pas simplement utiliser Lean ?

 (lawrencecpaulson.github.io)
L’histoire de la formalisation mathématique dépasse largement Lean, et l’essor de l’IA pourrait encore réduire l’importance de choisir un seul proof assistant comme référence absolue.
1 points par GN⁺ 1 일 전 | 1 commentaires
42
 

Aux étudiants

 (ozark.hendrix.edu)
Un appel aux étudiants à privilégier l’éthique, la réflexion profonde et les relations humaines dans une industrie informatique secouée par le court-termisme et les dérives technologiques.
1 points par GN⁺ 1 일 전 | 1 commentaires
43
 

Warp annonce le passage en open source et un modèle de développement centré sur les agents

 (x.com/zachlloydtweets)
Warp passe son client en open source sous AGPL et présente un modèle de développement « agent-first » piloté par Oz avec le soutien d’OpenAI.
4 points par ragingwind 1 일 전 | 1 commentaires
44
 

Incident en cours sur GitHub

 (githubstatus.com)
GitHub subit actuellement une dégradation des Pull Requests, avec des résultats incomplets sur `/pulls` et `/repo/pulls` pendant les opérations de réindexage en cours.
1 points par GN⁺ 1 일 전 | 1 commentaires
45
 

Super ZSNES - Émulateur SNES basé sur le GPU

 (zsnes.com)
Une réécriture complète de ZSNES sous forme d’émulateur SNES basé sur le GPU, avec améliorations visuelles, Mode 7 haute résolution et fonctions de confort modernes.
1 points par GN⁺ 1 일 전 | 1 commentaires
46
 

Quarkdown 2.0.0 - Le Markdown enrichi de fonctionnalités puissantes

 (quarkdown.com)
Quarkdown 2.0.0 enrichit le Markdown avec une composition avancée, une sortie HTML hors ligne, du rendu parallèle et de nouvelles options pour les documents et sites statiques.
2 points par GN⁺ 1 일 전 | 1 commentaires
47
 

Warp publie en open source son environnement de développement agentique basé sur le terminal

 (github.com/warpdotdev)
Warp a open sourcé le code de son terminal et propose aussi un modèle de contribution open source appuyé sur des agents IA.
6 points par happyhaki 1 일 전 | 4 commentaires
48
 

La banque centrale néerlandaise abandonne AWS et choisit Lidl pour un cloud européen

 (techzine.eu)
La banque centrale néerlandaise s’apprête à quitter AWS pour Stackit, le cloud européen de Schwarz Digits né dans l’IT interne de Lidl.
1 points par GN⁺ 1 일 전 | 1 commentaires
49
 

Talkie, un modèle de langage vintage 13B de 1930

 (talkie-lm.com)
Talkie est un modèle de langage vintage 13B entraîné sur 260B tokens de textes anglais antérieurs à 1931 afin d’explorer la généralisation, la prédiction du futur et des évaluations moins contaminées.
1 points par GN⁺ 1 일 전 | 1 commentaires
50
 

dirac - un agent IA open source précis et très efficace en tokens

 (github.com/dirac-run)
Dirac est un agent IA open source axé sur la précision, l’efficacité en tokens et le faible coût, avec de solides résultats en refactorisation multi-fichiers.
1 points par GN⁺ 1 일 전 | 1 commentaires
51
 

La Chine bloque l’acquisition de la startup d’IA Manus par Meta

 (cnbc.com)
La Chine a demandé à Meta de renoncer au rachat de Manus, une startup d’IA transférée à Singapore, après un examen réglementaire sur l’investissement étranger et les technologies sensibles.
1 points par GN⁺ 1 일 전 | 1 commentaires
52
 

VibeVoice - Modèle d’IA vocale open source de pointe

 (github.com/microsoft)
La famille open source VibeVoice de Microsoft réunit des modèles vocaux IA pour l’ASR, la TTS et le temps réel, avec support multilingue et traitement de longues séquences.
26 points par xguru 1 일 전 | 1 commentaires
53
 

Mon bleu est-il le même que votre bleu ?

 (ismy.blue)
Une courte interaction vous invite à classer la frontière entre le bleu et le vert pour comparer la perception des couleurs.
1 points par GN⁺ 2 일 전 | 2 commentaires
54
 

Harness Engineering : l’ère où la conception de l’environnement de travail compte plus que le modèle

 (addyosmani.com)
Selon Addy Osmani, les performances des IA de programmation dépendent moins du modèle que du harness qui organise outils, contexte, hooks et boucles de travail.
46 points par ragingwind 2 일 전 | 10 commentaires
55
 

pgBackRest n’est plus maintenu

 (github.com/pgbackrest)
pgBackRest, outil de sauvegarde et restauration PostgreSQL, n’est plus maintenu malgré ses nombreuses fonctions d’intégrité, d’archivage et d’exploitation à grande échelle.
3 points par GN⁺ 2 일 전 | 1 commentaires
56
 

Chez Mercor, fuite de 4 To d’échantillons vocaux de 40 000 sous-traitants IA

 (app.oravys.com)
Une fuite de 4 To chez Mercor aurait exposé les voix et pièces d’identité de plus de 40 000 sous-traitants IA, ouvrant la voie au clonage vocal et à des fraudes ciblées.
1 points par GN⁺ 2 일 전 | 1 commentaires
57
 

Les hommes qui regardent les murs

 (alexselimov.com)
Regarder un mur quelques minutes, avec mise au point floue et vision périphérique, aiderait à réduire le brouillard mental et à retrouver de la concentration.
2 points par GN⁺ 2 일 전 | 1 commentaires
58
 

GitHub Copilot passe à une facturation basée sur l’usage

 (github.blog)
GitHub Copilot adoptera une facturation basée sur l’usage à partir du 1er juin 2026, avec des AI Credits mensuels remplaçant les premium request units.
6 points par GN⁺ 2 일 전 | 10 commentaires
59
 

HyperFrames - un framework open source dédié aux agents IA pour créer des vidéos en HTML

 (github.com/heygen-com)
Un framework open source pour agents IA qui crée des vidéos en HTML pur, avec rendu MP4 déterministe et licence Apache 2.0.
21 points par xguru 2 일 전 | 1 commentaires
60
 

Microsoft et OpenAI mettent fin à leur accord d’exclusivité et de partage des revenus

 (bloomberg.com)
Microsoft et OpenAI modifient leur partenariat en mettant fin à l’exclusivité de distribution et au partage des revenus sur la revente cloud.
4 points par GN⁺ 2 일 전 | 1 commentaires