shamir's notebooks