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