i feel the i need to specify "girlwife" as opposed to "boywife" although i will still call my boyfriend "girlwife" as well as my "wife" and "boywife"
yippeee, conor titiania mcbride just posted some new banger woke propaganda!!!
i am so glad i didn't force myself to endure another day when i wasn't feeling it. i feel so much more alive today
thank you modern psychiatry for making me feel helpless bc none of your drugs work
patience is a virtue i do not (and most likely never will) possess
im a renewed individual, please treat me as such because otherwise i may cry
when clankers take over the world there will be clanker grifters like jordan clankerson and android tate selling recursive self-improvement books to shitty models
agda might be the thing to actually get me back into enjoying programming. its very very addictive
yall ever go to sleep thinking about a proof and then wake up and do it
pl→dne : ∀ A → ((B : Set) → ((A → B) → A) → A) ⇔ (¬ ¬ A → A) pl→dne A .to f ¬¬a = (f ⊥) λ x → ⊥-elim (¬¬a x) pl→dne A .from dne B aba = dne λ k → k (aba λ x → ⊥-elim (k x))
people should make programming languages like how the dutch make hardcore
@springernature.com can you pretty please gift me some books for christmas im really autistic and also really broke
im really cool actually i just don't have evidence of that yet sorry
guys... i don't do all the exercises in my textbooks.... please don't kill me im sorry
we need booktok or wtv but for interesting papers and academic journal entries and stuff
i need more books i need more books i need more books i need more books i need more books
ldsafjlkksajdfljksadfllkasdfjkl;asdfklj;dasfl;kjasfdejkl;asdfkjl;afdsjk;lsdfajklfsjdkle;fsdljk;jl;ksafdjkl;sdfgj;kl fjkdlsaf j;lkasj;lk!