Viewing profile — lukerj00
lukerj00
HN member- Joined
- Thu, Nov 07, 2024, 10:23 AM UTC
- HN karma
- 4
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About lukerj00
No profile information was provided.
Recent public activity
-
comment
Comment #48599448
More on this - LLVM-IR has no official formal semantics and it's riddled with UB. RISC-V has a formal model in Sail, but it's an ISA so you throw away the structured control flow a…
-
comment
Comment #48586316
I’m on the Cajal team - not OP, but happy to answer questions. The core bet is that Wasm is a good verification target (close to compiled artifacts, many languages target it), and …
- story