Skip to main content
Hovercouch's user avatar
Hovercouch's user avatar
Hovercouch's user avatar
Hovercouch
  • Member for 13 years, 9 months
  • Last seen more than a month ago
Profile Activity

Stats

2,282
reputation
29k
reached
73
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
70
Score
34
Posts
44
Posts %
32
Score
29
Posts
37
Posts %
11
Score
6
Posts
8
Posts %
9
Score
6
Posts
8
Posts %
9
Score
4
Posts
5
Posts %
7
Score
2
Posts
3
Posts %

Top posts

View all questions, answers, and articles
11
TLA+: How to delete structure key/value pairings?
Nov 5, 2017
11
Preventing repeated use of hjkl movement keys in vim
May 6, 2014
7
"The Best Regex Trick" in Raku
Nov 12, 2024
6
Exit the function without aborting the script
Sep 11, 2023
6
PlusCal: Why does fair algorithm still stutter?
Mar 12, 2019
6
Find each element that is less than some element to its right
Apr 17, 2014
5
Filtering a tuple while preserving order in TLA+
Apr 13, 2019
5
Why does a cardinality constraint work in a run command but not in a fact?
Dec 13, 2017
5
Is there any reason to use [: over @:?
Oct 6, 2017
4
Alloy does not find a solution (instance) for my specification
May 8, 2024

Top network posts

View all network posts
146
Why doesn't water boil in the oven?
133
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?