Zulip Chat Archive

Stream: Lean Together 2026

Topic: Julius Marx - MRiscX

Jireh Loreaux (Jan 22 2026 at 18:41):

Discussion thread for the talk.

Ruchira S. Datta (Jan 22 2026 at 19:11):

Github link https://github.com/JulsDE/MRiscX

Ruchira S. Datta (Jan 22 2026 at 19:13):

Implementing this: https://www.sciencedirect.com/science/article/pii/S2352220825000653

Marx (Jan 23 2026 at 18:30):

@Ruchira S. Datta Thank you for sharing the links! :-) The slides of the talk are available here:
MRiscX LeanTogether26.pdf

Ruchira S. Datta (Feb 01 2026 at 07:31):

You're welcome. Thank you for your good work and presentation! And for sharing the slides! :-)

Last updated: Feb 28 2026 at 14:05 UTC