Asher

The Flang documentation and source code is up there too! Glad you liked the episode!

High-Performance Compilers for Parallel Computing This work covers everything necessary to build a compet…

Thanks! Michael Wolfe’s racecar book might be a fun read: www.goodreads.com/book/show/33...

Compilers are like fish: the closer you look, the harder they are to define

www.ashermancinelli.com/csblog/2025-... The Unreasonable Effectiveness of Progressive Lowering - Asher's Blog

Thanks a bunch!

Thanks for the read! I know next to nothing about rust so I’d love to revise it

There are some warts but a huge development in compiler tech imo

You might think of it as 500 seperate IRs or progressively lowering one mega ir, but principle is the same. Nicer than the typical micropass arch imo. Things can move up or down in the pipeline as needed which isnt always the case w micropasses

Lol ic ic. One of the nice features of mlir is its heterogeneity for this reason- all your IRs still use the same substrate+infrastructure and you can progressively lower from higher to lower level semantics

Interesting. Whoms your intended user? What kinda code are they writing?

Oh gotcha! I’d love to chat more about it haha

That was sorta the premise of this blog post for anyone interested www.ashermancinelli.com/csblog/2025-...

Excited to see what y’all figure out! I think it’s really cool to have unbufferized values at the ssa stage - most compilers choose between the two but when you have both, it’s like youve forced the src lang to be pure functional, so its easier to optimize

So the hir isnt ssa?

The llvm flang compiler has some cool unbufferized array SSA types at the highest level IR, wonder if theres space/use for that in HIR

What semantics are you representing in the higher level ir that you couldnt/didnt at the lower ones?

Post on why I think UB is useful in some cases like strict-aliasing, but to the extent it's observable by the user it's largely a disaster

www.ashermancinelli.com/csblog/2025-...

#compilers #programminglanguages

Some thoughts on poisons in LLVM www.ashermancinelli.com/csblog/2025-...

What’s julia’s memory model for arrays? It’s got an llvm based jit, right?

I’m all for julia but there’s some super neat stuff in fortran! Also, the llvm fortran compiler is super fancy- maybe the first general purpose mlir based compiler (as in, not ai related)

What was your fortran xp like?

Yoooo

Hey welcome!

Hey thank you for this!

Please make a starter pack if you do find more🙏

Buny