Hacker News new | ask | show | jobs
user: adreid
created: 2016-06-26
karma: 93

Researcher in Computer Architecture and Verification with a functional programming background. https://alastairreid.github.io

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Rust testing or verifying: Why not both?
143 points | 28 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Graphene-Enabled Paper Makes for Flexible Display
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments