HN Radio.daily Hacker News, read aloud

← all entities

Zstandard

product · 1 story across the archive · newest first · software

0 mentions in Aug 20250 mentions in Sep 20250 mentions in Oct 20250 mentions in Nov 20250 mentions in Dec 20250 mentions in Jan 20260 mentions in Feb 20260 mentions in Mar 20260 mentions in Apr 20260 mentions in May 20260 mentions in Jun 20261 mention in Jul 2026mentions by month
often appears withLarge language modelsLeanFinite State Entropy
  1. LLMs may be making formal proofs practical for everyday code▲ 224 · 104 comments0:00 / 1:51▶ · 12:30