< prev1 / 10 more >

• 84Twenty Years of RISC OS Open (riscosopen.org)
  by AlexeyBrin3 hours ago | 10 comments
• 61F*: A general-purpose proof-oriented programming language (fstar-lang.org)
  by ducktective3 hours ago | 5 comments
• 115Meshdiff – visually compare two STL versions in the browser, client-side (meshdiff.com)
  by projscope4 hours ago | 11 comments
• 41Fasttracker II clone in C using SDL 2 (16-bits.org)
  by andsoitis4 days ago | 7 comments
• 122Show HN: Bor – Open-source policy management for Linux desktops (getbor.dev)
  by eniac1117 hours ago | 9 comments
• 61Folding Paper Globes (foldingglobes.com)
  by dango25064 days ago | 6 comments
• 82Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge (publicdomainreview.org)
  by jruohonen5 hours ago | 7 comments
• 3How the words we teach English language learners changed (pudding.cool)
  by c-oreills28 minutes ago | 1 comments
• 78A Rant About “Technology” (2005) (ursulakleguin.com)
  by jamesgill1 hour ago | 12 comments
• 54Show HN: Fuse – statically typed functional programming language (fuselang.org)
  by the_unproven4 hours ago | 6 comments

< prev1 / 10 more >