< prev1 / 10 more >

• 166Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo6 hours ago | 11 comments
• 66Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
  by sadeshmukh2 hours ago | 10 comments
• 30Grok 4 Fast now has 2M context window (docs.x.ai)
  by hereme8881 hour ago | 4 comments
• 79Boring Company fined nearly $500K after it dumped drilling fluids into manholes (yahoo.com)
  by eloisius1 hour ago | 7 comments
• 239Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa10 hours ago | 27 comments
• 164Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost9 hours ago | 18 comments
• 324Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
  by pseudolus14 hours ago | 30 comments
• 13Syntax and Semantics of Programming Languages (1995) (cs.uiowa.edu)
  by nill01 hour ago | 3 comments
• 116Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
  by SchwKatze5 days ago | 3 comments
• 90Open-source communications by bouncing signals off the Moon (open.space)
  by fortran776 days ago | 8 comments

< prev1 / 10 more >