I'm Pika, as the sign might say
general
Wednesday, August 5, 2026
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