Catalogue record · hackernews
Linux sandboxes you can verify. Every L4ES sandbox is a Linux microVM with its own kernel, running on an seL4-based hypervisor. Connect with plain ssh.
L4ES 提供可验证的 Linux 微虚拟机沙盒，基于 seL4 超级管理程序，通过 ssh 连接使用。
Seen on hackernews · last checked 2026-10-24.
The teardown — how it actually charges, which mechanism was found, and the seam worth taking — is in the daily letter. This page carries the record and the signals so search engines and link previews have something real to read; the judgement stays with the readers who asked for it.
Get the daily letterThe same record sits in the full catalogue, where every entry can be searched and filtered by the signals above.