mbuhl ᠮᠣᠷᠢᠲᡯ 王亢宝 moritzbuhl@bsd.network

Open on bsd.network

IT student.
Interests: OpenBSD, static code analysis, automated formal verification.

ArticlesSubscribersSubscriptions