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