skip to content

< prev9/25more >

• 44GitHub's take on age assurance for developers (github.blog)
  by hanifbbz 1 day ago | 22 comments
• 145Intro to TLA+ for the LLM Era: Prompt Your Way to Victory (emptysqua.re)
  by zdw 4 days ago | 35 comments
• 400Gemini CLI will stop working from June 18, 2026 (developers.googleblog.com)
  by primaprashant 2 days ago | 203 comments
• 40Sam Altman makes 'mic drop' offer to every Y Combinator startup (techcrunch.com)
  by evo_9 1 day ago | 31 comments
• 147Hanoi’s humble beer glass and the memory of a nation (sundaylongread.com)
  by NaOH 3 days ago | 44 comments
• 14Israel's High-Tech Campaign to Kill or Capture Every Oct. 7 Attacker (wsj.com)
  by Cider9986 6 hours ago | 3 comments
• 556Incident Report: Railway Blocked by Google Cloud [resolved] (status.railway.com)
  by aarondf 2 days ago | 351 comments
• 275Anna's Archive hit with $19.5M default judgment and global domain takedown order (torrentfreak.com)
  by iamnothere 1 day ago | 226 comments
• 97Stable Audio 3 (arxiv.org)
  by guardienaveugle 1 day ago | 18 comments
• 11Lazydiff: Terminal PR Review with AST-Aware Semantic Diff Rendering (github.com)
  by rohanucla 22 hours ago | 1 comments
• 65RISC-V and Floating-Point (fprox.substack.com)
  by hasheddan 3 days ago | 49 comments
• 133Copy Fail, Dirty Frag, and Fragnesia kernel vulnerabilities (gentoo.org)
  by akhuettel 2 days ago | 54 comments
• 211-Wire (en.wikipedia.org)
  by ripe 13 hours ago | 7 comments
• 14Comparing Objective Caml and Standard ML (adam.chlipala.net)
  by lambertsimnel 19 hours ago | 2 comments
• 33Show HN: I made a tool for learning scales, chords, and how to combine them (projects.alesh.com)
  by aleshh 1 day ago | 21 comments
• 93The Mercury logic programming system (github.com)
  by Antibabelic 3 days ago | 23 comments
• 36Denmark's wind and solar investments shield it from global energy turmoil (pbs.org)
  by vrganj 15 hours ago | 7 comments
• 223Polypad (polypad.amplify.com)
  by ivank 4 days ago | 24 comments
• 7Ontario looks to ban reselling tickets for more than original price (cbc.ca)
  by rkhleung 6 hours ago | 4 comments
• 130The foundations of a provably secure operating system (PSOS) (1979) [pdf] (csl.sri.com)
  by rurban 3 days ago | 91 comments