Show HN: Erdos – open-source, AI data science IDE