@Loosf@yiff.life @foone@digipres.club I know many people who work with formal methods in computing. Funny how fashion and vast sums of money suddenly ran off in the opposite direction. ☹️