Super User
AcId's user avatar
AcId's user avatar
AcId's user avatar
AcId
  • Member for 9 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
687
reputation
379k
reached
11
answers
0
questions
Communities
View all
About

Theoretical computer scientist working with formal methods.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
12
bronze badges
Top tags
View all tags
15
Score
1
Posts
9
Posts %
15
Score
1
Posts
9
Posts %
14
Score
1
Posts
9
Posts %
11
Score
1
Posts
9
Posts %
11
Score
1
Posts
9
Posts %
6
Score
5
Posts
45
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
15
No bashrc file in my home directory
Apr 18, 2013
answer
14
How do I clean my computer using isopropyl alcohol?
May 22, 2013
answer
11
Is DLL executable?
May 16, 2013
answer
4
Virtual memory usage vs resident set size
May 23, 2013
answer
3
Linux average filesize, specific file type
Oct 15, 2017
answer
2
Disable a linux sound card
Nov 14, 2013
answer
1
ArchLinux's AUR
May 9, 2013
answer
1
Suse root group not having root rights?
Nov 11, 2014
answer
0
How can I check which part of my linux system uses the most disk space?
May 9, 2013
answer
0
creating shared storage space for linux build on 32 GB USB
May 10, 2013
Top network posts
View all network posts
8
Does Doxygen have a line-continuation feature?
8
Does Doxygen have a line-continuation feature?
6
Calculate the conditional probability of dependent events involving independent random variables
5
Drawing directed hyperedges with TikZ

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.