We published our first blog post! In it, we explain why we started marimo, and the problems it solves: marimo.io/blog/introduci…

Kinda awesome ...! Helps put in perspective just how much we've shipped these past few months. Also — throwback to late nights in college spent cramming an 8.5x11 with as many formulas as possible ...

Stephen Boyd, on the practical value of a training in math, with lessons for building software. "In my opinion, the real value of math in applied settings, ... is it gives you clarity of thought. Here we are in Silicon Valley ... I could get one team, and say, 'go build this

📢📢📢Princeton University Workshop on Optimization, Learning, and Control #OLC24, June 27-28, 2024 🌐stellato.io/olc Poster 📈 submission deadline extended to March 10!!!🗓️ #optimization #learning #ml #control #orms U.S. National Science Foundation Princeton University ORFE Princeton Engineering Gurobi Optimization Princeton SML IBM

Vinit Ranjan, Bartolomeo Stellato: Verification of First-Order Methods for Parametric Quadratic Optimization arxiv.org/abs/2403.03331 arxiv.org/pdf/2403.03331

What are nice applications for constrained #optimization problems, where objective and/or constraints are *already trained* neural networks (more generally, mappings that only allow for eval and jacobians)?

🌟 CVXPY just surpassed 5,000 stars on GitHub! 🌟 Thanks to all the contributors and users who made this possible! 🔗 CVXPY on GitHub lnkd.in/d7pazBGp 📢 Join our Discord community to stay connected lnkd.in/dpEQA7mT

Much of our software relies on optimized libraries implementing BLAS & LAPACK. Riley Murray's work on randomized numerical algorithms is pushing these boundaries further. Check out the video for a deep dive. youtube.com/watch?v=6htbyY…

localhost:2718 for marimo was not random as well

If you agree — pip install marimo && marimo tutorial intro.

We're excited to announce that @Github has selected marimo to participate in its accelerator for open source AI projects! 🎉 We're reinventing the Python notebook for modern AI/ML teams, and we've got lots to share in the coming weeks. Stay tuned! github.blog/2024-05-23-202…

Amazing work being done at marimo!