Alleged "microkernel mathematically proven to be bug free"

[Cathal Garvey]

On 29/07/14 14:55, Lodewijk andré de la porte wrote:
> 2014-07-29 15:03 GMT+02:00 Cathal Garvey <cathalgarvey at cathalgarvey.me>:
> 
>> So the kernel can be theoretically secure but still be packed with buffer
>> overflows and pointer errors?
>>
> 
> No.

Care to elaborate? I can mathematically prove any theorem, then
implement it in C and segfault the kernel. How is this different?

-- 
T: @onetruecathal, @IndieBBDNA
P: +353876363185
W: http://indiebiotech.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0x988B9099.asc
Type: application/pgp-keys
Size: 6176 bytes
Desc: not available
URL: <http://lists.cpunks.org/pipermail/cypherpunks/attachments/20140729/807519b1/attachment-0001.key>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 901 bytes
Desc: OpenPGP digital signature
URL: <http://lists.cpunks.org/pipermail/cypherpunks/attachments/20140729/807519b1/attachment-0001.sig>