At the beginning, AdaCore was the company behind GNAT, GCC’s Ada front-end. We’ve built a whole ecosystem (formal proof tooling, static analyzers, fuzzers, coverage tools, build tools, IDEs…) for the Ada language and are now aiming to become the 'on…

Vectara is a retrieval augmented generation (RAG) as a service platform. We have a ton of IP already: an embedding model that outperforms Cohere and OpenAI, a reranking model that does similarly, a generative model that outperforms GPT 4 for RAG, a …

Roboflow is the fastest way to use computer vision in production. We help developers give their software the sense of sight. Our end-to-end platform provides tooling for image collection, annotation, dataset exploration and curation, training, and d…

Roboflow is the fastest way to use computer vision in production. We help developers give their software the sense of sight. Our end-to-end platform provides tooling for image collection, annotation, dataset exploration and curation, training, and d…

Scale (YC16) is the leader in the data annotations, ML data management, AI infrastructure services. We've recently seen a lot of interest in Scale from a ton of bleeding edge tech companies but, we've fallen significantly behind on our hiring. I'm a…

Scale (YC16) is the leader in the data annotations, ML data management, AI infrastructure service. I'm a senior dev on the Nucleus team, it's been super exciting seeing all big tech innovators signed up to use our services. But, we've fallen signifi…