Stories by azhenley

Edmund Clark, the 2007 Turing Award winner, has died

Edmund Clarke, Turing Award winner, has died

Reboot the Computing-Research Publication Systems

Cross-Branch Testing

My (very!) short review of Racket in 2020

Making a RISC-V Operating System in Rust

Make a Language in Rust: Errors

Nested Session Types

Debugging Refraction in a Ray Tracer

Odd Even Linked List

Graded Modal Dependent Type Theory

I Hate C Testing: A minimal testing framework for C

Make a Language in Rust: Refactoring

Being good at coding competitions correlates negatively with job performance

Boost 1.75

Use the index, Luke! A guide to database performance

Make a Language in Rust: Comments

Update, Interrupted

An Algorithm for Precision Medicine

Timnit Gebru’s team at Google is going public with their side of the story

53
54
55
56
57
58
59
60
61
62