Stories by azhenley

Quantitative Information Flow with Monads in Haskell

Books I recommend to my software engineering students

Hundred Year Mistakes

PEP 202 – List Comprehensions (2000)

Zipper (Data Structure)

Tracking down my strange program killer

C4: C in Four Functions (2014)

Not Everything Is Executable: NX Bit and Data Execution Prevention

What I Learned from My Buddy’s Interview with Amazon (2015)

The false dichotomy of teaching and research

Hey Dropbox, why can't I compare file versions like this?

Design Methods

Type Equality in LLVM

Writing a RISC-V OS in Rust: System Calls

Writing a RISC-V OS in Rust: System Calls

Informatics Teaching Guide

The Cost of the Path Not Taken (2016) [pdf]

Assessing the Type Annotation Burden (2018) [pdf]

Hey Dropbox, why can't I compare file versions like this?

Rehabilitating “you can't manage what you can't measure”

64
65
66
67
68
69
70
71
72
73