Hacker News new | ask | show | jobs
user: sankha93
created: 2012-01-24
karma: 421

https://sankhs.com

[ my public key: https://keybase.io/sankha; my proof: https://keybase.io/sankha/sigs/fNCBWiRz03YhX9qwaVqJtlytd4Cu4ow8db4gHejSxhU ]

submissions:

0 points | 0 comments
0 points | 0 comments
NSF Budget Cuts Would Put the Future of U.S. Innovation and Security at Risk
8 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
The Kani Rust Verifier Project
4 points | 1 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
Show HN: Program Synthesis for Ruby
82 points | 19 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