Live data from Hacker News

Viewing profile — infima

infima

HN member
Joined
Sun, Jul 24, 2022, 1:39 AM UTC
HN karma
16
Public activity
7 items

About infima

No profile information was provided.

Recent public activity

  1. comment
    Comment #39752545

    This work comes from GitHub's Security Lab https://securitylab.github.com/

  2. comment
    Comment #39082866

    While not trivial because it is not documented, you can create your a database with your own facts. Some of the extractors that create the required files are open source https://gi…

  3. comment
    Comment #38679718

    Another open-source project supporting, among others, previous iterations of MISRA C++ through CodeQL queries is https://github.com/github/codeql-coding-standards

  4. comment
    Comment #34189648

    I asked for the TAOCP when I graduated.

  5. story
  6. comment
  7. story