HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 399/1208 Sans filtre

Autoregressive Language Model on the 6502 Processor

L'auteur a entraîné un petit modèle autoregressif basé sur Mamba et a écrit un moteur d'inférence pour le processeur 8 bits MOS 6502 d'un BBC Micro disposant de 32KB de RAM. Les poids et le code d'inférence ont dû tenir dans environ 25KB d'espace utilisateur (9KB pour le code, 13KB pour les poids), ce qui a conduit à utiliser BitNet avec quantification ternaire et un empaquetage de 4 paramètres par octet pour stocker environ 52k paramètres. Pour contourner l'absence d'instruction de multiplication et la contrainte de mémoire, l'implémentation emploie des accumulations ternaires rapides en C compilé avec CC65, des accumulateurs sur 16 bits, des activations 8 bits et un paramètre d'échelle appris (shift) pour éviter la saturation. Mamba a été préféré aux RNN classiques comme le GRU car son mécanisme évite l'explosion des gradients et le besoin d'un gros cache KV, rendant l'inférence récurrente à taille fixe adaptée au BBC Micro. La génération utilise un échantillonnage top-k approché par une table de valeurs exponentielles précomputées et un générateur pseudo-aléatoire sans graine, et le projet montre qu'il est possible de faire tourner un modèle de langage moderne sur du matériel des années 1980 en concevant le modèle en fonction du matériel.

mattbeton.com Resume pret HTTP 200 Commentaires

AI migrated legacy COBOL programs to Java, bugs included

La migration de programmes COBOL vers Java exige des tests approfondis, souvent entravés par l'absence de données de test et la difficulté à valider tous les cas limites. Les auteurs proposent une méthode agentique de synthèse de tests appelée Locksmith Loop, qui prépare deux environnements d'exécution instrumentés — le COBOL source et la cible Java générée — exécutés hors-mainframe avec des mocks. Une boucle itérative effectue une recherche de témoins sur les mocks d'entrée pour explorer les branches, applique des mutations préservant la parité et utilise un analyseur pour identifier des « Locked Paragraph » lorsque des conditions bloquantes sont rencontrées. Sur trois études de cas (deux projets open source et un programme de type production, de 430 à 4 114 lignes), Locksmith a augmenté la couverture après des plafonds de recherche d'entrée, atteignant près de la couverture complète sur les deux open source et 91,90 % de couverture de branche sur le programme interne. Les exécutables Java générés ont correspondu au COBOL de référence selon des contrôles de parité déterministes pour tous les cas de test acceptés, ce qui illustre une approche nouvelle de validation des sorties d'agents par un oracle déterministe.

arxiv.org Resume pret HTTP 200 Commentaires

Show HN: ssh ssh.place

La plateforme propose une toile partagée accessible uniquement via SSH sans compte ni installation, organisée en grille de 200×60 cases. Chaque utilisateur peut placer une case colorée toutes les 15 secondes, le temps de recharge étant lié à la clé SSH et ne se réinitialisant pas en cas de reconnexion. Le curseur se déplace avec les flèches, wasd ou hjkl et la toile, plus large que le terminal, se parcourt en faisant défiler l'affichage; shift+←/→ permet de sauter d'un écran. Les couleurs se sélectionnent avec 0 à 9, tabule permet de parcourir les 16 couleurs et la barre d'espace place un bloc solide, tandis que le serveur refuse tout contenu contenant des caractères pour empêcher l'écriture de texte. La page web publique se contente de lire la toile qui n'évolue que via SSH et affiche le nombre d'utilisateurs en ligne et le nombre de cases remplies (par exemple 20 en ligne et 5664 sur 12000).

ssh.place Resume pret HTTP 200 Commentaires

CP/M-386 – CP/M for 386 protected mode, derived from CP/M‑68K

Le projet est une implémentation précoce d'un système CP/M en mode protégé 32 bits pour processeurs 386 et ultérieurs, bootable depuis une disquette 1,44 Mo ou via MBR/GRUB et doté de consoles VGA texte et série. Il prend en charge BIOS ou UEFI (avec CSM), VGA texte, contrôleurs 8042 PS/2, UARTs 8250/16450/16550, horloge CMOS et le PIT 8253/8254, et nécessite au moins 2 Mo de mémoire. La BDOS est entièrement compatible avec CP/M‑68K 1.3 et CP/M 2.2, couvre une large part de CP/M‑Plus et des ajouts de DOS‑Plus et MP/M, et ajoute des extensions spécifiques pour accès vidéo direct, minutage haute résolution et PRNG. Le code se compile sur Linux, NetBSD et FreeBSD avec AWK, cpmtools (≥2.23), binutils, GCC/Clang, make et NASM, produit cpm386.elf et floppy.img, et est testé principalement sous QEMU. Les contributions contenant beaucoup de code généré par IA sont rejetées, le projet est distribué sous licence MIT, hébergé sur GitLab avec un miroir GitHub, et les plans futurs sont documentés dans FUTURE.md.

github.com Resume pret HTTP 200 Commentaires

Karpathy’s Pelican

On quitte le territoire des tests LLM basiques comme «créer un SVG» pour des tâches de génération de mondes interactifs plus complexes. Dans un exemple, Opus 5 a reçu le premier paragraphe du Seigneur des Anneaux, un budget d'environ un million de tokens (~10$) et la consigne de produire un rendu three.js, puis il a passé environ deux heures et écrit 5 500 lignes de code pour rendre l'histoire de façon procédurale. Le résultat est plutôt bancal mais fonctionnel, et il est remarquable qu'un LLM puisse placer et orchestrer des assets polygonaux en coordonnées (x,y,z) et générer le code d'animation nécessaire. Ce type de capacité ouvre la voie à des mondes hyper-personnalisés — par exemple des environnements temporaires où l'on peut incarner ou observer des personnages du récit — parce que les LLMs ont la patience et des coûts suffisamment faibles pour produire des créations sur mesure. Une limite importante est l'incapacité des LLMs à auditer facilement leurs productions car ils ne perçoivent pas nativement la vidéo ni ne jouent aux jeux, ce qui oblige à des captures d'écran lentes, génère des erreurs et montre que les capacités multimodales de gameplay restent limitées.

twitter.com Resume pret HTTP 200 Commentaires

OpenAI's super PAC is funding AI-generated news site attacking industry critics

Acutus est un site d'information anonyme lancé fin 2025 qui a publié rapidement près d'une centaine d'articles sans masthead ni bylines et se présente comme une plateforme d'« expert-sourced journalism ». Des analyses avec un détecteur d'IA et l'inspection du code source indiquent que la grande majorité des textes sont entièrement ou partiellement générés par des modèles et que l'interface publique contient des champs dédiés à la génération automatique et à la révision assistée par IA. Le site semble employer un « agent reporter » automatisé pour solliciter des commentaires (le cas de l'e‑mail signé « Michael Chen »), et de nombreux propos cités paraissent extraits de contenus publiés précédemment ou recueillis via des entretiens écrits gérés par un bot. Des éléments publics relient Acutus à Patrick Hynes et à la société de relations publiques Novus, et plusieurs articles vantent des positions concordantes avec des clients présumés de l'agence sans divulgation claire, ce qui soulève des questions déontologiques. L'enquête relève enfin des recoupements et une rhétorique alignés sur le réseau politique d'un super PAC financé par des acteurs proches d'OpenAI, suggérant la possibilité d'une campagne d'influence automatisée potentiellement en contradiction avec des normes publiques annoncées.

www.modelrepublic.org Resume pret HTTP 200 Commentaires