uli :3 @ulipink.bsky.social · 16his girlcoq a taken programming language name? if not im using it, thanks 130
Reposted by uli :3Michaela Joffe @joffeorama.bsky.social · 30/09/2026not sure why I made this but now you have to see it 10794763610
uli :3 @ulipink.bsky.social · 23/09/2026i 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" 000
uli :3 @ulipink.bsky.social · 23/09/2026yippeee, conor titiania mcbride just posted some new banger woke propaganda!!! 000
uli :3 @ulipink.bsky.social · 22/09/2026i 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 020
uli :3 @ulipink.bsky.social · 21/09/2026thank you modern psychiatry for making me feel helpless bc none of your drugs work 000
uli :3 @ulipink.bsky.social · 20/09/2026patience is a virtue i do not (and most likely never will) possess 001
uli :3 @ulipink.bsky.social · 20/09/2026im a renewed individual, please treat me as such because otherwise i may cry 010
uli :3 @ulipink.bsky.social · 19/09/2026when clankers take over the world there will be clanker grifters like jordan clankerson and android tate selling recursive self-improvement books to shitty models 000
uli :3 @ulipink.bsky.social · 18/09/2026agda might be the thing to actually get me back into enjoying programming. its very very addictive 000
uli :3 @ulipink.bsky.social · 18/09/2026yall ever go to sleep thinking about a proof and then wake up and do it 101
uli :3 @ulipink.bsky.social · 17/09/2026pl→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)) 110
uli :3 @ulipink.bsky.social · 16/09/2026@haskell.org you spineless tagless graph reducing coward! 260
uli :3 @ulipink.bsky.social · 16/09/2026people should make programming languages like how the dutch make hardcore 020
uli :3 @ulipink.bsky.social · 16/09/2026@springernature.com can you pretty please gift me some books for christmas im really autistic and also really broke 010
uli :3 @ulipink.bsky.social · 16/09/2026im really cool actually i just don't have evidence of that yet sorry 010
uli :3 @ulipink.bsky.social · 16/09/2026guys... i don't do all the exercises in my textbooks.... please don't kill me im sorry 010
uli :3 @ulipink.bsky.social · 16/09/2026sorry guys i don't think i like math, i just like doing proofs 010
uli :3 @ulipink.bsky.social · 16/09/2026we need booktok or wtv but for interesting papers and academic journal entries and stuff 000
uli :3 @ulipink.bsky.social · 16/09/2026i need more books i need more books i need more books i need more books i need more books 020
uli :3 @ulipink.bsky.social · 16/09/2026ldsafjlkksajdfljksadfllkasdfjkl;asdfklj;dasfl;kjasfdejkl;asdfkjl;afdsjk;lsdfajklfsjdkle;fsdljk;jl;ksafdjkl;sdfgj;kl fjkdlsaf j;lkasj;lk! 000
uli :3 @ulipink.bsky.social · 13/09/2026i wish i had sedatives, i wish i had sedatives, i wish i had sedatives 000
uli :3 @ulipink.bsky.social · 13/09/2026people will see someone with debilitating mental illness and then be like "wow this inconveniences me, fuck you" 010
uli :3 @ulipink.bsky.social · 12/09/2026does anyone have any papers to help me implement my own property testing tool 011
uli :3 @ulipink.bsky.social · 09/09/2026i think im being too neurotic about accidentally fucking up when i should be neurotic about testing 000
uli :3 @ulipink.bsky.social · 09/09/2026i feel like i need to reimplement message passing algorithms using mutexes and conditional locks just so i know what hell feels like 000
uli :3 @ulipink.bsky.social · 09/09/2026heap allocated closures,,, heap allocated closures.... HEAP ALLOCATED CLOSURES.. 010
uli :3 @ulipink.bsky.social · 05/09/2026why do i think i can do everything all at once. why is this a belief i have. why can i never have a rational outlook on my own life 000
uli :3 @ulipink.bsky.social · 05/09/2026the internet fucking sucks, it genuinely sucks in every single possible way, i hate everyone 040
uli :3 @ulipink.bsky.social · 05/09/2026sometimes i listen to a really good song and then just start crying 030
uli :3 @ulipink.bsky.social · 04/09/2026why don't more people stream programming language stuff, istg its basically just eduardo 000
