News for hackers. Stuff that matters.
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.
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.
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.