Hacker News new | ask | show | jobs
by tekne 279 days ago
I work on verifying compiler optimization passes, mainly using weird category theory, so the traveling is mostly orthogonal!