Steel Bank Common Lisp 2.3.5 released(sbcl.org)

108 points by mm007emko 3 years ago | 28 comments

Ironclad – formally verified, real-time capable, Unix-like OS kernel(ironclad-os.org)

358 points by vitalnodo 11 months ago | 121 comments

Homepage of Ironclad, a formally verified, real-time capable, Unix-like OS kernel written in SPARK and Ada with POSIX compatibility and MAC.

Fiwix: Small Unix-Like Kernel(fiwix.org)

51 points by coolcoder613 1 year ago | 23 comments

A new futex API(lwn.net)

71 points by signa11 3 years ago | 36 comments

The Linux Information Project(linfo.org)

35 points by abhiminator 3 years ago | 5 comments

Libxml2's "no security embargoes" policy(lwn.net)

254 points by jwilk 1 year ago | 207 comments