>archives
>artifacts
>about
2025-12-16
Building a Wasm Runner with Cloud Hypervisor
/blog
#rust
#wasm
#cloud-hypervisor
#virtualization
2025-12-12
Indexed Reverse Polish Notation, an Alternative to AST
/blog
#compilers
2025-09-25
From Operations to Effects: A Journey Through M-Sets
/blog
#semantics
#effects
#types
#memory safety
2025-09-19
Three meanings of Effects
/blog
#effects
#types
#memory safety
2025-09-04
Memory Safety - the missing definition
/blog
#rust
#carbon
#c++
#safety
>archives
