Vinix – A modern operating system written in V

(vinix-os.org)

104 points | by hggh a day ago ago

74 comments

  • phoe-krk a day ago ago

    I enjoy the screenshot showing Calculator taking 617 MB of RAM. It feels very modern indeed.

    • _s_a_m_ a day ago ago

      the desktop needs 41mb so that must be some external stuff with overhead

    • bflesch a day ago ago

      You have an amazing eye for details. Might be the "wine calculator" from the desktop.

      • dTal 19 hours ago ago

        No, that's shown lower down with Redmond chrome. maybe the "cocoa calculator"?

  • himujjal 16 hours ago ago

    Kudos to the efforts. No matter the past. We have an operating system. That is a big news. And that too with a GUI. Is it robust and production ready now? No.

    But this is what we should be celebrating. Something that came out of people's efforts and hard work.

    Maybe in a few years of iteration it will reach a stage where we can actually use it for simple tasks or even as a remote execution setup.

    Always good to have options. Also for a programming language that actually enabled the creation of this OS, that is big news! Great going guys!

    • childintime 13 hours ago ago

      Indeed, and it must be great for educational purposes.

  • polotics a day ago ago

    Can you explain what you meant with this sentence on that page you wrote:

    "That is the whole system, not a stripped-down mode you switch into."

    • alpaca128 a day ago ago

      Nothing, because that was written by an LLM.

    • sunaookami a day ago ago

      This is the Claude-ism that I despise the most, when it states something that was never asked because it leaked from the prompt/context. Claude's writing has regressed so much, it's only usable for "raw coding" now.

    • a day ago ago
      [deleted]
  • nosrep a day ago ago

    huh, that "minecraft" screenshot is pretty clearly minetest/luanti. the vinix repo has some code at least attempting to do real Minecraft, but does it actually work?

  • foul a day ago ago

    How are things going with V btw? In the past i've seen some bad press about this programming language.

    It was nice to use when I tried to dabble with it.

    • Matl a day ago ago

      My understanding:

      - The bad press was because the initial public release on GitHub did not implement most of the things seemed like they're implemented, (Rust like memory safety etc.)

      - Over time it actually saw contributions from a lot of people and is kind of decent now, be it not as polished as Go, Rust, D etc.

      - It is super easy to use, so kind of attracts an audience.

      • d-us-vb a day ago ago

        The bad press was because after some people tried to call them out for not shipping features that were claimed in the release, those people were banned from further contribution/commenting on github.

        • Matl 11 hours ago ago

          Ouch. That's definitely worse than I assumed.

        • richbell 14 hours ago ago

          And the lead dev would come into any thread on HN or Reddit and argue with people.

    • pmkary 20 hours ago ago

      [dead]

  • bluesounddirect a day ago ago

    Its and odd name choice and very close to venix https://en.wikipedia.org/wiki/Venix

    • zem a day ago ago

      it seems like a natural name choice to me - "v + unix"

  • WD-42 a day ago ago

    First time I heard about V was because of the Volt desktop chat app: https://volt-app.com/ which seemed attractive at the time. Turns out it was completely closed source and read secrets from local browser's cookie storage without any kind of warning. I've never nope'd out of a program so fast.

    There are others in this comment section claiming this language is scam. Seems about right. The entire Vinix page is slop, too.

    • alpaca128 a day ago ago

      If I remember correctly the language promised automatic memory management without downsides, but then instead of implementing that magical feature they started working on a GUI library and whatnot. Apparently now they've moved onto a whole OS while the autofree feature is still "experimental"

    • ChoosesBarbecue a day ago ago

      It had like two releases after ~2-3 years of hype, too. Maybe long, back when it was called eul.

  • codethief a day ago ago

    > QEMU uses macOS hardware virtualization for the ARM64 desktop.

    Huh, since when does QEMU support hardware virtualization on Apple Silicon? To the best of my knowledge, among all the VM managers available on macOS (VMware, Parallels, VirtualBox, …) only UTM currently supports hardware virtualization and that's through the Apple Virtualization backend, not through QEMU.

    • vluft a day ago ago

      HVF was added quite some time ago afaik.

    • a day ago ago
      [deleted]
  • christophilus a day ago ago

    Huh. Pretty cool. I haven't looked at vnix in a while, and it's been almost as long since I looked at V. It had a lot of controversy early on. I'd be interested to hear from anyone who has tried it recently to find out if they ever ended up delivering on their promises.

    • 7bit 18 hours ago ago

      One look at the memory consumption the the calculator app should answer your question.

  • ravenical a day ago ago

    That's... not Minecraft. That's some weird voxel game attempting, poorly, to clone Minecraft. Doesn't really bode well, imo.

  • kovariance a day ago ago

    sloperating system

  • mdtrooper a day ago ago

    It sounds great because the license is GPLv2, instead for example Redox OS is MIT.

    • sheepscreek a day ago ago

      How is that better? MIT is much more permissive.

      • Narishma a day ago ago

        That's not necessarily a good thing.

  • a day ago ago
    [deleted]
  • calvinmorrison a day ago ago

    Can one have a "modern" OS that is a UNIX clone?

  • bflesch a day ago ago

    It looks nice. How much vibecoding does it contain? Can we trust these claims?

    • mapcars a day ago ago

      V is a super young language, I wonder if llms even can produce decent code with it.

  • iamnothere a day ago ago

    [dead]

  • novacrazy a day ago ago

    [flagged]

    • dang a day ago ago

      "Please don't post shallow dismissals, especially of other people's work. A good critical comment teaches us something."

      "Eschew flamebait. Avoid generic tangents."

      https://news.ycombinator.com/newsguidelines.html

    • orsenthil a day ago ago

      The book about the language was published by packt, and I had my eyebrows raised. I want to give a benefit of doubt tough and learn more.

      • QuantumNomad_ a day ago ago

        Packt used to give away one book for free every day or something like that years ago. Maybe they still do. I downloaded many of them, and there were a couple of actually good books in the bunch but most of them I found to be too low quality to be worth reading. I came to see Packt as a shovelware place for ebooks. And this was even before LLMs were around. I haven’t visited in years but if I did and it turned out that their current library consists of 99.99% AI written slop it would not surprise me.

        I don’t know if your past experience with Packt is similar, or if you saw Packt publishing a book about V as a surprising positive sign for V.

    • ape4 a day ago ago

      This seems to be the language's main page https://vlang.io/

    • ecto a day ago ago

      How can a language be a scam?

      • novacrazy a day ago ago

        The first release was just Go's parser ripped out and bolted onto a barebones first year of college level compiler, and touted as "safer than Rust", "compiles in milliseconds", etc. but didn't even have real type-checking at the time, nor did it free memory, and many other basic functionality. Furthermore, I vividly remember the author's Patreon advertised at the top of the page back then, and for a while he raked in a couple thousand dollars a month for it.

        However, over the years some actually talented people (and nowadays probably LLMs) have somehow sort of fixed most of the biggest warts, but it's still nowhere near what it advertised in that first release.

        • giancarlostoro a day ago ago

          What's wild is I was looking at the language's home page again, and looking to find their GitHub, the first GitHub link I noticed, is the GitHub sponsors link.

          I don't mind supporting a project like this, but this is a bit excessive.

          Was it really Go's parser? That wouldn't surprise me, but also that kind of makes sense to me why it looked a bit 'familiar' in terms of syntax.

          It's definitely been "alpha" tier for a while, which it doesnt help that the developer doesn't outline any sort of stability that I can recall (back then at least) which imho if you're publishing a language, you should let the reader know.

          • amedvednikov a day ago ago

            No, it wasn't Go's parser. That's easy to check.

        • 0x457 a day ago ago

          Can't have use-after-free errors if you never free.

        • morpheos137 a day ago ago

          Lol this is interesting. If you want to make money you can "invent" a language. With LLMs you could probably make it pretty decent too.

        • torstenvl a day ago ago

          Can you explain what you mean by this? They haven't had a first release yet. They're still in beta.

          • novacrazy a day ago ago

            That's being pedantic. The first public announcement was many years ago.

            • torstenvl a day ago ago

              It appears you're calling something a scam because an early alpha version was early alpha quality. If so, that would be unprofessional and inflammatory.

              I'm open to being wrong. So again, can you explain what you mean?

              • wk_end a day ago ago

                If I go to the vlang releases page, I see literally hundreds of releases https://github.com/vlang/v/releases

                They haven't had a stable 1.0 release yet, but they've had many pre-1.0 releases. It's not some personal experiment that's been sitting in the dev's Github that people are piling onto; the author has gone out of their way to promote it, beg for donations, and lash out at any criticisms.

                The issue has never been the quality of the language per se, the issue has been 1) wildly misrepresenting the quality of the language in the present tense; 2) not even having any kind of a realistic roadmap towards achieving the kind of outsized and implausible claims about the quality of the language; and 3) using these outsized, implausible misrepresentations as a way of soliciting hype and funding for the author.

                • iamnothere a day ago ago

                  For a long time they did weekly releases, which explains the “hundreds” of releases. It looks like they have made enough progress to move to periodic point releases. (I should probably take another look at it.)

                  I’m not qualified to judge the language as a whole, at least until I use it for something, but it does have some interesting features. I used to follow their progress, but it’s clear that the pace of development is very slow, like many other niche langs.

                • torstenvl a day ago ago

                  Those comments may be fair. Defamation is not.

                  • orangedog a day ago ago

                    Defamation? The author's responses and complete lack of honesty certainly made it look like a scam.

                    The author listed feature after feature that were unfulfilled. Scam is being fairly kind to the project, I thought the guy was the worst kind of liar. You can check out any of the earlier threads on HN to find out for yourself.

                    It isn't that it was early, it's that it advertised itself to be what it was not. You defending it isn't doing anybody any favors as this is all public record and you're just standing up for a dev that doesn't deserve it

                    • a day ago ago
                      [deleted]
              • jchw a day ago ago

                The scammy part was definitely making all of the claims as if they were already true. A lot of people sincerely believed it. My recollection was that it took months before some of this was fixed to explain that it wasn't available yet, and then more to explain that it hadn't actually been done yet.

                There were some really crazy ones, like that it could convert entire codebases from C++ to V and then compile them some multiple of times faster and make them memory safe. How? I'd love to know.

                The author to me seems like they are not attempting to scam people, but it's hard to ignore that they were collecting money, from people who thought they had already accomplished these things, because the person collecting it absolutely appeared to be claiming it.

                Now doing that once and going "oops, my bad" would be one thing. There would be no controversy. However, over time it has proven to be a bit of a behavior pattern, which is confusing because the author does appear to be producing things that I think are interesting. Just... often buried under some hyperbole.

              • mrkeen a day ago ago
                • torstenvl a day ago ago

                  Yes. Agreed. Did you intend to respond to someone else?

              • novacrazy a day ago ago

                I have this amazing new thing I'm making, nothing like it, better than everything else. Here's a prototype that does none of that and is _barely_ functional. Care to invest $2000? If so, do I have a bridge to show you...

      • MisterTea a day ago ago

        I have no opinion on the subject but I have found this to be an interesting dive into the supposed controversy: https://justinas.org/the-bizarre-world-of-v

      • agumonkey a day ago ago

        It was impossible to verify the "earth shattering claims" of the designer/users early on, and they would be very very emotional every time you just question the metrics. At one point there was a chart that was basically "for a given task, every compiler on earth: 1min, us: 0.1sec"

        And whenever you poke you found it seemed to be comparing apple and oranges and conversations often ended in v users crying because "this is a new project !"

        (yet, the crowd kept growing and they seemed to have produced larger and larger projects with this thing)

    • embedding-shape a day ago ago

      For reference, for the ones who aren't aware of the constant drama that seems to follow V: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que... (open up almost any discussion and see the flood of similar messages).

      I never paid enough attention to figure out if the drama is justified or not (and don't really care either, please don't try to convince me to care either, don't shoot the messenger).

      • iamnothere a day ago ago

        There’s good kinds of drama (competent dev forcefully rejects bad ideas) and bad kinds of drama (activist/corporate takeovers, subpar dev doubles down on mistakes, etc), but I haven’t been following it, so I have no idea which one this is.

    • ursuscamp a day ago ago

      I remember the controversy around the original announcement. It seems quaint now, honestly. Simpler times. Slop by those olds standards is practically the Mona Lisa now.

    • IshKebab a day ago ago

      Yeah it seems to be following the No Man's Sky playbook.

    • EGreg a day ago ago

      I don't know.

      But I just released a language called U, and I was surprised to see this one.

      https://ulanguage.org

      • xvilka a day ago ago

        Just like V but without sharp edges?

      • cestith a day ago ago

        When compiling to C, does it use MISRA C or some other accepted standard for how to write secure and reliable C?

        • EGreg 8 hours ago ago

          Yes, C11

          But in terms of security and reliability, U's linter and compiler enforces that.

    • netbioserror a day ago ago

      I've only dipped my toe in, but it compiles fast code and works. Can't argue with results.

    • threethirtytwo a day ago ago

      Well tbh I don't care about all the PR surrounding the language. Has anyone used it in it's current state? Is it good? Please be objective.

  • pholypilz a day ago ago

    [dead]

  • 13415 a day ago ago

    [flagged]