spidr

spidr copied to clipboard

joelberkeley

Build StableHLO programs

2

Build StableHLO programs rather than XLA programs, ~~then we can provide support for anything that accepts StableHLO, including XLA and IREE~~ removing our dependency on XLA. This may require rewritng...

joelberkeley

joelberkeley

joelberkeley

Add installation instructions, binaries, and ideally CI for macOS

joelberkeley

joelberkeley

joelberkeley

It would be good to be able to reuse sections of the graph, which should improve the speed of interpreting the AST, and possibly improve the size and efficiency of...

joelberkeley

This is a place to discuss the implementation of type-safe distributed computing, including `Send`, `Recv` etc. available in XLA/StableHLO. Brady's paper [_Idris 2: Quantitative Type Theory in Practice_](https://arxiv.org/abs/2104.00480) gives an...

joelberkeley

joelberkeley