Wednesday, July 29, 2020

Refactoring the FreeBSD Kernel with Checked C [pdf]

Article URL: https://www.cs.rochester.edu/u/jzhou41/papers/freebsd_checkedc.pdf

Comments URL: https://news.ycombinator.com/item?id=23993000

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/2Ex5b8H
via IFTTT

No comments:

Post a Comment

England see off USA to return to winning ways

England's Red Roses return to winning ways, but without entirely vanquishing doubts over their position at the top of the women's ga...