Hale
An abstract distributed systems programming language that offers fine-grained control over resources while requiring developers to express their intent to the compiler rather than declaring machinery directly. Computations are situated within a recursive graph structure incorporating message broker semantics, giving the compiler a unified view of programs across arbitrary process boundaries. Structural abstractions enable effects and formal verification syntax so architectural decisions can be checked by the compiler. The infrastructure-aware compiler configures the environments applications deploy into, with the single language covering everything from individual memory allocations to distributed fleet deployments. It is close to v1, and a fully distributed inference-as-a-service application is being built with it, matching arbitrary hardware supply against arbitrary caller demand in real time.
Shared over time
Each entry reflects what was shared on that date. Details may have changed since then.
Hale
An abstract distributed systems programming language that offers fine-grained control over resources while requiring developers to express their intent to the compiler rather than declaring machinery directly. Computations are situated within a recursive graph structure incorporating message broker semantics, giving the compiler a unified view of programs across arbitrary process boundaries. Structural abstractions enable effects and formal verification syntax so architectural decisions can be checked by the compiler. The infrastructure-aware compiler configures the environments applications deploy into, with the single language covering everything from individual memory allocations to distributed fleet deployments. It is close to v1, and a fully distributed inference-as-a-service application is being built with it, matching arbitrary hardware supply against arbitrary caller demand in real time.
Posted by @rrook · Original comment ↗
“I'm working on Hale, an abstract distributed systems language.”