Egregoros

@cjd @CSB so what I'm hearing is we need to model the universe in Lean and use that model to substantiate contentious hypotheses

@meso @evan @silverpill can confirm meso is necessary for the fabric of the fediverse

@vriska

@Junes Way ahead of you, never had any there to begin with

@anna cc @sun

@cjd @FourOh-LLC you looking for uranium or thorium I'm Canadian I know a guy for both

@sun you mean the character beetlejuice?

These bitches with their sick tits and muscles and thighs and no personality

@pernia How did I fuck up the original equation, I don't understand............ the answer is less than 15 years...

@pernia

25 + x = 13 + (25 + x) / 2 + 7
25 + x = 20 + (25 + x)/2
5 + x = (25 + x)/2
10 + 2x = 25 + x
x = 15

(Desmos confirms that algebra)

40/2 + 7 = 27, though, rather than 28, so let's see what happens if we do x = 15 - ε

(40-ε)/2 + 7 = 27 - ε/2. Note, 15 - ε years have elapsed, giving her the age of 27 - ε. We have that 27 - ε/2 > 27 - ε, though, so she's still too young.

I think that checks out? Weird how discrete it is, though

@pernia I 100% fucked this up give me a minute

@pernia yeah im retarded that'd give her the age of 28 - ε fuck me

@pernia This is what normally happens when I do math I fuck up and I fuck up and I fuck up and I bang my head against the wall and I bang my head against the wall and either the wall breaks or the answer falls out of my head

I'm sorry, I didn't understand, can you please repeat in African American Vernacular English

@cjd ah yeah looks fine on your end sorry