< prev1 / 10 more >

• 130Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
  by sadeshmukh3 hours ago | 19 comments
• 194Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo7 hours ago | 11 comments
• 28Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
  by simonw2 hours ago | 3 comments
• 193Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost10 hours ago | 18 comments
• 251Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa12 hours ago | 28 comments
• 332Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
  by pseudolus16 hours ago | 30 comments
• 116Open-source communications by bouncing signals off the Moon (open.space)
  by fortran776 days ago | 9 comments
• 21Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework (github.com)
  by idolevi5 days ago | 0 comments
• 124Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
  by SchwKatze5 days ago | 3 comments
• 21Syntax and Semantics of Programming Languages (1995) (cs.uiowa.edu)
  by nill03 hours ago | 3 comments

< prev1 / 10 more >