1. Show HN: Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series Mac (github.com)
    906 points by gitpusher42 4 days | 341 comments
  2. Why don't people use formal methods? (2019) (www.hillelwayne.com)
    128 points by Thom2503 3 days | 115 comments
  3. Retired man plants trees on forgotten land, now it's Sao Paulo's largest park (timesofindia.indiatimes.com)
    28 points by rmason about 16 hours | 3 comments
  4. A GTK4 SSH-askpass in Zig (xn--gckvb8fzb.com)
    67 points by surprisetalk 2 days | 27 comments
  5. Saber-toothed cats became inbred–and struggled to move–before they went extinct (www.science.org)
    69 points by gmays 3 days | 32 comments
  6. Superlogical (www.superlogical.com)
    786 points by yan 4 days | 455 comments
  7. I flagged two research papers for fake authors and both were accepted as orals (geospatialml.com)
    273 points by volumes94 3 days | 155 comments
  8. KOReader (koreader.rocks)
    747 points by Cider9986 4 days | 245 comments
  9. Orca-Bench: How Ready Are Language Model Agents for Oncall? (arxiv.org)
    30 points by yruzin 2 days | 11 comments
  10. Steel Bank Common Lisp version 2.6.7 (sbcl.org)
    276 points by tmtvl 5 days | 166 comments
  11. The Art of Decision-Making (2019) (www.newyorker.com)
    46 points by EndXA 2 days | 3 comments
  12. Pessimistically optimistic (lemurintheattic.mataroa.blog)
    4 points by xyztenet about 7 hours | discuss
  13. The AI Aesthetic (blog.jim-nielsen.com)
    375 points by montroser 3 days | 176 comments
  14. "AI Brendans" or "Virtual Brendans" (2025) (www.brendangregg.com)
    5 points by Jimmc414 about 17 hours | discuss
  15. Cracking under pressure: silicon fractures on ATLAS strip tracker petals (arxiv.org)
    5 points by Jimmc414 about 17 hours | discuss
  16. Show HN: Crew, a local collaborative (people and agents) IDE (github.com)
    5 points by jamelhammoud about 17 hours | discuss
  17. Persistent State Machines: LLM Attention with INT4 In-Memory Cells (zenodo.org)
    10 points by yusuke_esaka about 12 hours | 4 comments
  18. An Interview with Salman Rushdie (brickmag.com)
    3 points by xyztenet about 7 hours | discuss
  19. Logic for Programmers (logicforprogrammers.com)
    212 points by _doctor_love 4 days | 47 comments
  20. Something Weird Is Happening in Math (www.theatlantic.com)
    6 points by altro about 7 hours | discuss
  21. RFC 8890 – The Internet is for End Users (2020) (mnot.net)
    130 points by notarobot123 3 days | 42 comments
  22. Arch Linux disables AUR package adoption (lwn.net)
    158 points by database64128 2 days | 121 comments
  23. Azulejo (en.wikipedia.org)
    190 points by Amorymeltzer 5 days | 64 comments
  24. Y'all Street Launches: Texas Stock Exchange Goes Live in Dallas (www.foxbusiness.com)
    3 points by testrun about 7 hours | discuss
  25. GCC steering committee announces AI policy (lwn.net)
    351 points by arto 3 days | 427 comments
  26. Pantograph (github.com)
    13 points by sargstuff about 17 hours | 3 comments
  27. Astro Loop (pubdeer.com)
    32 points by BaseBaal 1 day | 9 comments
  28. The First Idempotency Key (hatchet.run)
    34 points by abelanger 5 days | 7 comments
  29. Moonshot’s Kimi uses 20k Nvidia chip cluster from Alibaba (www.bloomberg.com)
    113 points by gk1 2 days | 74 comments
  30. Karpathy's Pelican (twitter.com)
    8 points by delichon about 9 hours | discuss
More