We introduce the author and establish some of her fundamental properties. We then leave the bread dough to proof itself.
Fig. 1 - Proven bread.
1. Introduction
The author is a programmer at a Big Ol' Tech™ company in Seattle. She was previously at USU studying CS and Math, thankfully escaping from BYU-I at 16.
She enjoys recreational programming and studying outside of work; some of her interests are in functional programming, compilers/PLs, game programming, overengineering her homelab, and low level fun. She hacks on some LISP, drives Emacs, and is generally fond of free software (from 2021 to 2023 she was the president of the Free Software and Linux Club).
When not computing, she runs, bikes, watches anime, rides trains, bakes bread, daydreams about going back to school. On rare occassions when nostalgic, she is heard practicing violin. She is overly fascinated by penguins and visits them when possible.
The author is also the advisor to PhD (PHuckin-cuteass Dog) candidate Gus, whose current work involves proving something about squirrels.
Fig. 2 - PhD Candidate.