381
reputation
3
6

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
1
question
~6k
people reached
  • Member for 10 years, 6 months
  • 38 profile views
  • Last seen Jun 29 '19 at 13:18

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1)

Badges (9)

Gold

Silver

3

Rarest

Bronze

6

Rarest