>archives
>artifacts
>about
2025-09-04
Memory Safety - the missing definition
/blog
#rust
#carbon
#c++
#safety
2025-08-27
Rust and Carbon, why not both
/blog
#rust
#carbon
#c++
2024-01-05
CEK and Control Operators
/blog
#abstract machine
2023-09-16
CBPV and Natural Deduction - Part 4. Polarized Logic
/blog
#logic
#abstract machine
#cbpv
2023-08-25
CBPV and Natural Deduction - Part 3. Linear Logic
/blog
#logic
#abstract machine
#cbpv
>archives