Show HN: Luminal – Open-source, search-based GPU compiler

Re:Show HN: Luminal – Open-source, search-based GPU compiler by aleinin on Wednesday August 20, 2025 @01:22PM (#44963921)

Cool project! How do you think about targeting hardware-specific ISAs directly? There’s an interesting paper from Citadel (https://arxiv.org/pdf/1804.06826) that highlights inefficiencies in nvcc for the Volta architecture. Do you see Luminal’s search-based paradigm eventually extending beyond outperforming handwritten kernels, towards actually competing with NVIDIA’s compiler optimizations at the PTX level?

[ Parent | on HN ]

Re:Show HN: Luminal – Open-source, search-based GPU compiler by jafioti on Wednesday August 20, 2025 @01:38PM (#44964118)

yep! currently we're emitting cuda / metal but once the search is better, i want to directly emit ptx / low-level asm on other hardwares.

[ Parent | on HN ]

Re:Show HN: Luminal – Open-source, search-based GPU compiler by Lerc on Wednesday August 20, 2025 @06:57PM (#44967376)

I don't suppose you have an eye towards verilog in the long term?

I'm curious as to the breadth of possibilities that could be searched. I would imagine something like this could invent flash attention if it cast its net wide enough, but that is a pretty broad net. [Edit: I scrolled back and saw flash attention was explicitly mentioned, cool stuff]

[ Parent | on HN ]

Re:Show HN: Luminal – Open-source, search-based GPU compiler by jafioti on Wednesday August 20, 2025 @08:20PM (#44967858)

you suppose correctly ;)

[ Parent | on HN ]

Re:Show HN: Luminal – Open-source, search-based GPU compiler by bojle on Thursday August 21, 2025 @02:17AM (#44969605)

Equality saturation (something that luminal uses at its core) is a topic for hardware synthesis and verification too. Something like dynamic hardware generation (instead of kernel generation). For example, see this thesis [1] by Samuel Coward of Imperial.

[1] https://samuelcoward.co.uk/assets/pdf/Thesis_Imperial.pdf

[ Parent | on HN ]