Sign in

univalence and brae

@jack.quartztz.com
124 followers 146 following 731 posts

[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.

PostsRepliesMedia
univalence and brae @jack.quartztz.com · 02/10/2026
debugging 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/2026
apparently not :( do you have closed dms?
100
univalence and brae @jack.quartztz.com · 02/10/2026
I 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 · 02/10/2026
did you run it through comparator
010
univalence and brae @jack.quartztz.com · 01/10/2026
all 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/2026
120
univalence and brae @jack.quartztz.com · 01/10/2026
I 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/2026
check DMs
110
univalence and brae @jack.quartztz.com · 01/10/2026
is a (European) masters degree undergrad? this and more in "im too scared to ask"
330
univalence and brae @jack.quartztz.com · 01/10/2026
like i could have done this. if he asked me. very sad!
190
univalence and brae @jack.quartztz.com · 01/10/2026
professor 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 · 28/09/2026
hello!
110
univalence and brae @jack.quartztz.com · 25/09/2026
gone on you with the pick and roll young laflame, he in sicko mode
021
univalence and brae @jack.quartztz.com · 24/09/2026
bruler moodle
001
univalence and brae @jack.quartztz.com · 22/09/2026
moodle you deserve nothing but my wrath
110
univalence and brae @jack.quartztz.com · 21/09/2026
im going to blow up this course with my mind how is it possible to be this disorganized
020
univalence and brae @jack.quartztz.com · 19/09/2026
MLK would be proud
010
Reposted by univalence and brae
adult human email @fuck.mom · 18/09/2026
my name jev
0244
univalence and brae @jack.quartztz.com · 16/09/2026
type shit
000
univalence and brae @jack.quartztz.com · 16/09/2026
jokes aside i can reread slides if u want i just spent a week on mine
110
univalence and brae @jack.quartztz.com · 16/09/2026
do i get coauthor
110
univalence and brae @jack.quartztz.com · 15/09/2026
you 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/2026
counteracts 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/2026
gave my first masters-level class in a while and i will admit it feels good
370
Reposted by univalence and brae
Good Trailcams @goodtrailcams.bsky.social · 09/09/2026
41284200
univalence and brae @jack.quartztz.com · 08/09/2026
why are you even on a campus i thought you worked for big programmngn language or something
060
Reposted by univalence and brae
Good Trailcams @goodtrailcams.bsky.social · 04/09/2026
161509279
univalence and brae @jack.quartztz.com · 03/09/2026
i 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/2026
would 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/2026
jetbrains 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/2026
disastrous news for my future grazie mille
110
univalence and brae @jack.quartztz.com · 02/09/2026
as someone who might move to madrid in the medium term future i need 2 know
110
univalence and brae @jack.quartztz.com · 02/09/2026
are you renting in minneapolis or in Bordeaux, Minnesota, 45 minutes commute by car to minneapolis through the worst highway ever
110
Reposted by univalence and brae
Wasa @wasa.bsky.social · 01/09/2026
extremely obligatory
13821
univalence and brae @jack.quartztz.com · 29/08/2026
what's the api for deadlines?
020
univalence and brae @jack.quartztz.com · 26/08/2026
oh got the last train out of this station
PUBLIC ALERT, LOW Wed 2026/08/26, 04:40 pm.
Second World War bomb in Karlsruhe (Beteich Stuttgarter Straße): Avoid the affected area.
080
univalence and brae @jack.quartztz.com · 26/08/2026
me nd who
030
univalence and brae @jack.quartztz.com · 26/08/2026
oh
youtube video titled "A simple approach to using ableton for live music". the top comment reads "youre such a good boy, thanks for sharing!"
160
univalence and brae @jack.quartztz.com · 26/08/2026
rip them tbh
040
univalence and brae @jack.quartztz.com · 26/08/2026
almost 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/2026
asking for a friend
030
univalence and brae @jack.quartztz.com · 22/08/2026
how 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/2026
opened the functional programming feed at work award
020
Reposted by univalence and brae
Type Theory Forall @ttforall.bsky.social · 20/08/2026
0113
univalence and brae @jack.quartztz.com · 18/08/2026
unfortunately (bitchcord is now part of my vocab)
010
univalence and brae @jack.quartztz.com · 18/08/2026
shared with only the best of role models (Percy Jackson)
110
univalence and brae @jack.quartztz.com · 18/08/2026
indeed o7
110
univalence and brae @jack.quartztz.com · 18/08/2026
happy birthday 🎉
010
univalence and brae @jack.quartztz.com · 18/08/2026
we MIGHT have the same birthday oomf
210