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 · 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
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 · 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
Reposted by univalence and brae
adult human email @fuck.mom · 18/09/2026
my name jev
0244
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
41285200
Reposted by univalence and brae
Good Trailcams @goodtrailcams.bsky.social · 04/09/2026
161509279
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
Reposted by univalence and brae
Wasa @wasa.bsky.social · 01/09/2026
extremely obligatory
13821
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
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
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
how common is it for scammers to send fake acceptance emails through spoofed easychair email addresses to phish honest authors
140
Reposted by univalence and brae
Type Theory Forall @ttforall.bsky.social · 20/08/2026
0113
univalence and brae @jack.quartztz.com · 17/08/2026
and 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/2026
having 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 · 10/08/2026
im going to hell
[9:50 AM] jacopo: I cannot support any sort of twink death
[9:50 AM] that's cruelty
[9:51 AM] marcin: Jesus
[9:51 AM] jacopo: what about him
[9:51 AM] that was the original twink death
[9:51 AM ]when they crucified him
260
univalence and brae @jack.quartztz.com · 09/08/2026
tonight is a straight up abstract nonsense bullshit kind of night
lix.polytechnique.fr
Samuel Mimram — HOTT -- Homotopy type theory
Samuel Mimram's website
131
univalence and brae @jack.quartztz.com · 08/08/2026
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.
040
univalence and brae @jack.quartztz.com · 03/08/2026
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.
380
univalence and brae @jack.quartztz.com · 01/08/2026
good try
comment on a video about Metamath Zero

Sir please can I talk to you about a my friend who is telling that prime number distribution is not random but it's structured and he is telling that he could prove and generate prime numbers with a Pythagoras triplets and he is telling that all prime lies within the parabola that these triangles generate he is very confident on this issue can you please have a word with us sir sorry for disturbing you I have to tell you that this may be very important and he tells he could generate as much prime numbers as possible he tells please answer to this comment sir
140
univalence and brae @jack.quartztz.com · 30/07/2026
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.
apple calendar screenshot: full day event scheduled for Sat, Aug 22nd, titled "acceptance?????"
030
univalence and brae @jack.quartztz.com · 29/07/2026
su do you think this shit is a game
output of running the `su` command:

```console
~: su
Password:
su: Sorry
~:
```
130
univalence and brae @jack.quartztz.com · 19/07/2026
missing the only game I shoulda watched I might kms myself
150
univalence and brae @jack.quartztz.com · 15/07/2026
feeling awful cause i'm stupid award
120
univalence and brae @jack.quartztz.com · 14/07/2026
i should come out to my parents
very low resolution drawing of a small shark with a relatively frowny face on a white background, and the text "CLUELESS" drawn above it
130
univalence and brae @jack.quartztz.com · 09/07/2026
good 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/2026
i ran for a senate office but AIPAC found out i have a tender soul
130
Reposted by univalence and brae
Good Trailcams @goodtrailcams.bsky.social · 07/07/2026
167068
univalence and brae @jack.quartztz.com · 05/07/2026
there 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/2026
figma 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/2026
game 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/2026
deeply racist world cup results tonight. sickening.
040
univalence and brae @jack.quartztz.com · 01/07/2026
cat-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/2026
ARXIV IS NO LONGER RED I REPEAT ARXIV IS NO LONGER RED
100
univalence and brae @jack.quartztz.com · 30/06/2026
octopus 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/2026
opened the german FM radio to see what's up and they're playing bring me to life this country can't be true
youtube.com
Evanescence - Bring Me To Life (Official HD Music Video) ft. Paul McCoy
YouTube video by EvanescenceVEVO
120
univalence and brae @jack.quartztz.com · 30/06/2026
man wasn't made to post on a zulip
130
univalence and brae @jack.quartztz.com · 25/06/2026
oomf is a liberal
160
univalence and brae @jack.quartztz.com · 22/06/2026
related work section got me scared as shit "this work is novel because i am the GOAT"
140
univalence and brae @jack.quartztz.com · 22/06/2026
im so glad i follow this account
040
univalence and brae @jack.quartztz.com · 21/06/2026
scala is so nice to use
040
univalence and brae @jack.quartztz.com · 20/06/2026
thinking about her again......
020
univalence and brae @jack.quartztz.com · 20/06/2026
bralen junson
000
univalence and brae @jack.quartztz.com · 19/06/2026
printers at my job pissing me off immensely wdym you're forgetting all relevant characters. unserious.
picture of the first page of Sound Borrow-Checking for Rust via Symbolic Semantics, Ho et al.

all capital A symbols are printed as Unicode boxes.closeup on a typing judgement, rendered as 

[     ] |- s [      ]

brackets around (presumably) missing symbols. near the top of the picture, another box A can be seen.
2100
univalence and brae @jack.quartztz.com · 17/06/2026
the 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
univalence and brae @jack.quartztz.com · 16/06/2026
BYOHM bring your own hindley milner
070