Stories by azhenley

Is Rust Used Safely by Software Developers?

Program Spaces and Interesting Counterexamples

Which PEPs are a must read?

Malcolm Gladwell investigates US News university rankings

Trampoline Jump Instruction

Misconceptions about Formal Methods

Where my specs at: from the front to the back

JS1024: Annual JavaScript Golfing Competition

Cross-Branch Testing

Research recitation: A first look at rote learning in GitHub Copilot suggestions

SimpleMVC.js – A highly opinionated MVC micro web framework

A Guide to Undefined Behavior in C and C++ (2010)

Verifying a Quantum Compiler

C4: The C Compiler Concurrency Checker

The Dawn of Formalized Mathematics

Cross-Branch Testing

What Is a “Specification”?

()() is not a palindrome, but)(() is

Developer Experience: Stuck Between Abstraction and a Hard Place?

Why did we ever think a student's first programming language didn't matter?

41
42
43
44
45
46
47
48
49
50