7,087
reputation
9
6

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.

3
answers
0
questions
~1k
people reached
  • Member for 9 years, 3 months
  • 26 profile views
  • Last seen Jul 17 '12 at 10:04

Top tags (6)

Score 13
Posts 3
Posts % 100
Score 8
Posts 1
Score 8
Posts 1
Score 8
Posts 1
Score 2
Posts 1
Score 2
Posts 1

Top posts (3) All Questions Answers | Votes Newest

Badges (15)

Gold

Silver

9

Rarest

Bronze

6

Rarest