tranny demon hacker on Nostr: in that setting, tho, its actually not true that we want to hypothesize maximally ...
in that setting, tho, its actually not true that we want to hypothesize maximally strong things. for instance, hypothesizing that a function is a map is stronger than hypothesizing that it's a foldr