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
at
Labels: ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Elon Musk's DOGE comes for agency that regulates autonomous vehicles

Article URL: https://techcrunch.com/2025/02/21/elon-musks-doge-comes-for-agency-that-regulates-autonomous-vehicles/ Comments URL: https://n...