Linked by Thom Holwerda on Mon 21st Nov 2011 11:25 UTC, submitted by moondevil
OSNews, Generic OSes You all know MINIX - a microkernel operating system project led by Andrew Tanenbaum. The French Linux magazine LinuxFr.org has an interview with Andrew Tanenbaum about MINIX' current state and future. There's some interesting stuff in there.
Thread beginning with comment 497822
To view parent comment, click here.
To read all comments associated with this story, please click here.
RE[3]: Comment by peteo
by kragil on Mon 21st Nov 2011 17:32 UTC in reply to "RE[2]: Comment by peteo"
kragil
Member since:
2006-01-04

If you want to see a moron look into a mirror.
http://en.wikipedia.org/wiki/Formal_verification
http://en.wikipedia.org/wiki/Managed_code
Maybe you will grok the difference but I doubt it.

Reply Parent Score: 5