Profile
金具✅ reblogged at 6 years ago
orumin orumin@mstdn.maud.io
The benefits and costs of writing a POSIX kernel in a high-level language | USENIX https://www.usenix.org/conference/osdi18/presentation/cutler