Alleged "microkernel mathematically proven to be bug free"
Eugen Leitl
eugen at leitl.org
Mon Jul 28 09:20:42 PDT 2014
On Mon, Jul 28, 2014 at 06:26:50PM +0300, Georgi Guninski wrote:
> news:
> http://www.theregister.co.uk/2014/07/28/aussie_droneprotecting_hackerdetecting_kernel_goes_open_source/
> site:
I'm on their announcement list. Good news, question is who's going to
pick it up and build a distro around that.
Anyone here use Qubes OS?
> http://sel4.systems/
>
> AFAICT they used Isabelle for the proofs.
>
> Coq sucks much (not counting its developers).
More information about the cypherpunks
mailing list