‹ BackHN Continuity

Thread

Platform-independent SIMD in Go

414 points · 152 comments · yurivish

  1. u8 · · focus · HN ↗
    This is why I love Go. Nobody was asking for this, but they took the time to do it right and continue to Push go as a memory safe, high-level systems language.
    1. OutOfHere · · focus · HN ↗
      (removed)
      1. typical182 · · focus · HN ↗
        Go is broadly considered to be a memory safe language.

        See for example comments from tptacek like:

        <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=43335748">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=43335748

        <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=46028232">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=46028232

        <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=44672371">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=44672371

        (The gist: memory safety is a term of art coined by security practitioners. Go, Python, Rust, Java, others: memory safe. C&#x2F;C++: memory unsafe. Periodically, people in different slices of industry or academia come up with new definitions of memory safety that declare Rust or Go or other languages to be memory unsafe, but that is not by the broadly accepted definition across industry.)

        1. mitxela · · focus · HN ↗
          Rust does allow you to overflow buffers, confuse types, and duplicate mutable pointers in safe code. See cve-rs.
          1. simonask · · focus · HN ↗
            No, Rust does not allow that. The current Rust compiler does, but that’s a bug that is being fixed.

            At some point in the future, a fully backwards compatible Rust compiler will report an error when you try to compile cve-rs.

            1. ghusbands · · focus · HN ↗
              Isn&#x27;t one of the bugs around ten years old, now? Isn&#x27;t ten years enough to call something a feature of the language rather than a bug?

              I like Rust, but with this bug existing for so long, I personally no longer think of it as memory-safe.

              1. aw1621107 · · focus · HN ↗
                &gt; Isn&#x27;t ten years enough to call something a feature of the language rather than a bug?

                I suppose it depends on who is doing the classifying? From the developer&#x27;s standpoint I&#x27;d imagine intent is all that matters: a bug is something that does not match developer intent and that is (eventually) expected to be changed to match the intent, while a feature is something that does match developer intent regardless of how old&#x2F;new it is. From a user&#x27;s standpoint I&#x27;d imagine it&#x27;s a combination of developer intent and the user&#x27;s reliance on said behavior, but IIRC in this particular case there&#x27;s no known non-demo code that has organically run into this particular bug so there&#x27;s little weight in favor of calling the bug a feature despite the devs&#x27; stance.

                Also as GP said I think one needs to be careful to distinguish between the compiler and the language. IIRC the devs have known for basically this entire time exactly in what manner the Rust compiler fail to implement the rules of Rust the language, but a general fix has been blocked on long-running projects that have only recently been approaching the finish line [1].

                [0]: <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=40431444">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=40431444

                [1]: <a href="https:&#x2F;&#x2F;blog.rust-lang.org&#x2F;2026&#x2F;08&#x2F;21&#x2F;enabling-next-solver-on-nightly&#x2F;" rel="nofollow">https:&#x2F;&#x2F;blog.rust-lang.org&#x2F;2026&#x2F;08&#x2F;21&#x2F;enabling-next-solver-o...

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.