< prev1 / 10 more >

• 50Twenty Years of RISC OS Open (riscosopen.org)
  by AlexeyBrin2 hours ago | 5 comments
• 91Meshdiff – visually compare two STL versions in the browser, client-side (meshdiff.com)
  by projscope3 hours ago | 9 comments
• 22F*: A general-purpose proof-oriented programming language (fstar-lang.org)
  by ducktective2 hours ago | 2 comments
• 99Show HN: Bor – Open-source policy management for Linux desktops (getbor.dev)
  by eniac1115 hours ago | 8 comments
• 65Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge (publicdomainreview.org)
  by jruohonen4 hours ago | 4 comments
• 27Folding Paper Globes (foldingglobes.com)
  by dango25064 days ago | 3 comments
• 38Show HN: Fuse – statically typed functional programming language (fuselang.org)
  by the_unproven3 hours ago | 3 comments
• 280Go 1.27 Interactive Tour (victoriametrics.com)
  by Hixon1013 hours ago | 25 comments
• 49Show HN: Syncular – offline-first SQL sync with TypeScript and Rust cores (github.com)
  by quambo4 hours ago | 10 comments
• 223Show HN: I'm a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built (github.com)
  by tomilan12 hours ago | 34 comments

< prev1 / 10 more >