alexamici

4 ms·

1. 1.▲
   Show HN: Elevation, manage SRTM 30m the global high-res digital elevation model(github.com)

   3 points by alexamici 11y ago|0 comments
2. 2.▲
   by alexamici 11y ago

   I didn't know hoogle, thanks for sharing. For statically typed languages that make sense and especially so for functional languages like Haskell. Test-driven search is much more suitable for dynamically typed languages where you exploi
3. 3.▲
   Show HN: Test-driven source code search for Python(github.com)

   4 points by alexamici 11y ago|2 comments
4. 4.▲
   Formal verification of legacy code after 10 years of production use(blog.adacore.com)

   2 points by alexamici 11y ago|0 comments