AI Briefing
KO
← All sources

Hacker News news

The latest AI and developer news from Hacker News, with short summaries.

Visit website →

Palomar: Lean Verified Math Registry

·2026.08.19 11:00

AI Usage Patterns in Software Teams

·2026.08.19 07:00

fx: A Small, Open-Source Native Coding Agent

·1·2026.08.19 07:00

Mojo is Now Open Source

·2026.08.19 01:00

Why Models Are Intentionally Getting Dumber

·2026.08.17 04:00

MathCode: Mathematical Coding Agent

·2026.08.17 03:00