Ask HN: Compiler Engineers, what would you advise new grads/students to learn?

Re:Ask HN: Compiler Engineers, what would you advise new gra... by saurabh20n on Sunday September 08, 2019 @10:58PM (#20914873)

I have a PhD in programming languages; and I hire people with these backgrounds (compilers, PL, verification, synthesis). As others have said, if you've looked at LLVM, I'd find that interesting, but for practical use, there are more useful + interesting + fun things out there.

E.g. SMT solvers (CVC, Z3, or the like) -- infinitely more fun; and require experience to truly understand what works and what doesn't. Or if you've done something really novel with meta-programming or designed a custom DSL for a domain.

[ Parent | on HN ]

Re:Ask HN: Compiler Engineers, what would you advise new gra... by 314 on Monday September 09, 2019 @04:15AM (#20916148)

Your PhD is insanely impressive :) Ras' work on Program Sketching is stellar. Your new company looks very exciting. Hope your hiring goes well, it will be fun to see what kinds of verification you can do on smart contracts.

[ Parent | on HN ]

Re:Ask HN: Compiler Engineers, what would you advise new gra... by saurabh20n on Monday September 09, 2019 @04:25AM (#20916195)

Thanks for the very kind words. Email me directly / watch our blog. We'll be releasing some new results this week.

[ Parent | on HN ]

Re:Ask HN: Compiler Engineers, what would you advise new gra... by 314 on Monday September 09, 2019 @07:06AM (#20917029)

I've just followed @_syntheticminds on twitter. Looking forward to reading what you've been up to.

[ Parent | on HN ]