liz.coffee

- -

arXiv:2607.0404v3 [cs.DOG] 5 Jul 2026

- -

Elizabeth Hunt (she/her) (2003)

me at li(z) dot coffee (mailto)

July 4, 2026

- -

- [code] · - [linkedin] · - [instagram] · - [twitter] -

- -

Abstract

We introduce the author and establish some of her fundamental properties. We then leave the bread dough to "proof" itself.

Fig. 1 - QED?

- -

1. Introduction

- The author is a programmer at a Big Ol' Tech™ company in Seattle (unfortunately probably the one you're thinking of). She was previously at USU studying CS and Math, after (thankfully) escaping from doing the same at BYU-I. -

She enjoys recreational programming and studying outside of work; some of her interests are in functional programming, compilers/PLs, game programming, overengineering her homelab. 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 doing computer stuff, she runs, bikes, watches anime, rides trains, reads, bakes bread, or daydreams about going back to school. On rare occassions when nostalgic, she might be heard practicing violin. Penguins are absolutely fascinating to her, and she collects books on said species as well as plenty of stuffed animals, and visits them when possible. Maybe she will one day (soon?) reincarnate to be one. -

- The author is also the advisor to PhD (PHuckin-cuteass Dog) candidate Gus, whose current work involves proving something about the dastardliness of squirrels. -

-

Fig. 2 - PhD Candidate.

- - - -

Elizabeth Hunt (she) (ca 2003)

She is not particularly exceptional at anything but can functionally do a fair bit of stuff, of which her extremely variable ability perhaps is the only exceptional thing about her.

She is a programmer at a Big Ol' Tech™ company in Seattle (unfortunately, probably the one you're thinking of). And will continue to refer to herself in the third person for the remainder of this World Wide Web document, which you find yourself laying your eyes on. And in so doing, probably don't yet understand the context of the next words you are about to read. Except, that they are there. They take up space. And reading through them consumes YOUR oh-so-precious time - which is upper-bounded, need she remind you: penguin slop that would be populated if you had your EPIC JAVASCRIPT enabled

She enjoys recreational programming and searching the space of math and CS outside of work; some of her current interests are in PLs, type theory, game programming (<3 pico8), and homelab stuff. She was an advocate of LISPy stuff while president of the USU Free Software and Linux Club, she still can't shake off Emacs and probably should augment her hand accordingly.

When not doing computer stuff, she runs, bikes, watches anime, rides trains, reads, or bakes bread. She may be heard practicing violin or speedcubing. Penguins are absolutely fascinating to her, and she collects books on said species as well as plenty of stuffed animals, and visits them when possible. Maybe she will one day reincarnate to be one.

She has been vegetarian since early 2025. She is poly, bicycle, and a bit fucked up.