Hi HN, author here! This post discusses some research I and my colleagues at McGill have been working on recently, borrowing ideas from graph theory and linear

Hi HN, author here! This post discusses some research I and my colleagues at McGill have been working on recently, borrowing ideas from graph theory and linear algebra to model computation. If any of these topics interests you, feel free drop me an email at bre@ndan.co -- would love to get your feedback about GPGPU compilation, boolean function analysis, abstract rewriting systems or any of the topics discussed. Thanks!