Skip to main content
Super User
principal-ideal-domain's user avatar
principal-ideal-domain's user avatar
principal-ideal-domain's user avatar
principal-ideal-domain
  • Member for 8 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
1,103
reputation
77k
reached
0
answers
13
questions
Communities
View all
Badges
View all badges
2
gold badges
13
silver badges
16
bronze badges
Top tags
View all tags
0
Score
13
Posts
100
Posts %
0
Score
6
Posts
46
Posts %
0
Score
1
Posts
8
Posts %
0
Score
1
Posts
8
Posts %
0
Score
1
Posts
8
Posts %
0
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
43
Exclude folders from recent files
Sep 9, 2015
33
Hotkey for "This PC"
Sep 12, 2015
7
Show-hidden-icons menu hidden behind taskbar [closed]
Jun 29, 2018
6
Strange open with list (inconsistent with registry)
Apr 14, 2017
3
Disable right sidebar in explorer
Aug 27, 2015
2
Eject USB drive using the explorer
Sep 13, 2015
1
Pin folder to Start
Sep 13, 2015
1
Does Windows backup roaming files?
May 14, 2016
0
USB 3.0 ports don't work with Windows 10
Aug 27, 2015
0
Windows time update doesn't work properly [duplicate]
Apr 14, 2017
Top network posts
View all network posts
81
Determine if two files store the same content
39
Convert InputStream into Stream<String> given a Charset
22
Geometrical interpretation of $(\sum_{k=1}^n k)^2=\sum_{k=1}^n k^3$
19
Double a stream
18
App not correctly configured to use google play game services