HN Explorer

thradams

↗ HN profile [ 75.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Ownership model and nullable pointers for C (cakecc.org)
    3 points 1
  2. 1 points 1
  3. 1 points 1
  4. 1 points 1
  5. Fixing C source code from the internet using cake static analyzer (youtube.com)
    12 points 2
  6. Static Ownership Checks for C (thradams.com)
    2 points 1
  7. Experimental static ownership checks for C (thradams.com)
    4 points 1
  8. Cake – A C23 compiler frond end written from scratch in C (github.com)
    212 points 53