Meta Stack Exchange
Network profile
2,219
reputation
1
15
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
~19k
people reached
  • coldattic.info
  • Member for 10 years, 4 months
  • 232 profile views
  • Last seen Apr 14 '19 at 16:12

Communities (15)

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 What attribution is required for deleted content? Aug 12 '10
11 Use of login/logout is inconsistent and incorrect Nov 10 '09
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 (35)

Gold

1

Rarest

Silver

15

Rarest

Bronze

19

Rarest

View all badges →