Refactoring the FreeBSD Kernel with Checked C [pdf] (Score: 100+ in 1 day) Link: https://readhacker.news/s/4DZmm Comments: https://readhacker.news/c/4DZmm 1.1K views01:30