We are an application security company.

Cybersecurity company with Center of Excellence in Cork, Ireland.

Ford Motor Company plays a critical role in maintaining and improving the reliability, scalability, and performance of their services.

We're a ~20-person nonprofit doing forecasting research on high-stakes problems, including AI progress, biosecurity, and nuclear risk. We have dozens of active projects that generate forecasting data from surveys, expert panels, and AI systems.

We’re a fully funded B2B sports betting exchange.

We're an export company, investors include patio11, charlie songhurst and Backed VC. Myself (Ethan) and Ruairidh started the company while students at Cambridge in August 2021, and after several pivots have ended up in logistics/export, fast growing, and profitable. We're chasing down £1m monthly revenue in December 2024.

Form is an AI fluency/integration startup for executives & their teams. We build AI applications tailored to how clients work, and need an engineer to do the building.

We're rethinking the computing stack from the ground up for truly elastic, soundly isolated, instantly and globally available execution. We’re building OS interfaces and compilers for low overhead, formally verified isolation without containers or VMs. We are VC-funded ($700k pre-seed), advised by professors from MIT and UWaterloo, and founded by ex-Stanford PhDs.

We are building a new computing stack with formally verified data, memory, and resource isolation between executions for instant, truly elastic global compute. This includes designing and building a production language with complete, mechanized formal specifications and a certifying compiler, from the start. Our immediate goals include an alternative to eBPF and building the world's first serverless networking infrastructure. We are VC-funded with runway for multiple years. The team is composed of PhDs from Stanford, UW, OSU, and Brown, advised by professors from MIT and UWaterloo.