Remix.run Logo
C++ Web Server on my custom hobby OS(oshub.org)
67 points by joexbayer 5 hours ago | 10 comments
Aldipower 17 minutes ago | parent | next [-]

"After a long break from working on my hobby operating system, I finally got back into it and finished a very important milestone"

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've written maintainable and understandable code, also for others.

canyp 29 minutes ago | parent | prev | next [-]

Great website, massive rabbit hole I didn't know existed. There's a verified Ada/SPARK OS in there...

roetlich 5 hours ago | parent | prev | next [-]

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?

joexbayer 4 hours ago | parent [-]

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.

HTTP is mostly annoying because of all the text parsing :D

sweetjuly 3 hours ago | parent [-]

Yeah...HTTP/1 is one of those weird cases where the older protocol is considerably more difficult to implement correctly than the newer ""more complex"" standard. This is especially true if you want your server to work with they myriad of questionably compliant clients out in the world.

HTTP/3 might have been easier, and using QUIC+HTTP/3 in your hobby OS is a fun flex :)

kragen an hour ago | parent | next [-]

httpdito http://canonical.org/~kragen/sw/dev3/server.s implements HTTP/1.0 GET in about 320 machine instructions, and I haven't yet found a questionably compliant client that doesn't work with it. Writeup in http://canonical.org/~kragen/sw/dev3/httpdito-readme.

merb 2 hours ago | parent | prev [-]

I don’t think that http/3 is easier to implement than http/1.1 especially since h3 is stateful where http/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.

yupyupyups 4 hours ago | parent | prev | next [-]

You should add OpenAPI generation. So that basically the endpoint /openapi.json is auto-generated.

winrid 35 minutes ago | parent [-]

related - someone should take a stab at actually finishing this :) https://github.com/drogonframework/drogon/issues/988

slurrpurr an hour ago | parent | prev [-]

Can the OS run AI agents?