Iris-lean.cs

Thread Start a new thread

Download

iris-lean.cs@maillist.au.dk

October 2026

2 participants
3 discussions

Meeting link
by Zongyuan Liu 16 Oct '26

16 Oct '26

Hi all, Lars is away, let’s use this meeting link for today: https://aarhusuniversity.zoom.us/my/zy.liu Best, Zongyuan

2 1

Son Ho + Iris-Lean
by Markus de Medeiros 13 Oct '26

13 Oct '26

Hey guys, I reached out to Son Ho (Aeneas) as I heard that he'd tried Iris-Lean and had some suggestions about UX. He says he might be able to make make this time, which I assume is free for many of us. Markus Son Ho + Iris-Lean Friday Oct 23, 2026 ⋅ 8am – 9am Eastern Time - New York Location https://nyu.zoom.us/j/8301426123?omn=94764029083 https://www.google.com/url?q=https%3A%2F%2Fnyu.zoom.us%2Fj%2F8301426123%3Fo… Markus de Medeiros is inviting you to a scheduled Zoom meeting. Join Zoom Meeting https://nyu.zoom.us/j/8301426123?omn=94764029083 Meeting ID: 830 142 6123 Organizer Markus de Medeiros mjd9606(a)nyu.edu

1 0

Anyone doing Rust + Iris-Lean?
by Markus de Medeiros 13 Oct '26

13 Oct '26

Just a heads up (in case you don't check the Zulip) because it appears Jianan Yao's group is taking a go at it. I can't recall if this was brought up at any point in our discussions. Markus

1 0