# jemdoc: menu{MENU}{espresso.html}, showsource
= Espresso

~~~
{}{img_left}{assets/espresso.jpg}{500}{446}{Convespresso Machine}
~~~

I modified a Gaggia Classic Pro (espresso machine) with [https://web.stanford.edu/~lmbell/ Logan Bell], and we programmed it with [https://scholar.google.com/citations?user=1R3tMcYAAAAJ&hl=en Alan Yang]. The machine is now outfitted with some internal hardware that allows for somewhat granular temperature and pressure control (and a much sleeker interface). Mathematicians turn coffee into theorems, and in theory, better coffee means better theorems.