From Java to Python: type safety to test safety | Dark Hacker News