1,223
reputation
2
9
7

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.

0
answers
2
questions
~546k
people reached
  • Member for 9 years
  • 61 profile views
  • Last seen Jun 10 at 0:27

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (2) All Questions Answers | Votes Newest

Badges (18)

Gold

2

Rarest

Silver

9

Rarest

Bronze

7

Rarest