univalence and brae @jack.quartztz.com · 02/10/2026debugging tools: breakpoints: failed LLM: failed NASA solar weather patterns in the past few weeks: judgement pending. 010
univalence and brae @jack.quartztz.com · 02/10/2026I won't confirm but if you're somehow talking about [the pl professor named clement at my school] this is probably the farthest thing from what he would ever do 010
univalence and brae @jack.quartztz.com · 01/10/2026all thanks aside (more coming soon hehe) I don't think I would do a better job than him at full effort cause he is genuinely freakishly good at laying out knowledge when he has the time. my question is: if you lack the time why do this 040
univalence and brae @jack.quartztz.com · 01/10/2026I guess they don't see any issue with it because they know their stuff enough to sift through the bullshit or something, but the impact on student morale is so evident it's genuinely scary 120
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/2026like i could have done this. if he asked me. very sad! 190
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 · 25/09/2026gone on you with the pick and roll young laflame, he in sicko mode 021
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 · 16/09/2026jokes aside i can reread slides if u want i just spent a week on mine 110
univalence and brae @jack.quartztz.com · 15/09/2026you and i are NOT the same girl i LOVE it also yes colons what are you talking about 100
univalence and brae @jack.quartztz.com · 09/09/2026counteracts the three miles of feedback i got on my paper presentation (i will spend 8hrs on a single slide deck tomorrow) 010
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 · 08/09/2026why are you even on a campus i thought you worked for big programmngn language or something 060
univalence and brae @jack.quartztz.com · 03/09/2026i put placeholder ... in my long messages cause I type faster than i can think and I'm known to send vague and unclear messages with holes in them some call me mr lsp 120
univalence and brae @jack.quartztz.com · 03/09/2026would you rather have unlimited tokens I dont know how this continues or no games 140
univalence and brae @jack.quartztz.com · 02/09/2026"i do this for the cv" i say while booking a room in Graz, Austria 010
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 · 02/09/2026as someone who might move to madrid in the medium term future i need 2 know 110
univalence and brae @jack.quartztz.com · 02/09/2026are you renting in minneapolis or in Bordeaux, Minnesota, 45 minutes commute by car to minneapolis through the worst highway 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 · 21/08/2026opened the functional programming feed at work award 020
univalence and brae @jack.quartztz.com · 18/08/2026unfortunately (bitchcord is now part of my vocab) 010
univalence and brae @jack.quartztz.com · 18/08/2026shared with only the best of role models (Percy Jackson) 110