i lied i don't want to be an engineer please don't give me a regular job
listen to the strokes NOW!!!!!
writing proofs (documenting my code as proof i understand what i'm doing)
born to do type theory forced to do abstract interpretation
when do the horrors end
downloading all of my music and cancelling spotify has done wonders on my listening activity (i may have the weirdest hodge podge of albums downloaded)
i'm saying the terms
had two absolutely disastrous meetings today. got absolutely cooked today.
but we bounce back
this joke only makes sense in french and even then it is not too funny
writing documentation for Lean is so fun you get to cosplay being a mathematician
