Smalltalk Isn't Dead, It's Just Waiting in Deep Thought

There's also a paper at the upcoming VMM workshop

Boris Shingarov, Jan Vraný Debugging a Smalltalk VM assisted by large automated reasoning

https://2025.programming-conference.org/home/MoreVMs-2025