Andreas ZellerAt #ISSTA this year, the least popular topic was symbolic analysis, with 0/7 submissions accepted. In totally unrelated news, „why don’t you use an LLM for that?“ appears to be the most frequent question asked by reviewers.
Peter Sommerlad@AndreasZeller
this makes me sad.
replacing maths and logic with statistics based on bad data is something I fear for humanity's and our profession's future
Stephan Neuhaus