Skip to content

Top Best Ask Show New Jobs

thradams | Better HN

thradams

218 karmaJoined September 13, 202260 submissions

Recent submissions

1

Ownership model and nullable pointers for C (opens in new tab)

(cakecc.org)

3thradams6mo ago1

2

Fixing C source code from the internet using cake static analyzer (opens in new tab)

(youtube.com)Video

12thradams2y ago2

3

Static Ownership Checks for C (opens in new tab)

(thradams.com)

2thradams2y ago1

4

Experimental static ownership checks for C (opens in new tab)

(thradams.com)

4thradams2y ago1

5

Cake – A C23 compiler frond end written from scratch in C (opens in new tab)

(github.com)GitHub

212thradams3y ago52