< prev 8 / 10 more >

• 65Online Z3 Guide (microsoft.github.io)
  by Bluestein2 days ago | 3 comments
• 136Stallman: Thousands Dead, Millions Deprived of Liberties (2001) (news.slashdot.org)
  by B1FF_PSUVM7 hours ago | 12 comments
• 242Reversing Factorio's RNG (gegell.github.io)
  by jheitmann5 days ago | 21 comments
• 15Priest, Monk, and Mathematician (logangraves.com)
  by magoghm8 hours ago | 1 comments
• 6Who Are We Now? (jessitron.com)
  by mooreds4 hours ago | 0 comments
• 29Show HN: Aclif – Agent CLI framework: one grammar, canonical names across SaaS (aclif.ai)
  by chris_marino8 hours ago | 6 comments
• 189OpenSpec – A lightweight and configurable AI spec framework (openspec.dev)
  by etoxin1 day ago | 37 comments
• 5The Harness Margin Opportunity (tomtunguz.com)
  by imichael4 hours ago | 1 comments
• 5Abusing ID3 chapters to turn videos into glanceable podcasts (alexwlchan.net)
  by ingve4 hours ago | 1 comments
• 167Anecdotally, programmers dislike "reduce" (evanhahn.com)
  by vinhnx3 days ago | 82 comments

< prev 8 / 10 more >