Topics /

AI & Machine Learning

The most popular blog posts about ai & machine learning on Hacker News. 1,520 posts.

2026
941

AlphaProof Code

AlphaProof Code agents wrote over three million lines of machine-checked proof in Lean to verify the core cryptographic protections in Signal down to machine instructions.

942

LLMs Are Complicated Now

Back in 2022 and 2023 there were two big branches of machine learning happening at Meta1. The LLM work that led to Llama was a clean, smooth stack of repeated Transformer modules; the recommendatio…

954

Waymo Premier

As we scale and bring our fully autonomous ride-hailing service to more people across the globe, we continue to refine the Waymo experience and deliver more for our riders. You spoke, and we listened to how we can offer an even more elevated experience for you, our top riders. Introducing: Waymo Premier.

956

Jellyfin LLM/"AI" Development Policy

The rise of LLMs as a useful development tool over the last year or so has been significant. The power and flexibility of tools like Claude Code and ChatGPT have given a lot of functionality both to experienced developers and new developers alike. But there are trade-offs.