< prev 3 / 10 more >

• 119My personal AI benchmark: “Generate an SVG of a frog with a Habsburg jaw” (frogs.vaguespac.es)
  by thebigship8 hours ago | 30 comments
• 167F*: A general-purpose proof-oriented programming language (fstar-lang.org)
  by ducktective15 hours ago | 12 comments
• 154Twenty Years of RISC OS Open (riscosopen.org)
  by AlexeyBrin15 hours ago | 11 comments
• 102Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark (github.com)
  by graham3310 hours ago | 9 comments
• 113Californians' data deletion requests, DROP, become enforceable Aug. 1 (nbcsandiego.com)
  by MilnerRoute5 hours ago | 13 comments
• 41TinyNES Review – A Super Niche NES Console (blog.lon.tv)
  by throwoutway7 hours ago | 7 comments
• 116When transit passes were designed by hand (2022) (letterformarchive.org)
  by nate2 days ago | 8 comments
• 101Show HN: Shitty – fast terminal. Memory-unsafe and faster than yours (github.com)
  by pshirshov4 hours ago | 27 comments
• 15Playing with Georgia (mighil.com)
  by surprisetalk4 days ago | 8 comments
• 155Folding Paper Globes (foldingglobes.com)
  by dango25064 days ago | 17 comments

< prev 3 / 10 more >