paulette d. koronkevich 
@koronkebitch@types.pl
something something IU->Galois->UBC
(I'm a PhD student at UBC working on dependent type preserving compilation)
Joined Oct 2020
paulette d. koronkevich
boosted
boosted
Pixel would like to speak to the manager about the portion sizes at dinner.
realized I have started using my ta voice at home when I asked my partner to do something a certain way and followed up with "makes sense?" oop
ironically some of the letters are repetitive and that's fucking me up
the real reason it's taking me so long to makr these milestones is it takes me 2-3 attempts to write "repetitive"
paulette d. koronkevich
boosted
boosted
it feels so early but its 11am
loving the roast of coq today on twitter lmao u go ryan
reconsidering a career as a bimbo
paulette d. koronkevich
boosted
boosted
@justinfrank @koronkebitch Oh sorry, I don't have my glasses on; That's the [checks notes] lambda-bar-mu-mu-tilde calculus
where is @yoo I miss him
paulette d. koronkevich
boosted
boosted
@wilbowma If Racket is giving you an error message, consider reading that message.
paulette d. koronkevich
boosted
boosted
paulette d. koronkevich
boosted
boosted
@koronkebitch "Repeat after me: left paren, operator, operands, right paren. That's all the syntax! Now go away."
If they persist in asking more questions, just say, "It's all homoiconic, what more do you need to know" and stroll out trailing parentheses.
definitely on me tho but I felt so bad 😭 students roping me into long ass questions
maybe next week I say I answer no syntax questions lmaooo
fml accidentally stayed FORTY MINUTES after the end of my office hours, the students are RUTHLESS
paulette d. koronkevich
boosted
boosted
@wilbowma Racket's commitment to backwards compatibility is a superpower
paulette d. koronkevich
boosted
boosted
looking for ideas for my second knitting project and there's something so captivating about this one... i want it
paulette d. koronkevich
boosted
boosted
something something IU->Galois->UBC
(I'm a PhD student at UBC working on dependent type preserving compilation)
Joined Oct 2020
