Slashdot Mirror

← Back to Sections

Section: Developers · 3 stories (clear)

• seL4 Verified Microkernel Now Open Source
  Developers · Opensource · 2014-07-29 09:08 · posted by Unknown · from the formal-verification-for-the-rest-of-us dept. · 82 comments
• Programming Languages You'll Need Next Year (and Beyond)
  Developers · Programming · 2014-07-29 07:45 · posted by Soulskill · from the sorry-folks-still-no-haskell dept. · 315 comments
• Put Your Code in the SWAMP: DHS Sponsors Online Open Source Code Testing
  Developers · Security · 2014-07-29 02:11 · posted by timothy · from the they'll-take-a-look-see dept. · 67 comments