Stories by ltratt

Migrating from Bors-NG to GitHub Merge Queues

Four Kinds of Optimisation

Link-Time Optimisation (LTO)

Why Aren't Programming Language Specifications Comprehensive?

Why Aren't Programming Language Specifications Comprehensive?

Two Stories for "What Is CHERI?"

Minor Advances in Knowledge Are Still a Worthwhile Goal

“Programming” and “Programmers” Mean Different Things to Different People

“Programming” and “Programmers” Mean Different Things to Different People

The Need to Explain

Two Stories for “What Is Cheri?”

Two Stories for “What Is Cheri?”

Two Stories for “What Is Cheri?”

Why split lexing and parsing into two separate phases?

Why Split Lexing and Parsing into Two Separate Phases?

Displaying My Washing Machine's Remaining Time with Curl, Jq, and Pizauth

How big should a programming language be?

How Big Should a Programming Language Be?

Rust's Two Kinds of 'Assert' Make for Better Code

Scheduling My Electricity Usage

1
2
3