Lean Now Ships with Verified Kernels
Web page · https://leodemoura.github.io/blog/2026-10-15-lean-now-ships-with-verified-kernels
First seen by Oriel on .
Metric trends
Last 30 days · Up to 120 recorded samples per source and metric · First and latest retained
Points
Score reported by the source.
- Hacker News: 202, latest observation ; +195 over observed period since
Comments
Comment count reported by the source.
- Hacker News: 78, latest observation ; +78 over observed period since
Aliases
| Source | External ID | URL |
|---|---|---|
| Hacker News | 50114758 | https://leodemoura.github.io/blog/2026-10-15-lean-now-ships-with-verified-kernels/ |