Jon Sterling on Nostr: nprofile1q…ruhme nprofile1q…7w55u nprofile1q…st6k2 And great points about proof ...

nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqgzzguuzh85g9y0k2az2nd49d3wmqs2zg2hmr2lqzngymgd6afc8sxruhme (nprofile…uhme) nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqp3qx0ddf4ruhfrrrgvhlhffnzv3u8j0aqurgt4glqutmkpnut8cqm7w55u (nprofile…w55u) nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqez3yya8tpgge7lk4jq2zxz0cj3d2mcgev9mffd4ec7tfy84hre4skst6k2 (nprofile…t6k2) And great points about proof as communication, with all the contextuality that entails… I have been drilling this point during my lectures too