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…

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…

Silico is developing a flexible simulation and decision support platform, enabling businesses to better plan and evaluate their decisions. We're hiring a Compiler Engineer to join our team and work on our core engine toolchain, an interactive compil…

Fiberplane is building collaborative notebooks for DevOps & SREs Overall tech stack: Rust, TypeScript, Postgres, WASM, and AWS. Recently we open-sourced fp-bindgen, a bindings generator for building WASM-based plugins. We're hiring for: Engineering,…

We are a startup in the conversational AI/Metaverse space, co-founded by a founder of a >70bn cap tech company. We are hiring Engineers and (general talents) of all levels, If you are excited about any of these bullet points email jobs@meetkai.com t…

Pyroscope is open source performance monitoring software, with a focus on Continuous Profiling. Pyroscope was founded at the beginning of 2021 and we've seen a lot of rapid growth / community adoption as well as feedback for what features developers…