Million

Million Software, Inc. is a technology company focused on solving the problem of verifying that AI-generated code is correct and functional. The company is backed by Scott Wu, Amjad Masad (founder of Replit), Evan You (creator of Vue.js and Vite), David Cramer (founder of Sentry), and Y Combinator through its Winter 2024 batch. Prior to pivoting into AI code verification, the Million team built and maintained Million.js, an open source virtual DOM implementation that achieved benchmark performance exceeding React's reconciliation engine by using a compiler-based approach that analyzed component source code at build time and generated optimized DOM update schedules. Million.js accumulated over 16,000 GitHub stars and was adopted by teams running applications for millions of users in production. The company's current mission addresses what they identify as the hardest problem in AI-assisted coding: determining whether code produced by large language models actually works correctly, meets specifications, and integrates safely with existing systems. The small founding team brings experience from building mass-adopted open source infrastructure, optimizing rendering performance at the framework level, and shipping developer tools used by millions of developers. The company operates from a lean team structure and maintains an open hiring channel for engineers interested in the intersection of programming languages, formal verification, and AI systems.