Viewing profile — infima
infima
HN member- Joined
- Sun, Jul 24, 2022, 1:39 AM UTC
- HN karma
- 16
- Public activity
- 7 items
- HN profile
- View on Hacker News ↗
About infima
No profile information was provided.
Recent public activity
-
comment
Comment #39752545
This work comes from GitHub's Security Lab https://securitylab.github.com/
-
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…
-
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
-
comment
Comment #34189648
I asked for the TAOCP when I graduated.
- story
- comment
- story