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
  • Member for 9 years, 10 months
  • 232 profile views
  • Last seen Apr 14 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 (33)

Gold

1

Rarest

Silver

13

Rarest

Bronze

19

Rarest