# orderedItems[].object.content
@TobyBartels @sc_griffith yeah I wouldn't be surprised if he doesn't even make it to inauguration, we've all forgotten how quickly everything happened during Trump 1 and Elon is the most pathetic person to ever live so

# orderedItems[].object.contentMap.en
@TobyBartels @sc_griffith yeah I wouldn't be surprised if he doesn't even make it to inauguration, we've all forgotten how quickly everything happened during Trump 1 and Elon is the most pathetic person to ever live so

# orderedItems[].object.content
@jonmsterling @MartinEscardo @ohad @andrejbauer ok,,, I still don't know if I'm happy about calling it "cohomology" but do see the utility in having a shorthand for "the 0-truncated hom-space into...". I'd be curious how much of generalized cohomology can be built, as you say, just using representability, though I'm sure that's in their references on the page. On your note about cohomology always being taken "with coefficients in _", is the substantive difference between this language and "evaluation of the functor represented by _" solely in the 0-truncation of the former? or should we, even when spectra à la generalized Eilenberg-MacLane cohomology theories are nowhere in sight, keep deloopings and 'potential' higher cohomology in mind along the way?

As a postnote on where I'm coming from, I tend to think of a cohomology theory as something represented by a spectrum, the extra algebraic structure induced on each cohomology set and suspension isomorphism and so on being what in my mind separates cohomology theories from the general business of representable functors...

# orderedItems[].object.contentMap.en
@jonmsterling @MartinEscardo @ohad @andrejbauer ok,,, I still don't know if I'm happy about calling it "cohomology" but do see the utility in having a shorthand for "the 0-truncated hom-space into...". I'd be curious how much of generalized cohomology can be built, as you say, just using representability, though I'm sure that's in their references on the page. On your note about cohomology always being taken "with coefficients in _", is the substantive difference between this language and "evaluation of the functor represented by _" solely in the 0-truncation of the former? or should we, even when spectra à la generalized Eilenberg-MacLane cohomology theories are nowhere in sight, keep deloopings and 'potential' higher cohomology in mind along the way?

As a postnote on where I'm coming from, I tend to think of a cohomology theory as something represented by a spectrum, the extra algebraic structure induced on each cohomology set and suspension isomorphism and so on being what in my mind separates cohomology theories from the general business of representable functors...

# orderedItems[].object.content
@jonmsterling @MartinEscardo @ohad @andrejbauer the nPOV on cohomology is one I've never seen well-motivated and is a good example, IMO, of why the broad mathematical community can be ambivalent towards the nLab and really generally towards category theory. Like, their definition of a cohomology theory to me seems so loose as to let *any* representable (∞-)functor be called a cohomology theory, and I don't see the purpose of such a loose definition besides renaming a thing that already exists and is studied...

# orderedItems[].object.contentMap.en
@jonmsterling @MartinEscardo @ohad @andrejbauer the nPOV on cohomology is one I've never seen well-motivated and is a good example, IMO, of why the broad mathematical community can be ambivalent towards the nLab and really generally towards category theory. Like, their definition of a cohomology theory to me seems so loose as to let *any* representable (∞-)functor be called a cohomology theory, and I don't see the purpose of such a loose definition besides renaming a thing that already exists and is studied...

# orderedItems[].object.content
@sc_griffith made some UniMath contributions this week for the first time in a while! also got a job app out yesterday (a day late, but alas) to a nonprofit called PeopleForBikes whose mission I really believe in.

back in March I matched with a gal on Hinge who's living in the southwest right now working for the forest service, and last month she reached back out to me and we've been getting closer since then. yesterday we spent a while on the phone, not really talking but just being "there" with each other, peer pressuring each other into doing projects we both wanted to do but perhaps our ADHD brains could do with some accountability to it, and I don't think I'd have gotten that job app out yesterday without her nudging me on. she was working through some cursive tutorials at the time to practice her handwriting for office stuff, should have asked her for a picture haha. I'm very grateful for her the past few weeks, she's lovely :)

# orderedItems[].object.contentMap.en
@sc_griffith made some UniMath contributions this week for the first time in a while! also got a job app out yesterday (a day late, but alas) to a nonprofit called PeopleForBikes whose mission I really believe in.

back in March I matched with a gal on Hinge who's living in the southwest right now working for the forest service, and last month she reached back out to me and we've been getting closer since then. yesterday we spent a while on the phone, not really talking but just being "there" with each other, peer pressuring each other into doing projects we both wanted to do but perhaps our ADHD brains could do with some accountability to it, and I don't think I'd have gotten that job app out yesterday without her nudging me on. she was working through some cursive tutorials at the time to practice her handwriting for office stuff, should have asked her for a picture haha. I'm very grateful for her the past few weeks, she's lovely :)

# orderedItems[].object.content
@MartinEscardo I have much more quaint reasons, I like the smaller and closer vibe of Mathstodon and it's technically quite useful too with its LaTeX support. For the microblogging I want to do and folks I want to keep tabs on it's quite good

# orderedItems[].object.contentMap.en
@MartinEscardo I have much more quaint reasons, I like the smaller and closer vibe of Mathstodon and it's technically quite useful too with its LaTeX support. For the microblogging I want to do and folks I want to keep tabs on it's quite good

# orderedItems[].object.content
#zelda I'm replaying Skyward Sword and forgot how much awkward young desire is in this game, they're truly down bad in that really teenage way hahaha

# orderedItems[].object.contentMap.en
#zelda I'm replaying Skyward Sword and forgot how much awkward young desire is in this game, they're truly down bad in that really teenage way hahaha

# orderedItems[].object.content
@sc_griffith at the weekly *saturday* art club in bzn while thinking about if I'd take a military contractor job in my home state if offered and nothing else using my degree is offered, cheers

# orderedItems[].object.contentMap.en
@sc_griffith at the weekly *saturday* art club in bzn while thinking about if I'd take a military contractor job in my home state if offered and nothing else using my degree is offered, cheers

# orderedItems[].object.content
@sc_griffith outstanding job

# orderedItems[].object.contentMap.en
@sc_griffith outstanding job

# orderedItems[].object.content
@MartinEscardo extremely fair. We're all pretty terrified over here... Looks like the GOP will have the trifecta of presidency and both chambers of congress, and over the past several decades have completely taken control of the federal courts, so things are certainly about to get real bad.

# orderedItems[].object.contentMap.en
@MartinEscardo extremely fair. We're all pretty terrified over here... Looks like the GOP will have the trifecta of presidency and both chambers of congress, and over the past several decades have completely taken control of the federal courts, so things are certainly about to get real bad.

# orderedItems[].object.content
@sc_griffith here's how bernie can still win: (1 of 87)

# orderedItems[].object.contentMap.en
@sc_griffith here's how bernie can still win: (1 of 87)

# orderedItems[].object.content
@amy trans-Pacific travel is so brutal but i hope the visit itself was lovely 🥰

# orderedItems[].object.contentMap.en
@amy trans-Pacific travel is so brutal but i hope the visit itself was lovely 🥰

# orderedItems[].object.content
@sc_griffith update: coffee

# orderedItems[].object.contentMap.en
@sc_griffith update: coffee

# orderedItems[].object.content
@DensityPoint @sc_griffith congrats!!

# orderedItems[].object.contentMap.en
@DensityPoint @sc_griffith congrats!!

# orderedItems[].object.content
@sc_griffith waiting for my cortado while **thriving** in the finally-sweater-weather

# orderedItems[].object.contentMap.en
@sc_griffith waiting for my cortado while **thriving** in the finally-sweater-weather

# orderedItems[].object.content
@sc_griffith idk who this is but I'm just thinking John McAfee

# orderedItems[].object.contentMap.en
@sc_griffith idk who this is but I'm just thinking John McAfee

# orderedItems[].object.content
@MartinEscardo I'm a really strong believer in e-bikes, especially in cities. Actually, the industry job that's #1 on my list right now is with a bicycle advocacy nonprofit in Pittsburgh where I'd be directly involved with the work for safe & accessible streets for all. Don't know off the dome if PGH (or Pennsylvania generally) has a rebate program for e-bikes, but your story is a lovely anecdote about the effect of those kinds of programs and the positive health benefits (mental and physical) of bicycle programs!!

# orderedItems[].object.contentMap.en
@MartinEscardo I'm a really strong believer in e-bikes, especially in cities. Actually, the industry job that's #1 on my list right now is with a bicycle advocacy nonprofit in Pittsburgh where I'd be directly involved with the work for safe & accessible streets for all. Don't know off the dome if PGH (or Pennsylvania generally) has a rebate program for e-bikes, but your story is a lovely anecdote about the effect of those kinds of programs and the positive health benefits (mental and physical) of bicycle programs!!

# orderedItems[].object.content
@johncarlosbaez maybe what I most fear is if he loses but it's close. Vox ran [an article](https://www. vox.com/scotus/376150/supreme-court-bush-gore-harris-trump-coup-steal-election) today speculating how the Supreme Court might interfere à la 2000 to make sure he wins, and even if John Roberts and his buddies don't step in Trump still has a history of armed coup attempts as you pointed out. Brain rot is even worse now than it was in 2020, etc, and capitalists like the birdsite guy are doing their best to illegally use their wealth and power to steer a victory.

Math just feels so quaint sometimes... like, obviously there's a wealth of historical discourse about mathematical practice and privilege, for me the big thing is about this idea of math as being the study of abstraction and the privilege of being able to live and work in abstract-land somewhat outside of material reality, but in moments like this it really rings loudly in my head: what are we doing?

# orderedItems[].object.contentMap.en
@johncarlosbaez maybe what I most fear is if he loses but it's close. Vox ran [an article](https://www. vox.com/scotus/376150/supreme-court-bush-gore-harris-trump-coup-steal-election) today speculating how the Supreme Court might interfere à la 2000 to make sure he wins, and even if John Roberts and his buddies don't step in Trump still has a history of armed coup attempts as you pointed out. Brain rot is even worse now than it was in 2020, etc, and capitalists like the birdsite guy are doing their best to illegally use their wealth and power to steer a victory.

Math just feels so quaint sometimes... like, obviously there's a wealth of historical discourse about mathematical practice and privilege, for me the big thing is about this idea of math as being the study of abstraction and the privilege of being able to live and work in abstract-land somewhat outside of material reality, but in moments like this it really rings loudly in my head: what are we doing?

# orderedItems[].object.content
@sc_griffith also I ended up making that GoFundMe if any of y'all might be able to spare a coin https://gofund.me/0aea71cd it's been a rough few years - not gonna rehash the whole story of it here hah - and I'm ready to move on for better things and new people, just need some help to get there

# orderedItems[].object.contentMap.en
@sc_griffith also I ended up making that GoFundMe if any of y'all might be able to spare a coin https://gofund.me/0aea71cd it's been a rough few years - not gonna rehash the whole story of it here hah - and I'm ready to move on for better things and new people, just need some help to get there

# orderedItems[].object.content
@sc_griffith the uni library had a free giveaway of banned books a few weeks ago and I'm starting on this one today and hoo boi James Baldwin's hitting me in the feels

# orderedItems[].object.contentMap.en
@sc_griffith the uni library had a free giveaway of banned books a few weeks ago and I'm starting on this one today and hoo boi James Baldwin's hitting me in the feels

# orderedItems[].object.content
@grumpy @johncarlosbaez only semi-related but I'm trying to move to Pittsburgh right now and learned that Duolingo is headquartered there, so one of my go-to small-talk jokes is that I'll need to keep up my streak lest the owl hunt me down in the streets

# orderedItems[].object.contentMap.en
@grumpy @johncarlosbaez only semi-related but I'm trying to move to Pittsburgh right now and learned that Duolingo is headquartered there, so one of my go-to small-talk jokes is that I'll need to keep up my streak lest the owl hunt me down in the streets