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

Une machine à registres illimités à pipeline 2 étages construite dans le Jeu de la vie de Conway

2025-08-10

Cet article, le quatrième d'une série, détaille la construction d'une machine à registres illimités (URM) à pipeline 2 étages dans le Jeu de la vie de Conway. L'URM, une CPU à quatre instructions Turing-complète, est montrée en train de factoriser le nombre 15. L'auteur décrit la conception de l'URM, y compris l'ALU, le fichier de registres, la ROM et l'exécution des instructions. L'accent est mis sur la conception de circuits efficaces dans le Jeu de la vie, en privilégiant la longueur du circuit plutôt que le nombre de transistors. Un pipeline à 2 étages est implémenté pour augmenter la vitesse. L'auteur conclut en annonçant une refonte future pour une efficacité accrue.

Lire plus
(nicholas.carlini.com)
Développement Jeu de la vie de Conway Portes logiques numériques

Moteur d'échecs en 84 688 expressions régulières

2025-01-07

Nicholas Carlini a créé un moteur d'échecs minimax à 2 plis utilisant un nombre impressionnant de 84 688 expressions régulières comme projet de vacances. Il a conçu une machine virtuelle basée sur les expressions régulières avec un jeu d'instructions sans branchement, à exécution conditionnelle et SIMD. Un compilateur d'exécution symbolique traduit le code Python en séquences d'expressions régulières, permettant le calcul parallèle. Le moteur exploite le SIMD pour calculer les mouvements de plusieurs pièces simultanément, avec des optimisations intelligentes des expressions régulières pour la vitesse. Bien que limité en profondeur, il montre la puissance de calcul surprenante des expressions régulières.

Lire plus
(nicholas.carlini.com)
Développement expressions régulières moteur d'échecs

Site web généré par IA : une expérience sur les compétences versus les connaissances

2024-12-31

Le chercheur en sécurité Nicholas Carlini a mené une expérience de douze jours : réécrire quotidiennement la page d’accueil de son site web et sa biographie à l’aide d’un modèle linguistique différent. Il a constaté que si les modèles excellaient dans la génération de pages web visuellement époustouflantes, ils trébuchaient considérablement en termes de précision factuelle. Par exemple, le modèle o1-mini a généré une page web contenant 43 affirmations ; 32 étaient totalement fausses, 9 comportaient des erreurs majeures et seulement 2 étaient factuellement correctes. Cela souligne la grande disparité entre « compétences » (génération de pages web) et « connaissances » (précision factuelle) dans les LLM, soulignant la nécessité de prudence lorsqu’on se fie à du contenu généré par IA.

Lire plus
(nicholas.carlini.com)
IA Grands modèles linguistiques Vérification des faits

Un clone de ChatGPT en 3000 octets de C

2024-12-12

Le développeur Nicholas Carlini a créé un clone de ChatGPT utilisant seulement 3000 octets de code C, basé sur le modèle GPT-2. Cette implémentation sans dépendances charge la matrice de poids et le fichier BPE de GPT-2, puis effectue la tokenisation, les opérations matricielles, l'inférence du transformateur et la détokenisation. Bien que la qualité de la sortie ne soit pas élevée, son efficacité est remarquable, produisant plusieurs réponses par seconde sur du matériel moderne. Cela démontre le potentiel du code compact dans l'implémentation de modèles d'IA complexes.

Lire plus
(nicholas.carlini.com)
IA