another interesting poll would be "who has ever used this key on purpose?"
https://en.wikipedia.org/wiki/Menu_key?useskin=vector
general
Wednesday, August 5, 2026
Latex is the way you typeset if you are doing actual math in some way or another
most people who still use word, etc, have extensions to let you use latex/markdown stuff for equations
I've only ever used my numpad as hotkey binds for livesplit
I'm Pika, as the sign might say
I don't think he died?
he posted 3 days ago
I've never used Lean, and am sort of surprised I've not given it's apparently been around since 2013/2014
Interested if you or any of the other PHDs here like it
purp
Thursday, August 6, 2026
I have no idea what Lean is
I googled this, I have heard of this, but I have never used it
I feel like Coq came up once or twice in textbooks (also never used it)
but never Lean, and I definitely confused mathlib for matlib when looking up wtf it was at first
I was curious to see pics, so I went to the Discord reddit
I forgot that the entire userbase for this app are neurotic tweens and ESLs
System message
's poll Select which of the following keys you use when typing. has closed.
Replying to reorruatrnte #toughbrook Click to see original message
Missed this. The escape key is the correct answer. And I have rebound it to my capslock key thinkchad
I'm not an emacs hater. It has value. But it sins. Therefore it will never be a default anywhere https://girlcockx.com/i/status/1761162661486628994