This is a good idea, although IMO source control, compute, and MLOps integration are bigger but less flashy pain points for data scientists than AI in notebooks.
If you're going to market Erdos as open source, then IMO there should be a github link somewhere on your website.
If you're going to market Erdos as open source, then IMO there should be a github link somewhere on your website.