< prev1 / 10 more >

• 156Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo5 hours ago | 11 comments
• 52Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
  by sadeshmukh1 hour ago | 7 comments
• 237Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa9 hours ago | 26 comments
• 156Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost8 hours ago | 17 comments
• 11Syntax and Semantics of Programming Languages (1995) (cs.uiowa.edu)
  by nill01 hour ago | 2 comments
• 321Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
  by pseudolus14 hours ago | 30 comments
• 51Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
  by todsacerdoti5 hours ago | 0 comments
• 115Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
  by SchwKatze5 days ago | 2 comments
• 145WriterdeckOS (writerdeckos.com)
  by surprisetalk9 hours ago | 33 comments
• 24Boring Company fined nearly $500K after it dumped drilling fluids into manholes (yahoo.com)
  by eloisius56 minutes ago | 2 comments

< prev1 / 10 more >