2026-08-21

Programming Language Semantics and Memory Safety

/blog #memory safety #semantics #rust #c #c++

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

>archives