univalence and brae

univalence and brae

@jack.quartztz.com

[he/they] EN/FR/IT quartztz.com Stop playing all that bullshit, those weird notes. Play the melody. MSc @ EPFL verification obsessed bunny with too little time on their hands.

130 followers148 following743 posts

also they locked a thousand mathematicians in a room for six weeks figuring out what the responsible way to release this is and they settled on "do exactly what we did so far unchanged"? that's mental

univalence and brae@jack.quartztz.com

what's the difference between - a +15,000;-1,000 entirely vibe coded contribution to an open source project - 372 solved families of problems split into 700 pdfs and a few hundred thousands lines of lean both are exploiting the goodwill of a community under the guise of "advancing a project"

what's the difference between - a +15,000;-1,000 entirely vibe coded contribution to an open source project - 372 solved families of problems split into 700 pdfs and a few hundred thousands lines of lean both are exploiting the goodwill of a community under the guise of "advancing a project"

professor i see what you mean but no model has ever been a "threat" to me, really. they usually instantly fall in love on account of my dashing looks and my ability to discuss 100 gecs' discography at length.

the excitement of trying to move in with my boyfriend is fighting with my extreme administrative anxiety and general fears on the future. i wouldn't say it's losing but GOD im scared.

i created this reminder a few months ago along with the paper deadline, but every time i see it it makes me think that i should be farther along my progress on the other stages of grief. i'm running late.

holy shit i didn't know this was the original pic. it's kind of cuter than i thought unsure who calls hippos "adorable giant herbivore puppies" though i feel like everyone knows they suck