TypeScript türleri üzerinde çalışan DOOM [Video]

 (youtube.com)
1 puan yazan GN⁺ 2025-02-27 | 1 yorum | WhatsApp'ta paylaş

İlgili okumalar

1 yorum

 
GN⁺ 2025-02-27
Hacker News görüşleri

  • 177TB ile düzenli ifadelerde DOOM'u uygulamanın mümkün olup olmadığını merak ediyorum

    • 1 yıl boyunca her gün 18 saat DOOM'u TypeScript tipleriyle çalıştırmak inanılmaz bir adanmışlık
    • İlk bakışta anlamsız görünebilir ama DOOM ispatı da diğer matematiksel ispatlar kadar değerli
    • Sıradan insanların bile doğrulayabilmesi gibi bir avantajı var
    • Bu inanılmaz başarı için tebrikler

  • TypeScript'in tip sisteminin Turing-complete olduğuna dair söylentiler düşünülünce, bunun mümkün olmasına hem şaşırdım hem de şaşırmadım

    • Bunu gerçekten hayata geçiren azme alkışlar

  • DOOM'u tip sisteminde çalıştırmanın ne anlama geldiğini hâlâ tam anlayabilmiş değilim

    • Hesaplama yapıp ASCII art üretme kısmını anlayabiliyorum
    • Ama tsc'nin ses sistemine erişmesi ya da dosya yüklemesi nasıl oluyor, bunu anlamak zor

  • Dimitri'nin bu projedeki ilerleme güncellemelerini şirket içinde paylaştığını görmüştüm, gerçekten inanılmazdı

    • Kodla yapılmış en şaşırtıcı işlerden biri
    • Efsanevi bir başarı ve muazzam bir sebat gerektirmiş

  • TypeScript tiplerinde çalışan WASM runtime'ı tek başına bile etkileyici

    • Çok emek gerektiriyor ama nasıl çalışabileceğini kabaca anlayabiliyorum
    • Klavye girdisinin nasıl işlendiğini anlamak zor
    • Videoda sadece "klavye girdisini işlemenin bir yolu var" deniyor
    • Muhtemelen tip sisteminin dışında klavye girdisini TypeScript tiplerine dönüştüren bir şey vardır

  • "Ben 10x geliştirici değilim, sadece ona yeterince yakın şeylerde iyi olan biriyim" sözüne katılıyorum

    • 1 yıl boyunca her gün 18 saatlik bir yolculuktu
    • İnsanlar, kod dünyasının Good Will Hunting'i gibi 10x geliştiriciler arıyor ama hemen anlamasa bile sonuna kadar vazgeçmeyen geliştiriciler de çok
    • Muhtemelen böyle geliştiriciler unicorn'lardan daha fazla

  • Dimitri'nin bu projenin nasıl başladığına dair anlattığını sevdim

    • Bu motor, DOOM'un TypeScript tiplerinde çalışamayacağını göstermek için yapılan bir proje için oluşturulmuş
    • Komik olan şu ki, aslında çalıştırılabiliyor

  • Bugün HN'de en çok ilgi görmeyi hak eden hikâye buysa, o da budur

    • Tam anlamıyla çılgınca etkileyici ve ilham verici bir hikâye

  • Bir sistemin Turing-complete olup olmadığını anlamanın en kolay yolu, ona DOOM port edilip edilmediğine bakmaktır

    • Çok etkileyici