Thank you for sharing this! It'll be good to prevent others from following down the same path (my team included).
How is life at Zed? Have y'all raised capital in line with Windsurf / Cursor? Are you bootstrapping instead?
It's phenomenal that y'all are working natively in Rust rather than building on kludgy web tech.
Now I'm wondering: in the era of software 2.0, everything is figured out by AI. What are the chances AI would discover this algorithm at all?