Ancestors

Toot

Written by CF Bolz-Tereick on 2025-01-05 at 11:25

'Unlocking High Performance in Mojo through User-Defined Dialects'

Describes how Mojo uses Memory SSA to express rewrites such as removing l.append(...); l.pop().

The talk stops before it gets to the details of the interesting part, unfortunately.

https://youtube.com/watch?v=yuSBEXkjfEA&si=qBdxhwF5DJaBxDrL

=> More informations about this toot | More toots from cfbolz@mastodon.social

Descendants

Written by Tommy MᶜMichen on 2025-01-06 at 01:06

@cfbolz thanks for sharing! Definitely some fun stuff going on in the world of mojo. I remember seeing a blurb about these library defined optimizations being enable by some combination of progressive lowering and elaboration in their past blurbs. I especially love how simple optimizations like this become when you have ownership in the type information (like you said, they dont elaborate much but that's what I've gathered from the slides). It's a nightmare trying to raise that kind of thing from something like LLVM IR. Looking forward to the day when they make their compiler toolchain publicly available and we can start playing around.

=> More informations about this toot | More toots from tommy@discuss.systems

Written by Sasha L on 2025-01-07 at 00:07

@cfbolz it looks like you linked to another Mojo talk, here’s Mathieu’s talk with the title from your toot: https://www.youtube.com/watch?v=Lpr_GcX5uKE

=> More informations about this toot | More toots from superlopuh@techhub.social

Written by CF Bolz-Tereick on 2025-01-07 at 06:19

@superlopuh oh oops, you're right, thanks!

=> More informations about this toot | More toots from cfbolz@mastodon.social