sankha93
- Karma
- 421
- Created
- 13 years ago
About
https://sankhs.com[ my public key: https://keybase.io/sankha; my proof: https://keybase.io/sankha/sigs/fNCBWiRz03YhX9qwaVqJtlytd4Cu4ow8db4gHejSxhU ]
Recent Submissions
- 1. ▲ NSF Budget Cuts Would Put the Future of U.S. Innovation and Security at Risk (cra.org)
- 2. ▲ The Kani Rust Verifier Project (model-checking.github.io)
- 3. ▲ Show HN: Program Synthesis for Ruby (github.com)