Hacker News new | past | comments | ask | show | jobs | submit | from login

An Introduction to Redex with Abstracting Abstract Machines (dvanhorn.github.io) 53 points by jcr on April 13, 2016 | past | 6 comments An Introduction to Redex with Abstracting Abstract Machines (dvanhorn.github.io) 22 points by ingve on Jan 24, 2016 | past | 2 comments

Join us for AI Startup School this June 16-17 in San Francisco! Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: