Stories by azhenley

Martin-Löf Type Theory

How to Roll Half a Dice

Systems for Collective Human Curation of Online Discussion [pdf]

How to Roll Half a Die

RISC-V OS using Rust: Graphics

A quick introduction to register allocation

IEEE’s Top Programming Languages 2020

Refactoring the FreeBSD Kernel with Checked C [pdf]

Safe by Design

All we can do is find problems

Otto: Friendly Machine Learning Assistant

Infinite Monkeys and Finite Patterns

IEEE’s top trending programming languages

DockerizeMe: Automatic Inference of Environment Dependencies for Python Code [pdf]

“How could they be so stupid?”

C No Evil (2011)

Infinite Monkeys and Finite Patterns

Implementing cosine in C from scratch

Cognitive Biases and Software Development [pdf]

Formally specifying UIs (2018)

62
63
64
65
66
67
68
69
70
71