Joined 10/13/2021, 12:10:13 AM has 1595 karma
Butterick's Practical Typography
Monocle: Optics Library for Scala
What is the Strict Aliasing Rule and Why do we care?
RepoQL: A Python library designed for querying Git repositories
IWYU: A tool for use with Clang to analyze includes in C and C++ source files
Csmith, a random generator of C programs
Smashing the state machine: the true potential of web race conditions
Bazel Mystery: an interactive way to learn Bazel
Video tutorials for the Coq proof assistant
Dynamic Languages Strike Back (2008)
Why don't we define “imaginary” numbers for every “impossibility”? (2012)
HabitLab: Change Your Online Habits
Penrose: Create beautiful diagrams just by typing math notation in plain text
Principal component analysis can negatively impact science
SVG Viewing and Diffing in GitHub (2014)
After SLS, what is the next rocket building project for NASA?
See No Eval: Runtime Dynamic Code Execution in Objective-C (2021)
Game of Low Latency
Chimera at FOSDEM 2023 and the path towards alpha
Chimera Linux