Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
6,716
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
~503k
people reached
  • Member for 8 years, 9 months
  • 680 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