Hacker News new | ask | show | jobs
by gargalatas 83 days ago
This guy https://en.wikipedia.org/wiki/A_Symbolic_Analysis_of_Relay_a...