miniKanren-related

Branch prediction based on historical data

or use machine learning to predict branch?

Running Linux Kernel on miniKanren with Acceptable Performance

Then we can exploit linux kernel easily!