Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I work on verifying compiler optimization passes, mainly using weird category theory, so the traveling is mostly orthogonal!


Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: