2,267
reputation
1
16
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
  • Member for 11 years
  • 233 profile views
  • Last seen Aug 21 at 23:26

Top tags (56)

Score 23
Posts 9
Posts % 22
Score 12
Posts 30
Score 11
Posts 5
Score 11
Posts 3
Score 11
Posts 2
Score 4
Posts 2

Top posts (41)

View all questions and answers

Badges (36)

Gold

1

Rarest

Silver

16

Rarest

Bronze

19

Rarest