TGViewer
HackerNews Summary HackerNews Summary @hackernews_summary · 169 subscribers
Post #38210 4
Lean Now Ships with Verified Kernels

🔸Lean's AI agents have improved the proof checker kernel, adding new kernels and tools for rechecking Lean developments. The latest version includes four verified kernels: nanoda, lean4lean, con-leche, and con-ron.

2026-10-18 00:46

💬 comments
🌍 @hackernews_summary
Open in Telegram All posts from @hackernews_summary
More from @hackernews_summary
  1. Oct 18, 2026How the Elizabeth Holmes Doc 'You Can See Everything' Is Deceiving You 🔸The documentary "…
  2. Oct 18, 2026Custom server to revive neato bots 🔸Vacuula is an all-in-one solution to repair and contr…
  3. Oct 18, 2026Zuckerberg's Meta Takes Down No Kings Instagram During Protest Day 2026-10-18 01:19 💬 com…
  4. Oct 18, 2026NY announces game ownership bill requiring ownership rather than licensing 🔸Rep. Ritchie…
  5. Oct 18, 2026Each step of decoding a PNG (2022) 🔸A PNG file is decoded by concatenating IDAT chunks, d…
  6. Oct 18, 2026Retired Penn professor arrested for blocking Uber Eats robot 🔸A 78-year-old professor blo…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →