Live data from Hacker News

Viewing profile — shlomifr

shlomifr

HN member
Joined
Tue, Jul 09, 2013, 11:13 AM UTC
HN karma
7
Public activity
10 items

About shlomifr

No profile information was provided.

Recent public activity

  1. story
  2. story
  3. comment
  4. story
  5. comment
    Comment #7620284

    This is very relevant in the light of Heartbleed. Core security code should be verified formally, there is no other way to guarantee correctness of implementation.

  6. story
  7. story
  8. story
  9. story
  10. story