Hello, World

Hello, world. First post, mostly to check that everything renders.

I'll write here about infra, networking, observability, and the TCP/IP stack I'm building for seL4. There's an Atom feed.

#include <stdio.h>

int main(void) {
  printf("hello, world\n");
  return 0;
}

The blog itself was built by Devin. I write the words; it writes the Worker.