1,171
reputation
7
5

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.

2
answers
0
questions
~226k
people reached
  • Member for 5 years, 11 months
  • 20 profile views
  • Last seen Jun 11 at 13:14

Top tags (4)

Score 75
Posts 1
Posts % 50
Score 75
Posts 1
Score 75
Posts 1
Score 32
Posts 1

Top posts (2) All Questions Answers | Votes Newest

Badges (12)

Gold

Silver

7

Rarest

Bronze

5

Rarest