3 ms·
Yep, I agree with this. And I should point out that this particular flavor of hacking is really squarely in my area of specialization (Z3 and symbolic execution
by moyix 5y ago
Yep, I agree with this. And I should point out that this particular flavor of hacking is really squarely in my area of specialization (Z3 and symbolic execution get used extensively in software security, and language models / GPU coding stuff are something I've done research in as well). There are tons of areas of CS that I'm pretty shaky on still, the field is just too big for one person to know it all in any detail.