At one point we realized we didn't know what was in our own codebase, so we built a tool to visualize it as a graph.
Turns out there's a lot more you can do with this, agent swarms, CI/CD, and improving agent context to name a few.
You won't believe how many people told me over the past 10+ years that proof assistants would never achieve widespread use, and that my work was therefore not useful. Ignore people who discount entire fields of research because they are hard. All the more motivation for research
@RamV2003 we are at around 200k a month, subsidized by Subs and the 1M credits in the Codex + Claude startup deal
most of this is spent on evals and research
@theo Fun project! We've been trying to tackle the same problem, but using graphs to bound what CICD needs to run in the first place, got around 70% savings on our 800$ CI bill!
Hey! I'm Dan, a YC F26 Founder!
Managed to avoid all social media until this concept called "GTM" forced me to install X. would love to meet some cool people though while I am here!
Super into:
Math
Graphs
Startups
LLMs
Linux (NixOS)
If anyone wants to connect