Right shift I never use
general
Jump to date
Wednesday, August 5, 2026
I do not need to get to the end of a line that quickly
LaTeX - A document preparation system
LaTeX is a high-quality typesetting system; it includes features designed for the production of technical and scientific documentation.
www.latex-project.organother interesting poll would be "who has ever used this key on purpose?"
https://en.wikipedia.org/wiki/Menu_key?useskin=vector
Menu key
In computing, the menu key (≣ Menu), or application key, is a key with the primary function to launch a context menu with the keyboard rather than with the usual right-mouse button. It was previously found on Microsoft Windows-oriented computer keyboards and was introduced in 1994, at the same time as the Windows logo key. The menu key was som...
en.wikipedia.orgLatex 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
The Collatz Conjecture was FALSE (for 2.5 days in July)
www.youtube.com
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.
