< prev1 / 10 more >

• 103Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo2 hours ago | 5 comments
• 196Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa7 hours ago | 24 comments
• 108Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost6 hours ago | 12 comments
• 298Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
  by pseudolus11 hours ago | 29 comments
• 49Judge says Education Dept partisan out-of-office emails violated First Amendment (npr.org)
  by toomanyrichies58 minutes ago | 5 comments
• 121WriterdeckOS (writerdeckos.com)
  by surprisetalk7 hours ago | 26 comments
• 27Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
  by todsacerdoti3 hours ago | 0 comments
• 93Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
  by SchwKatze5 days ago | 2 comments
• 12Characterizing the American Upper Paleolithic (science.org)
  by bikenaga1 hour ago | 1 comments
• 120Avería: The Average Font (2011) (iotic.com)
  by JoshTriplett6 hours ago | 11 comments

< prev1 / 10 more >