@dankwraith how is H_succ any shorter than H.succ? Is that what that comment means? My python is rusty :(

@restioson @dankwraith it's because accessing an attribute in python is normally done by dictionary lookup, incurring a small performance penalty that can nonetheless add up if (in this instance) you're copying a very large graph

Sign in to participate in the conversation

monads.online is a community for goth nerds, aka people who are interested in the intersections of math, art, programming, philosophy, and related topics. this does not include your techbro ass. we also enjoy a healthy amount of shitposting. if you are a techno-materialist, technocrat, or some flavor of capitalist, don't even bother applying. if you are interested in an account please fill out an application, detailing why you are interested in joining, what you have to bring to the community, and your prior, if any, accounts on the fediverse.