We’re a CFTC-regulated derivatives exchange written in Haskell and React/Typescript. Our first products are physically-settled Bitcoin futures and options. We use ansible and terraform for our operations automation. Trading industry experience is a …

My team here at Snyk is working on a static analysis engine for detecting security vulnerabilities in code. Our approach is composed of semantic analysis supporting several programming languages, logical reasoning with a Datalog solver and applied m…

We're building the fastest, most secure IDE on the planet! We recently announced WebContainer, an in-browser Node.js runtime that allows front-end developers to use the web to build the web. We have a very ambitious roadmap and we'll be aggressively…

Emissions from U.S. fleet-operated fossil-fuel cars and trucks: contribute ~1Gt CO2e, or 2% of the world's total GHG emissions, kill ~10,000 people. We can save lives and abate climate change by replacing these vehicles with clean equivalents. Our t…

Backblaze originated in a founder’s one-bedroom apartment where five people committed to helping people save their data. Today, we are entrusted with nearly two exabytes of data from customers in more than 175 countries. We’re growing fast! We’ve bu…

Neuralink is developing a fully-implanted, wireless, high-channel count, brain-machine interface (BMI) with the goal of enabling people with paralysis to directly use their neural activity to operate computers and mobile devices with speed and ease.…