< prev1 / 10 more >

• 73Twenty Years of RISC OS Open (riscosopen.org)
  by AlexeyBrin3 hours ago | 8 comments
• 49F*: A general-purpose proof-oriented programming language (fstar-lang.org)
  by ducktective3 hours ago | 4 comments
• 107Meshdiff – visually compare two STL versions in the browser, client-side (meshdiff.com)
  by projscope4 hours ago | 10 comments
• 52Folding Paper Globes (foldingglobes.com)
  by dango25064 days ago | 3 comments
• 117Show HN: Bor – Open-source policy management for Linux desktops (getbor.dev)
  by eniac1116 hours ago | 9 comments
• 33Fasttracker II clone in C using SDL 2 (16-bits.org)
  by andsoitis4 days ago | 5 comments
• 80Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge (publicdomainreview.org)
  by jruohonen5 hours ago | 6 comments
• 63A Rant About “Technology” (2005) (ursulakleguin.com)
  by jamesgill52 minutes ago | 6 comments
• 51Show HN: Fuse – statically typed functional programming language (fuselang.org)
  by the_unproven4 hours ago | 6 comments
• 293Go 1.27 Interactive Tour (victoriametrics.com)
  by Hixon1014 hours ago | 28 comments

< prev1 / 10 more >