5 comments

  • Aldipower4 hours ago
    &quot;After a long break from working on my hobby operating system, I finally got back into it and finished a very important milestone&quot;<p>This is a sign of great engineering. Code gets foreign code after some time of not being in it. If you easily can pick it up again, it is a sign that you&#x27;ve written maintainable and understandable code, also for others.
  • canyp5 hours ago
    Great website, massive rabbit hole I didn&#x27;t know existed. There&#x27;s a verified Ada&#x2F;SPARK OS in there...
  • roetlich9 hours ago
    Very cool! Why was and the entire networking stack straight forward, but not HTTP (and TCP)? Could you take inspiration form other projects for things like DNS?
    • joexbayer8 hours ago
      Up to TCP most protocols are very straight forward, atleast getting them to work semi reliable. But then TCP explodes in complexity with all the state management and possible paths a connection can take.<p>HTTP is mostly annoying because of all the text parsing :D
      • sweetjuly7 hours ago
        Yeah...HTTP&#x2F;1 is one of those weird cases where the older protocol is considerably more difficult to implement correctly than the newer &quot;&quot;more complex&quot;&quot; standard. This is especially true if you want your server to work with they myriad of questionably compliant clients out in the world.<p>HTTP&#x2F;3 might have been easier, and using QUIC+HTTP&#x2F;3 in your hobby OS is a fun flex :)
        • kragen5 hours ago
          httpdito <a href="http:&#x2F;&#x2F;canonical.org&#x2F;~kragen&#x2F;sw&#x2F;dev3&#x2F;server.s" rel="nofollow">http:&#x2F;&#x2F;canonical.org&#x2F;~kragen&#x2F;sw&#x2F;dev3&#x2F;server.s</a> implements HTTP&#x2F;1.0 GET in about 320 machine instructions, and I haven&#x27;t yet found a questionably compliant client that doesn&#x27;t work with it. Writeup in <a href="http:&#x2F;&#x2F;canonical.org&#x2F;~kragen&#x2F;sw&#x2F;dev3&#x2F;httpdito-readme" rel="nofollow">http:&#x2F;&#x2F;canonical.org&#x2F;~kragen&#x2F;sw&#x2F;dev3&#x2F;httpdito-readme</a>.
        • merb6 hours ago
          I don’t think that http&#x2F;3 is easier to implement than http&#x2F;1.1 especially since h3 is stateful where http&#x2F;1.1 is not. Especially not when everything should be working correctly and securely because the spec does not always tell about these things. Oh and multiplexing is quite a hard thing to do especially when you are also dealing with a state machine and each of your clients can be malicious.
          • codys2 hours ago
            I can&#x27;t speak to http&#x2F;3 (I haven&#x27;t tried to impl it), but I can say that a bare-bones http&#x2F;2 is very easy to implement because it doesn&#x27;t try to pretend to be prose.
  • yupyupyups8 hours ago
    You should add OpenAPI generation. So that basically the endpoint &#x2F;openapi.json is auto-generated.
    • winrid5 hours ago
      related - someone should take a stab at actually finishing this :) <a href="https:&#x2F;&#x2F;github.com&#x2F;drogonframework&#x2F;drogon&#x2F;issues&#x2F;988" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;drogonframework&#x2F;drogon&#x2F;issues&#x2F;988</a>
  • slurrpurr5 hours ago
    Can the OS run AI agents?