AI

Sharing AI progress in mathematics
1351 points | 1530 comments

Typesafe AI raises $870M at $7.5B
442 points | 353 comments

Show HN: Let your AI agents paint big arrows, boxes and text on your screen
414 points | 192 comments

Meta and Microsoft take steps to reduce employee usage of Claude AI
376 points | 386 comments

OpenTPU – An open-source AI accelerator, developed by AI
347 points | 405 comments

Talorys – A self-hosted personal AI agent on Cloudflare's free tier
317 points | 148 comments

Penguin Mail – open-source Rust email client for Linux with AI
241 points | 187 comments