Zulip Chat Archive
Stream: Leaning In!
Topic: Sail and Lean-MLIR – slides and links
Leo Stefanesco (Mar 13 2025 at 10:29):
Here is the slide deck. The Lean-MLIR github repo is there and the Sail repo with Lean support is that way.
Alexander Hicks (Apr 17 2025 at 20:32):
was this recorded by any chance?
Jesse Alama (Apr 23 2025 at 04:46):
Alexander Hicks said:
was this recorded by any chance?
Yes! It's here.
Last updated: May 02 2025 at 03:31 UTC