logo
Hacker News
  1. Before the theorem prover: verification is older than the alphabet (amangoel.ai)
    3 points by amangoelumich 5 hours ago | discuss
  2. Do newer coding models end up training on the AI slop generated by older models?
    6 points by tbharath 5 hours ago | 6 comments
  3. Google AI Studio "Delete" doesn't delete – server chat persists (3 videos) (youtube.com)
    5 points by Bitu79 5 hours ago | 4 comments
  4. A pharmacy chain in Vermont implemented AI for efficiency (vtdigger.org)
    34 points by omerhj 5 hours ago | 44 comments
  5. The World Is to Focused on Quarterly Earnings
    3 points by Taikhoom2010 5 hours ago | 2 comments
  6. ACR Stealer: ClickFix, Etherhiding, and Stego, Oh My (discourse.ifin.network)
    3 points by speckx 5 hours ago | discuss
  7. Show HN: RunNburn – Run a 295B Moe from a 98GB GGUF on a 64GB RAM Desktop (github.com)
    3 points by coderredlab 5 hours ago | discuss
  8. Show HN: A free palm-reading tool that works in the browser (wishastro.com)
    2 points by rp321 5 hours ago | discuss
  9. Why AI Needs a "Genie Coefficient" (schneier.com)
    3 points by anotherevan 5 hours ago | 1 comment
  10. OpenAI ARR in July topped all of Q2 (cnbc.com)
    3 points by gmays 5 hours ago | discuss
  11. Flume Water Monitor 915 MHz Security Is Pretty Good (waveformsecurity.com)
    26 points by credibleconure 5 hours ago | 19 comments
  12. Face Recognition Blocking Glasses Tested (ipvm.com)
    3 points by jhonovich 5 hours ago | 1 comment
  13. IronClaw 1.0 – one secure agent on CLI, Slack and Telegram, one memory (near.ai)
    2 points by alejoras 5 hours ago | discuss
  14. Three Journeys: Anton Chekhov on the Road (2001) (newyorker.com)
    3 points by mitchbob 5 hours ago | 1 comment
  15. Overengineered Calculator: Zig and QBE (tomekw.com)
    8 points by rguiscard 5 hours ago | discuss
  16. Show HN: Damn Center (the page) – extension that helps centering any website (github.com)
    3 points by rinn7e 5 hours ago | 1 comment
  17. A 22-Hour Nonstop Flight Between London and Sydney Is Coming (nytimes.com)
    3 points by elsewhen 5 hours ago | discuss
  18. Why Enterprise Software Is So Hard to Get Right [video] (youtube.com)
    3 points by pierres7 5 hours ago | discuss
  19. Manual: •.,:;?· (type.today)
    3 points by behnamoh 5 hours ago | discuss
  20. Sfwig – had a laugh with AI, then a question
    3 points by eilepsalpeh 5 hours ago | 2 comments
  21. Starter Homes Are Piling Up While Luxury Homes Fly Off the Market (zillow.com)
    18 points by toomuchtodo 5 hours ago | 8 comments
  22. Do Language Models Flatten Your Business? We Tested Four Real Ones to Find Out (industrycontents.com)
    4 points by ticust 5 hours ago | 1 comment
  23. Join my robot revolution [video] (youtube.com)
    3 points by gabrielsroka 5 hours ago | 1 comment
  24. Persistent State Machines for LLM Attention (Vivado Estimated 0.0267 PJ/Op) (zenodo.org)
    2 points by yusuke_esaka 5 hours ago | discuss
  25. Logic for Programmers (logicforprogrammers.com)
    62 points by _doctor_love 6 hours ago | 3 comments
  26. Show HN: A travel app not building generic itinerary (uncoverroads.com)
    2 points by sourav_biswas 6 hours ago | discuss
  27. Show HN: OpenMetaHarness - complete long horizon tasks with more autonomy (github.com)
    4 points by IzhaarTejani 6 hours ago | 1 comment
  28. Show HN: IncomeOS – income from many small sources, in one screen and an MCP (github.com)
    2 points by renzomad 6 hours ago | discuss
  29. OpenURL (en.wikipedia.org)
    2 points by toomuchtodo 6 hours ago | discuss
  30. Milvus 3.0: Lake-Native Vector Search, S3-Based Storage, Offline/Batch Workflows (milvus.io)
    6 points by redskyluan 6 hours ago | 1 comment
More