funsec mailing list archives
Re: MS Singularity - singularly impossible?
From: Valdis.Kletnieks () vt edu
Date: Sun, 13 May 2007 14:18:20 -0400
On Sun, 13 May 2007 10:26:25 +0200, Florian Weimer said:
You mean how the invariant is enforced? A sufficiently advanced type system
.... is indistinguishable from magic. I'll believe it when I see working code, as opposed to hand-waving. :)
Attachment:
_bin
Description:
_______________________________________________ Fun and Misc security discussion for OT posts. https://linuxbox.org/cgi-bin/mailman/listinfo/funsec Note: funsec is a public and open mailing list.
Current thread:
- MS Singularity - singularly impossible? Dude VanWinkle (May 12)
- Re: MS Singularity - singularly impossible? Florian Weimer (May 13)
- Re: MS Singularity - singularly impossible? Valdis . Kletnieks (May 13)
- Re: MS Singularity - singularly impossible? Florian Weimer (May 13)