logoalt Hacker News

  1. Kagi Small Web (kagi.com)
    87 points • by trueduke • today at 9:53 AM • 13 comments
  2. Kagi Translate now supports LinkedIn Speak as an output language (translate.kagi.com)
    608 points • by smitec • today at 4:39 AM • 157 comments
  3. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
    572 points • by Poudlardo • yesterday at 8:59 PM • 119 comments
  4. The unlikely story of Teardown Multiplayer (blog.voxagon.se)
    96 points • by lairv • last Friday at 4:20 PM • 14 comments
  5. Building a Shell (healeycodes.com)
    9 points • by ingve • today at 9:52 AM • 0 comments
  6. Meta’s renewed commitment to jemalloc (engineering.fb.com)
    443 points • by hahahacorn • yesterday at 6:12 PM • 194 comments
  7. The “small web” is bigger than you might think (kevinboone.me)
    439 points • by speckx • yesterday at 5:17 PM • 186 comments
  8. The American Healthcare Conundrum (github.com)
    361 points • by rexroad • yesterday at 5:13 PM • 314 comments
  9. Every layer of review makes you 10x slower (apenwarr.ca)
    264 points • by greyface- • today at 3:20 AM • 146 comments
  10. Sci-Fi Short Film “There Is No Antimemetics Division” [video] (www.youtube.com)
    106 points • by Anon84 • last Friday at 11:44 AM • 23 comments
  11. Reverse-engineering Viktor and making it Open Source (matijacniacki.com)
    16 points • by zggf • today at 8:15 AM • 4 comments
  12. Gitana 18: the new flying Ultim trimaran (www.boatnews.com)
    42 points • by divbzero • last Friday at 3:16 AM • 10 comments
  13. US SEC preparing to scrap quarterly reporting requirement (www.reuters.com)
    587 points • by djoldman • today at 12:02 AM • 317 comments
  14. What CI looks like at a 100-person team (PostHog) (www.mendral.com)
    11 points • by shad42 • last Thursday at 3:50 PM • 0 comments
  15. Grace Hopper's Revenge (www.thefuriousopposites.com)
    11 points • by ashirviskas • today at 9:26 AM • 6 comments
  16. Pyodide: a Python distribution based on WebAssembly (github.com)
    89 points • by tosh • last Friday at 5:34 PM • 24 comments
  17. Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
    137 points • by rmason • yesterday at 8:59 PM • 300 comments
  18. My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (community.home-assistant.io)
    374 points • by Vaslo • yesterday at 1:09 PM • 108 comments
  19. Fatal Core Dump Game (www.robopenguins.com)
    8 points • by pabs3 • last Friday at 6:00 AM • 1 comment
  20. Why I love FreeBSD (it-notes.dragas.net)
    442 points • by enz • yesterday at 11:23 AM • 216 comments
  21. Claude Tips for 3D Work (www.davesnider.com)
    93 points • by snide • last Friday at 2:53 PM • 19 comments
  22. Monkey Island for Commodore 64 Ground Up (pixeldust.se)
    137 points • by aresant • today at 4:00 AM • 51 comments
  23. Starlink Mini as a failover (www.jackpearce.co.uk)
    262 points • by jkpe • yesterday at 8:07 AM • 199 comments
  24. Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com)
    109 points • by mr_Fatalyst • last Friday at 1:35 PM • 60 comments
  25. Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com)
    89 points • by howlett • last Friday at 4:49 PM • 34 comments
  26. In space, no one can hear you kernel panic (2020) (increment.com)
    61 points • by p0u4a • last Friday at 12:02 AM • 14 comments
  27. AirPods Max 2 (www.apple.com)
    283 points • by ssijak • yesterday at 1:22 PM • 474 comments
  28. Polymarket gamblers threaten to kill me over Iran missile story (www.timesofisrael.com)
    1508 points • by defly • yesterday at 12:00 PM • 948 comments
  29. Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (www.moment.dev)
    253 points • by antics • last Friday at 1:38 AM • 113 comments
  30. Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025) (arxiv.org)
    118 points • by wek • yesterday at 5:07 PM • 64 comments
  31. AnswerThis (YC F25) Is Hiring (www.ycombinator.com)
    1 points • by ayush4921 • yesterday at 9:00 PM • 0 comments
  32. The bureaucracy blocking the chance at a cure (www.writingruxandrabio.com)
    133 points • by item • last Sunday at 6:32 PM • 161 comments
  33. Lazycut: A simple terminal video trimmer using FFmpeg (github.com)
    201 points • by masterpos • yesterday at 12:05 PM • 60 comments
  34. Language model teams as distributed systems (arxiv.org)
    94 points • by jryio • yesterday at 5:19 PM • 39 comments
  35. Jepsen: MariaDB Galera Cluster 12.1.2 (jepsen.io)
    84 points • by aphyr • today at 3:46 AM • 8 comments
  36. Corruption erodes social trust more in democracies than in autocracies (www.frontiersin.org)
    709 points • by PaulHoule • yesterday at 11:25 AM • 370 comments
  37. Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps (self)
    75 points • by ymarkov • yesterday at 4:21 PM • 57 comments
  38. Show HN: Droeftoeter, a Terminal Coding Toy (github.com)
    19 points • by whtspc64 • last Friday at 4:16 AM • 5 comments
  39. Apideck CLI – An AI-agent interface with much lower context consumption than MCP (www.apideck.com)
    130 points • by gertjandewilde • yesterday at 3:25 PM • 110 comments
  40. Show HN: Claude Code skills that build complete Godot games (github.com)
    258 points • by htdt • yesterday at 4:07 PM • 161 comments
  41. Boot ROM Security on Silicon Macs (M1/M2/M3) (oliviagallucci.com)
    6 points • by 0xkato • today at 3:47 AM • 0 comments
  42. MoD sources warn Palantir role at heart of government is threat to UK security (www.thenerve.news)
    634 points • by vrganj • yesterday at 11:57 AM • 269 comments
  43. Cert Authorities Check for DNSSEC from Today (www.grepular.com)
    104 points • by zdw • last Sunday at 10:10 PM • 247 comments
  44. Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain (www.michaelgeist.ca)
    987 points • by opengrass • last Sunday at 9:22 PM • 327 comments
  45. Canopy Height Maps v2 (ai.meta.com)
    30 points • by tzury • last Thursday at 6:24 PM • 12 comments
  46. Comparing Python Type Checkers: Typing Spec Conformance (pyrefly.org)
    106 points • by ocamoss • yesterday at 12:25 PM • 48 comments
  47. US Job Market Visualizer (karpathy.ai)
    461 points • by andygcook • yesterday at 3:10 PM • 337 comments
  48. Heavier Proton Discovered at LHC (www.theguardian.com)
    4 points • by zabzonk • today at 9:00 AM • 0 comments
  49. Even faster asin() was staring right at me (16bpp.net)
    109 points • by def-pri-pub • yesterday at 12:30 PM • 54 comments
  50. MM120, a pharmaceutical form of LSD, shown to reduce anxiety symptoms (2025) (www.sciencedaily.com)
    93 points • by carlos-menezes • yesterday at 11:16 AM • 88 comments