C++ Web Server on my custom hobby OS

oshub.org

85 points by joexbayer 9 hours ago


Aldipower - 4 hours ago

"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 - 5 hours ago

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

roetlich - 9 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?

yupyupyups - 8 hours ago

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

slurrpurr - 6 hours ago

Can the OS run AI agents?