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
  • Member for 10 years, 4 months
  • 232 profile views
  • Last seen Apr 14 '19 at 16:12

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

Top posts (41) All Questions Answers | Votes Newest

View all questions and answers

Badges (35)

Gold

1

Rarest

Silver

15

Rarest

Bronze

19

Rarest