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
Meta Stack Exchange
Network profile
1,674
reputation
1
13
19

P Shved

I work on servers at Google. Previously, I made Linux Distros and static software analysis tools.

My blog "A Foo walks into a Bar" is hosted on my home site coldattic.info.

If you know any Languages specifically designed to make static verification easier, please, answer the question linked.

29
answers
12
questions
~18k
people reached
  • coldattic.info
  • Member for 9 years, 8 months
  • 232 profile views
  • Last seen Apr 14 at 16:12

Communities (14)

Top network posts

Top tags (56)

Score 23
Posts 9
Posts % 22
Score 13
Posts 30
Score 11
Posts 5
Score 11
Posts 3
Score 11
Posts 2
Score 4
Posts 2
View all tags →

Top posts (41) All Questions Answers | Votes Newest

69 Question title that doesn't describe the problem Mar 12 '10
28 Allow changing votes on answers if the question is edited Oct 2 '09
14 Accepted answer reward +15 awarded twice! Apr 22 '10
12 Rep recalc questions won't stop: put a banner to user's profiles Mar 22 '10
11 Use of login/logout is inconsistent and incorrect Nov 10 '09
10 What attribution is required for deleted content? Aug 12 '10
10 Stop closing a question if it's a duplicate of a question which didn't get good answers Aug 25 '10
9 Markdown seems not to work in tag information excerpts Aug 25 '10
9 Allow me to accept an answer immediately Apr 22 '10
7 Teachers/Graders: How do you handle students asking homework questions on SO Sep 17 '09
View all questions and answers →

Badges (33)

Gold

1

Rarest

Silver

13

Rarest

Bronze

19

Rarest

View all badges →