Reputation
9,754
Next tag badge:
120/100 score
1/20 answers
Badges
2 18 25
Impact
~27k people reached

  • 0 posts edited
  • 0 helpful flags
  • 34 votes cast
Apr
6
comment Not a real question – A Stack Exchange game
@Danny No, you can't get reputation from the outside (and this is a completely independent project).
Mar
17
comment Better handling of indentation and the TAB key when editing posts
@KonradRudolph I have given up on installing user scripts directly as Chrome extensions. I use TamperMonkey instead now.
Mar
16
awarded  Popular Question
Feb
5
revised Better handling of indentation and the TAB key when editing posts
deleted 300 characters in body
Jan
25
awarded  Favorite Question
Nov
1
revised Dude, where's my cursor?
added 13 characters in body
May
20
awarded  Yearling
Jan
31
awarded  Good Question
Dec
19
comment How to get data related to Winter Bash?
Two years ago (except that it contained less data because hats were more strictly per-site). It's the API that gets called to populate the hat rack when you click on the "X hats" number on a user profile.
Dec
19
answered How to get data related to Winter Bash?
Oct
28
comment Better handling of indentation and the TAB key when editing posts
Indenting yes, but there are other valid reasons for tabbing, e.g. tabular data, lining up comments, etc.
Oct
2
awarded  Great Answer
Jul
26
revised Official keyboard shortcuts
edited body
Jul
26
comment Official keyboard shortcuts
If you select a post and then press "?", does "C" appear in the list of available keys?
Jul
26
comment Official keyboard shortcuts
Weird. The only difference between the two of us is the Chrome version then. I'm on 36. By the way: meta.stackexchange.com/questions/237166/…
Jul
26
revised Official keyboard shortcuts
added 208 characters in body
Jul
26
comment Official keyboard shortcuts
Hmm, works for me. Are you using any other user scripts that may be interfering?
Jul
26
comment Official keyboard shortcuts
Hmm I was just going to fix this, but I can't even reproduce it. Is it still happening? (FWIW, you weren't the only one reporting this)
Jul
25
comment Official keyboard shortcuts
Yep, I figured that change would break a lot of user scripts, including that one.
Jul
2
awarded  Curious