Hacker News new | ask | show | jobs
user: alexamici
created: 2016-03-05
karma: 1

submissions:

Show HN: Elevation, manage SRTM 30m the global high-res digital elevation model
3 points | 0 comments
0 points | 0 comments
Show HN: Test-driven source code search for Python
4 points | 2 comments
Formal verification of legacy code after 10 years of production use
2 points | 0 comments