46 pointsby jcbhmr7 hours ago17 comments
  • mkesper5 minutes ago
    What a waste of power... $424.000 of API priced tokens amounts to how many kWh burned? And how would you trust this to build your code? Motivations says it all:

    Motivations

        Test model capabilities
        Make a fast TypeScript type checker
        Make a ts checker that can work in WASM with high performance
        Memes
  • DanRosenwasser6 hours ago
    TypeScript team member here - this is impressive work, and it's honestly crazy that 3 of these ports have popped up in the last week! I'm currently AFK but we're hoping to learn more and we'll have more to say on this soon.
    • vaughands6 hours ago
      Kudos for keeping up! Golang seemed like a very reasonable choice when you ported there originally but the world is changing _fast_.
      • zdragnar6 hours ago
        Why do you think Golang is no longer a reasonable choice?
        • vaughands6 hours ago
          I suppose my comment sort of implies this. I think the naive knee jerk reaction is that if you can spit out perfect machine level code against a specification, then logically being closer to bare metal would help with performance. However, without knowing the details of how things worked it is tough to say whether it is truly "reasonable" or not.

          But more importantly, the Typescript team themselves [1] picked Golang mostly out of ergonomics and ease of porting at the time. It is becoming more increasingly more to "taste" what ergonomics means. Notably, they did not pick it because they believed it to be the fastest option. But speed was on the mind, giving way to ergonomics and ease of porting. At least, this is my read.

          [1] https://github.com/microsoft/typescript-go/discussions/411

          • dunham6 hours ago
            The author of esbuild used Rust and later switched to Go. He describes some of his experience here:

            https://news.ycombinator.com/item?id=22336284

            It is one person and one project, but I found it interesting to read about his experience.

            I like Go, but I probably would have tried Rust first because I want pattern matching when implementing languages.

        • lifthrasiir6 hours ago
          Presumably because Rust is more suitable than Go in agentic coding? (I'm not sure, but that seems the purported answer.)
          • lifeisloving6 hours ago
            Language and compiler design/ implementation is very much a human task. There's lots of nuances to consider. I doubt they want agent spaghetti code in their codebase either.
        • 6 hours ago
          undefined
        • sreekanth8505 hours ago
          Rust is more close to metal. No GC
          • pebal3 hours ago
            There is no connection. Rust has ARC which performs worse than the tracing GC.
        • spankalee6 hours ago
          Rust is better at targeting WebAssembly
          • cowsandmilk6 hours ago
            why would that be important? Having a typescript compiler in wasm seems like a pretty niche need.
            • viraptor3 hours ago
              Theo is making a new twist on the idea of IDE which hosts the application itself. I'm sure there's going to be a video about it soon. But the idea is to embed the whole compilation and type-check in wasm in the browser which then runs the app immediately, as the agents edit the code.
          • teki_one6 hours ago
            Why?
            • spankalee6 hours ago
              Wasm is a first-class target for Rust, which produces faster and smaller Wasm binaries. My understanding is that you need to use TinyGo to reasonably target Wasm with Go.

              Go having a garbage collector isn't necessarily bad, since Wasm has GC, but I think Go's GC can't easily use Wasm GC because Go has interior pointers.

              • win311fwg17 minutes ago
                WASM is also a first-class target for Go (gc).

                However, it has a relatively large runtime, so TinyGo is often preferred when bundle size needs to be small.

            • 0x696C69616 hours ago
              I think the main advantage is size. Rust doesn't need to include the runtime.
            • cmrdporcupine6 hours ago
              I'm assuming they mean because it doesn't need a garbage collector or much of a runtime at all. You can target direct to WASM and use I guess WASI, while Go brings with it a garbage collector and so on.
        • conartist66 hours ago
          Was it ever a reasonable choice? At the time the choice was made the tooling ecosystem was already split between Rust and JS, and by putting TS in Go they chose to split it three ways. Why not split it 4 or 5 ways then? The pressure will always be towards less duplicated work.

          The only real choice of language to build the next generation of JS tools in is JS. Anything else is a vote of no confidence in ourselves.

      • galkk4 hours ago
        Now I want to see somebody to port it to c# :)
    • aizk6 hours ago
      I think the future of this is -- get your AI agent to investigate this port for anything actually worthwhile, comparing it to the go version, and then take those good ideas and actually maybe bring them into the real compiler.

      Maybe. Who knows, it's all changing so fast!

  • yoyohello136 hours ago
    Maybe there are just so many of these but at this point for vibe coded stuff like this I’m just like “who cares.” LLMs can make stuff like this now. Unless this reaches some critical mass of usage among developers why would I use it? It’s just a less maintained, less tested implementation. The more important question is “what does this teach us?” And idk the answer to that one.
    • joe-excom4 hours ago
      It teaches us the Rust community continues to be relentless in their efforts to rewrite virtually everything in Rust.
      • yoyohello133 hours ago
        Isnt the guy who made this a typescript developer?
        • viraptor2 hours ago
          Yes. This has nothing to do with people trying to rewrite things in Rust for fun. It's a part of his development project that I'm sure will get a video in the future.
    • spankalee5 hours ago
      I think the difference here is that the original motivation for choosing Go over Rust was that Go was easier to port TypeScript to.

      LLMs change the calculus a lot, the result seems faster, and it's possible that the TypeScript team might want to change directions. It'd be a big deal, but I bet they'll at least discuss it.

    • rowanG0776 hours ago
      Generally building something is not about "What does this teach us?" but rather "What can this be used for?". You don't build a house and as "What does this teach us?". It's honestly almost a perverse question to primarily ask for something that aims to have practical value.

      The clear reason this has worth is that it's much faster than TSC.

      • bdelmas5 hours ago
        HN is going to be a weird place to be between people loving AI and the loss of loving tech. I don’t remember last time I watched a good tech dev video. At least the video game industry is a little bit shielded from this but soon it will be the same when we see the speed AI is advancing.

        No more joy crafting things as a dev…!

      • yoyohello133 hours ago
        I guess I’m just perverted then.
      • Capricorn24816 hours ago
        That's why the commenter said

        > It’s just a less maintained, less tested implementation

        Then they asked if it teaches something because it is a risky utility to them. You're trying to make it sound a lot weirder.

        • rowanG0776 hours ago
          The point is that it's clearly not just a less maintained, less tested implementation. It's 1.61x faster for one in real world apps, in some case even almost 4x faster.
          • 6 hours ago
            undefined
          • Onavo6 hours ago
            I am curious why it's faster. Golang isn't that much slower than Rust, aside from the garbage collector. 4x performance improvements is much bigger than what I expected.
          • Capricorn24816 hours ago
            If that was your point, why did you spend a whole paragraph saying "teach us? What a perverse question."
            • rowanG077an hour ago
              The comment I responded on put forth a generic argument that implied if we can not learn from it it has no value. That is what I was responding to.
  • spankalee5 hours ago
    This was a lot of tokens to spend on a port. I wonder if all of the porting activity out there would be better supported by investing in really good deterministic automatic translators that do 90% of the job cheaply and delegate any decisions that have to be made back out to the AI agent?
  • pvillano6 hours ago
    I have to wonder if LLM reimplementations verified against years of human tests will have holes where original authors thought that tests are not necessary and common sense is enough.

    I have to wonder this to preserve my ego as a human. I wonder have to this because I sure as hell am never going to go through all that code to check.

    • LeFantome4 hours ago
      Of course they will. For about 3 days, and then it will get fixed.

      At this point, for software which has an extensive test suite (or a large body of interoperable software), humans are more likely to create these kinds of gaps than the LLMs are.

  • shepherdjerred6 hours ago
    I wish Anthropic/OpenAI would give me free tokens so I could make random things like this

    I already pay for subs on both but the tokens are already spoken for with other projects

  • hannibalhorn6 hours ago
    In the real world project section, compile times vs tsc7 were 1-3s less. Sometimes the percentages are far more impressive than absolutes.
  • anonymous9082135 hours ago
    LLMs have been trained to fix compile errors in a loop. Give them years of human labor worth of tests and they will fix compile errors until it works (as well as the tests can ensure). Now you have a codebase no one has read. Good luck adding new code to it.

    Let's also not forget that Bun was claiming a rewrite in 11 days or whatever it was, but actually spent three months of human labor fixing hundreds of issues their rewrite introduced before shipping it as a release.

  • catlifeonmars6 hours ago
    This post should be titled “Rust port of Go rewrite of Typescript compiler”
  • Thaxll4 hours ago
    "In total I did over $400,000 in API priced tokens with GPT-5.6 Sol and GPT 6 Astra."

    wut?

    • 2 hours ago
      undefined
  • elcritch6 hours ago
    I'm curious how much unsafe this uses? Are these ports making idiomatic code or just using unsafe all over. There doesn't seem to be anything in the readme.
  • fiatpandas6 hours ago
    Are there any specific harnesses or techniques to aid in porting stuff to Rust? Specialized in terms of token efficiency
    • hedgehog6 hours ago
      As much as possible mechanical (non-LLM) verification of equivalence that generates good diagnostic messages, mechanical translation steps that generate good diagnostic messages, a good memory system to reduce rework... (edit: and mechanical coverage measurement)
  • ingen0s7 hours ago
    Wait - you spent north of $400,000?
    • Rapzid6 hours ago
      People love to flex by using the API costs for their subscription tokens.

      I personally find it ridiculous. The cost is what you paid, not what someone else could have paid. Markets and all that.

      It would be like using spot instances on AWS but flexing by boasting about how much on-demand $$ compute you used.

      • Capricorn24816 hours ago
        In this case, I think they are just giving you an idea of what it cost to do this. They aren't saying it's prescriptive
        • Rapzid5 hours ago
          Except.. It doesn't really give you an idea what it cost? That's not what it cost. How much did it actually cost? Who knows!

          It's also TheoGG sooooo.. Those influencer instincts tho.

    • pebal2 hours ago
      An absurd amount. The cost wouldn't exceed $500 under a subscription model.
    • sghiassy6 hours ago
      Assuming he used $400,000 in tokens, but used subs

      I wonder how much AI companies lost on this?

      Edit: not that I’m worried about them, I’m just curious

      • esperent6 hours ago
        > I wonder how much AI companies lost on this?

        Probably zero, or even a profit. The idea that these companies are making a loss on subscriptions is an unsubstantiated HN fallacy.

        On the contrary, they're probably making a small profit on subscriptions, or at least break even, and absolute bank on API pricing. Anthropic recently reported an 80% gross profit margin, for example.

        https://www.reuters.com/business/retail-consumer/anthropic-t...

        • adrianvincent6 hours ago
          Profitable, if you just ignore how much money they spend
        • janalsncm6 hours ago
          Excited for their IPO just to put this to bed, one way or another.
          • rich_sasha2 hours ago
            It might, but also might not. I would imagine the economics are genuinely very tangled up even before you start obfuscating it - it’s very hard to fairly allocate fixed costs between training and inference.

            I think a clearer picture would be from inference-only orgs.

      • MBCook6 hours ago
        What are “subs”?
        • sghiassy5 hours ago
          Subscription
          • MBCook5 hours ago
            So you pay $20/mo, let it run for a long time, then claim you used the equivalent of $1/2 million?
    • JacobAsmuth6 hours ago
      Most of it was wasted on OpenAI tokens. It actually cost them $24k USD according to the github description.
      • LeFantome4 hours ago
        So, you could do it for a couple hundred bucks using DeepSeek.
    • aizk5 hours ago
      No that's the theoretical token value cost based on chaining multiple 20x subs.
    • hedgehog7 hours ago
      Sibling dead comment said it already but that's likely an estimate of what it would cost via API and in practice it was a few hundred or thousand dollars of subscription fees.
    • colomo7 hours ago
      $420,000 worth of tokens, though I'm pretty sure he used subs.
    • woozlewuzzle5 hours ago
      I wonder how that cost compares to paying a human programmer to produce the same end result.
    • spense7 hours ago
      > I did over $400,000 in API priced tokens

      i'd bet this is a few subscriptions over a few months rather than paying directly for tokens.

    • kyguy237 hours ago
      [dead]
  • bitpush6 hours ago
    Is this going to be a serious project? No.

    Is this going to be maintained? Nope

    Nevertheless this and many others are showing what is possible. Much akin to how someone ports doom onto a microwave.

    We'll look back at this time with great fondness when we collectively discovered a whole new gear.

    • BigJono3 hours ago
      > Nevertheless this and many others are showing what is possible.

      More unserious and unmaintained projects at 400k a pop. Sick.

  • Gigachad6 hours ago
    I honestly have no idea what the future of tech will look like at this point. Too much has changed.
    • win311fwg11 minutes ago
      It is beginning to look like the future is treating Rust as an optimization pass. Write your program in a higher-level language like Typescript, Go, Python, etc. and then have LLMs compile that to Rust.
  • fwlr7 hours ago

        # “The Slop Line"
    
          Everything below this was written by my LLMs, not me.
    
    I really appreciate this convention, thank you.
    • sitzkrieg5 hours ago
      imagine if they had the willingness to re-write it for human consumption. might a well delete it
  • Capricorn24815 hours ago
    Why does it seem like this is falling off the front page really fast? There's older posts with less points that are way higher.