#mlir — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mlir, aggregated by home.social.
-
Normal forms for MLIR
2025 US LLVM Developers' Meeting
Alex Zinenko
https://www.youtube.com/watch?v=Esw84hH1Ed0
#LLVM #MLIR -
The #LLVM developer room is back for the 12th consecutive year at #FOSDEM, on January 31st!
We're looking for presentations on all aspects of #LLVM, #MLIR and more.
See CFP for details https://discourse.llvm.org/t/cfp-fosdem-2026-llvm-dev-room/88746.
Deadline for submissions is November 30th.
I hope to see many of you at FOSDEM! -
2025 AsiaLLVM Developers' Meeting Talks
Videos: https://www.youtube.com/playlist?list=PL_R5A0lGi1ADKfJbzpA0rMDCb5T3QGe5k
Slides: https://llvm.org/devmtg/2025-06/#program
#LLVM #MLIR -
🐍💻 Specializing #Python with #E-graphs is basically "how to make Python even slower but sound smarter doing it." 😂🚀 They promise to optimize your numerical computations with #MLIR, but don't worry, they won't tell you what MLIR actually is. 🙄 By the end, you're no closer to building a #compiler, but you've definitely compiled a solid headache. 🤯
https://vectorfold.studio/blog/egglog #humor #coding #HackerNews #ngated -
Новогодний плейлист инженера-программиста: что послушать в подкасте «Битовые маски»
Новогодние каникулы — отличное время не только для отдыха, но и для саморазвития. Если вы хотите узнать больше о низкоуровневой оптимизации, тонкостях работы с GPU или разобраться в архитектуре ядра Linux, эти выпуски подкаста «Битовые Маски» точно стоит добавить в свой плейлист. Эксперты с многолетним опытом обсуждают самые сложные темы из мира низкоуровневого программирования, делятся ценными инсайтами и реальными историями из профессиональной практики.
-
Fajne rzeczy dzieją się z #LLVM w #Gentoo:
1. Już o tym wspominałem, ale wszystkie paczki teraz siedzą w llvm-*/, więc łatwiej je znaleźć.
2. Wrzuciłem llvm-runtimes/offload, przywracając obsługę offloadowania #OpenMP (dla 19.1.6 wzwyż).
3. Wrzuciłem llvm-core/mlir, korzystając ze świeżutkiej biblioteki dynamicznej (dostępne w najnowszym snapshocie 20.x, do 19.x raczej nie wejdzie już).
4. Przy okazji zacząłem pracować nad Flangiem, ale nic nie obiecuję. Chciałbym chociaż na poziomie projektu wprowadzić obsługę biblioteki dynamicznej MLIR-a.
5. Wysłałem łatki do wsparcia samodzielnego budowania #ClangIR, więc jak wszystko dobrze pójdzie, od pierwszego dnia będzie nam działało.
6. Na przegląd poszła nowa eclass llvm-r2, ze znacznie lepszym wsparciem kompilacji skrośnej. https://public-inbox.gentoo.org/gentoo-dev/[email protected]/T/#t
7. Powoli też pracuję nad poprawą wsparcia kompilacji skrośnej w samych paczkach LLVM, ale nie wiem, kiedy skończę. Chciałbym chociaż wyeliminować konieczność budowania drugiej pełnej kopii LLVM i Clanga na CBUILD, tylko po to, by skompilować Clanga. -
Some recent #LLVM goodies in #Gentoo:
1. Well, I've said that already but all packages are now in llvm-*/, so they're easier to find.
2. I've added llvm-runtimes/offload, which restores the offloading functions of #OpenMP (available in 19.1.6+).
3. I've added llvm-core/mlir, now that it provides a proper dylib to link to (available in the most recent 20.x snapshot, no plans to backport to 19.x).
4. I've started working on #Flang too, but no promises. At the very least, I'd like to make it support #MLIR dylib upstream.
5. I've sent patches for standalone build support in #ClangIR, so hopefully it'll be ready for integration when it lands in mainstream.
6. I've sent a new llvm-r2 eclass for review, now with much cleaner support for cross-compilation scenarios. https://public-inbox.gentoo.org/gentoo-dev/[email protected]/T/#t
7. I'm also slowly working on improving cross-compilation support for LLVM packages themselves, but no ETA on this. At the very least, I'd like to remove the necessity of building another complete copy of LLVM+Clang for CBUILD to compile #Clang. -
The #LLVM developer room is back for the 11th consecutive year at #FOSDEM, on February 1st!
We're looking for presentation proposals on all aspects of #LLVM and #MLIR.
See the CFP for details https://discourse.llvm.org/t/cfp-fosdem-2025-llvm-dev-room/82779.
If you've got ideas, but you're not fully sure if they would be a good fit for the room, I'm more than happy to help you refine your abstract. Please don't be shy to reach out here or through one of my office hours https://llvm.org/docs/GettingInvolved.html#office-hours.
I hope to see many of you at FOSDEM! -
🔊 #NowPlaying on #BBC6Music's #NewMusicFix
MLIR & Nah Eeto:
🎵 Utado#MLIR #NahEeto
#newRelease 🆕 singlehttps://studiobarnhus.bandcamp.com/track/utado-feat-nah-eeto
-
[Перевод] Macroni: рецепт поступательного улучшения языка программирования
Хотя, Clang и используется в качестве инструмента для рефакторинга и статического анализа, у него есть серьёзный недостаток: в абстрактном синтаксическом дереве не предоставляется информации о происхождении конкретных расширений-макросов на CPP , за счёт которых может надстраиваться конкретный узел AST. Кроме того, Clang не понижает расширения-макросы на уровень LLVM, то есть, до кода в формате промежуточного представления (IR). Из-за этого оказывается запредельно сложно конструировать такие схемы статического анализа, при которых учитывались бы макросы. Сейчас эта тема активно исследуется. Но ситуация налаживается, поскольку прошлым летом был создан инструмент Macroni , упрощающий статический анализ именно такого рода. В Macroni разработчики могут определять синтаксис новых языковых конструкций на C с применением макросов, а также предоставлять семантику для этих конструкций при помощи MLIR (многоуровневого промежуточного представления). В Macroni используется инструмент VAST , понижающий код C до MLIR. В свою очередь, инструмент PASTA позволяет выяснить, откуда те или иные макросы попали в AST, и на основании этой информации макросы также удаётся понизить до MLIR. После этого разработчики могут определять с обственные MLIR-конвертеры для преобразования вывода Macroni в предметно-ориентированные диалекты MLIR, чтобы анализировать предмет с учётом многочисленных нюансов. В этой статье будет на нескольких примерах показано, как Macroni позволяет дополнять C более безопасными языковыми конструкциями и организовать анализ безопасности C.
https://habr.com/ru/companies/timeweb/articles/821787/
#timeweb_статьи_перевод #Macroni #программирование #c #c++ #LLVM #AST #Clang #MLIR #ABI #API #Линус_Торвальдс #Sparse #Objective_C
-
Разработка тензорного компилятора под RISC-V CPU с помощью OpenVINO и MLIR
Привет, Хабр! Меня зовут Владислав Виноградов, я инженер группы исследований и разработки ПО глубокого обучения в YADRO. Моя команда создает и оптимизирует связанное с искусственным интеллектом программное обеспечение. Сегодня я расскажу, как можно разработать тензорный компилятор для процессора на базе открытой архитектуры RISC-V. Подход сочетает в себе автоматическую кодогенерацию и использование ручных оптимизаций. Это позволяет существенно экономить ресурсы команды для работы над наиболее вычислительно трудоемкими операциями, которые реализуются средствами внешних библиотек. Статья будет полезна, если вы ищете инструменты реализации оптимизирующих компиляторов для эффективного исполнения моделей глубокого обучения или вам интересно посмотреть на пример использования MLIR.
-
Dans une :db: série 425 vers #MLIR 🎉. #PremiumProduct (@ IRE 3 ➜ Lindau-Reutin) #NowTräwelling https://traewelling.de/status/1769446
-
2023 LLVM Developers' Meeting Trip Report by Henrich Lauko
https://xlauko.github.io/2023/11/10/llvm-dev-met.html
#LLVM #MLIR -
The [CFP for the LLVM dev room](https://discourse.llvm.org/t/cfp-fosdem-2024-llvm-dev-room/74823) at [FOSDEM 2024](https://fosdem.org/2024/) is open!
We're looking forward to hear about all of the cool work you've been doing on, with or using #LLVM, #MLIR or any of the other LLVM sub-projects!
Deadline for submission: 1st of December.
Notification of acceptance: 15th of December.
Dev room day: February 4th, 2024, in Brussels -
MLIR For Beginners by @j2kun
Dialect Conversion: https://jeremykun.com/2023/10/23/mlir-dialect-conversion/
Lowering through LLVM: https://jeremykun.com/2023/11/01/mlir-lowering-through-llvm/
https://github.com/j2kun/mlir-tutorial
#llvm #mlir -
-
Some problems are so important that we optimize not only the infrastructure, but also the infrastructure of the infrastructure!
Two very different examples:
1. MLIR enables higher quality infrastructure for compilers. Really important because this allows machine learning to run more efficiently.
2. Zero knowledge proof (ZKP) enables more efficient/secure rollup layers inside blockchains. Really important because this enables blockchains to scale.
-
MLIR For Beginners by @j2kun
Folders and Constant Propagation: https://jeremykun.com/2023/09/11/mlir-folders/
Verifiers: https://jeremykun.com/2023/09/13/mlir-verifiers/
Canonicalizers and Declarative Rewrite Patterns: https://jeremykun.com/2023/09/20/mlir-canonicalizers-and-declarative-rewrite-patterns/
https://github.com/j2kun/mlir-tutorial
#llvm #mlir -
@mousebot but here, I'll give it a shot based on vibes
Plato: #Agda (the Idea of the Good, proto-Maoist non-conformists)
Aristotle: #C (arch reactionary)
Duns Scotus: #ASM (simple brittle concepts but with plenty of haecceity)
Spinoza: #CommonLisp (OG that everyone thinks is fresh bcs its dynamic)
Descartes: #MLIR (ghost in the machine)
Kant: #CPP (critique of Pure C)
Hegel: #Genera (the absolute Idea as self-reflective system)
Nietzsche: #Scratch (the primacy of appearances)
Marx/Lenin: #ML (self-explanatory)
Freud: #GDB (not phil, but rather the original debugger for all the problems of phil)
Heidegger: #forth (the anti-technology technologist's lang of choice)
Wittgenstein: #Prolog (all there is are the facts)
Stalin: #Haskell (forces you to do things "correctly" even when its neither the best option for the situation nor the most performant; the extreme ML)
Lacan: #rr (meta-debugging, non-linear retroactive causality of the signifier, on top of gdb)
Deleuze: #MaxMSP (thinks programming should be art, thinks art is about infinite flows, elaboration of Nietzsche)
Federici: #SpritelyGoblins (super witchey)
Derrida: #AWK (theres nothing outside the text)
Malabou: #Python (everything is neurobiological including language itself)
Badiou: #Scheme (the generic is the Idea of the Good)
Butler: #Rust (the new generation of Kantians doing things right, performatively) -
Na es wird ja doch noch: Ankunft in #MLIR mit +4, Abfahrt mit +3, und gleich wieder ohne Maskenpflicht. #DS100 #interrail @ril100
