Hellas.AI is building a compiler for categorical deep learning to power decentralised, serverless AI. If you’re interested in any of the following, get in touch: Category Theory and string diagrams, Compilers and array programming languages, Deep Le…

Dear community! We are looking for Lisp developers to include in our projects in #RatherLabs. I know that between all of us we can get the ball rolling and it will surely reach whoever is actively searching. This is a decentralized exchange (DEX) pr…

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…

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…

We're a small, sharp team within one of the world's largest companies. As a Lisp/Clojure Software Engineer, you will design, create, and maintain software that interfaces with clearinghouses, Medicaid agencies, and plan sponsors. As part of a small …