Hackernews posts about SRI

1. Did anyone went to YC directly from Sri Lanka?
   4 points by geethikaisuru 1 day ago | discuss
2. Show HN: Alint, a fast linter for repository structure and hygiene (github.com)
   2 points by aleqs 26 days ago | 1 comments
3. Show HN: ARQ Dashboard – web and TUI monitoring for Python's ARQ job queue (github.com)
   2 points by spps11 19 days ago | discuss
4. The foundations of a provably secure operating system (PSOS) (1979) [pdf] (www.csl.sri.com)
   130 points by rurban 28 days ago | 92 comments
5. Mid-size local models are now competitive for AI Agents (srinathh.medium.com)
   3 points by sfifs 15 days ago | discuss
6. AI Economics Part 2 (twitter.com)
   3 points by gmays 21 days ago | discuss
7. Show HN: ARouter – drop-in OpenAI/Anthropic proxy that cuts cost and fails over (github.com)
   2 points by sricola 7 days ago | 1 comments
8. When intelligence stops being as slow as we are (andreaturchet.github.io)
   2 points by ciwrl 8 days ago | discuss
9. I Cut AWS CloudWatch Costs by 50% (medium.com)
   2 points by nallerooth 26 days ago | discuss
10. Cannibalism (b-ark.ca)
    71 points by srijan4 7 days ago | 85 comments
11. Show HN: Tab Council – turn your AI tabs into a model council (github.com)
    4 points by srinivasvaddi 17 days ago | discuss
12. Equiv, check that an AI refactor did not change what your code does (github.com)
    2 points by Srinathprasanna 1 day ago | discuss
13. Odu: A CI runner for agents and humans (kolu.dev)
    2 points by srid 4 days ago | discuss
14. Training a small model to write better OCaml with RLVR and GRPO (blog.nilenso.com)
    2 points by sriharis 25 days ago | discuss
15. Show HN: Enhanced Copy – copy buttons that include the site's AI prompt (github.com)
    2 points by srinivasvaddi 27 days ago | discuss
16. Building an HTML-first site doubled our users overnight (mohkohn.co.uk)
    1271 points by edent 5 days ago | 567 comments
17. Failing grades soar with AI usage, dwindling math skills in Berkeley CS classes (www.dailycal.org)
    833 points by littlexsparkee 11 days ago | 792 comments
18. The last six months in LLMs in five minutes (simonwillison.net)
    804 points by yakkomajuri 27 days ago | 587 comments
19. Google's Antigravity bait and switch (www.0xsid.com)
    771 points by ssiddharth 25 days ago | 345 comments
20. Ask HN: What was your "oh shit" moment with GenAI?
    737 points by andrehacker 10 days ago | 1123 comments
21. Firewood Splitting Simulator (screen.toys)
    703 points by memalign 5 days ago | 222 comments
22. Shipping a laptop to a refugee camp in Uganda (notesbylex.com)
    701 points by lexandstuff 23 days ago | 255 comments
23. Siri AI (www.apple.com)
    681 points by 0xedb 6 days ago | 701 comments
24. Uber's $1,500/month AI limit is a useful signal for AI tool pricing (simonwillison.net)
    624 points by pdyc 12 days ago | 770 comments
25. Taking a walk may lead to more creativity than sitting, study finds (2014) (www.apa.org)
    616 points by bilsbie 20 days ago | 235 comments
26. Anthropic, please ship an official Claude Desktop for Linux (github.com)
    537 points by predkambrij 8 days ago | 305 comments
27. EU-banned pesticides found in rice, tea and spices (www.foodwatch.org)
    520 points by john-titor 7 days ago | 300 comments
28. SimCity 3k in 4k (2025) (www.thran.uk)
    486 points by speckx 18 days ago | 205 comments
29. Show HN: Kage – Shadow any website to a single binary for offline viewing (github.com)
    452 points by tamnd about 11 hours ago | 99 comments
30. At least 25 Flock cameras have been destroyed in five states since April 2025 (stateofsurveillance.org)
    443 points by rolph 28 days ago | 326 comments