“Research”

ai

AI code plus performance minus brittle = ?

January 6, 2025

rust

What would it take to add refinement types to Rust?

December 22, 2024

types

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

February 3, 2023

rust

Possibly one step towards named arguments in Rust

August 8, 2020

Mozilla

Units of Measure in Rust with Refinement Types

January 17, 2020

programming language

Thinkerbell Postmortem/Brain dump

March 8, 2018

Mozilla

HolyJIT: Could we write a multi-staged JIT compiler?

March 6, 2018

JavaScript

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

February 23, 2018

JavaScript

Binary AST - Motivations and Design Decisions - Part 1

September 7, 2017

JavaScript

JavaScript Binary AST Engineering Newsletter #1

August 18, 2017