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

How big should a programming language be?

Scheduling My Electricity Usage

Why Aren't Programming Language Specifications Comprehensive?

We Need to Know LR and Recursive Descent Parsing Techniques

Compiled and interpreted languages: Two ways of saying tomato

Distinguishing an Interpreter from a Compiler

How Might Generative AI Change Programming?

More Evidence for Problems in VM Warmup

UML: My Part in Its Downfall

pizauth, an OAuth2 token requester daemon, in alpha

Making a Video of a Single Window

A Week of Bug Reporting

What's the Most Portable Way to Include Binary Blobs in an Executable?

I Clean My Glasses

What Metric to Use When Benchmarking?

What makes a good research proposal?

Multiplicity Choices Are Hard to Model and Change

Using a "proper" camera as a webcam

Static Integer Types (2021)

snare: a Minimalistic GitHub Webhooks Runner

Programming Style Influences

Practising Programming

Where Do Research Problems Come From?

Making Rust a Better Fit for Cheri and Other Platforms

Static Integer Types

RPython-Based VMs: Fast Enough in Fast Enough Time

Automatic Video Editing

The Evolution of a Research Paper

Automatic Syntax Error Recovery

More →