Gurobi

Truly Serverless Infra for AI Engineers - with Erik Bernhardsson of Modal

Latent Space

Optimization solver software that some Modal users employ for mixed-integer programming problems.