Slashdot Mirror

← Back to Sections

Section: Tech · 2 stories (clear)

• World's First Formally-Proven OS Kernel
  Tech · Os · 2009-08-12 23:57 · posted by Soulskill · from the wait-for-it dept. · 517 comments
• Can Unmanned Aircraft Mix With Commercial Planes?
  Tech · Transportation · 2009-08-12 11:15 · posted by samzenpus · from the fly-the-robotic-skies dept. · 203 comments