Mainly interested in systems programming, networks, security, functional programming and type theory. I'm still not very knowledgeable in some of these areas, but my goal is to understand them.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.