madis-machinations.bsky.social
@madis-machinations.bsky.social
cringe transsexual | god's most autistic soldier | no clue what to put here tbh
this would be a great name for a band
January 5, 2025 at 4:42 PM
i mean yeah, thats what i was saying - but its important to note that its not ALL bourgeoisie/liberal governments, just the ones where its not geopolitically favorable to criticize them
January 4, 2025 at 7:55 PM
i mean yeah no duh, china is just as bad as the us, but cnn doesn't bother censoring its own critical coverage of china 😭 is this not obvious
January 4, 2025 at 4:00 PM
i need it even more now 😭😭 i have genuinely been looking around for this top and cant find it
December 30, 2024 at 8:56 PM
do u ever see an outfit in a piece of art and just think "wow i need that in my wardrobe NOW" bc thats how i feel with this
December 30, 2024 at 7:39 PM
lean's error messages are usually abysmal tbh, at first glance, this is honestly indistinguishable from any other type error in lean
December 30, 2024 at 4:02 PM
i know one person named maeve and leah each, but neither of them are trans
December 30, 2024 at 2:25 PM
sorry to break it to you but as an americanoid, this is 100% sincere, and this guy is the sort of person who actively fantasizes about someone breaking into their house so they can shoot someone in "self defense"
December 30, 2024 at 2:21 PM
hey that's not true, transmedicalism is actually when a trans woman *says something I don't like*
December 23, 2024 at 3:11 AM
UHHH, NO!!. he responded like a middle schooler. u getting the "ick" is you just seeing a symptom of an incredibly bad underlying problem
December 22, 2024 at 4:27 PM
oh, this was just a joke, OP was talking about lisp the programming language, and I was talking about lisp the speech disorder, where you replace your "s" sounds with "th" sounds. the IPA notation for that is [s] → [θ]
December 5, 2024 at 12:39 AM
personally my favorite is the [s] → [θ] lisp, its very basic but its the de facto standard for a reason
December 4, 2024 at 3:23 PM
honestly i hope that since i last really was using lean a few months ago they've improved tactics for this kinda stuff but i don't really follow their development
December 3, 2024 at 4:49 AM
liv agar
November 29, 2024 at 2:08 AM
you already can use a simple angle for rotation, (assuming x and y anticommute and each square to 1, which is already the needed multiplication rule to derive that equation), you get that (xy)^2 = -1, so you can set
q = e^{xyθ/2} = cos(θ/2) + xy sin(θ/2)
November 28, 2024 at 9:37 PM
"nonono, we think its immoral for trans people to have access to healthcare, but when we do it it's Woke!"
November 28, 2024 at 9:21 PM
not pictured here: rotors
November 28, 2024 at 6:20 PM
what part of "costh2tid" do you not understand? and how else am I supposed to stay within the arbitrary 80 character line limit?
November 28, 2024 at 12:06 AM
THERE ARE 35 TRILLION CELLS THAT MAKE UP MY BODY. IF THE WORD HATE WAS ENGRAVED ON EVERY NANOANGSTROM OF THOSE TRILLIONS OF CELLS IT WOULD NOT EQUAL ONE ONE-BILLIONTH OF THE HATE I FEEL FOR OUTLOOK AND TEAMS AT THIS MICRO-INSTANT. HATE. HATE.
November 25, 2024 at 5:19 PM