univalence and brae @jack.quartztz.com · 01/10/2026is a (European) masters degree undergrad? this and more in "im too scared to ask" 330
univalence and brae @jack.quartztz.com · 01/10/2026professor for class i'm TAing shoehorned Lean in his verification class and his course material looks entirely vibe coded i feel so bad for the students omg 4200
univalence and brae @jack.quartztz.com · 21/09/2026im going to blow up this course with my mind how is it possible to be this disorganized 020
univalence and brae @jack.quartztz.com · 09/09/2026gave my first masters-level class in a while and i will admit it feels good 370
univalence and brae @jack.quartztz.com · 02/09/2026jetbrains getting a conference publication while not having to pay for our registration and transportation and accommodation might be the best trade deal ever 110
univalence and brae @jack.quartztz.com · 26/08/2026almost had a good experience on a DB train (we were on time for an hour and a half but then someone died in the bathroom) 160
univalence and brae @jack.quartztz.com · 22/08/2026how common is it for scammers to send fake acceptance emails through spoofed easychair email addresses to phish honest authors 140
univalence and brae @jack.quartztz.com · 17/08/2026and i don't speak unless im spoken to and i don't smoke unless you're smoken to 261
univalence and brae @jack.quartztz.com · 11/08/2026having to write a motivational letter for a flat Might be more dehumanizing than having to write one for a job 020
univalence and brae @jack.quartztz.com · 09/08/2026tonight is a straight up abstract nonsense bullshit kind of nightlix.polytechnique.frSamuel Mimram — HOTT -- Homotopy type theorySamuel Mimram's website 131
univalence and brae @jack.quartztz.com · 08/08/2026professor 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. 040
univalence and brae @jack.quartztz.com · 03/08/2026the 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. 380
univalence and brae @jack.quartztz.com · 30/07/2026i 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. 030
univalence and brae @jack.quartztz.com · 19/07/2026missing the only game I shoulda watched I might kms myself 150
univalence and brae @jack.quartztz.com · 09/07/2026good submission you have there would be a shame if one of the main contributions was poorly designed and now you need to change it entirely needing so much work you're going to die 120
univalence and brae @jack.quartztz.com · 08/07/2026i ran for a senate office but AIPAC found out i have a tender soul 130
univalence and brae @jack.quartztz.com · 05/07/2026there hasn't been a SINGLE game this world cup where the team i supported won. at this point it HAS to be me in some way shape or form. sorry country of brazil for my poor performance of spectating a game. 210
univalence and brae @jack.quartztz.com · 05/07/2026figma is so good and they try to enshittify it by making it suck and AI and even then it's just fun software to use i should get on the penpot wave (if that's even still going on) but i'm too addicted to the thrill 020
univalence and brae @jack.quartztz.com · 01/07/2026game so bad I'm sportsposting on main my father would be proud I'm finally a real man 100
univalence and brae @jack.quartztz.com · 01/07/2026deeply racist world cup results tonight. sickening. 040
univalence and brae @jack.quartztz.com · 01/07/2026cat-based paper name approved by higher ups we're eating good tonight *miami heat dunk image i'm too tired to look for but you know it* 060
univalence and brae @jack.quartztz.com · 01/07/2026ARXIV IS NO LONGER RED I REPEAT ARXIV IS NO LONGER RED 100
univalence and brae @jack.quartztz.com · 30/06/2026octopus emoji octopus emoji meaning octopus emoji meaning compsci is "octopus emoji" a sign of respect in the lean community. am i being made fun of 130
univalence and brae @jack.quartztz.com · 30/06/2026opened the german FM radio to see what's up and they're playing bring me to life this country can't be trueyoutube.comEvanescence - Bring Me To Life (Official HD Music Video) ft. Paul McCoyYouTube video by EvanescenceVEVO 120
univalence and brae @jack.quartztz.com · 22/06/2026related work section got me scared as shit "this work is novel because i am the GOAT" 140
univalence and brae @jack.quartztz.com · 19/06/2026printers at my job pissing me off immensely wdym you're forgetting all relevant characters. unserious. 2100
univalence and brae @jack.quartztz.com · 17/06/2026the italian player proceeds with a bold move: disabling the mouse entirely on his new linux partition. we'll see how useful that is in rewiring his brain to be more vim-like! (i'll give up in two days) 010
univalence and brae @jack.quartztz.com · 17/06/2026"Babylon must fall" - man heavily involved in Babylon's construction 130