6,737
reputation
29
49

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.

45
answers
1
question
~507k
people reached
  • Member for 8 years, 10 months
  • 681 profile views
  • Last seen Jun 27 '18 at 18:02

Top tags (70)

Score 69
Posts 2
Posts % 4
Score 54
Posts 2
Score 27
Posts 5
Score 23
Posts 2
Score 17
Posts 3
Score 17
Posts 2

Top posts (46) All Questions Answers | Votes Newest

View all questions and answers

Badges (78)

Gold

Silver

29

Rarest

Bronze

49

Rarest