Advanced

DARPA-derived secure microkernel goes open source tomorrow

Posted by bob on · 2 comments
The Register		Mail this story
Print this story

Hacker-repelling, drone-protecting code will soon be yours to tweak as you see fit A nippy microkernel mathematically proven to be bug free*, and used to protect drones from hacking, will be released as open source tomorrow.…

Full Story

  Nav
» Read more about: Story Type: News Story

» Get new stories by e-mail: nightly or as they are published

« Return to the newswire homepage

  Related stories
» More like this

Comments (2)

Bob_Robertson ·
Thus spake the Master Programmer:

"Though your program be only one line long, one day it will have to be maintained."
gus3 ·
All programs have at least one bug.

All programs have at least one unnecessary instruction.

Hence, all programs can be reduced to a single instruction that doesn't work.

Post a comment

A free account is needed to post. Write your comment here first: your text is kept in this browser while you sign up or log in, and is waiting for you when you come back.

Your message:
|||||
10
Markdown: **bold**, *italic*, [text](https://link), - lists, > quotes, $x^2$ for math. Formatting help

Sign up and post (it is free)  or  Log in and post