Hacker News (AI)·hace 21 días☆Warhound raises $200M to engineer war dogs and arm them with Anduril gear↗en▲ 5
Hacker News (AI)·hace 21 días☆UN says breaching 1.5C warming limit is 'imminent and unavoidable'↗en▲ 5
Hacker News (AI)·hace 21 días☆GitHub now uses a generic avatar instead of "Identicons" for new profiles↗en▲ 5
Hacker News (AI)·hace 21 días☆LLMs are making formal software verification feasible at a much larger scale↗en▲ 9
Hacker News (AI)·hace 21 días☆Show HN: CATT 0.2.1: Test agents/services against a Muse/Instinct-alike, in CI↗en▲ 5
Hacker News (AI)·hace 21 días☆US banks are blocking third-party AI agents access to customer accounts↗en▲ 5
Hacker News (AI)·hace 21 días☆The biggest square in each US state, which states fit inside which, and more↗en▲ 5
Hacker News (AI)·hace 21 días☆Ask HN: If the models are so good, why doesn't OpenAI just start 100 companies?↗en▲ 5
Hacker News (AI)·hace 21 días☆Banks Are Struggling to Protect Customers from Their Own AI Agents↗en▲ 5
Hacker News (AI)·hace 21 días☆Hedra is a 3D open world game I wrote from scratch while in highschool↗en▲ 6
Hacker News (AI)·hace 21 días☆Show HN: agent-usage-guard – a Claude Code mod to protect your usage window↗en▲ 7
Hacker News (AI)·hace 21 días☆Show HN: Halv – open-source agent coding software that reduces your usage↗en▲ 6
Hacker News (AI)·hace 22 días☆Post-training 4B model with RL to fly Tesla Roadster 21% better than GPT-6 Astra↗en▲ 5
