Take a breather
Take a breather
Four letters · Five readings
Another way to read HTML
Hyper
Text
Markup
Language
The familiar one: HyperText Markup Language.
Hunting
The
Missing
Lemma
Finished the main theorem? Time to find the lemma hiding behind “clearly”.
Halfway
Through
My
Lemmas
Halfway through the lemmas. The theorem is still waiting.
Young men should prove theorems, old men should write books.
Too tired to prove the next theorem, too restless to leave it alone. So we try explaining the one we have just read. Halfway through, the missing lemma turns out to be our understanding.
Had
Too
Many
Lemmas
So damn tired.
Have
Tea
Make
Lemmas
Put the kettle on. The lemma will still be there in ten minutes.
Choose a tab. When a tab has focus, the left and right arrow keys work too.