A 28-Year-Old DOGE Operative Gutted USAID. HR Had No Record of Him Working There

Brazil's Flavio Bolsonaro headed to US, sources say

HN Hacker News 26 min ago

Mossad Has Devices Like the Exploding Pagers in "Every Country You Can Imagine"

AI summary Mossad's former director revealed the agency uses explosive devices in global operations, part of a strategy developed over 20 years ago.

HN Hacker News 41 min ago

Introducing LFM3: Every Modality for Specialized Intelligence

LFM3 is Liquid AI’s new open-weight model family: 2B-class text, vision, audio, omni, and decision models built to fine-tune and run fast on any device.

HN Hacker News 1 hr ago

Ghostty 1.4.0

AI summary Ghostty 1.4.0 brings performance improvements, full Kitty graphics support, and SSH enhancements across platforms.

HN Hacker News 1 hr ago

Police Are Using AI to Pull over Drivers for 'Suspicious' Behavior

HN Hacker News 1 hr ago

Classification of Finite Simple Groups Formalized in Lean

A complete formalization in Lean of the first-generation proof of the classification of finite simple groups, with every logical step checked by Lean’s kernel.

HN Hacker News 1 hr ago