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
univalence and brae reposted
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
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"
univalence and brae reposted
univalence and brae reposted
univalence and brae reposted
univalence and brae reposted
univalence and brae reposted