Skip to main content
Hovercouch's user avatar
Hovercouch's user avatar
Hovercouch's user avatar
Hovercouch
  • Member for 12 years, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
2,312
reputation
27k
reached
72
answers
5
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
14
silver badges
12
bronze badges
Top tags
View all tags
74
Score
34
Posts
44
Posts %
31
Score
28
Posts
36
Posts %
13
Score
6
Posts
8
Posts %
11
Score
4
Posts
5
Posts %
9
Score
6
Posts
8
Posts %
7
Score
2
Posts
3
Posts %
Top posts
View all questions, answers, and articles
answer
11
TLA+: How to delete structure key/value pairings?
Nov 5, 2017
answer
11
Preventing repeated use of hjkl movement keys in vim
May 6, 2014
question
7
"The Best Regex Trick" in Raku
Nov 12, 2024
answer
6
Exit the function without aborting the script
Sep 11, 2023
answer
6
PlusCal: Why does fair algorithm still stutter?
Mar 12, 2019
answer
6
Find each element that is less than some element to its right
Apr 17, 2014
answer
5
How to convert number to string in TLA+
Mar 17, 2021
answer
5
Filtering a tuple while preserving order in TLA+
Apr 13, 2019
answer
5
Why does a cardinality constraint work in a run command but not in a fact?
Dec 13, 2017
question
5
Is there any reason to use [: over @:?
Oct 6, 2017
Top network posts
View all network posts
146
Why doesn't water boil in the oven?
129
Prove that the union of countably many countable sets is countable.
47
How can I deal with the challenges a player having Mind-Reading represents without negating their ability?
47
How can I roleplay a character more manipulative than myself?
36
What's a GM to do when the party is intent on killing each other?