Skip to content

Top New Best Ask Show Jobs

sankha93 | Better HN

sankha93

421 karmaJoined January 24, 201294 submissions

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 (opens in new tab)

(cra.org)

8sankha931y ago0

2

The Kani Rust Verifier Project (opens in new tab)

(model-checking.github.io)

4sankha933y ago1

3

Show HN: Program Synthesis for Ruby (opens in new tab)

(github.com)

82sankha933y ago19