HN
Hacker News
Top
New
Best
Ask
Show
Jobs
rdc12
328 karma · joined August 11, 2013
submissions
comments
Little rust starter: Lifetimes made easy
dev.to
·
1 pts
·
rdc12
·
0
Verifying bubble sort in Whiley
whiley.org
·
2 pts
·
rdc12
·
0
Olivier Blanchard’s tenure at the IMF
washingtonpost.com
·
2 pts
·
rdc12
·
0
Assertions Are Pessimistic, Assumptions Are Optimistic (2014)
blog.regehr.org
·
12 pts
·
rdc12
·
4
UB Canaries (Undefined Behaviour)
blog.regehr.org
·
4 pts
·
rdc12
·
0