Stories by azhenley

Tracking down my strange program killer

How did software get so reliable without proof?

Books I recommend to my software engineering students

The Changing World of Storage

POPL 2020 in Review

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

72
73
74
75
76
77
78
79
80
81