kaik

no profile record

comments

قبل 5 سنواتdiscuss

I kid you not, I spent a full working day debugging this exact same issue (taking a pointer to a vector element, before adding more elements). Very obvious if you understand how C++ and vectors work, yet it took me forever to realize, and it was miserable…

kaik

قبل 6 سنواتdiscuss

SMT, SAT, etc are absolutely AI. In fact, Machine Learning is just another field inside AI (albeit a famous and successful one). As someone that got his PhD doing his research in "classical" AI, it's surprising that nowadays most people think that AI is just machine learning.