Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Unix & Linux
Meta User
Network Profile
2,230
reputation
4
24
55

einpoklum

Made my way from the Olympus of Complexity Theory, Probabilistic Combinatorics and Property Testing to the down-to-earth domain of Heterogeneous and GPU Comuting, and now I'm hoping to bring the gospel of GPU and massive-regularized parallelism to DBMS architectures. I'm post-doc'ing at the DB architecture group in CWI Amsterdam to do (some of) that.

I subscribe to most of Michael Richter's critique of StackOverflow; you might want to take the time to read it.

If you listen closely you can hear me muttering "Why am I not socratic again already?"

18
answers
114
questions
~254k
people reached

Communities (55)

Top Meta Posts
3
0

Top Network Posts

Top Tags (232)

Score 29
Posts 8
Posts % 6
Score 27
Posts 18
Score 5
Posts 18
Score 5
Posts 9
Score 3
Posts 15
Score 1
Posts 7
View all tags →

Top Posts (132) All Questions Answers | Votes Newest

24 How to install CUDA Toolkit 7/8/9 on Debian 8 (Jessie) or 9 (Stretch)? Nov 5 '15
22 torbrowser signature verification fails - a glitch or an “attack”? Jan 31 '17
22 Why don't package managers have per-user installations and registries? Dec 28 '17
20 How do I check whether my shell is running in a terminal? Nov 1 '17
16 Xlib: extension “GLX” missing - with an NVIDIA card and on-board graphics Jan 10 '16
12 How can I correctly decompress a ZIP archive of files with Hebrew names? Dec 28 '15
10 What's the “right way” to effect changes in /etc/resolv.conf with /etc/resolv.conf.d in place? Mar 9 '17
7 ASCII art of letters, with the letters using their own characters Apr 4 '17
7 What am I supposed to use `O_PATH` for, and how? Sep 15 '17
7 After switching to Devuan, how do I remove systemd? Jul 28 '15
View all questions and answers →

Badges (83)

Gold

4

Rarest

Silver

24

Rarest

Bronze

55

Rarest

View all badges →