Description

Featured Article:

• 
  It's True: The Jaws Shark Is Public Domain -
  Hacker News


• 
  Show HN: Inspect and extract files from MSI installers directly in your browser -
  Hacker News


• 
  Wiki Radio: The thrilling sound of random Wikipedia -
  Hacker News


• 
  Show HN: Nxtscape – an open-source agentic browser -
  Hacker News


• 
  Verified Dynamic Programming with Σ-types in Lean -
  Hacker News