Hacker News
Formalizing Mathematics Textbooks at Scale
Article URL: https://github.com/facebookresearch/atlas-lean
Comments URL: https://news.ycombinator.com/item?id=48311485
Points: 2
# Comments: 0
Microsoft tests the 15-character limit of Windows Server admins' patience
Build agent-powered apps without reinventing the shell
Article URL: https://github.com/hachej/boring-ui
Comments URL: https://news.ycombinator.com/item?id=48311457
Points: 3
# Comments: 0
Ukraine to buy 20 new Gripen jets, Sweden to donate older jets sooner
Article URL: https://www.reuters.com/business/aerospace-defense/ukraines-zelenskiy-visits-sweden-aviation-news-2026-05-28/
Comments URL: https://news.ycombinator.com/item?id=48311447
Points: 3
# Comments: 0
ICE has spent over $25M on iris scanners in no-bid contracts
Article URL: https://www.npr.org/2026/05/27/nx-s1-5822429/ice-buys-iris-scanners-tech-tools
Comments URL: https://news.ycombinator.com/item?id=48311446
Points: 4
# Comments: 1
The GitHub Actions Tax
Article URL: https://cloudposse.com/newsletter/production-ready/2026-05-github-actions-tax
Comments URL: https://news.ycombinator.com/item?id=48311437
Points: 3
# Comments: 0
The future of AI-native work
Article URL: https://anandchowdhary.com/blog/2026/future-ai-native-work
Comments URL: https://news.ycombinator.com/item?id=48311436
Points: 2
# Comments: 0
Envato did my marketing for 12 years. Now I'm lost. Where do I start?
California defeats Tesla's attempt to throw out racial discrimination lawsuit
Dancing Mad with Sandboxing
Article URL: https://xeiaso.net/blog/2026/dancing-mad-sandboxing/
Comments URL: https://news.ycombinator.com/item?id=48311421
Points: 2
# Comments: 0
Acme CAA Extensions to Become Mandatory
Article URL: https://www.feistyduck.com/newsletter/issue_137_acme_caa__extensions_to_become_mandatory
Comments URL: https://news.ycombinator.com/item?id=48309705
Points: 1
# Comments: 0
NASA satellites locate mysterious GPS jammer within several kilometers in Iran
Article URL: https://arstechnica.com/gadgets/2026/05/nasa-satellites-can-spot-gps-jammers-on-earth/
Comments URL: https://news.ycombinator.com/item?id=48309667
Points: 1
# Comments: 0
From Chivalry to Involution in the Evolution of Wuxia
Article URL: https://systemsthinkingcollection.substack.com/p/swords-on-the-margins
Comments URL: https://news.ycombinator.com/item?id=48309662
Points: 1
# Comments: 0
Creusot helps you prove your Rust code is correct
Article URL: https://github.com/creusot-rs/creusot/tree/master
Comments URL: https://news.ycombinator.com/item?id=48309645
Points: 1
# Comments: 0
AI Marketing and Growth Specilaist
Soviet 80s supercomputer project "Start"
Article URL: https://start.iis.nsk.su/
Comments URL: https://news.ycombinator.com/item?id=48309623
Points: 1
# Comments: 0
The Visa Empire: Borders as a Business
Article URL: https://www.lighthousereports.com/investigation/the-visa-empire-borders-as-a-business/
Comments URL: https://news.ycombinator.com/item?id=48309606
Points: 1
# Comments: 0
Giving LLMs a Formal Reasoning Engine for Code Analysis
Article URL: https://yogthos.net/posts/2026-04-08-neurosymbolic-mcp.html
Comments URL: https://news.ycombinator.com/item?id=48309594
Points: 1
# Comments: 1
New ad intelligence beta for app marketers –TikTok live,Meta/Google/Apple coming
Article URL: https://appstorestatistics.com/ads-intelligence
Comments URL: https://news.ycombinator.com/item?id=48309590
Points: 1
# Comments: 0
Spread: A simple, fast spreadsheet viewer written in Rust using GPUI
Article URL: https://github.com/samuelcolvin/spread
Comments URL: https://news.ycombinator.com/item?id=48309588
Points: 1
# Comments: 0