yo girl so dongle she sprongle (whips out my @93pigeons - Tumblr Blog

all software should be open source wtf. u expect me to run this on my own computer without knowing what its doing???

car manufacturers dont weld the hoods shut to keep ppl from copying their engines. books arent written with a military-grade cipher to avoid plagiarism. and we dont let food have "secret formulas" anymore bc too often one of the "secret ingredients" was fucking lead

when ur distributing a product to the public u forfeit the right to hide whats inside it, u dont get to hand out a black box and expect ppl to just trust u when u totally swear it doesnt have a microphone inside

sneepsnorp3d

major traffic incident

#two fermions interacting by exchanging a boson

caesarsaladinn

every morning i wake up and make the worst possible time management decisions anyone has ever made

hardwrench

so baby hold me closer in the toast slot of your toaster

nb-swordk9

category theory emergency? dial 00よ, now!

qazxwecvr

Operator: "00よ, what's your emergency."

Caller: "I thought this diagram was commutative, BUT IT ACTUALLY WASN'T"

O: "Stay calm. I'm dispatching a higher category theorist. Please stay on the line."

C: "The paths... they yield DIFFERENT MORPHISMS! OH GOD OH GOD"

O: "Please stay calm, our team is on it's way. We'll get you some 2-cells and fashion an equivalence."

*later*

C: "Oh THANK GOD you've arrived. Look at my diagram!"

ECT (Emergency Category Theorist): "He's lost a lot if coherence! His internal structures are failing to be well behaved! Get me 50 co's! I need to spell 'cocone' 25 times! Okay sir, I'm administering the 2-morphisms now."

C: "I can't close my category; my adjoints hurt too much. The diagrams... morphisms..."

E: "HE'S LOSING COHESIVENESS! LOAD HIM ONTO THE SHARP MODALITY! WE NEED TO GET HIM TO THE GROTHENDIECK SITE NOW!"

*in the quasitopos wing of the grothendieck site*

Doctor: "His subobjects are strong but he's still unable to classify them. Nurse, draw some sections; we need to run nLabs."

Nurse: "On it."

D: "It's worse than I suspected; size issues. This is really serious. He'll need to see a type theorist"

Type Theorist: "We'll need to implant a Russell hierarchy. It's a dangerous procedure. We can try to keep his internal logic extensional, but there's a large risk of his types collapsing in on themselves."

*after the procedure*

C: "Thank you doctor, without these new loop spaces, I don't know if I ever would've been able to derive again."

D: "Of course. Make sure to go easy at first. These derived limits can take some getting used to. Don't pullback or pushout two hard for a few months or you could tear an identity type"