Stories by azhenley

Harvey: A Greybox Fuzzer for Smart Contracts [pdf]

Cross compiling Golang for RISC-V with cgo

Why is dependent type theory more suitable than set theory for proof assistants?

Regular Expression Crossword Puzzle

The significance of the Curry-Howard isomorphism

Book: Open-Source Licensing 101

PhD Thesis: Greybox Automatic Exploit Generation for Heap Overflows

Predicting the difficulty of merge conflicts [pdf]

The AI Incident Database

The Magpie Programming Language

Shuffling Things Up: Applying Group Theory in Advent of Code

Move: A language with programmable resources from Facebook

Automatic Syntax Error Recovery

Essentials of Compilation: A book about compiling Racket to x86-64

Why do cheap calculators have 8 display digits?

How were OSes before Unix?

Macros for Domain-Specific Languages [pdf]

Liquid information flow control [pdf]

Integrating User-Centered Methods into Programming Language Design

Exotic Programming Ideas, Part 2: Term Rewriting

48
49
50
51
52
53
54
55
56
57