Fico me perguntando se seria possível implementar DOOM com expressões regulares em 177 TB
Rodar DOOM em tipos do TypeScript por 18 horas por dia durante um ano é uma dedicação impressionante
No começo isso pode parecer sem sentido, mas uma prova de DOOM tem tanto valor quanto qualquer outra prova matemática
Tem a vantagem de poder ser verificada até por pessoas comuns
Parabéns por essa conquista incrível
Considerando os rumores de que o sistema de tipos do TypeScript é Turing-completo, isso é ao mesmo tempo surpreendente e não tão surpreendente
A persistência de realmente levar isso até o fim merece aplausos
Ainda não entendo muito bem o que significa rodar DOOM em um sistema de tipos
Consigo entender como fazer cálculos e gerar arte ASCII
Mas é difícil entender como o tsc acessaria o sistema de áudio ou carregaria arquivos
Vi o Dimitri atualizando internamente o progresso desse projeto, e foi realmente impressionante
É uma das coisas mais incríveis já feitas com código
É um feito lendário e exigiu uma persistência enorme
Um runtime de WASM em tipos do TypeScript já é impressionante por si só
Exige muito esforço, mas consigo imaginar vagamente como isso pode funcionar
O difícil é entender como a entrada do teclado é tratada
No vídeo, só é mencionado que "há uma forma de lidar com a entrada do teclado"
Deve haver algo fora do sistema de tipos que converte a entrada do teclado em tipos do TypeScript
Me identifiquei com a frase "não sou um desenvolvedor 10x, sou alguém bom em chegar perto o suficiente"
Foi uma jornada de 18 horas por dia durante um ano
As pessoas procuram desenvolvedores 10x meio estilo Gênio Indomável da programação, mas também existem muitos desenvolvedores que não desistem até o fim, mesmo sem entender tudo de imediato
Provavelmente há mais desses desenvolvedores do que unicórnios
Gosto da explicação do Dimitri sobre como esse projeto começou
Esse motor foi criado para um projeto cujo objetivo era mostrar por que DOOM não poderia rodar em tipos do TypeScript
A parte divertida é que, na prática, dá para rodar
Se existe uma história que merece ser a mais destacada no HN hoje, é esta
É uma história completamente insana, impressionante e inspiradora
A forma mais fácil de verificar se um sistema é Turing-completo é ver se já fizeram um port de DOOM para ele
1 comentários
Comentários do Hacker News
Fico me perguntando se seria possível implementar DOOM com expressões regulares em 177 TB
Considerando os rumores de que o sistema de tipos do TypeScript é Turing-completo, isso é ao mesmo tempo surpreendente e não tão surpreendente
Ainda não entendo muito bem o que significa rodar DOOM em um sistema de tipos
tscacessaria o sistema de áudio ou carregaria arquivosVi o Dimitri atualizando internamente o progresso desse projeto, e foi realmente impressionante
Um runtime de WASM em tipos do TypeScript já é impressionante por si só
Me identifiquei com a frase "não sou um desenvolvedor 10x, sou alguém bom em chegar perto o suficiente"
Gosto da explicação do Dimitri sobre como esse projeto começou
Se existe uma história que merece ser a mais destacada no HN hoje, é esta
A forma mais fácil de verificar se um sistema é Turing-completo é ver se já fizeram um port de DOOM para ele