Me pregunto si sería posible implementar DOOM en expresiones regulares con 177 TB
Ejecutar DOOM en tipos de TypeScript durante 18 horas al día por un año es una dedicación impresionante
Al principio puede parecer algo sin sentido, pero demostrar DOOM tiene tanto valor como otras demostraciones matemáticas
Tiene la ventaja de que incluso la gente común puede verificarlo
Felicitaciones por este logro asombroso
Considerando los rumores de que el sistema de tipos de TypeScript es Turing completo, esto me sorprende y al mismo tiempo no me sorprende
Aplausos por la perseverancia de realmente llevarlo a cabo
Todavía no entiendo bien qué significa ejecutar DOOM dentro de un sistema de tipos
Puedo entender cómo se hacen cálculos y se genera arte ASCII
Pero me cuesta entender cómo tsc accede al sistema de audio o carga archivos
Vi a Dimitri actualizando internamente el progreso de este proyecto, y fue realmente increíble
Es una de las cosas más impresionantes que he visto lograr con código
Es una hazaña legendaria y requirió una perseverancia enorme
Un runtime de WASM dentro de los tipos de TypeScript ya es impresionante por sí solo
Requiere muchísimo esfuerzo, pero más o menos puedo imaginar cómo podría funcionar
Lo difícil de entender es cómo maneja la entrada del teclado
En el video solo menciona que "hay una forma de manejar la entrada del teclado"
Debe haber algo fuera del sistema de tipos que convierta la entrada del teclado en tipos de TypeScript
Me identifiqué con la frase: "No soy un desarrollador 10x, soy alguien que hace muy bien algo lo bastante cercano"
Fue un recorrido de 18 horas al día durante un año
La gente busca desarrolladores 10x tipo Good Will Hunting del código, pero también hay muchos desarrolladores que no se rinden aunque no entiendan algo de inmediato
Probablemente haya más de esos desarrolladores que unicornios
Me gustó la explicación de Dimitri sobre cómo empezó este proyecto
Este motor fue creado para un proyecto cuyo objetivo era mostrar por qué DOOM no podía ejecutarse en tipos de TypeScript
Lo divertido es que, en realidad, sí se puede ejecutar
Si hoy hubiera una historia en HN que mereciera ser la más destacada, sería esta
Es una historia absolutamente loca, asombrosa e inspiradora
La forma más fácil de comprobar si un sistema es Turing completo es ver si ya le hicieron un port de DOOM
1 comentarios
Opiniones en Hacker News
Me pregunto si sería posible implementar DOOM en expresiones regulares con 177 TB
Considerando los rumores de que el sistema de tipos de TypeScript es Turing completo, esto me sorprende y al mismo tiempo no me sorprende
Todavía no entiendo bien qué significa ejecutar DOOM dentro de un sistema de tipos
tscaccede al sistema de audio o carga archivosVi a Dimitri actualizando internamente el progreso de este proyecto, y fue realmente increíble
Un runtime de WASM dentro de los tipos de TypeScript ya es impresionante por sí solo
Me identifiqué con la frase: "No soy un desarrollador 10x, soy alguien que hace muy bien algo lo bastante cercano"
Me gustó la explicación de Dimitri sobre cómo empezó este proyecto
Si hoy hubiera una historia en HN que mereciera ser la más destacada, sería esta
La forma más fácil de comprobar si un sistema es Turing completo es ver si ya le hicieron un port de DOOM