LLM News for 2025-12-17

← 2025-12-16 2025-12-18 →

8M users' AI conversations sold for profit by "privacy" extensions

778 points | by takira | comments

GPT Image 1.5

299 points | by charlierguo | comments

AI will make formal verification go mainstream

274 points | by evankhoury | comments

MIT professor shot at his Massachusetts home dies

156 points | by mosura | comments

A2UI: A Protocol for Agent-Driven Interfaces

142 points | by makeramen | comments

AI is wiping out entry-level tech jobs, leaving graduates stranded

112 points | by cratermoon | comments

Show HN: Solving the ~95% legislative coverage gap using LLM's

32 points | by fokdelafons | comments

Linux computer with 843 components designed by AI boots on first attempt

26 points | by whynotmaybe | comments

Meta Segment Anything Model Audio

14 points | by megaman821 | comments

CC, a new AI productivity agent that connects your Gmail, Calendar and Drive

14 points | by pretext | comments

Instacart's AI-Enabled Pricing Experiments May Be Inflating Your Grocery Bill

11 points | by bookofjoe | comments

Oracle's $248 Billion Rent is Another Al 'Bombshell'

6 points | by voxadam | comments