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
I had a dream last night that Nintendo released a new console while I was at EB Games with no foreshadowing. They called it the "Nintendo Wii".
Somehow Nintendo thought it was a good idea to name their new console after an existing console, since the Wii sold so well all those years ago.
It was a marketing decision that rivaled Microsoft naming their console the "xBox One" in terms of boneheadedness.
Also in my dream they had Kirbopher do a celebrity endorsement. And there was no new Zelda or Smash Bros game.
The boxes for the new Wii games were a different colour to the old Wii games, but were the same colour for the Wii U games.