Selected Work
Latest Writing
Writing by Topic
Projects
Studies
STUDY · Mathematics and AlgorithmsGraph Reachability: A Small Mathematical ToolkitA demonstration of textbook mathematics environments in ARTIFICER./studies/graph-reachability-mathematical-writingEXPOSITIONIEEE 754 Floating-Point Arithmetic/expositions/ieee-754-floating-point-arithmeticReview Essay · Academic / ScholarlySoftware Engineering at Google/studies/software-engineering-at-google