Stuxnet(en.wikipedia.org)

9 points by thunderbong 2 years ago | 0 comments

Welcome to Wikifunctions(wikifunctions.org)

273 points by edward 3 years ago | 136 comments

Show HN: Wikipedia Browser a La Andy Matuschak's Evergreen Notes(steezeburger.com)

98 points by steezeburger 2 years ago | 42 comments

Huffman Coding(en.wikipedia.org)

4 points by tosh 1 year ago | 2 comments

DRAKON(en.wikipedia.org)

198 points by instagraham 2 years ago | 54 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.