Lean 4.34.0 is out: 159 changes. Three kernel soundness vulnerabilities fixed, all…
This is a dev post classified by Jev as Languages & runtimes (a launch), kept by the Dev Radar because it carries real work, not commentary.
Lean 4.34.0 is out: 159 changes. Three kernel soundness vulnerabilities fixed, all requiring deliberately constructed inputs rather than ordinary code. 𝚋𝚟_𝚍𝚎𝚌𝚒𝚍𝚎 is up to 6x faster. https://lean-lang.org/doc/reference/latest/releases/v4.34.0/ #LeanLang #LeanProver
Posted by Lean (14k followers) 4 days ago · 250 likes · 7.6k views · view the original post on X. Kept by the Dev Radar as Languages & runtimes. Tools mentioned: Lean 4.34.0 (2026-09-14).
More dev work like this
- JavaScript tip. — @xah_lee
- This Week in Effect #136 — @EffectTS_
- [Call for testing] trim-paths RFC 3127 — @rustaceans_rs
- No, the sandbox isn't dead, we just migrated from Vite to OJ 🦀 — @raphamorims
- Apple’s programming language is getting serious about Linux. — @twtayaan
- The Golden Spike, and Resurrecting the Vale(n) Programming Language — @rustaceans_rs
- Why TeX is Slow and How We Rebuilt It in Pure Rust — @xah_lee
- In the next ty release, we have full support for recursive implicit type aliases (at… — @charliermarsh
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 12.2k posts from 4.7k X accounts over the last 21 days, 1.4k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-19 18:39 UTC. Full method.