System message
's poll You wake up and on your desk (or equivalent) you see two buttons, one labeled Hamsta and one labeled Nigga. What do you do? has closed.
general
Wednesday, August 5, 2026
He will rise.
Select which of the following keys you use when typing.
- Home & End keys4 votes · 8%
- Delete key5 votes · 10%
- Ctrl-Left & Ctrl-Right6 votes · 12%
- Ctrl-Backspace5 votes · 10%
- 🤨 Numpad numbers5 votes · 10%
- 🤓 I use vim when possible0 votes · 0%
- Backspace key12 votes · 24%
- Left Shift12 votes · 24%
- Right Shift2 votes · 4%
51 votes Multiple answers allowed Poll closed
you only use left shift tiny?
I just found this out now writing the poll but apparently I use right shift to capitalize but left shift to select
Replying to reorruatrnte #toughbrook Click to see original message
I dont use ctrl-right so i cannot vote that option even though i use ctrl-left
backspaces a whole word when supported (sometimes it isn't but vast majority of text edit fields do)
only ctrl left is certainly a thing
oh that option means holding ctrl and using the arrow keys
Ctrl+pgup/pgdn are the most useful imo
Moves up/down browser tabs and up/down folder directories
As I said in vc,First time I ever recall hitting end was 3 days ago because I needed to do so to open a menu in ny pc98 emulator
Right shift I never use
I do not need to get to the end of a line that quickly
another interesting poll would be "who has ever used this key on purpose?"
https://en.wikipedia.org/wiki/Menu_key?useskin=vector
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)