We are building a new programming language (BAML) to build AI agents — the "typescript" for LLMs. Open source: https://github.com/BoundaryML/baml. Focus on tooling for visualizing non-deterministic code, code visualization, and strong observability …

Hellas.AI is building a compiler for categorical deep learning to power decentralised, serverless AI. We're looking for an experienced Rust engineer. You must have demonstrated experience in designing and implementing BFT consensus protocols, abilit…

We're combining LLMs and transpilers to translate COBOL into Java. If you’re a Rust developer with experience working with AI and/or compilers, this role could be a great fit. Come and build LLM pipelines and agents that help the largest c…

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…

We are working on making energy-based models (EBMs) viable by revisiting some of the math that underlies machine learning. Ideal candidate would understand how one goes about writing high perf code as well as be able to explain the concept of a Hami…

We are working on making energy-based models (EBMs) viable by revisiting some of the math that underlies machine learning. Here is what Yann LeCun had to say about EBMs https://x.com/ylecun/status/1380066315600343042 If you have background in any o…