Jenna JJ Q.

it might not be very useful in a vacuum, but i think it can be useful in context. like if you know what the algorithm is but the runtime isn't obvious, the minimum time might tell you something

had a sleep paralysis nap this afternoon

screenshot of lobste.rs link that reads "Jonathan Blow on Programming Language Design"

i will not be baited i will not be baited i will not be baited i will not be baited i will not be baited i will not be

they're really good at it too! that must be why they're the boss

granted the direction of causation is probably that entitled pricks are more likely to become vibecoders

it might just be my imagination, but i think there's a correlation between being a vibecoder and being an entitled prick

need to find the most trash tier anime playing this season and let it smooth out my brain

now that the pldi deadline is over i can finally get my nothing weekend

people ... people write compilers without tests???

the goal of type theory is to come up with the best types so nobody ever has to do type theory again

i cannot get over dedekind cuts. how can there be more dedekind cuts than there are rational numbers??? look i get cauchy sequences. those are infinite. they're like super infinite. cauchy sequences are uncountable that makes sense.

but dedekind cuts??? wtf???

it's actually completely irrelavant to the bug report. i just wish people on the internet wouldn't try to give me cancer

my brain is leaking out my ears as i read a bug report where someone is making performance claims based on what claude tells them is faster

actually no, the tree could be infinite

yes

realllly need to do a whole lot of nothing this weekend

i'm unfamiliar with the whatever function

you could charge $999,999 for that service

blue truth red truth duels but it's a rebuttal period

i really needed to workshop this one a bit more

umineko but they're writing research papers, and instead of trying to lay your soul bare and be understood by another human being you just want to communicate some mathematical academic insights, and it still ends in tragedy

never!

i'm never writing another paper again

weekend!

what if we reset the character development between seasons and just rehashed the previous season's character development, but this time with the viewers having no emotional investment in the conflict because everything that contextualized it happened offscreen

grateful that i genuinely have no memory of this

any day now

reached the point of 'permanent heightened state of anxiety' until the PLDI deadline

weird browser bug. i closed one tab and then another one closed too. Then I cmd+shift+T to reopen the most recently closed window, and they both reopened

it was worth it though. there's really no feeling like having soup in the freezer ready to warm up