Je me demande s’il serait possible d’implémenter DOOM en expressions régulières avec 177 To
Faire tourner DOOM avec des types TypeScript pendant 18 heures par jour pendant un an, c’est un engagement impressionnant
Au début, cela peut sembler inutile, mais une preuve par DOOM a autant de valeur que d’autres preuves mathématiques
Cela a l’avantage de pouvoir être vérifié par le grand public
Félicitations pour cet accomplissement incroyable
Compte tenu de la réputation du système de types de TypeScript comme étant Turing-complet, c’est à la fois surprenant et pas si surprenant
Bravo pour la persévérance qu’il a fallu pour réellement y parvenir
Je ne comprends toujours pas très bien ce que signifie faire tourner DOOM dans un système de types
Je peux comprendre comment effectuer des calculs et générer de l’ASCII art
En revanche, il est difficile de comprendre comment tsc accède au système audio ou charge des fichiers
J’ai vu Dimitri faire des mises à jour internes sur l’avancement de ce projet, et c’était vraiment impressionnant
C’est l’une des choses les plus incroyables que j’aie vues réalisées avec du code
C’est un exploit légendaire qui a demandé une ténacité énorme
Le runtime WASM dans les types TypeScript est impressionnant en soi
Cela demande beaucoup d’efforts, mais je comprends vaguement comment cela peut fonctionner
Il est difficile de comprendre comment les entrées clavier sont gérées
Dans la vidéo, il se contente de dire : "il existe un moyen de gérer les entrées clavier"
Il doit y avoir quelque chose en dehors du système de types qui convertit les entrées clavier en types TypeScript
Je me reconnais dans la phrase : "Je ne suis pas un développeur x10, je suis juste quelqu’un de bon dans quelque chose qui s’en approche suffisamment"
Cela a été un parcours d’un an à raison de 18 heures par jour
Les gens cherchent des développeurs x10 façon Will Hunting, mais il y a aussi beaucoup de développeurs qui n’abandonnent pas jusqu’au bout, même sans tout comprendre immédiatement
Il y en a probablement bien plus que des licornes
J’ai aimé la façon dont Dimitri a expliqué comment ce projet a commencé
Ce moteur a été créé pour un projet destiné à montrer pourquoi DOOM ne pourrait pas tourner dans les types TypeScript
Le plus drôle, c’est qu’en réalité, cela fonctionne
Si une histoire doit attirer le plus d’attention aujourd’hui sur HN, c’est bien celle-ci
C’est une histoire complètement folle, impressionnante et inspirante
La façon la plus simple de vérifier si un système est Turing-complet, c’est de voir si DOOM y a été porté
1 commentaires
Avis sur Hacker News
Je me demande s’il serait possible d’implémenter DOOM en expressions régulières avec 177 To
Compte tenu de la réputation du système de types de TypeScript comme étant Turing-complet, c’est à la fois surprenant et pas si surprenant
Je ne comprends toujours pas très bien ce que signifie faire tourner DOOM dans un système de types
tscaccède au système audio ou charge des fichiersJ’ai vu Dimitri faire des mises à jour internes sur l’avancement de ce projet, et c’était vraiment impressionnant
Le runtime WASM dans les types TypeScript est impressionnant en soi
Je me reconnais dans la phrase : "Je ne suis pas un développeur x10, je suis juste quelqu’un de bon dans quelque chose qui s’en approche suffisamment"
J’ai aimé la façon dont Dimitri a expliqué comment ce projet a commencé
Si une histoire doit attirer le plus d’attention aujourd’hui sur HN, c’est bien celle-ci
La façon la plus simple de vérifier si un système est Turing-complet, c’est de voir si DOOM y a été porté