News for hackers. Stuff that matters.

A comment on Show HN: Talos – Open-source WASM interpreter for Lean. Parent comment

Re:Show HN: Talos – Open-source WASM interpreter for Lean by quietusmuris on Sunday June 21, 2026 @07:18AM (#48617864)
So the compiler's in the Trusted Base either way and the asserts are just part of the spec surface the user has to get right. Makes sense.
[ Parent | on HN ]

There are no comments on this comment yet.