Hi there,Can't help noticing that I am having a hard time finding fediverse accounts about my domain. Any chance you know people talking about #AbstractInterpretation, #StaticAnalysis, #SymbolicExecution, #SMT solvers and #FormalMethods in general?
Thanks in advance!
@otini in fact, I'd like to follow some of such people too ;) I am currently learning in that direction
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!