“Safety”

types

About Safety, Security and yes, C++ and Rust

February 3, 2023

JavaScript

JavaScript Binary AST diaries - How to replace proving with validating for fun and profit

February 23, 2018