http://massey-lectures.appstor.io 2025-04-17 1.0