news
Broken Proofs and Broken Provers
63 pointsposted 3 days ago
by RebelPotatoFord shows off the tech going into its $30k electric pickup truck
7 pointsposted 15 hours ago
by neogodlessChina Moon Mission: Aiming for 2030 lunar landing
161 pointsposted 4 days ago
by rbanffyShow HN: Agent Arena – Test How Manipulation-Proof Your AI Agent Is
45 pointsposted a day ago
by joozioSandboxing AI Agents in Linux
118 pointsposted 4 days ago
by speckxBattle-Testing Lynx at Allegro
34 pointsposted 2 days ago
by tgebarowskiAmazon plunge continues $1T wipeout as AI bubble fears ignite sell-off
88 pointsposted 20 hours ago
by truegoricA Steam Deck can be a Bluetooth speaker
14 pointsposted 2 days ago
by speckxWhat's at the Other End of 8.8.8.8?
39 pointsposted a day ago
by marinesebastianAsk HN: Who is hiring? (February 2026)
312 pointsposted 5 days ago
by whoishiringEuropean Lisp Symposium 2025: Talks
3 pointsposted 13 hours ago
by matt_dY Combinator will let founders receive funds in stablecoins
158 pointsposted 4 days ago
by shscs911Male students show more tolerance for political enemies than females for allies
36 pointsposted 3 days ago
by mpweiherPostgres Postmaster does not scale
128 pointsposted 3 days ago
by davidguPretty soon, heat pumps will be able to store and distribute heat as needed
266 pointsposted 6 days ago
by PaulHouleAI bot gives customer 80% discount, supplier can't deliver
22 pointsposted a day ago
by shaman1Claude Code Is the Inflection Point
7 pointsposted 18 hours ago
by taubekMy iPhone 16 Pro Max produces garbage output when running MLX LLMs
429 pointsposted 6 days ago
by rafaelcostaAdvancing AI Benchmarking with Game Arena
134 pointsposted 5 days ago
by salkahfiIRS taps HR, IT staff to handle returns amidst hiring crunch
12 pointsposted 2 days ago
by ilamontShow HN: Claude.md templates based on Boris Cherny's advice
6 pointsposted 2 days ago
by aray07SAS Airbus A320 initiates take-off roll on taxiway at Brussels Airport
19 pointsposted a day ago
by ameliusFBI couldn't get into WaPo reporter's iPhone because Lockdown Mode enabled
598 pointsposted 3 days ago
by robin_realaShow HN: Playwright Best Practices AI SKill
4 pointsposted 2 days ago
by waltergalvaoShow HN: Calfkit – an SDK to build distributed, event-driven AI agents on Kafka
13 pointsposted a day ago
by ryanyuActors: A Model of Concurrent Computation [pdf] (1985)
137 pointsposted 5 days ago
by kioku