Hacker News Reader

This is very cool. Do you have any advice on papers to read to understand the details of search based compilation a bit more?

a lot of the ideas luminal is built on are here: https://arxiv.org/abs/2304.04332