‹ BackHN Continuity

Thread

What even is an OS now?

310 points · 479 comments · fratellobigio

  1. tptacek · · focus · HN ↗
    Hey, all. I really don't know what to do with a post like this.

    I'm being sincere when I say (as I've said on two threads here) that this genre of posts --- "I'm leaving this company I've been very publicly associated with, and here's the new thing I'm doing" --- is deeply cursed. There's no way to say anything interesting without it just stinking like an ad for the new thing.

    Obviously, anything at all you say about a commercial project you're working on is easily read as promotional. And you're right, this kind of writing almost always is promotional. But there's a way to do it where at least you're trying to be in conversation with your peers, rather than hitting people over the head with how awesome you think the project is.

    But I don't know how to do that in a post like this. I think the only way to read it is as, like, an investor memo. Not my goal, but I don't make the rules.

    So my strategy here is just to stay kind of vague, and talk about where I think the world is going, rather than the specific thing we're doing. I can talk your ears off about capability systems, datalog, models driving hardware, virtualization, whatever. Those are fun conversations and I'm very psyched to have them; it's what lights me up about the work we're doing now.

    But I don't think it can work here. I didn't submit this post and I didn't upvote it. I wrote it because I didn't want the whole thing I'm leaving Fly.io for to be wrapped up in some dumb Twitter thread.

    If you're unsatisfied with the post, I don't blame you, but it's less a bid for the front page of HN than it is an update to my "about me" page. I'd literally rather talk about HN meta, and how to write for HN, than I would about operating systems at this moment. I truly appreciate the interest though.

    1. dtkav · · focus · HN ↗
      We were on a call recently where I mentioned that as a fly user SDLC and declarative config was more important than ever, and so I was pushing for sprites to have OCI images.

      I'm pretty AI pilled, and I'm building a local-first personal software platform, but I dunno... I've been feeling like i need to cram the "AI spirit" into very specifically shaped boxes to actually build robust software tastefully at speed. Like software on the outside and AI on the inside instead of the other way around.

      I do think the future of computing will definitely be more like the Linux diaspora than the apple ecosystem, but also.. it is easy to get "duped" by AI without actually shipping. I'm starting to want "KPIs" to help me measure if my time is actually well spent against the things i care about.

      I guess I'm extrapolating from your post, but even if the programming language is English, we'll probably still want to spend a large amount of additional compute to produce "artifacts" that have things like performant code, security hardening, and certified taste.

      I do think the future of computing will definitely be more like the Linux diaspora than the apple ecosystem, but also... when i first got into linux i spent way too long trying to get my desktop perfectly aesthetic because it was all suddenly malleable. Now i vibe more with Debian.

      I wish you luck, and I'm looking forward to seeing what you come up with! Fun times ahead for sure.

      1. rjbwork · · focus · HN ↗
        > I've been feeling like i need to cram the "AI spirit" into very specifically shaped boxes to actually build robust software tastefully at speed.

        This is such incredible verbiage. Thank you for saying something so clearly that I've been saying myself in many other ways. I've been using terms such as "providing structure" and "applying constraints" and "reducing degrees of freedom".

        I think very specifically the idea of "taste" is going to be extremely important in these AI-saturated days, and it's really where experienced humans will shine...at least for a while.

      2. sjpb · · focus · HN ↗
        A post a few days ago turned funtional core, imperative shell into deterministic core, non-deterministic shell. And a comment [1] on that discussed turning that into "slop core, artisinal shell". Which makes a lot of sense actually despite feeling the wrong round initially. And maybe what an OS needs to do is to support that, at a higher level. What I think we will need is strong isolation - all the software might be coming from the "same place", but do we trust that place? Certainly not currently!

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

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.