4 ms·
This is the definition of a trolling scientist. I'm willing to bet this will be cracked within 1 year of the software surfacing.
by acconrad 16y ago
This is the definition of a trolling scientist. I'm willing to bet this will be cracked within 1 year of the software surfacing.
- lsf 16y agoHow much do you want to bet? Of course, the kernel is hackable (just hack the hardware, done). But if you stay with what the claim actually is, not what the press writes about it, we can play. Download kernel and spec from [http://ertos.nicta.com.au/software/seL4/ http://ertos.nicta.com.au/software/seL4/] stay in the proof assumption space, described here [http://ertos.nicta.com.au/research/l4.verified/proof.pml http://ertos.nicta.com.au/research/l4.verified/proof.pml], and let us know if you can find a deviation from the spec, hacking or otherwise. Take as much time as you like. If yes, we'll be very interested to hear and I'm sure we can write a paper together that a lot of people want to know about. I usually don't have much time for trolling, but sometimes it's fun ;-) Cheers, Gerwin