< prev1 / 10 more >

• 34Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo57 minutes ago | 1 comments
• 161Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa5 hours ago | 20 comments
• 271Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
  by pseudolus9 hours ago | 28 comments
• 97WriterdeckOS (writerdeckos.com)
  by surprisetalk5 hours ago | 22 comments
• 124IP Blocking the UK Is Not Enough to Comply with the Online Safety Act (prestonbyrne.com)
  by pinkahd1 hour ago | 27 comments
• 52Largest Cargo Sailboat Completes Historic First Atlantic Crossing (marineinsight.com)
  by defrost4 hours ago | 7 comments
• 63Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
  by SchwKatze5 days ago | 1 comments
• 30What Hallucinogens Will Make You See (nautil.us)
  by simonebrunozzi2 hours ago | 8 comments
• 87Avería: The Average Font (2011) (iotic.com)
  by JoshTriplett4 hours ago | 7 comments
• 9Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
  by todsacerdoti1 hour ago | 0 comments

< prev1 / 10 more >