DOOM, das in TypeScript-Typen läuft [Video]

[GN⁺]

Hacker-News-Kommentare

• Ich frage mich, ob man DOOM mit 177 TB in regulären Ausdrücken implementieren könnte

  • Es ist eine beeindruckende Hingabe, ein Jahr lang täglich 18 Stunden lang DOOM in TypeScript-Typen auszuführen
  • Auf den ersten Blick mag es sinnlos wirken, aber ein DOOM-Beweis ist genauso wertvoll wie andere mathematische Beweise
  • Der Vorteil ist, dass auch Laien ihn überprüfen können
  • Glückwunsch zu dieser erstaunlichen Leistung

• Wenn man die Gerüchte berücksichtigt, dass das TypeScript-Typsystem Turing-vollständig ist, ist das gleichzeitig überraschend und auch nicht überraschend

  • Applaus für die Ausdauer, das tatsächlich umgesetzt zu haben

• Ich verstehe immer noch nicht ganz, was es bedeutet, DOOM in einem Typsystem auszuführen

  • Ich kann nachvollziehen, wie Berechnungen durchgeführt und ASCII-Art erzeugt werden
  • Aber ich verstehe nur schwer, wie tsc auf das Audiosystem zugreifen oder Dateien laden soll

• Ich habe gesehen, wie Dimitri intern Updates zum Fortschritt dieses Projekts geteilt hat, und es war wirklich erstaunlich

  • Es ist eines der erstaunlichsten Dinge, die je mit Code erreicht wurden
  • Eine legendäre Leistung, die enorme Ausdauer erforderte

• Eine WASM-Laufzeit in TypeScript-Typen ist schon für sich genommen beeindruckend

  • Es erfordert viel Aufwand, aber ich kann vage nachvollziehen, wie das funktionieren könnte
  • Schwer zu verstehen ist, wie Tastatureingaben verarbeitet werden
  • Im Video wird nur erwähnt: "Es gibt eine Möglichkeit, Tastatureingaben zu verarbeiten"
  • Es muss etwas außerhalb des Typsystems geben, das Tastatureingaben in TypeScript-Typen umwandelt

• Ich konnte mich mit der Aussage identifizieren: "Ich bin kein 10x-Entwickler, sondern jemand, der etwas, das nahe genug dran ist, gut kann"

  • Es war eine Reise von einem Jahr mit täglich 18 Stunden
  • Leute suchen nach 10x-Entwicklern wie im Good-Will-Hunting-Stil des Codens, aber es gibt auch viele Entwickler, die nicht aufgeben, selbst wenn sie etwas nicht sofort verstehen
  • Von solchen Entwicklern gibt es wahrscheinlich mehr als von Einhörnern

• Mir gefiel Dimitris Bemerkung dazu, wie dieses Projekt begonnen hat

  • Diese Engine wurde für ein Projekt gebaut, das zeigen sollte, warum DOOM nicht in TypeScript-Typen laufen kann
  • Das Lustige ist, dass es tatsächlich laufen kann

• Wenn es heute auf HN eine Geschichte gibt, die die meiste Aufmerksamkeit verdient, dann diese

  • Eine völlig verrückt erstaunliche und inspirierende Geschichte

• Der einfachste Weg, um zu prüfen, ob ein System Turing-vollständig ist, besteht darin nachzusehen, ob DOOM darauf portiert wurde

  • Sehr beeindruckend