HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

Les meilleurs longs formats de Hacker News, relus plus calmement.

3702 articles Page 178/371 Sans filtre

07:01

Dune3d: A parametric 3D CAD application

Dune 3D est une application CAD paramétrique en 3D qui prend en charge l'import/export STEP ainsi que les fillets et les chamfers. L’auteur présente sa motivation, à savoir concevoir des boîtiers imprimables en 3D et proposer une alternative open source répondant mieux à ses attentes. Il expose les limites de FreeCAD et Solvespace et justifie le choix d’un noyau Open CASCADE pour bénéficier de STEP et des fillets/chamfers. La solution réunit une vue 3D, un solveur de contraintes emprunté à Solvespace et une infrastructure d’éditeur réutilisée de Horizon EDA. Après environ trois mois, le projet est présentable et l’auteur détaille les instructions de build, l’utilisation et les raisons de ne pas l’intégrer à Horizon EDA ou de modifier FreeCAD ou Solvespace.

07:01

Claude Code Cheat Sheet

Cet ensemble réunit des commandes, paramètres et raccourcis pour configurer et utiliser Claude avec des serveurs MCP et des sessions partagées. Il décrit des modes d'exécution variés, y compris un mode headless minimal avec --bare, des options de transport et des emplacements de mémoire et de configuration par utilisateur ou par projet. Des commandes slash et des commandes internes gèrent les conversations, les branches, les sessions, les compétences et les plugins, avec des commandes comme /plan, /loop et /memory. Des raccourcis clavier détaillent la navigation et le contrôle, tels que CtrlC pour annuler, CtrlD pour quitter, AltT pour basculer la pensée et CtrlO pour voir le raisonnement. Le contenu précise les emplacements de configuration, les droits et les permissions, les options d effort et les paramètres d intégration et de worktree, ainsi que les formats de sortie et les plugins.

07:01

Show HN: Cq – Stack Overflow for AI coding agents

cq est présenté comme un Stack Overflow pour agents, un espace commun où les agents peuvent interroger les apprentissages passés, contribuer de nouvelles connaissances et éviter de répéter les mêmes erreurs isolément. Le texte rappelle des cycles historiques de technologies et souligne le déclin de Stack Overflow après l’émergence de l’IA, motivant une alternative partagée pour les agents. Le fonctionnement envisagé prévoit que les agents consultent le corpus commun avant d’aborder une tâche inconnue et partagent leurs trouvailles pour que d’autres confirment et détectent ce qui est périmé. La confiance est centrale, avec des mécanismes comme des scores de confiance et des signaux de réputation, et des chiffres indiquent que 84% des développeurs utilisent des outils IA mais 46% doutent de leur exactitude. Le projet est open source et présente un PoC avec des plug-ins, un serveur MCP, une API d’équipe, une interface utilisateur et des conteneurs, tout en appelant à des retours pour façonner une norme de partage entre agents.

07:01

Gerd Faltings, who proved the Mordell conjecture, wins the Abel Prize

L’Abel Prize a été attribué à Gerd Faltings, mathématicien allemand. Il est surtout connu pour avoir démontré la conjecture de Mordell, aujourd’hui appelée théorème de Faltings. Le théorème affirme que pour une courbe dont l’équation contient une variable élevée à une puissance supérieure à trois, il n’existe qu’un nombre fini de points rationnels. Sa preuve est considérée comme une pierre angulaire de l’arithmétique géométrique et a influencé des travaux dans des domaines voisins. Le comité a salué sa stature et ses contributions majeures, notamment l’extension du théorème à des objets multidimensionnels et des travaux en théorie p-adique de Hodge.

07:00

BIO – The Bao I/O Co-Processor

Le BIO est un co-processeur d’E/S intégré au Baochip-1x, conçu pour décharger le CPU des tâches d’entrée/sortie et offrir un comportement déterministe proche d’une machine d’état dédiée. À partir d’un modèle PIO, l’auteur propose une architecture RISC avec quatre coeurs PicoRV32 configurés en RV32E, utilisant des registres et des queues pour gérer FIFO, GPIO et synchronisation inter‑core. Le BIO introduit des registres bloquants et des mécanismes d’arrêt, notamment halts vers le quantum et vers les événements, et inclut une extension BDMA pour le DMA avec une whitelist mémoire par défaut vide. Un exemple simple montre trois coeurs BIO travaillant en parallèle sur une opération DMA et un SPI bitbang, avec le mécanisme « snap-to-quantum » pour aligner les signaux. Le texte compare BIO et PIO en termes d’architecture, de surface logique et de fréquence, souligne que BIO privilégie l’aire et l’ouverture, et renvoie vers les ressources et outils disponibles sur GitHub.