type class struggle tweets (@onfiv) 's Twitter Profile
type class struggle tweets

@onfiv

shitposting and trying to learn | 🏳️‍⚧️

ID: 1331432481296326659

linkhttps://cohost.org/onfiv calendar_today25-11-2020 03:00:28

3,3K Tweet

424 Takipçi

303 Takip Edilen

type class struggle tweets (@onfiv) 's Twitter Profile Photo

in my mind there is not much of a difference between "taking 15 minutes to do something, for a Bit" and "taking 2 months to do something, for a Bit"

type class struggle tweets (@onfiv) 's Twitter Profile Photo

call the inner circle's position (r,y) where r is also the radius from the tangent w/ outer circle we get y^2 = 1-2r letting (c^2, c) be the tangent point with the parabola, we can get an annoying quartic in y and c... at which point i gave up - i think there's no closed form

type class struggle tweets (@onfiv) 's Twitter Profile Photo

i will counter this bullshit invoking of the yoneda lemma with a bullshit invoking of Whitney's graph isomorphism theorem which shows that two things having the same "connectivity structure" does not imply they have the same "actual structure" (similarly vaguely)

type class struggle tweets (@onfiv) 's Twitter Profile Photo

i dont want to sound like minimizing the danger of COVID. but its definitely true that that coronavirus is not really novel anymore

type class struggle tweets (@onfiv) 's Twitter Profile Photo

academia stackexchange is wild because you can ask "does anyone have advice on being trans in math academia" and someone will say "you should fly to colorado and go to this panel"

academia stackexchange is wild because you can ask "does anyone have advice on being trans in math academia" and someone will say "you should fly to colorado and go to this panel"
type class struggle tweets (@onfiv) 's Twitter Profile Photo

me to a friend: "how could you reasonably define tea such that coffee isn't a type of tea" their response: "coffee is kiki, tea is boba"