serious-discussion

[sleek wagon]

yep

this one isn't the hardes

[neat lintel]

c++

[sleek wagon]

the hardest one was the one that made me so confused

idk where to put the command

then I finally got it

I can't show it since it's in my other phone

dead battery

[proud olive]

you almost did the finding the average thing correctly btw

it was correct to sum all the numbers up

[sleek wagon]

then the answer will be divided into 12

[neat lintel]

btw any one here good at regex ?

[proud olive]

if you apply this logic to your situation

what do you think you should divide by?

[sleek wagon]

12 2 11

probably other numbers if there's a chance

[proud olive]

no those were just random examples

the number you divide by depends on how many numbers you add

[sleek wagon]

wdym by numbers I added, does it count the 2 digits into 1 or does it count the 2 digits into 2

[proud olive]

2 digits into 1

[sleek wagon]

like 11+11 will 2 numbers or 4 numbers

ok

[proud olive]

2 numbers

u got this

[sleek wagon]

I get it now

I'm getting now

IM FINALLY GETTING IT

yes

[proud olive]

YES

gj dude

it's pretty fun to figure it out right?

[sleek wagon]

OOOOH

SO ITS BECAUSE I PUT 12 BECAUSE THERES 12 NUMBERS

[proud olive]

yup

[sleek wagon]

so that's how my cousin counted my average grade

[proud olive]

yeah most likely

[sleek wagon]

if you said it directly right now I should've gotten it right on this time😭

I was confused at first why you were adding and subtracting some numbers

[proud olive]

i was trying to explain to logic behind it

[sleek wagon]

so all you gotta do is divided the numbers on how many numbers are there

[sleek wagon]

well I didn't get the logic

[proud olive]

yeah that's the formula for it

[sleek wagon]

so like if I sum 11+11

it will be 22

then 22÷2

[proud olive]

yup

[sleek wagon]

right?

OKOK

now I finally get it

like literaly

🎉

celebrate

I finally get it

[proud olive]

gjgj

[lunar spear]

@neat lintel If you weren't trolling I apologize and you should get tutoring

[neat lintel]

Alright man

I wasn't trolling

@lunar spear it's 21/35 right

[lunar spear]

7*3/5?

[neat lintel]

Oh one sec

How am I supposed to do that

I did it and it's 21/5

[lunar spear]

Yes

thats right

how about 7*(3/5)

[neat lintel]

21/5

[lunar spear]

Nope

try again

[neat lintel]

Ok

[onyx pagoda]

what

[neat lintel]

Bro it's 21/5

Or you want me to simplify it

[onyx pagoda]

you can't

[lunar spear]

Fucking hell I need tutoring too smh

[onyx pagoda]

bruh

[neat lintel]

It's 21/5 he doesn't know what he's talking about

[lunar spear]

I need sleep

I havent mixed exponents and multiplication in years

[real laurel]

What is the limit of the following function as x approaches infinity:

lim x→∞ (1 + 1/x)^x

[static loom]

https://tenor.com/view/marikiplier-e-meme-lord-farquaad-gif-22138504

[restive bough]

mixing drinks can cause headaches

[lunar spear]

So I need to mix drinks and painkillers

got it

[lunar spear]

1?

Ight Imma head to sleep

[restive bough]

e

[lunar spear]

@restive bough how

oh thats the damn definition

smh

[neat lintel]

@lunar spear

What is the cost of a shirt sold for 60 dollars with 25% profit?

[proud olive]

75

[frozen merlin]

75 what? apples?

[proud olive]

Yeah

How did you manage to guess that on first try?

[frozen merlin]

I'm an apple salesman

[chilly hull]

cat

[restive bough]

Ez, $60, which is way too much for a shirt

[uncut socket]

@hollow sundial It got worse, was going to dm you but sadly we not friends

[hollow sundial]

Request sent

[manic tide]

Yo

[stable patrol]

Why do you use the Euler formula there

[restive bough]

so here's a question: how might we approach calculating an extremely large power? I just came across a problem: (32^42)/46

I would like to be able to calculate this without resorting to an electronic calculator, because I feel like I wouldn't be able to have a good feel for if the computer had made a rounding/overflow error.

[mild nebula]

Repeated squaring is a common trick

Get 32²
Square it, to get 32⁴
Square it, to get 32⁸
Square it, to get 32¹⁶
And get 32³²

Then multiply (32³²)(32⁸)(32²)

[restive bough]

sure, but a quick calculation with my slide rule gives me log(32^42)=~57.2, which means it's a 58 digit number. I'm wondering if there could be a faster way than repeated squaring that leads to it. probably just the digital equivalent of what I just did, tbh.

iirc this is what logs were invented for lol

[surreal sapphire]

use of log tables is approximate and requires pre-computed values

not sure if i would call this computation if it relies heavily on a lookup table

[restive bough]

eh, it's a continuous function by definition at this point. I see no difference between this and looking up the sine of an angle for part of a computation

[surreal sapphire]

well, sine values can inherently only be approximated

for this you can compute an exact value if you want

i also think kaynex' method is faster than anything involving lookup tables

also can be generalized

[restive bough]

I mean, if you have to make the table yourself, then yes, I guess. I can arbitrarily find any digit I want with the right number theory application, and I know the size and most important digits via approximations. I just don't feel like putting 58 digits on a page by hand.

[surreal sapphire]

i mean if you want to compute it "by hand", then using log tables is fastest, although you have to trust that they are correct still

the "correct" way is to trust the computer

[restive bough]

I've dealt with floating point errors too many times for that.

[surreal sapphire]

there is no reason to do floating point arithmetic here

[past girder]

I feel like jumping from server to server feels like I'm in a giant hall and i just walk up to different circles of people

[surreal sapphire]

feels pretty fast

[restive bough]

that'd be great if I could code

[surreal sapphire]

but like

[restive bough]

oof, just realized I wrote 32 instead of 23, no wonder that output looks weird in your screenshot XD

little consequence, principle is the same

[surreal sapphire]

then its 23^42/(2*23) = 23^41/2

23^41 should be reasonably fast by kaynex' method

[verbal thunder]

Does anyone know how to get Microsoft Mathematics? I had it on my old laptop but after looking for it on my new one to download, I've found that it's been discontinued. It was my preferred calculator app and I want to find it again. If you know anywhere I can get it, PLEASE reply to this, @/me or DM me

[lunar spear]

Why would you prefer that monstrosity

[verbal thunder]

Idk, I just remember really liking it

[verbal thunder]

if there's a better calculator that has the same wide range of abilities that microsoft mathematics had (that I recall) plz let me know

[lunar spear]

and what are those abilities

[cyan goblet]

wolframalpha

[verbal thunder]

ive heard of that and visited it once, but theres so much there that it seems tedious to use

[cyan goblet]

not tedious actually

[lunar spear]

Well that looks alot like Ti-nspire

[verbal thunder]

huh. guess I'm just overthinking it lol

[verbal thunder]

And kinda, yeah

[covert nest]

can i send a vid to you guys its important to me and i want it to be spread

[surreal sapphire]

what kind of video

[fierce abyss]

That problem was solved btw, we know the existence of invariant subspace of order 1 or 2 by our previous discussion so we can choose an orthogonal basis of that invariant space and complete it to an orthogonal basis of V, C is the orthogonal matrix whose columns are that orthogonal basis so C^TAC=
(D_1 B
0 A_1)
This is orthogonal we can obtain that B=0, and D_1,A_1 are orthogonal so C^TAC=diag{D_1, A_1} continue this process on A_1, C_2^TA_1C_2=diag{D_2,A_2} so
diag{I C_2}^TC_1^TAC_1diag{I C_2}=diag{D_1,D_2,A_2}…
In the end we have C^TAC=D=diag{D_1,D_2…} D is orthogonal so each block is orthogonal. Since all D_j are of order 1 or 2, so D_j is (+/-1) if it’s of order 1, rotation matrix if it’s of order 2
Induction actually

[hollow sundial]

Ah yea I copied it over to #linear-algebra

[fierce abyss]

Thanks, sorry didn’t check that channel

[forest trench]

What beautiful juxtaposition 😔

[topaz sinew]

i use gentoo

btw

!!!!!

[rose dock]

lol

[analog salmon]

if you have an object in 4-dimensional euclidean space, is gimbal lock still a problem?

cause the solution for gimbal lock in 3d is quaternions, but there's no 5d equivalent for the 4d case other than going up to octonions, right?

[limber hazel]

🤣

[olive kayak]

how much analysis do i need for probability by durrett?

like do I only need to know how to do lebesgue integration

or do I have to go in deeper

[near fox]

That's sufficient

[wicked ore]

Just learned that schrodinger was a pedophile and a rapist

Why isn’t this common knowledge

[rocky tiger]

anyone know how to solve this

[compact tartan]

"solve"

[proud olive]

Do you like want to know how to do a numerical calculation of it?

[eager flame]

Anyone wanna talk in morse code?

[neat lintel]

nah ty

Do most US grad schools require TOEFL and GRE?

I kinda want to go into US but not really interested in giving 500$ just to get possibly rejected -_-

[deep mango]

Yes

[neat lintel]

Another question, how does 9/10 European GPA scale with American system

Like is it an okay gpa to get accepted (not in Ivy league ofc)

[frozen merlin]

I suppose it depends on the country, but 90% in uk maths undergrad is absolutely cracked

[neat lintel]

wdym by cracked?

[frozen merlin]

insanely good

almost unheard of

[neat lintel]

hahahh

[eager flame]

Isn't there the system of A levels in the UK which is graded in GPA?

[vast surge]

Try installing Sage. I've found that it's quite good at doing most computations that I need.

[olive kayak]

i've started baby rudin today as a review/reinforcement for analysis

tbh it isn't hard as I expected

but maybe because it is review and i have done topology

dunno

[vast surge]

It has the reputation that it does because it's often people's first like actual real math textbook where they need to write proofs and things like that

[charred mortar]

It’s also somewhat terser than most other intro analysis books

[vast surge]

If you've read mathematics, like, at all before trying baby Rudin it's not that hard

[olive kayak]

also I've used lang's undergraduate analysis

tbh it wasn't as hard as rudin but it is by no means easy and lenient bok

so that could've been a reason too

[charred mortar]

Rudin does say that it’s intended for the graduate or advanced undergrad student in his preface

So it probably wasn’t designed for the standard intro analysis course in undergrad

[verbal thunder]

I'll try it out, thank you

[charred mortar]

And yeah if you’ve already read an analysis book before Rudin’s going to seem fairly simple for sure

[vast surge]

I feel like Pinter also says that his (algebra) book is for advanced undergraduate or graduate students though, so

[charred mortar]

Hm perhaps standards have also changed

Baby rudin is a bit old now

[olive kayak]

yep I think so too

tbh I think rudin lacks explanation

[vast surge]

Yeah. Like, sure, Baby Rudin and Pinter say that they're for advanced undergrads or even grad students, but most of the people I hear of reading them are in their second year of undergrads

[olive kayak]

thats the reason why it is difficult

tbh I don't understand why professors use it for first time learners

[olive kayak]

its 70 years old actually

[charred mortar]

Oh damn

[olive kayak]

when it came out my country was at full blown war

[charred mortar]

Baby’s grown up

[olive kayak]

but would you recommend doing baby rudin?

[vast surge]

The idea is you don't read the book in isolation. You read it alongside a series of lectures and all that other course structure, and that's what helps provide motivation and exposition

[olive kayak]

i mean is it really necessary after doing analysis?

[olive kayak]

yep I think so too

thats why I use at least 3 books for one subject

[velvet dagger]

I do think that at this point in time there are better choices

Browder and Schroder

To Baby Rudin

[cyan goblet]

how about Zorich?

[olive kayak]

I found zorich to be too heavy on physics

also it does not have solutions ot any of the problems nor could they be found online

[rose dock]

physics = good imo

provides motivation

[olive kayak]

the problem is

I don't know physics

like even high school level

[ancient flame]

F=ma

boom

[arctic grove]

it is?

[sick burrow]

This is from a gre prep book

book aimed at prospective math graduate students
"A function is a rule"

[neat frost]

Good morning Gmod!

[sick burrow]

@mortal igloo

[ancient flame]

SHUT UP

[mortal igloo]

Hmm....

Misuse (or old use) of "range"

[teal lion]

Well, some foundations of mathematics take functions as primitive

[sick burrow]

Yeah but surely you need a definition more sophisticated than "a function is a rule"

If you're going to be doing literally anything with Choice for instance

[modest rune]

okay well

the gre

is not about to use choice

also the mGRE is like

not written for math grad students

[sick burrow]

Is it not?

I thought you only take it if you're applying to math grad schools

[modest rune]

There are other people who take it

idk the demos

[sick burrow]

I mean doesn't it have some topics on it that you wouldn't generally cover in say, physics or engineering

[teal lion]

Well, yeah, but that isn’t to say “a function is a rule” is wrong

[sick burrow]

Like it's mostly calc and highschool stuff but isn't there the occasional topology analysis or algebra question?

[teal lion]

Unless you define a rule to be something Turing-computable

[sick burrow]

I mean what else is a rule

When I hear rule I think something I can write down

[neat frost]

Me? Why? ;-;

[ancient flame]

BC

L

[ancient flame]

it's common to say "range" instead of "codomain" in high school level math for some reason

[mortal igloo]

Is it?

[neat frost]

B-b-b-but I thought we were close Gmod!

[mortal igloo]

Common and accepted as correct, or common as a mistake?

[ancient flame]

L

[ancient flame]

accepted as correct

[mortal igloo]

ok that's wild

[neat frost]

I am so hurt rn man, words cannot express

[cyan goblet]

idk i was taught the diff between range and codomain

[neat frost]

ANEMONE

Gmod is bullying me!

😭

Is range just image?

[cyan goblet]

yea

[neat frost]

That’s dum

Image is a much better term

It sounds cooler

[ancient flame]

ye

[alpine kindle]

I've had to reread frankenstein for exam revision

and my god mary shelley is awful at mentioning names

[cold needle]

lol

i kinda liked frankenstein when i read it last

gave me some brain fog though

[alpine kindle]

it's alright

the plot is very good but there are flaws in how the story is presented which hold it back

[alpine kindle]

eg we only learn Frankenstein's father's name as late as chapter 7, and that's only because he signs his name on a letter

[fervent pebble]

i can confirm

im in ib math anal hl

think like

calc bc

ap

and we call it domain/range

tbh ive never even heard of a codomain lmao

[velvet dagger]

Depends on stuff

Like there's f(domain)

And then there's f:X->Y

f(X) = Y when f is surjective

But otherwise f(X) and Y are two different things

I've seen f(X) described as image or range

And Y described as codomain or range

[torn crane]

I guess "codomain" being just any set which f maps to makes sense but I don't like it

[brittle socket]

Enderton: Gets a stroke

[ashen pike]

why does that matter?

his role on plot is minimal at best

[fervent pebble]

gods i love challenge problems so much but fuck me i suck ass at doing them

[torn crane]

what problem?

[leaden crown]

Anybody good at finance math and/or geometric series? I need some help.

[alpine kindle]

yeah but when you first name the main character offhand in chapter 3 it's kind of bad

[cobalt star]

it's weird how the narrator of the story is just a dude retelling a story that somebody else told him

like why have 2 layers of narration when u can have 1

wuthering heights also does this

[alpine kindle]

i mean walton is quite an important character for multiple reasons

I'd say most importantly he provides an additional, less biased frame against the unreliable narrator frankenstein

[junior jolt]

Ur more likely to get help if you post the actual question directly

[ashen pike]

this form of embedding narratives was popular in the time by many liberal writers because it allowed them to communicate multiple character's sides of the story, inspired by cultural events such as the french revolution

[ashen pike]

but why?

the beginning is dedicated to Walton specifically to then later make it clear that they are doppelgangers

[nocturne pier]

Why are there rainbows on all the servers logos?

[ashen pike]

to say that you need to introduce the main character straight away to make a good book is a very simple understanding

[coarse grotto]

It’s pride month

[nocturne pier]

I see, I hadn't heard of it till now thanks

[coarse grotto]

Yes ofc :)

[woeful oxide]

Hi

AAnyone here?

[neat lintel]

is there a month for straight people?

[neat frost]

Why would there be?

[neat lintel]

Why would there not?

Let’s everyone get a month

[neat frost]

Because straight people aren’t discriminated against

[neat lintel]

Ok, how does a month prevent that

Wait is it to recognize discrimination?

Some person was in here earlier this week, discriminating against straight people

[dire mulch]

[neat frost]

Oh my god

[fair mural]

obviously there’s idiots that discriminate against straight people lol

don’t you get it though?

how often do you hear about straight people getting discriminated against vs someone in lgbtq

[blazing pawn]

If you want a sincere answer to this

[neat lintel]

Yes

[blazing pawn]

Gay pride parades and months originate as an annual celebration/reminder of the stonewall riots

[neat lintel]

Ok thanks

[blazing pawn]

The police have never been raiding straight bars and its never been illegal for straight people to express their sexuality in public in the same way

its basically straight pride month year round lol

[neat lintel]

Thank you for clarifying

I never understood it

Like if a month was dedicated to something, another month should also be dedicated to something else

Like veterans month

They just have a whole day not a month

[dire mulch]

Do you mean Memorial Day?

Wait I am dumb there’s veterans and Memorial Day.

[blazing pawn]

you act like some gods are out there divvying up months between every possible demographic lol

[azure nymph]

Military appreciation month was last month actually and there's one in November as well

Along with memorial day and veterans day

[torn willow]

Pretty sure there are monthly long occasions we don't even know exist

[dire mulch]

Animal month.

Cat month.

But I don’t like cats, so dog month. Cats don’t deserve a month.

[azure nymph]

Just split the month

[torn willow]

https://www.nami.org/Get-Involved/Awareness-Events/Mental-Health-Awareness-Month

[dire mulch]

namigton. 👀

[azure nymph]

https://www.aacr.org/patients-caregivers/awareness-months/testicular-cancer-awareness-month/

[torn willow]

https://nationaltoday.com/awareness-holidays/

There are so many weird months out there

like what?
https://nationaltoday.com/manuary/

[modest rune]

turns out you can basically just make up a month long holiday

its not like Big Gay is somehow preventing the existence of a straight pride month

[sick burrow]

Pride month math server is an experience

[deep mango]

Isn't that also what people do in november

oh that's moustaches

instead of beards

[blazing pawn]

november is for prostate cancer i think

[sick burrow]

I suppose it's a nice change of pace to get "why isn't there a straight pride month" cranks and "what is a transgender" cranks instead of our usual IQ cranks and Godel cranks

[surreal sapphire]

ye

movember is growing moustaches and mens health awareness

[deep mango]

I think it's general mens health issues?

I guess it's not head and neck cancer though

[sick burrow]

Hi arr why see

[deep mango]

Hello gamma

[torn willow]

ah that's where "no nut november" came from

[deep mango]

Lol

[surreal sapphire]

funnily enough this is really bad for preventing prostate cancer

[neat lintel]

theres also no poop july

[surreal sapphire]

[sick burrow]

No nut November is so fucking stupid

[fair mural]

there is also the option to not say that

[dire mulch]

Hi quantum .

[fair mural]

hi

[surreal sapphire]

there is a nopoo movement which tries to not use shampoo

thats actually a smart idea probably

[dire mulch]

I use shampoo like once every two weeks.

[surreal sapphire]

ye, thats a good idea i think

its interesting how many things we do because of some lobbying

there was some point where companies aggressively advertised the idea to shampoo your hair every day

and somehow it became the norm

[alpine kindle]

no i said he's not named until chapter 3
chapter 3 is the third chapter of Frankenstein's narrative, not to be confused with letter 3, which is the third part of Walton's narrative
he's obviously introduced before then, but the fact he's left unnamed, and only properly named in a semi-confusing way, is baffling

[azure nymph]

If Big Gay is out there doing stuff I'mma need them to step it up a bit

[fair mural]

what

[ashen pike]

he's named in chapter 1

just checked

[blazing pawn]

Shimanami tasogare pfp

Nice

[azure nymph]

It is one of the few pieces of media that made me cry

[swift sinew]

Surely there could have been a better name for this

[alpine kindle]

i was mistaken it seems
still, the word "Frankenstein" doesn't appear until chapter 3

[warm pecan]

LMAO

[dense belfry]

[neat lintel]

Emma watson

[late geode]

My cat is Frankenstein

[neat lintel]

I thik you just got confirmed

[dense belfry]

Yeah I wouldn't want to confuse it with the other nopoo movement

What

[neat lintel]

well at least your cat is smarter than you

[late geode]

😵

[neat lintel]

Eyyy

That was quite a burn right?

lol

[dense belfry]

Do you think Frankenstein is the monster or the doctor?

[late geode]

🙂

[neat lintel]

the doctor

or rather the engineer

[modest rune]

the monster was the doctor

[dense belfry]

I should actually read Frankenstein

Hey max

[modest rune]

yes?

[dense belfry]

[modest rune]

?

[dense belfry]

Just saying hi

[modest rune]

oh hi

[late geode]

Nose boop

[dense belfry]

Max what are your thoughts on topos theory?

I'm curious

[modest rune]

i dont really have many

it seems to be an important structure that shows up all over

[dense belfry]

I've been doing a lot of topos theory reading lately

[modest rune]

but most categories i study are not topoi

[dense belfry]

Ah I see

[neat lintel]

I dont like it

[dense belfry]

Do you know about the connections between toposes and intuitionistic logic?

I guess you wouldn't lol

[modest rune]

I do

[dense belfry]

Oh cool

[modest rune]

Just insofar as like

the internal logic of a topos need not have LEM and so on

[dense belfry]

Yeah so it's a bit stronger than that

So one theorem is that something is provable in intuitionistic logic iff its true in all (elementary) toposes

So intuitionistic logic is the correct logic for elementary topos theory

[ornate rock]

Sometimes a man hurts every woman who enters his life because his true soulmate is his sister

[dense belfry]

There are stronger logics for more restrictive classes of toposes

So for example the grothendieck toposes are characterized by geometric logic

[alpine kindle]

he wasn't an engineer
he was a scientist lol

[dense belfry]

Anyway it's really interesting to see non classical logics coming up very naturally

[neat lintel]

Well he knew how to use the science

and I think using science is what wikipedia calls engineering

lol

btw

what happens if I bully people?

[dense belfry]

Lol

[neat lintel]

like emma

[next schooner]

depends who

[neat lintel]

Lol

[dense belfry]

I don't think you're strong enough to bully me

[neat lintel]

ofc i wouldnt bully mniip

he can cick me

[sleek wing]

I've bullied mniip

[alpine kindle]

why would you bully Emma

[neat lintel]

mniip is a literal cat

[ancient flame]

emma ur such an emma

L

[neat lintel]

Would you like to test that?

he has a human mecha that he uses to appear human

[sleek wing]

https://tenor.com/view/sad-crying-crying-seal-forced-to-seal-crying-gif-20960311

[swift sinew]

She has an e and an a in her name

[neat lintel]

because she is there
Where at the right place at the right tiem

and she is being a fako

[sleek wing]

#serious-discussion message

[dense belfry]

I'm the bully around these parts

[warm pecan]

random but why are there 2 discussion channels

[neat lintel]

she isnt the real emma

[dense belfry]

[warm pecan]

is it too clogged with only 1

[neat lintel]

Oh sish, is this a mistake?

[sleek wing]

where's slurp

[neat lintel]

discussion 2 is where the cool people hang out

[next schooner]

no do continue

[alpine kindle]

kmp you could never rise to the bullying standards of slurp

[neat lintel]

I think so too

Oh gosh

i feel bad for slurp sometimes

the former ally 😭

you will pay

[dense belfry]

I once bullied someone so hard they left discord for months and were going to come back with a hate account dedicated to hating me

[sleek wing]

why lol

[dense belfry]

[sleek wing]

same ngl

[neat lintel]

im always mean to them

you only think you can step to my level because you learnt the power rule

but spoiler alert

[sleek wing]

it was less bullying and just refusing to agree with them though

[neat lintel]

I am much better at calc than you could ever B

especially emma

when she is buzy being a mimic octopus

she has no time to study calc

[swift sinew]

I don’t think Emma’s ever learned calc tho

[neat lintel]

you must be quite the average joe

[alpine kindle]

then what's the definition of a derivative generalised to any banach space

[dense belfry]

I taught calc last year

[sleek wing]

better than I could B? bitch u got a B...

[next schooner]

why learn calc when you can invent it yourself

[swift sinew]

Doesn’t mean you learned it

[dense belfry]

That's fair actually

[neat lintel]

because then you become like isaac newton

i'm seeing a pattern here

mniip is a cat...

ryc is a bird...

[neat lintel]

oh sish

[sleek wing]

mofo couldn't even remember to add... the plus C....

[neat lintel]

nami is a frog...

and now josh ?

[swift sinew]

*fish but go on

[dense belfry]

I like the idea of being a mimic octopus

That sounds kind of nice

[neat lintel]

animal pfp= good at math ?

[next schooner]

llama is dangerously close to discovering we're all just furries

call the mods

[neat lintel]

I added to newton's finite calculus 😉 (But i could never teach calc good enough)

[neat lintel]

Meinetwegen lol

[sleek wing]

I KILLED A MAN WITH A HATCHET ON THE 14TH OF JULY 1973

[alpine kindle]

devious

[neat lintel]

Did you join logan paul?

[swift sinew]

Face reveal this early?

[alpine kindle]

will you answer it

[neat lintel]

No

otherwise i would look stupid

[alpine kindle]

fake
bad at calculus
(this is a joke)

[dense belfry]

[neat lintel]

oh cool, emma has an angriffsfläsche

[cyan goblet]

i wish wew was that cool

[sleek wing]

face... reveal...

[cyan goblet]

we will never be as cool as that guy i forgot his name

[swift sinew]

wew I almost thought he was for a sec

[neat lintel]

Ok, if you cant beat them you must join them fish sake

lol

Ok

ally can annex me

[sleek wing]

integrate.... x^3....

[deep mango]

[neat lintel]

but Im going to continue my beef with mista Emma

[swift sinew]

Go away ryc

[dense belfry]

"mista"

[neat lintel]

(x^4ool)/4ool

[sleek wing]

HOW

this guy's the REAL DEAL!!!

[neat lintel]

careful when insulting my favourite mod 😦

[sleek wing]

I can't pick my favourite mod... it's like trying to pick my favourite child

[neat lintel]

Ikr, you dont know how bad you are losing lol
If you couldnt even get the integral of x^3 in your head, i knew you must be a fool

[neat lintel]

lol

[sleek wing]

don't fuck with my integral my verses are biblical

[dense belfry]

I am considering learning calculus

[swift sinew]

Y’all take so long to type oh my god

[cyan goblet]

this guy will never integrate x^3

[dense belfry]

idk though

[dense belfry]

Lots of other stuff to learn that's much more important

[deep mango]

Some people carefully consider what they say to others

[cyan goblet]

meow

[sleek wing]

no I was just trying to think of a rhyme for "integral"

[swift sinew]

Is that why you typed that in a fucking millisecond

[cyan goblet]

i thought abt that one really hard

[sleek wing]

https://tenor.com/view/scream-screaming-terror-terrified-horrified-gif-18257897

[dense belfry]

I think I'm going to invest a lot more time into nonstandard analysis and internal set theory

Which I guess is calculus

[deep mango]

Well it's not like I do!

[cyan goblet]

https://tenor.com/view/baby-seal-sad-cry-meme-seal-gif-19608082

[dense belfry]

[deep mango]

Too many gifs

[neat lintel]

Im not that kind of dude

[sleek wing]

#serious-discussion message

[sleek wing]

rude dude with attitude until I start spitting the lord's virtue

[cyan goblet]

OH SHIT

[deep mango]

If you really want to own me copy and paste my message about the chat returning to its normal pace

[dense belfry]

Nonstandard analysis is surprisingly cool, there are surprisingly some topos theoretic approaches that I'm interested in exploring when I have the time

[neat lintel]

just give it a minit

[swift sinew]

dead meme

[sleek wing]

I'll do it within the next 20 minutes

[cyan goblet]

chat will never return to normal pace in 20 minutes

[dense belfry]

Lol

[sleek wing]

I've started the timer

[dense belfry]

That's based anamono

[deep mango]

I will mute all of you to make sure chat dies in 20 minutes

[cyan goblet]

hell yeah emma said im based

[sleek wing]

minit? more like mint, mans can't even freestyle, can't keep up with my lyrical sprint

[swift sinew]

That was basically how edd moded

[deep mango]

Lmaooo

[sleek wing]

edd would never be a mod

[neat lintel]

oh you got a disstrack coming my man, watch your mouth lol

[alpine kindle]

the fréchet derivative of a function $f: B \to B$ (where $B$ is a banach space) is a function $Df: B \to B^B$ where $B^B$ is the set of linear automorphisms of $B$ such that
$$\forall x :: \lim\limits_{\lVert h \rVert \to 0} \frac{\lVert f(x+h) - f(x) - Df(h) \rVert}{\lVert h \rVert} = 0$$

[fathom swallow]

ally 🌈

[swift sinew]

Is edd still around, I haven’t seen him in months

[dense belfry]

Maybe I should read the nonstandard analysis book now

Hmm

Yeah I think I will

[sleek wing]

edd exploded due to.... uhh... an explosion

[alpine kindle]

there's your derivative @neat lintel

[deep mango]

Edd left a bit ago but not months ago, he was taking a break

[fair mural]

this but inironically

[dense belfry]

I miss Edd

[sleek wing]

wtf quantum new pfp...

[neat lintel]

why?

Was he your gardian

[sleek wing]

bad aim + moving target

[deep mango]

Wow quantum's pfp is kind of cool now

[neat lintel]

wait what

it must be party time

[dense belfry]

He was a person I was talking to and having a good time with

I guess

[fair mural]

,av

[fathom swallow]

quantum#6320's Avatar

Click here to view the image.

[sleek wing]

"cool"

[deep mango]

No I'm ruthless now

[fair mural]

oh my god doing that just

destroyed the quality

[dense belfry]

I am actually a guardian

[neat lintel]

thx, and btw what do you think of john gabriel?

[dense belfry]

[ancient flame]

I hate guardians in minecraft

[neat lintel]

why, were you told to be?

[ancient flame]

especially elder guardians

[dense belfry]

I am taking care of my 15 year old sister

[sleek wing]

place two blocks
swim around the blocks
you will literally never get hit

[dense belfry]

[ancient flame]

true

[deep mango]

No, it's a phase

[ancient flame]

I haven't played singleplayer in years

[neat lintel]

LOL, is it a coincidence that if I wasnt disputing with namington that I was disputing with edd lol

[swift sinew]

year’s

[sleek wing]

hahah my sister is older (this means I am better than you)

[ancient flame]

hush

autocorrect

[neat lintel]

i was about to make a realy innapropriate reference

[dense belfry]

Are you your sisters guardian?

[neat lintel]

m[c]ath server when ?

[ancient flame]

mcath?

[sleek wing]

minecraft guardians?!?!

[neat lintel]

mc

minecraft

[dense belfry]

I have a 25 year old sister

[deep mango]

Don't push your luck knomuspla!

[dense belfry]

[neat lintel]

i wont

[swift sinew]

My 21 year old friend has a 50 year old brother

[sleek wing]

how did emma know I was a fish...

[neat lintel]

especially with you in the house

[fair mural]

i have a 26 year old sister

[dense belfry]

Wow

[fair mural]

get rekt

[sleek wing]

I have a 30 year old sister

[dense belfry]

Oh actually my sister is 26

[fair mural]

shut up wew no one asked

[dense belfry]

Her birthday was in may

I forgot

[sleek wing]

https://tenor.com/view/sad-crying-crying-seal-forced-to-seal-crying-gif-20960311

[fair mural]

my sisters birthday is in a month

[neat lintel]

congratulations mr

[dense belfry]

Lol

[neat lintel]

who are you?

[sleek wing]

#serious-discussion message

[neat lintel]

or rather where are you?

[fair mural]

please keep the gifs in #chill my good sir

[dense belfry]

Me and her are kind of on the outs now tbh

[swift sinew]

#serious-discussion message

[dense belfry]

We don't like each other very much rn

[sleek wing]

grrrrrr I'm gonna post the minimod gif!! I'm GONA DO IT!!

[cyan goblet]

grrrrrrr

[dense belfry]

Because of religious and moral differences

[alpine kindle]

this was your old pfp

or one of them

[neat lintel]

sup

[dense belfry]

Lol

[neat lintel]

you religious?

[dense belfry]

I know everything about you wew

[sleek wing]

correct

[dense belfry]

No we were both raised religious though

[sleek wing]

how many fingers am I holding up

[neat lintel]

but u arent anymore?

[alpine kindle]

75

[dense belfry]

And I've fully left but she doesn't believe in it but is still inside the community

[alpine kindle]

mod 4

[neat lintel]

how old are you

[deep mango]

You're a fish too?

I mean

You're a fish?

[dense belfry]

And I think she needs to acknowledge fundamental issues with the religion and community

[neat lintel]

was it christianity?

[swift sinew]

My sister unironically sent a video to my family group chat yesterday saying that because the Mayan calendar was misread, the past, present, and future are all in the same timeline and thus the dimensions of the earth are screwed up

[alpine kindle]

are you trying to TOS me lol

[dense belfry]

Based

[sleek wing]

answer the question...

[dense belfry]

Wow

It was Orthodox Judaism

[deep mango]

Did your sister write the time cube page

[dense belfry]

Not Christianity

[sleek wing]

wait I didn't mean u emma lol

[dense belfry]

No I was talking to office addict wew

Lol

[swift sinew]

She got mad and told me to open my third eye so I could truly see so probably

[dense belfry]

[sleek wing]

it's a complete graph of confusion 😵‍💫

[deep mango]

Goodness

[alpine kindle]

I'm 16 lol
why do you ask

[sleek wing]

not to fret, your chakra's will return to their usual alignment in the next 20 minutes

[swift sinew]

Please fucking god

[sleek wing]

no

[dense belfry]

Ally how is enderton going?

[sleek wing]

I will not stop

[neat lintel]

being religious is something nice tho

[alpine kindle]

haven't done much recently
I'll finish it soon tho

[dense belfry]

Lol

[swift sinew]

I wasn’t asking you to stop I was asking for my chakras to be aligned you utter illiterate buffoon

[dense belfry]

I mean you should take your time

I'm glad you seemed to like it though

[sleek wing]

#serious-discussion message

[alpine kindle]

It's quite a bit shorter than artin

[neat lintel]

managed to hold myself back from drugs, alcohol, violence and cheating because of my religion

it sure gives you clear moral rules

[alpine kindle]

iirc

[sleek wing]

I fucking love drugs and alcohol

[dense belfry]

I mean you should probably take a couple of weeks

To read it

I guess

[sleek wing]

if my body's a temple I'm gonna fuckin hotbox it :dudeweed:

[dense belfry]

We can discuss it btw

In vc if you want

[alpine kindle]

I'm reading it in parallel with artin and Hatcher's notes

[dense belfry]

At some point

Oh okay

[alpine kindle]

i cannot vc for a few weeks

exams

[neat lintel]

im outside rn i cant

[dense belfry]

[neat lintel]

later maybe 👍

[dense belfry]

Was talking to ally

[neat lintel]

ouch

[dense belfry]

Lol

[swift sinew]

#chill message

[dense belfry]

I need to do VC with clerk and with John

[sleek wing]

is this a threat?

[dense belfry]

Been putting that off because anxiety reasons

Or something

idk

Also I keep trying to do too much at once

[swift sinew]

I tried to go back to your first message but you talk more than any human has a right to

[dense belfry]

Again

I need to pick something and commit to it

Instead of jumping between 6 books and 30 papers

[sleek wing]

are you blind

[swift sinew]

253 messages to go

And yes

[sleek wing]

that's 2^8-3 !!!!

[dense belfry]

Alex just do a date search

[sleek wing]

or just click OLD

IT DOES IT FOR YOUUUU

[swift sinew]

I did Emma I don’t know when he joined

[dense belfry]

Sure

[sleek wing]

this is my first message

[dense belfry]

I mean just do binary search

[swift sinew]

Not if you’re on mobile you fucking BOOMER

[dense belfry]

With the search function

It's not very hard

[neat lintel]

date?

[sleek wing]

phoneposting you deserve your fate

[dense belfry]

Oh you can't even do it by date in mobile

Lol

[sleek wing]

why, it's the 25th of April in the year of our lord 2021 AD of course

[swift sinew]

Use “before:”

[dense belfry]

Is this on iPhone?

You can't do it on Android I don't think

[neat lintel]

i thought it'd be something before 2019

[deep mango]

my first message was so productive

sigh

[neat lintel]

show

[fair mural]

my first messages were about tetration or something equally as stupid

[alpine kindle]

what was it

[fair mural]

ryc look it up for me

[fair mural]

me on mobile

[deep mango]

ok aside from ,iam adv

[dense belfry]

Lol

[swift sinew]

Who the fuck is adv

[alpine kindle]

lmao

[deep mango]

advanced

[neat lintel]

u are early here lol

i thought yall from 2019 or smth

[dense belfry]

,iam adv really set the stage for what was to come

[fathom swallow]

No selfroles matching adv really set the stage for what was to come.
See ,selfroles --list for the list of valid selfroles.

Jun 5, 2022, 5:25 PM

[sleek wing]

I haven't changed

[deep mango]

I am from about a year ago yes

[bronze pelican]

Thats wrong 2! =/= 4

[alpine kindle]

lmao

[dense belfry]

Oh ryc did you see that I went to the bar last night and it went pretty well

[deep mango]

Wew and I joined at around the same time huh

[sleek wing]

2! != 4... the factorials cancel... 2 = 4...

[neat lintel]

i just realized that now

[deep mango]

Yeah I did, that seemed great

[sleek wing]

also I think that was the joke??
I can't remember!!!!!!!!

[dense belfry]

Yeah I'm pretty happy about it

[fair mural]

do not insult ptyamin

[dense belfry]

It turns out the key is to get very drunk and high

[fair mural]

or i will come for you

[neat lintel]

aaah you lacking

[alpine kindle]

factorial is an involution obviously

[bronze pelican]

Quantum is my simp

[fair mural]

i am your simp yes

[swift sinew]

PTY your name when typing is misformatted

[sleek wing]

I wonder where spooky_boi432 is now

[dense belfry]

Wew is the evolution of math memery tbh

[bronze pelican]

Wdym

[dense belfry]

Wew is what Facebook math meme bros aspire to

[neat lintel]

just look what mathematicians turned out like

[sleek wing]

someone help them it's been 14 months...

[neat lintel]

how did we go from newton to this

[dense belfry]

There it is

[sleek wing]

AND THERE IT IS

THERE IT IS

[swift sinew]

He only has 2 messages

[alpine kindle]

in context saying abelian rings would have been funnier

[dense belfry]

Abelian rings

[sleek wing]

rest in piece sweat prince...

[dense belfry]

Abelian integrals

[neat lintel]

guys tupac didnt die

[alpine kindle]

abelian vector spaces

[neat lintel]

he is hiding in kosovo

[sleek wing]

*serbia

[alpine kindle]

abelian fields

[sleek wing]

non-abelian vector spaces

[dense belfry]

idk anything about abelian integrals

[neat lintel]

kosovo

[fair mural]

it had only been 19 minutes when you posted that

[alpine kindle]

modules over division rings

[swift sinew]

Wow haha remember that ableism grapes video you made that was so funny ha ha so edgy amiright omg you even added sound effects

[dense belfry]

Like apparently they were the motivation for abelian varieties and elliptic curves

[fair mural]

what

[sleek wing]

modules are still abelian groups

[alpine kindle]

z-modules are abelian groups

[dense belfry]

Z algebras

[sleek wing]

#serious-discussion message

[dense belfry]

[alpine kindle]

rings

[sleek wing]

rungs

[dense belfry]

Ally you want to hear a logic hot take

[alpine kindle]

yes

[sleek wing]

enough about rings... I think it's time we addressed the rongs

[dense belfry]

Okay so there's something called prenex normal form

[alpine kindle]

uh

[dense belfry]

Which is a very standard tool in classical logic

[alpine kindle]

okay...

[dense belfry]

Basically that form is like bunch of quantifiers in front of a quantifier free formula

So like $\forall x \exists y \psi(x,y)$

[alpine kindle]

rings with neither multiplicative nor additive identity

[modest rune]

memes go in #chill

[fathom swallow]

Emma

[alpine kindle]

yeah

ig

[dense belfry]

Okay so prenex form is actually bad

[alpine kindle]

why

[dense belfry]

From a non classical pov

Being able to convert everything into prenex form makes you lose a lot of information

One sec let me post the algorithm

[neat lintel]

this looks complicated

[dense belfry]

Okay so one interesting thing is the statement "under the additional condition $\exists x \top$"

[fathom swallow]

Emma

[alpine kindle]

yeah

[dense belfry]

So in intuitionistic logic this is a pretty nontrivial statement

[alpine kindle]

there doesn't necessarily exist a member of the discourse domain

[dense belfry]

Not existing or not existing, more like provably existing

[alpine kindle]

oh

[dense belfry]

In classical logic we don't worry about actually providing a witness

[alpine kindle]

yeah

[dense belfry]

But in intuitionistic logic we do

So this algorithm kind of breaks

[alpine kindle]

yeah

[dense belfry]

But that's a good thing

Because it gives us more inequivalent forms of formula

Which is really cool

idk if you get this intuition but have you seen the idea of making your logic less strong making some formerly equivalent statements no longer be equivalent?

[alpine kindle]

no

mainly because enderton only does classical logic

[dense belfry]

Yes

Maybe you should read a book on constructivist logic after enderton

Probably it would be really cool

But this is true even in classical logic btw

It just manifests in slightly different forms

You can even see this at a very trivial level by thinking about the logic with no rules at all vs classical logic

Where when there's no rules everything is just symbols and there are no equivalences at all but then when you impose the laws of classical logic you get lots of equivalence

[alpine kindle]

yeah

[dense belfry]

So there are lots of systems in between those two

[alpine kindle]

so like
if you remove one of the axiom groups

[dense belfry]

So there are a couple of ways of modifying things

You can modify the axiom groups

You can modify what you consider a deduction

So intuitionistic logic modifies what you see as a deduction

[alpine kindle]

yeah

[dense belfry]

And requires you to actually give a witness to everything

[alpine kindle]

how does it do that

[dense belfry]

So when you say something exists you have to give a method for finding it and a proof that method works

[alpine kindle]

formally

hm

[dense belfry]

Stuff like that

It's really neat

Do you want to know about the formalizations of this idea?

In terms of computers

[alpine kindle]

yeah

wait

not in terms of computers

[dense belfry]

I mean it's in terms of programs

[alpine kindle]

i mean just in terms of how the idea of a witness is precisely mathematically stated

[dense belfry]

Yes so that's what I'm going to do

Okay so let me just post the BHK interpretation of intuitionistic logic

One sec

https://en.m.wikipedia.org/wiki/Brouwer–Heyting–Kolmogorov_interpretation

Okay just read this article actually

I need to shower and leave

[dense belfry]

@alpine kindle @ me later if you want to talk about this

[ashen pike]

But how does that constitute bad novel writing. Personally a very harsh and unjustified take

[alpine kindle]

i would agree my original judgement was slightly out of proportion

[ashen pike]

how slightly?

[alpine kindle]

well, i didn't say it was a glaring flaw or anything

iirc

[ashen pike]

but its not any type of flaw

its just a design feature

oh well

we have our differences

[alpine kindle]

i didn't realise that the name victor was stated at the end of the first chapter

[neat lintel]

ally

[neat lintel]

did you read frankenstein ?

[alpine kindle]

i have an exam on it on wednesday

[neat lintel]

that's cool

[alpine kindle]

i have to write 2 short essays in 40 minutes each

one about a given extract, one about the whole text

[azure nymph]

I just had flashbacks to AP lang and lit I hope you do well

[ashen pike]

ah, so you're a gcse person

i assume

if so, good luck

and im guessing LoTF for the other book?

[alpine kindle]

no
journey's end
a ww1 play

it's pretty good

for Shakespeare we did romeo and juliet

[neat lintel]

lol

[neat lintel]

😦

[azure nymph]

Bro what

[deep mango]

This is wildly inappropriate and that should be obvious

What the fuck

[azure nymph]

Glad it's not just me

[deep mango]

I'm gonna give a 4 hour mute, please don't say vile shit like that again in our server...

[azure nymph]

Thank you RYC

[neat lintel]

what did he say

[azure nymph]

They edited their post but it's better left unsaid

[neat lintel]

oh ok

[deep mango]

Yeah, thank you

[sick burrow]

Was "girl" a slur pre-edit...

[dense belfry]

[sick burrow]

I like how this server has enough good emotes that everyone has their own favorites

Like there's a lot of commonality but everyone has different ones they gravitate towards

[deep mango]

No, it was just phrased in a much grosser way

[azure nymph]

It was extremely inappropriate but not relating to slurs

[vast surge]

Assuming only two genders and assuming they're equally distributed (which is wrong, but computationally simpler and I'm lazy) there are four possibilities: GG, BG, GB and BB. We know at least one is a girl, so it's either GG, BG or GB. So, the chance that both are girls is 1/3.
If we account for nonbinary identities, I've seen some estimates as high as 1/10 people being nonbinary. So, lumping them all together and assuming boys and girls are evenly distributed among what remains, and further that the genders are exclusive, the possibilities become GG (0.2025), BG (0.2025), GB (0.2025), BB (0.2025), GN (0.045), NG (0.045), NN (0.01), BN (0.045), NB (0.045). So, what remains is GG, BG, GB, GN, NG, so the possibility that both are girls is 0.2025/0.6975=0.29 (to 2 significant figures), or about 29%.
So, without doing a ton of research into statistics, the correct number is somewhere between 29% and 33%.

[untold sapphire]

smh

[dense belfry]

Alex can you post that sully?

@swift sinew

He looks thicc

[swift sinew]

This was my original dollar-store sully before getting nitro

[vivid halo]

[dense belfry]

Why did you decide square blushy Sully was better

[swift sinew]

Oh all the decisions I’ve made, I can’t say that was one of my conscious ones - I kinda just haphazardly cropped it and went about my day
It’s better

[deep mango]

I KNEW IT

I was so ready to post "alex did it by accident but is going to claim it was on purpose"

And I refrained and gave you the benefit of the doubt

[swift sinew]

Am I really that predictable

Good lord

[deep mango]

I was predicting a more scathing response so I guess not

[swift sinew]

I’m still warming up to Emma, scathing responses come later in the parasocial relationship

[next schooner]

Square sully is the most accursed thing I've seen all day

I don't know why this is so unsettling

[dense belfry]

What about me needs warming up to?

[swift sinew]

It’s just objectively better

[next schooner]

Alex why is it square WHY

This is a crime against God

[dense belfry]

Infighting amidst the blushy sully faction

Am I a performer on this server?

The sully in a box is more upsetting tbh

Than the cropped blushy sully

[deep mango]

smaller sully is just ridiculous

[swift sinew]

Well you see that was hard because you have to have an in-text version and an in-reaction version

[dense belfry]

It's an incredibly odd choice

Honestly I respect you for it

[swift sinew]