Polymorphic Type Inference for Machine Code | Hacker News Reader