Would be interesting to hear more behind this: > Compilers involve giant tree structures, with lots of allocations, pointer chasing, and data-dependent multi-w

Would be interesting to hear more behind this: > Compilers involve giant tree structures, with lots of allocations, pointer chasing, and data-dependent multi-way branches. All the things that modern microarchitectures handle poorly. There is research into different designs that avoid these problems, but they involve data structures that can be highly non-ergonomic. A lot of graph algorithms are being expressed in matrix form. Like the current ML stuff.