< prev1 / 10 more >

• 86Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo2 hours ago | 4 comments
• 187Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa6 hours ago | 21 comments
• 91Largest Cargo Sailboat Completes Historic First Atlantic Crossing (marineinsight.com)
  by defrost5 hours ago | 10 comments
• 11Characterizing the American Upper Paleolithic (science.org)
  by bikenaga1 hour ago | 1 comments
• 291Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
  by pseudolus11 hours ago | 29 comments
• 55GPS 'kill' switch allows state police cruisers to go dark and disable tracking (boston25news.com)
  by harambae3 days ago | 8 comments
• 114WriterdeckOS (writerdeckos.com)
  by surprisetalk6 hours ago | 26 comments
• 6Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State] (goskagit.com)
  by p_ing38 minutes ago | 1 comments
• 85Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
  by SchwKatze5 days ago | 2 comments
• 19Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
  by todsacerdoti3 hours ago | 0 comments

< prev1 / 10 more >