Posted 1 year, 10 months ago
Bytebeam is an IoT focused cloud platform. Bytebeam aspires to be a one stop destination for all the makers out there building new age smart & connected products. Think of AWS but focused on IoT. We are super passionate about solving the tough probl…
Posted 1 year, 10 months ago
Lurk Lab is building Lurk, a Turing-complete programming language for recursive zk-SNARKs. Lurk implements a minimal Lisp whose program executions can be proved in zero-knowledge, yielding succinct proofs that are concretely small and fast to verify…
Posted 1 year, 10 months ago
At Tangram, we are making a programmable build system and package manager designed to rescue developers from "dependency hell" and make builds simple, reproducible, cacheable, and distributable. Check out the code samples here: <a href="ht…
Posted 1 year, 10 months ago
We’re building software to automatically fix technical debt. We do this by combining expressive static analysis tooling (we’ve built a developer-friendly query language for code) with machine learning to automatically migrate code to new patterns an…
New York, San Francisco, Remote
Posted 1 year, 10 months ago
OneSignal is building the best platform for businesses to intelligently engage with customers across every channel. We provide a simple interface to push notifications, email, and in-app messages, letting content creators focus on quality user engag…
California, New York, Pennsylvania, Texas, London
Posted 1 year, 10 months ago
Our mission at MuKn (pronounced "moon") is to secure for each person full control on their computing devices and thereby enable universal decentralized computing. Our first customers are cryptocurrency networks and their users, who most than anyone …