That's funny, I always get confused and disappointed when hearing/reading people talk about "ML" only to realize they're talking about "machine learning" and no

That's funny, I always get confused and disappointed when hearing/reading people talk about "ML" only to realize they're talking about "machine learning" and not Milner's ML ... I hadn't thought there might be yet another overloaded definition.