Lean Now Ships with Verified Kernels — Leonardo de Moura

Added

2026-10-18 10:04

First Archived

2026-10-18 10:07

Last Checked

2026-10-18 13:42

Tags (html)

war-wiki

Status

archived

Saved

✅ 11

Errors

❌ 1

Size

375.3 KB

🗃 Snapshot: `[1792317893.156665] 539ea47c-4f3f-4234-9d9a…`

JSON | WARC | Media | Git | Actions | Admin | See all files...

./

Best copy we hold

./output.pdf

Chrome > PDF

./screenshot.png

Chrome > Screenshot

./leodemoura.github.io

Wget > HTML

./headers.json

Headers

./output.html

Chrome > HTML

./readability/content.html

Readability

./mercury/content.html

Mercury

./media/*.mp4

Media

./git/*.git

Git