Full threadjohndoe0815·There's also a paper at the upcoming VMM workshopBoris Shingarov, Jan Vraný Debugging a Smalltalk VM assisted by large automated reasoninghttps://2025.programming-conference.org/home/MoreVMs-2025View on HN