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