serious-discussion

[bright hill]

@tender tulip found this paper https://arxiv.org/pdf/2202.01379

literally one of the first result after googling sheaves and I'm not sure certain about the quality of this paper but it seemed interesting and I am currently reading it so I thought I'd share

[surreal sapphire]

ah yes

[bright hill]

was that in the paper?

[surreal sapphire]

yes

[bright hill]

OMG IT IS

LMAOOO

[tender tulip]

isn’t like the spectrum of a ring like the archetypical example of a sheaf of rings

[neat lintel]

https://youtu.be/4fJGoarJ694 ok

[surreal sapphire]

depends what you mean prototypical?
imo the best motivating examples (also historically earlier i think, but im not sure) are sheaves of holomorphic functions on complex manifolds

[bronze pelican]

Beautiful proof

[teal lake]

Guys.

Not math related but someone hit my parked car smh.

[mint canopy]

smh

Totalled?

[teal lake]

Nah

[mint canopy]

Oh not too bad

[teal lake]

Yeah

[mint canopy]

Caught them?

[surreal sapphire]

are you sure you want to share your license plate

[umbral lion]

hit them back

[mint canopy]

Yeah maybe delete that picture quick

There are >10k people here

Not all of them, I assume, will act in good faith...

[bronze pelican]

I will find your car and eat it

[mint canopy]

[umbral lion]

OUT OUT OUT

[teal lake]

Yup, a girl was backing up and apparently didn't see my car... she stopped and apologized

[mint canopy]

Oh that's good

[teal lake]

She also let me take pics of her insurance card and license plate.

[neat lintel]

totally not a weird version of the sieve of eratosthenes

[surreal sapphire]

i like that it proves that 2 is not prime

[teal lake]

I don't have a single friend who recognize me 😔 but ok

[surreal sapphire]

losing 3 is a sacrifice i am willing to make

[alpine kindle]

35 is my favourite prime number

[bronze pelican]

I think what he's trying yo say is there are infinitely many primes of the form 5x+6 and infinitely many primes of the form 7x+6 and numbers of the first set are separated by at most 2 from a number of the second set. Thus there are infinitely many twin primes: QED

[surreal sapphire]

he has a somewhat soothing voice

[bronze pelican]

This is the kinda handwavy argument you wrote in your hw assignment that you have no time to properly think about

[surreal sapphire]

lmao

when we graded discrete math exam (mostly graph theory)

we often had students present arguments as trivial

and for a few we argued like 30 mins

first question: is the claim even true?

if yes, is it trivial?

[storm sage]

I love it when my unbounded variable is infinite

[neat lintel]

no idea what this dude is thinking, he even made an own website and seems to habe written many books

[storm sage]

I remember one time my prof got stuck on a proof during class so he stared at a board for a while, erased everything, and then wrote "Proof left as exercise"

Someone then asked if we could do that on our exam

[neat lintel]

he even goes as far as to fake quotes lol

[mint canopy]

Cranks gonna crank

[neat lintel]

"Amazing", "Billiant!", "So simple!"

[umbral lion]

this reminds me of hat one proof of the riemann hypothesis that's completely unknown

lemme post it

[mint canopy]

Are you just taking from r/badmathematics lmao

[umbral lion]

Nonono

this was like a completely buried video

the guy detailed a proof using robins bounds that was completely inexplicable

[neat lintel]

i often find these kind of videos when filtering for newest videos

https://youtu.be/GuGaNk727LU look guys, a new indeterminate form

[proven hornet]

I was just in here talking about those types of videos lol

[umbral lion]

i've seen this guy around

[neat lintel]

imagine already being wrong in the first 3 seconds of the video

[umbral lion]

he's a big guy in the community

[proven hornet]

There's similar types of videos about the Collatz conjecture

lol

[neat lintel]

ah yes the collatz conjecture

[umbral lion]

https://m.youtube.com/watch?v=grxSNq5g6aI honourable mention

for the QEC being absolutely just... i dont understand

[neat lintel]

the most popular one is to just use probabilities and say the sequence tends downwards

[umbral lion]

i had an existential crisis after that one, how close am i to being a crank really?

[umbral lion]

there was a guy who did a pretty good video for collatz that seemed legit

it wasnt an actual proof so much as the leads rhe guy had

i think it was this? https://m.youtube.com/watch?v=V3VAhulI8K8

[neat lintel]

i like how confident this guy is and how his proof is just so "irrefutable"

[umbral lion]

oh totally, a lot of them will not even acknowledge the existence of being wrong

[umbral lion]

https://m.youtube.com/watch?v=L4rog-w57sU this guy in particular has DEEP LORE of getting in a fight with wikipedia for writing his own page saying he proved RH lmao

[neat lintel]

best one was still the guy that proved 2=1 because one magnet and another magnet put together give one magnet

[vapid axle]

posting a proof on youtube is already suspicious

now doing that for the RH

..............................

[storm sage]

True for suitable definitions of "="

[old star]

His video was hilarious. I think he must be trolling though

[alpine kindle]

there was one guy who put out a paper claiming to prove collatz on reddit

[mint canopy]

Only one?

jk

[worn garnet]

I remember this one

[bright hill]

that one was satire tho, wasn't it?

please tell me that was satire

please

[neat frost]

DarQ

Your life is satire

[neat lintel]

idk, he has many other video, some where he shows how to generate infinite energy or some shit, i think its serious

[alpine kindle]

what's funny is that it was made with much more understanding of how to actually do maths than most of the ones on vixra

[worn garnet]

June Huh's story is wild to be honest

[alpine kindle]

like

[worn garnet]

I know of many a secuirty researcher with a situation simular to his

[bright hill]

your mom is satire

[neat frost]

Your dad is satire

[alpine kindle]

there were a few crucial errors, but it looks legitimate at first glance

[bright hill]

stfu slurp

your insults are meaningless to me

[neat frost]

Do you have a link perhaps?

[alpine kindle]

i cannot remember

[neat frost]

Lol weak defense

[bright hill]

and presumably "your dad is satire" is strong defence?

[neat frost]

It was an attack DarQ

Not defense

[mint canopy]

Since when did #serious-discussion become #discussion

[neat frost]

Since always??

[mint canopy]

It's like they swapped

[alpine kindle]

since everyone left discussion

[bright hill]

that's not how I see it

[mint canopy]

Oh did something unusually bad happen?

[neat frost]

Like this convo is of higher quality than whatever is going on in #discussion

[alpine kindle]

discussion 2 is chiller tho because the newbies don't come here

[long epoch]

sup

[mint canopy]

I have #discussion perma-muted

[alpine kindle]

no it just fizzled out

[mint canopy]

I refuse

Oh pog

[alpine kindle]

same

[bright hill]

fucking based

[mint canopy]

I know it 😎

[alpine kindle]

i still go there tho

occasionally

[mint canopy]

Why'd you do that to yourself

[alpine kindle]

it just reminds me to leave

[old star]

At least I hope it's not

[mint canopy]

Also Ally weren't you studying artin? How's that going

[alpine kindle]

it's not always awful

[alpine kindle]

i tell myself I'll get around to it

[mint canopy]

Hahaha I didn't mean to pressure you ofc

[alpine kindle]

yeah i need to be doing more

[mint canopy]

But I am invested in people learning algebra

in an emotional sense

[bright hill]

ally, wanna do some study group sometime?

[mint canopy]

We really need more than one algebra channel tbh

It's so cramped in there

maybe a channel just for group theory too. That'd be nice.

[bright hill]

it's the largest advanced channel

[long epoch]

ik just saying procrastination is the most hollow way to put it but ye...

[mint canopy]

You saw the stats too? I think that backs up what I'm saying

[long epoch]

im the same though 😭

[alpine kindle]

the topic in maths i find the most intriguing rn is probably analytic geometry

[bright hill]

even without seeing the stats, it holds the highest number of messages between all the advanced channels

[bright hill]

like, x^2+y^2=1 kinda stuff?

[mint canopy]

Well yes that's the statistic

[alpine kindle]

but i don't have nearly a third of the prereqs lol

[mint canopy]

No that's algebraic geometry you're thinking of

[bright hill]

ally's edits always crack me up lel

[mint canopy]

I see where this sequence leads...

1/2, 1/3... hmmm

[bright hill]

the one where you use the cartesian plane to study geometric shapes

isn't that what analytic geometry is?

[mint canopy]

That's all geometry lmao

That's just planar geometry

[alpine kindle]

i find it interesting because 1. it's a cool concept and 2. both of the main sources online seem to focus on the complex side of it and i think it'd be interesting looking at the general case

[mint canopy]

Wait hold on holldddd onnnnn Ally

[alpine kindle]

oh no that's coordinate geometry, which some weird people call analytic geometry

[mint canopy]

Are you sure you don't mean algebraic geometry

[bright hill]

that's what wikipedia calls it

[alpine kindle]

no i mean analytic geometry
alg geom but with analytic functions instead of polynomials

[mint canopy]

Mentioning the complex numbers is

Alright

fair enough

[alpine kindle]

don't use wikipedia for maths
use nlab

[fast ivy]

analytic geometry

[mint canopy]

mmmmmmm noooooo

Wikipedia is usually OK for mathematics

[fast ivy]

have you seen GAGA stuff already Ally?

[alpine kindle]

if you have to use anything

[mint canopy]

nLab is accurate but very difficult

This is an example where wikipedia is unhelpful

[alpine kindle]

again I have barely any prereqs

[bright hill]

I like wolfram

it's nice and concise

[alpine kindle]

wolfram focuses more on like

special functions and such

[fast ivy]

rip

[alpine kindle]

and is very analysis-biased

[bright hill]

[alpine kindle]

i need to update the graph

[fast ivy]

Well, essentially it is one of the main theorems which formalizes the notion of complex differential geometry = complex algebraic geometry.

[bright hill]

[fast ivy]

You can also be interested in like

real analytic geometry

[alpine kindle]

yeah

[fast ivy]

but I suppose that is less fun lmao

[alpine kindle]

but what about general analytic geometry

[fast ivy]

What would be general analytic geometry?

i know p-adic/rigid analytic geometry is also a thing

[alpine kindle]

analytic functions on general topological vector spaces

or like banach spaces if you don't want that much generalisation

[frozen merlin]

not sure but I think the implicit function theorem means this is "just" differential geometry

if you mean like "sets cut out by general smooth functions"

[alpine kindle]

what

this isn't about smooth functions this is about zero sets of analytic functions

those being functions given by a local "power series"

idk anything abt the topic tho

so you might be right

[frozen merlin]

oh I see

[fast ivy]

I have no idea what sort of stuff you can prove in such a general setting.

[frozen merlin]

I guess holomorphic functions are analytic so a subset of this would fall under complex geometry, but maybe there's more to say when the x_i and y_i are independent

[fast ivy]

But studying analytic manifolds is a big thing.

[alpine kindle]

complex geometry is a subset of this

[frozen merlin]

yes sorry wrong way round

wait no what I said was right

[alpine kindle]

wait yeah we're saying the same thing

[frozen merlin]

lol

[storm sage]

I'm scared of any field of math which is more than one word

[fair mural]

coordinate geometry

[storm sage]

nooooo

[bright hill]

analysis

[storm sage]

analysis is friendly

:D

just don't add adjectives to it

[bright hill]

copium

[alpine kindle]

analgeo

if you want the one word version

[bright hill]

you see this, ladies and gents?

the correct meaning of the word cope

I know

unheard of

[storm sage]

how do you pronounce this

[eager reef]

[alpine kindle]

/analdʒiɐu/ roughly

[alpine kindle]

with the stress somewhere

[storm sage]

has to be on the second syllable

[alpine kindle]

or third

[storm sage]

third??

[alpine kindle]

/analˈdʒiɐu/

[storm sage]

that sounds so bizarre

[bright hill]

is the first a pronounced as in apple?

[alpine kindle]

or like analgeom /analdʒiˈɒm/

[alpine kindle]

yes hence the /a/

[bright hill]

cursed.

[storm sage]

wait how do you pronounce apple

is it not /æp.əl/

[alpine kindle]

me?

[storm sage]

yea

[alpine kindle]

/ˈapɫ̩/

[bright hill]

there's only one way I pronounce anal

the way god intended

[storm sage]

/əˈnæl/?

[storm sage]

whattt

[alpine kindle]

I'm english

so the vowel is lower

[bright hill]

I don't know IPA lel

[storm sage]

I didn't know english people pronounced apple differently

😭

ah-ppl

[alpine kindle]

only slightly

[bright hill]

I wish I had an english accent

it sounds so endearing ngl lmao

[alpine kindle]

also we really should have been using square brackets

instead of slashes

[mint canopy]

You need to britishmaxx. You need to stop saying elevator and start saying lift. You need to make your children watch peppa pig.

[alpine kindle]

peppa pig exists in the usa tho

[bright hill]

I need kids to become bri'ish?

[mint canopy]

Our tendrils are expanding...

[alpine kindle]

the real british shows are on cbeebies

[mint canopy]

facts

also cbbc

back in the day man, cbbc flash games...

[alpine kindle]

💪

cbbc was not my favourite

[mint canopy]

Do you remember Raven?

I remember Raven.

[alpine kindle]

i was a nickelodeon and disney channel kid

mostly nickolodeon

[mint canopy]

😢

[alpine kindle]

cbeebies was the shit tho

[mint canopy]

cbeebies was good

[alpine kindle]

i looked at the lost of old cbeebies shows recently

and i remember so many of them

[mint canopy]

They're prolly all gone now ;_;

[alpine kindle]

no more wonder pets 😔

[storm sage]

wait why? isn't this broad transcription

[mint canopy]

Ally's transcription was a bit more narrow

[bright hill]

btw how do you guys type IPA so fast?

[storm sage]

I copy-pasted

Lol

[mint canopy]

https://ipa.typeit.org/

[bright hill]

oh...

[storm sage]

I can prob find an ipa keyboard tho

[mint canopy]

IPA

see? fast

IPA

[alpine kindle]

slashes doesn't mean broad

[mint canopy]

whew that one was really fast

IPAIPAIAPIPASHIT

I messed up guys

but trust me it was fast

[storm sage]

what do they mean

[alpine kindle]

they mean phonemic

[storm sage]

oh, I thought we were doing phonemic transcriptions

[alpine kindle]

no we were trying to represent the sounds actually said i thought

which would be phonetic

[storm sage]

Oh

[exotic crypt]

I was wondering that do humble people push their selves to be humble or is it jn their nature? Is humility something you learn and achieve or you are rather born with it? Don't answer both

[neat lintel]

Humility is like math skill. You can have a natural tendency toward it but if you want to improve you have to work at it

[solid snow]

Dont answer the answer

[exotic crypt]

I didn't understand could you elaborate

[solid snow]

You said don’t answer both but the answer is both

[exotic crypt]

This sums up pretty well, thnx

[idle shoal]

Fellas, whats the deal with Biomathematics? I mean, clearly it's a merge of mathematics and biology. What kind of maths is involved? Is it like maths that's solely based on biology? I am aware that I can just pose the question in some browser, this is my home though. It would be nice to hear from someone who is actually invested in the field

[next schooner]

Mathbio is a pretty huge field

Ranging from reasonably theoretical stuff to very hands-on applied stuff

Personally, my research looks at biological systems that can grow, move, and interact. What this means depends on the context, but I'm generally interested in mathematical models that are sufficiently general so as to be applicable to a wide range of scenarios

[storm sage]

There's so many mathematical applications to biology

Biology itself is so vast

[next schooner]

So I work a lot with Markov processes and PDEs and, more specifically, how and when to switch between those two methods of representing a system depending on certain relevant factors (population size, etc)

[storm sage]

It goes from like behavioral ecology to molecular biology

[next schooner]

Yeah

If there's a piece of math you like you can almost surely find a biological application for it

[storm sage]

I saw some stuff about stochastic context-free grammars being applied to reading DNA

I was like wtf

[wooden flax]

DANG eric helpful

[next schooner]

Yeah I can see that

[wooden flax]

algebra

[next schooner]

That's a little vague

[wooden flax]

what do you mean

[next schooner]

Well "algebra" could mean countless things

[velvet dagger]

Never heard of applied rep theory huh

[wooden flax]

does that actually exist

[velvet dagger]

Yes

[wooden flax]

oh do you mean physics

yeah ive seen rep theory in quantum

[storm sage]

rep theory is used in spectroscopy quite a bit

[next schooner]

I saw an article fairly recently on applications of finite group theory to molecular systems biology

[wooden flax]

,w spectroscopy

[fathom swallow]

Wolfram Alpha doesn't understand your query!
Perhaps try rephrasing your question?
Click here to refine your query online

Requested by Invictus#8880

[velvet dagger]

I mean there's a ton of stuff that algebra has applications to

[storm sage]

which presumably has applications in molec bio

somehow

[velvet dagger]

Imo algebra applications are way cooler than differential equations and numerical analysis

[bright hill]

sheaves?

[wooden flax]

besides physics?

[storm sage]

e.g. figuring out which frequencies of light that molecules resonate at

[wooden flax]

right but thats physics then?

[storm sage]

well

[wooden flax]

what in biology

[next schooner]

imo PDEs are fuckin great

[storm sage]

it's arguably also organic chemistry

PDEs are amazing

[velvet dagger]

Error correcting codes, graph theory

[storm sage]

graph theory gets a ton of use in biology

so does game theory

[velvet dagger]

Algebraic statistics

[wooden flax]

alg stats sounds kinda dope

[next schooner]

PDEs are useful but I can see their application being somewhat uninteresting because of the, like, triviality of it

[storm sage]

statistical mechanics winds up in ecology

[wooden flax]

yeah i can see all of that

[next schooner]

Mm statistical mechanics is kinda what I do

[storm sage]

mmm ising models

[wooden flax]

i imagine most of the non-phys applications of math are like probability/analysis/stochastic

[next schooner]

It's useful all over biology

[storm sage]

gotta assign those critters some ±1 spin values

and calculate their hamiltonian

[velvet dagger]

Error correcting codes and algebraic/spectral graph theory Invictus

[wooden flax]

how does ECC use algebra

[storm sage]

🤤

lol fraleigh has a section on hamming codes

[velvet dagger]

Hamming codes, also I discovered this one paper a while back that uses simplicial complexes called "left right Cayley complexes" to get error correcting codes that are "locally testable"

[wooden flax]

oh huh

that was a 3b1b vid i think

[storm sage]

yeah he had a video on it

[surreal sapphire]

on the cayley complexes?

[velvet dagger]

Wait what

[storm sage]

no, on hamming codes

Lol

[velvet dagger]

https://arxiv.org/abs/2111.04808

[surreal sapphire]

ah ok

[velvet dagger]

This is the paper I'm talking about

[surreal sapphire]

thanks 👍

[velvet dagger]

But yeah also cryptography

[bronze wedge]

K theory

Find a biological application

[fading tusk]

arxiv should have upvotes and downvotes

and a comment section

[frozen merlin]

can't wait to sully all the arxiv RH proofs

[storm sage]

arxiv should annex elsevier

[bronze wedge]

Yeah kinda

[mint canopy]

I've been trying to find out what stuff GPT3 knows

[solid snow]

arxiv should have a live twitch chat

and donations

[mint canopy]

I just found it funny that it automatically defaults to a mathoverflow question

Unfortunately the answer doesn't make sense for me 🤷

plus it is just wrong. I specified that the field might not be algebraically closed.

[bronze wedge]

I'm sure the 3 people online on arxiv will be very entertained

[storm sage]

LOL

[mint canopy]

It did some good proofs earlier but it isn't very clever

1 sec I'll fetch it

https://media.discordapp.net/attachments/295394724443848704/1022981460027781200/unknown.png

This is almost perfect

[bronze wedge]

lol I put in something about semimartingales once, and it just started talking about free lunches

[mint canopy]

I would just want more explanation on the end

[storm sage]

Is that a direct copy of some answer on the internet

[mint canopy]

Probably not

[storm sage]

dang

that's crazy

[mint canopy]

Because I also did a test where I replaced the divisiblity sign with # and it still worked

Like, sometimes I had to try a couple of times before the proof was valid

[storm sage]

o.O

[mint canopy]

On more complicated ones, it never came up with a valid proof.

[storm sage]

I feel like there's no way, it's gotta be copying from something or making simple substitutions

[mint canopy]

But still, it is smarter than some undergrads

Mm I don't think so

https://media.discordapp.net/attachments/295394724443848704/1022980319709777920/unknown.png

This was funny ^

[wooden flax]

whats wrong with that?

everyone knows that 1=0 ||(mod 1)||

[storm sage]

LOL

[mint canopy]

Hmm I have an idea

[wooden flax]

is everyone just geting helper roles today?

ohh its brand new

[mint canopy]

Man it's really not getting this one.

[storm sage]

LOL

still pretty impressive ngl

[mint canopy]

It's really quite good

[wooden flax]

lol

This is also quite funny http://www.questioz.com/questioz-research-archives/category/natural-sciences-math

[mint canopy]

Holy shit

Really good

Really really good

Really really really really good

[storm sage]

o.O

[wooden flax]

well for the argument

(original by descartes)

he does it by casework (1 interperetation)

suppose he is thinking: then either

1. he is being decieved into thinking by a devil/evil god: he must exist as he is being decieved, he has to exist to be decieved
   or
2. he is not being decieved: he is thinking, so he has to exist!

[wooden flax]

this is nothing more than a summary of the 1st meditation

[mint canopy]

You don't say

I'm just impressed how well it continued that criticism

[wooden flax]

lol yea

the objections are rly cool actually

[mint canopy]

there are some logical issues, but it reads well, and makes an interesting point (an assumption)

yeah v cool

[wooden flax]

another shill for philosophy server for math reading group there

i already converted emma!

[storm sage]

Lol

[fading tusk]

but how does it work?

[alpine kindle]

how is emma doing

[fading tusk]

it mostly takes stuff that already exists right?

[wooden flax]

no clue

how r u doing

[alpine kindle]

good

[wooden flax]

nice!

[alpine kindle]

still scared i have a crush on a straight girl

[wooden flax]

never hurts to try

r u out

[alpine kindle]

yes

still

[wooden flax]

yea then never hurts to try

[alpine kindle]

aaa

[mint canopy]

So do you.

[wooden flax]

how does what work

[fading tusk]

playground

I asked it to give me the solution of a atcoder problem

but it gave me a solution to a different problem

[deep mango]

wrong!

speaking from experience

i mean it's better to try because it hurts either way

hows that

[fair mural]

ok how about

it won’t kill you to try

[bright hill]

confessing is so fun

it's like

you feel like you're jumping from a high building but you know you're not

sorta like sky diving ig but I've never tried that

lel

[deep mango]

yeah

i'm excited for it to go well! i can imagine that's a really fun experience

[wooden flax]

yuh i got 0 experience

[bright hill]

@alpine kindle just ask her to hang out or smth, you don't need to go all out straight up

[deep mango]

instead the few times ive done it it's gone in the "alright, i'm just unlucky and this person is not gay / compatible" direction

which is like, not disappointing, just "o yea this is how reality works"

[alpine kindle]

i don't wanna do that rn

i just had a discussion with some other people where i realised why i find it hard to talk to new people

it's because i don't have a gauge for their interest in and familiarity with certain topics

so i think I'm gonna ask her what she's into to do with computing

[uncut socket]

@silver meteor #info Explains it

[alpine kindle]

and go from there

[bright hill]

oof

[silver meteor]

what

why

what

[alpine kindle]

wdym oof

why does that garner an oof

[deep mango]

oof, you can't read peoples minds 😔

[alpine kindle]

this is just a general thing I've just noticed about talking to people

[bright hill]

I think that's really important when conversing with someone

[deep mango]

darq thinks we should all try being more like anya

[alpine kindle]

ryc you know I haven't watched sxf

[deep mango]

i didn't know that

[alpine kindle]

oh

[deep mango]

i haven't thought about spy x family since manan and yohan stopped harassing me about reading it

[bright hill]

I can tell when people are (dis)interested

[alpine kindle]

the interest isn't the big thing

[bright hill]

you just pay attention to how engaged they are with the topic of discussion

[alpine kindle]

it's the level

[deep mango]

when you're like, actively talking to them a bunch sure

[alpine kindle]

i know what she's broadly interested in

[silver meteor]

oh wait

ryc

u r the

active person

pretty high up the

chats

[deep mango]

I don't know what that means

Yes

[silver meteor]

:0

[deep mango]

I am a moderator

[silver meteor]

i mean

[alpine kindle]

I've honed in on computing as a shared interest

[bright hill]

you're like the 3rd most active user or smth

[deep mango]

Some would call me the mod of the people

[bright hill]

lmfao

[silver meteor]

some mods can b onactive no?

[deep mango]

Oh yea i see what you mean

sure

It's like ann, nami, and then me

[fair mural]

i surely wouldn’t

[silver meteor]

whis

whos

nami

[deep mango]

oh yea? then who is it?

namington

[bright hill]

nah, ann and nami has been slacking lately

[fair mural]

nami is the weird mega weeb

[silver meteor]

no but

[deep mango]

both still have higher activity scores than me

[silver meteor]

whats this

[deep mango]

in terms of the active role bot

[silver meteor]

whyd u ping me

[silver meteor]

lol

[deep mango]

oh, i see

[bright hill]

who tf are circle and dream snow?

[deep mango]

for the last 30 days

that checks out

[silver meteor]

:0

[alpine kindle]

so i need to figure out which bits she knows more than me, which bits we know the same, and which bits i know more than her

[silver meteor]

we just been

[fair mural]

how to see this

[silver meteor]

in the help channels

hahaha

[bright hill]

s?top

[silver meteor]

but in bots

[bright hill]

in one of the spam channels

[fair mural]

i will do it here 😎

[silver meteor]

hi

moddie

can i

be blue

i like blue more than green

❤️

[bright hill]

how're some users barely active in the general channels but super prolific helpers?

[silver meteor]

🙏

why

cux we are

helpful

hahaha

but

i like blu more

pink would be nice too

[bright hill]

do they just like

come around

help people

[alpine kindle]

they have a life

[bright hill]

refuse to elaborate

then leave?

chad behaviour ngl

[silver meteor]

WHATTT

omg

u

wow

[bright hill]

lel

I've barely seen dream snow in chat tbh and they're top 2

[uncut socket]

The helpful role, it explains it there

[bright hill]

bruh how

[silver meteor]

OHHH

thrs smt in info?

i nvr knew

ok lemme c

icic

tyty

hldh

❤️

[bright hill]

oh, goddess, you're circle??

[alpine kindle]

wait lmao you're 1st place

[bright hill]

wait, I'm not top 10 anymore??

eyyyyyy

@neat frost get no lifed bitch HAHAHAHAHAHHA

[silver meteor]

Hahahhha yes

u just

realised?

HAHAHA

[bright hill]

ye lel

how come we've never seen you in chat?

[silver meteor]

im in

help

saving lives

[compact tartan]

Math help grindset

[bright hill]

lol

what does your "about me" mean?

[silver meteor]

its

my hobbies

try to figure em

[uncut socket]

So helpful gets helper powers but without the annoying helper pinging

[silver meteor]

yep

n helper is an

op in

[bright hill]

hmmm

[uncut socket]

I wanted helper powers for when people don't know how to use the server and they forget to keep the channel alive by replying to the the bot message, but I hated the pinging.

[silver meteor]

HAHAHAHA

SAMEEE

i muted role pings

[uncut socket]

Especially the pre mature pings

[silver meteor]

so no diff

[compact tartan]

The plan is to limit role pings via bot so maybe that can come back? Do you think

[silver meteor]

whats that

[uncut socket]

Limit how?

[compact tartan]

Like people would be unable to ping prematurely

[bright hill]

gi stands for Gastrointestinal obviously, kinky ig
googling wmw yields a machining company so prolly some engineering stuff
39 is your age?

I dunno what ri is tho

[uncut socket]

There's a way to set that up so people can't open the channel with a ping or prematurely ping?

[bright hill]

well, you can just track when they open the help channel, no?

[compact tartan]

Disable role pinging, add a command to the bot that pings the role

[bright hill]

that won't be as user friendly tho

[compact tartan]

True but oh well

[uncut socket]

Would the command make the bot ping every 15 minutes?

[compact tartan]

Probably not

[uncut socket]

Have you seen the amount of people who prematurely ping? Like the post their question, wait 2 minutes then ping

[bright hill]

how about pinging helpers actually pings the bot

and the bot deletes the message and decides whether to actually ping helpers

[bright hill]

I know

that's annoying af

[silver meteor]

HAHAGA

[neat lintel]

I think I found an infinite money glitch on roobet

[silver meteor]

i said interests

[bright hill]

I honestly couldn't put up with 3 days of helper duty

[silver meteor]

i

[bright hill]

the entitled/egocentric people were just waaay too many

[silver meteor]

couldnt put up

with 3 pings

[uncut socket]

That's why I never became a helper

[silver meteor]

thus muted role

[umbral lion]

i think you need to slam your head into a toilet to see the pot of gold come out

[silver meteor]

:0

[umbral lion]

damn obtuse looking ass bots

[neat lintel]

What

Im not a bot lmao I just made a python script

[umbral lion]

yeah yeah yeah you're gonna tell us all bout it chucklenuts

[neat lintel]

I have nothing to gain from this lmao

I cant even play roobet in the usa

Its a statistics problem, thats why i posted it here

Id love if someone wanted to check my work

and see if I made an error

[bright hill]

maybe that's not actually a problem

to reward people that read

[umbral lion]

that seems like good design imo

[bright hill]

THOSE COULD BE INTERESTS!

[silver meteor]

uve

a unique

imagination

[umbral lion]

taking you at face value apologies for the blow out, i see a lot of gambling bots now and it aggravates

[neat lintel]

Its alright, maybe a bad time to 'promote' gambling

[umbral lion]

lmfao, if it cheats them i suppose thats a good thing

[neat lintel]

yeah, it seems like it does, still a risk of losing all your money and DMing people on discord begging for more tho. Gambling is dangerous

[umbral lion]

oh hell yeah ofcourse

[neat lintel]

@ slicker

[quiet drum]

In my head I read the missing part as "Ironic devices are allowed"

[teal glacier]

thief

[silver meteor]

[swift tusk]

aww thats so cute drawing :0

[open aspen]

ikr! im impressed honestly

i wonder if theyre an art major

[neat lintel]

Surprise they didn't right " give me an A or the giraffe gets it"

[neat frost]

I would’ve docked points for that

[open aspen]

ok slurp this is how you get your mod status revoked

[neat frost]

Nuh uh

All the mods are spiteful grumpy boomers

[neat lintel]

Role that does nothing

[open aspen]

tox is like 12 isnt he

[neat lintel]

They r big fans of math. I wanna assume they have goatees

[neat frost]

Imma just say toxic

[bright hill]

Good morning slurp!

[teal glacier]

@placid finch hi

[fading tusk]

hello ladies and gents

how are you doing today

[neat lintel]

u forgot cats

[fading tusk]

what u mean ?

[devout nacelle]

Knock it off

[echo grove]

hey is anyone ok with calling me and teaching me some maths by the equations i give them?

dm if me u do want to teach me maths

[neat frost]

Good morning!

[bright hill]

You want people to tutor you for free?

[proven knoll]

free is the best deal

[echo grove]

Yes, this server was open for free lol

U just need to explain concepts and why ykyk, 😭

[umbral lion]

if you dont want to ask questions, the right people wont want to explain

[echo grove]

Oh damn

[echo grove]

Then what do I dooo 😭

[umbral lion]

ask questions?

[mint canopy]

Also see #❓how-to-get-help

[sacred forge]

((0,0),(1,0)) = A; V = c(1,0) for any c in R; is "Av = u " a linear operation?

[tender tulip]

All matricies are their own endomorphisms of vector spaces

so yes,

it’s linearity and morphisms of vector spaces being linear is how we define them once basises get involved

[compact tartan]

not all matrices are endo

[tender tulip]

really?

neat

[compact tartan]

have you heard of rectangular matrices?

[tender tulip]

Fair point, they’re homomorphisms but endo if square

i’m so used to only using squares that I forget the rectangular ones lmao

[compact tartan]

also the matrix intuition breaks down in inf dim

[tender tulip]

i assume due to the finite-sum restriction

Gtg

[compact tartan]

hamel basis? schauder basis?

you don't have a self-dual vector space of countable dimension

instead you have the countable product of R be the dual of the countable coproduct of R

[tender tulip]

back

[tender tulip]

i don’t know the difference

[compact tartan]

hamel basis is when you insist that linear combinations are only allowed to have finitely many terms

[tender tulip]

Infinite basises mean that every vector is a sum of a scaled number of a finite collection of them

at least that’s gaurunteed by Zorn’s

[compact tartan]

schauder basis is when you endow your space with a norm topology and define the meaning of an infinite sum

for example, scaled trig functions make up a schauder basis in the space of continuous periodic functions in L^p norm when p < infty

because any continuous periodic function can be approximated arbitrarily well (in L^p norm) by a trig polynomial

[fast ivy]

This reminds me that what physicists call completeness of a Hilbert Space is the existence of a countable orthonormal basis (being separable)

At least that's what I get when they use it in the context of solving the Schrodinger equations.

[deep mango]

Q-valued square integrable functions over Q moment

[bronze pelican]

[fast ivy]

Wait, this is an example of a separable inner product space that is not a hilbert space?

[deep mango]

yes sure

well

Q^n is an example of a separable inner product space that is not a hilbert space

and any nonclosed subspace of L^2 is one too

[bronze wedge]

even funnier is when physicists insist hilbert spaces are only over the complex numbers

[tender tulip]

[neat lintel]

Is growing a beard disrespectful?

[surreal sapphire]

what?

[neat lintel]

If my professors don't have a beard and I grow one

[surreal sapphire]

thats fine

[wooden flax]

this should be pinned

[arctic grove]

wasch is honorable?

and has a brilliant name??

Lets fucking go!

[teal lion]

Gah

Finally my internet works

[bronze wedge]

gonna make my username a net

[wooden flax]

lmao

[neat lintel]

Studying regression with hand written material wasn't fun

Could not tell if I'm seeing ^ or ` or ___ or 1 or i or j

Had a much harder time trying to decipher what I'm reading than learning regression

[zealous garden]

I write my lowercase is as backwards js when they're indices

Actually just in general when it's math

[radiant raptor]

what are reu alternatives.

[iron osprey]

graduate early go do phd

[leaden torrent]

just learn to give mathematical letters "tails"

i drew this with a mouse so it looks bad but

hopefully you get the point

or write your j's like this

[iron osprey]

i use cursive to give serifs also

yea the curly

[leaden torrent]

yeah this is what i do

mostly because it looks stylish

same reason to use $\ell$ over $l$

[fathom swallow]

Namington

[fathom swallow]

math phys > TCS > math finance

[wooden flax]

when reading math

when i see \ell i think of the latex command so i emphasize the ll more and hold on that longer

[stone ferry]

Still better than 𝕴 and 𝕵

[zealous garden]

this will be the next evolution of captcha

[stone ferry]

If you can tell the difference, you are an AI

Humans have a 50/50

[zealous garden]

[dusty wagon]

Exactly

[dusty wagon]

$$\mathfrak{A}$$
$$\mathfrak{U}$$

[fathom swallow]

Benutzername

[frail lagoon]

Bruh

this is why \mathscr is nicer

provided you have the right package

[neat lintel]

The first fundamental theorem of calculus states basically that the derivative of the indefinite integral under a curve is equal to that curve right

Can you formulate it like the indefinite integral of a functions derivative is equal to that function, and prove that?

[ancient flame]

yes

[deep mango]

Yeah, definitely.

Some people consider that the second FTC but you can get one from the other.

But it's probably easier to prove that the derivative of the indefinite integral is the function, and not the other way around.

[neat lintel]

Thanks for answering, exactly what I was wondering about

[cyan goblet]

i am about to go ham on this copy of princeton companion to mathematics i found in my school library

this is like a bible

i am overjoyed

[jovial ember]

anamono

[tender tulip]

leech lattice

[umbral lion]

me

[balmy maple]

🥲

[zealous garden]

It's true

everyone does it

[chilly hull]

i can think of the 4th dimension as cross sections of 3rd dimensions

but how do i do 5+

[acoustic totem]

just let there be n dimensions

and set n=5

duh

[chilly hull]

ok i have a good idea

picture the 3d cross sections on a number line

then if you move in a certain direction you are moving through the 4th dimension

now imagine it as a 2d plane

move in the + or -x direction and you are moving in the 4th dimension

[acoustic totem]

and then for 6 dimensions just imagine a 3d space moving within another 3d space?

[chilly hull]

move in the + or -y direction and you are moving in the 5th

i guess

[open aspen]

Peep the latest drip

I got it because he's Harry potters brother

[umbral lion]

woah that's cool

[umbral lion]

is he actually though?

[open aspen]

It doesn't matter, in my head he is

But this edition is from 1988 or something so probably not

[umbral lion]

maybe it was his dad?

lmk if it has good diagrams

[proud olive]

A cross section of the 4th dimension ofc

[sacred forge]

if you have a linear operator, and you find its matrix representation, and choose its basis to be made up of a set of its eigenvectors, is that matrix then necessarily diagonal?

[peak tide]

if there is a basis consisting of eigenvectors then yes, the matrix of the operator with respect to that basis is diagonal, and the i'th diagonal element is the eigenvalue corresponding to the i'th eigenvector in the basis

[mint canopy]

In fact, a linear map having a basis of eigenvectors is precisely what it means to be diagonalisable.

[stray kite]

what even is IUT

ive only seen people joke about it and read that it is "not generally accepted by the mathematical community" acc to wikipedia

[surreal sapphire]

nobody knows

you will have to read the papers

and then tell us

[umbral lion]

even if it was comprehensible there would have had to have been atleast one proof by now using the notation mochizuki came up with to prove abc as well as its techniques in proving related results which can be easily tackled with abc true

[alpine kindle]

i know a danielle ratcliffe

[bright hill]

John G. Ratcliffe sounds like pseudonym josh would adorne

Maybe just replace John with josh lmao

[dusty wagon]

?

[next schooner]

wot

[next schooner]

doxxed

[hushed turret]

youve doxxed yourself so hard here

[arctic grove]

harder than me

somehow

[next schooner]

now I am rat

[arctic grove]

and i am shyshu

[next schooner]

eventually people will forget all knowledge of my former self

[arctic grove]

i wont

[next schooner]

And I will be but a rodent

[arctic grove]

i never forget

[fair mural]

i remember your old name i think

[arctic grove]

and i am go sleep

gn

[fair mural]

good night

[next schooner]

I don't actually give a shit really

But i don't want former students of mine identifying me so

[fair mural]

i know i was just saying for some reason lol

[arctic grove]

am i ur former student

[next schooner]

Go to BED NOW

[fair mural]

you’ll never know

[arctic grove]

why so angry

[next schooner]

You're up past your bed time

Very naughty

[arctic grove]

wow

didnt think i would be called naughty online

what is my life

[next schooner]

Very naughty by the seems of it

[arctic grove]

im not naughty!

im a nice boy!!!

[next schooner]

OK shy whatever you say poppet

[arctic grove]

Poppet

what

josh im not from the UK if u dont remember

[next schooner]

sad empire noises

[arctic grove]

[stray kite]

Is there any mathematical meaning that can be attached to "a <<< b" that they write commonly in like physics lol

[alpine kindle]

,ti shyshu

[fathom swallow]

The current time for Samsyet is 12:20 AM (IST) on Tue, 27/09/2022.
Alison40 is 4 hours and 30 minutes behind, at 07:50 PM (BST) on Mon, 26/09/2022.

[alpine kindle]

yes it's very late for you

[river moon]

not really, it depends on what a,b are as well since in one context one can be considered to be much smaller than the other, but in a different context that might not be seen as such

[bright hill]

Git rkt

[neat lintel]

Putting link here too so it doesn't get washed away too quickly https://docs.google.com/forms/d/e/1FAIpQLScSvL67KZ7wCmE3_51qHa0-NOSo0UdTtaUhsEUbEsoJjSmy5w/viewform?usp=sf_link (takes max 1 min)

[stray kite]

what does "much smaller" mean?

[river moon]

it has no precise meaning and it depends on the context

[south kelp]

there's probably a trick to this problem that makes it simple but at a first glance this looks like pain ;-;

[little vine]

Z(G) what is that

[mint canopy]

The center (Zentrum) of G

[south kelp]

the center of G, i.e. the set of elements that commute with all the elements in G

[little vine]

Ah ok

[mint canopy]

Beats me 992, but I would imagine you do some sylow tomfoolery

[little vine]

175533

[south kelp]

yeah probably. Though this problem is in the section right before sylow's theorem (it's gotta do with the conjugacy action on cosets if i remember correctly) so maybe there's a way to do it without sylow's

[mint canopy]

Hm.

[south kelp]

is that the prime factorization? thanks if so lol

[little vine]

Yeah

[mint canopy]

So H must be a union of conjugacy classes. That's just necessary.

So presumably there's a unique way to write 16 as a sum of divisors of 17 * 5^2 * 3^2

Which presumably is... 1 + 1 + ... + 1

That would prove that this subgroup is in the center

If you can prove that, you're done.

Well actually what am I saying—that's obviously false

There's some extra annoyances

Well here's another idea

If you can prove there is even a single non-unit central element in H

then you're done

since that will generate H.

[mint canopy]

So while this isn't unique just by sums of divisors, if we can show that there's always a summand of 1, then we're done.

The divisors that are <16 are 1, 3, and 5. So if I've calculated correctly, the only possible way that doesn't contain a summand of 1 is when we have 17 = 1 + 3 + 3 + 5 + 5. So we need to look at that case, probably.

Back

My guess is now we look at the stabilisers of these conjugacy classes.

So we get four distinct normal subgroups, two of size 17x5x5x3 and two of size 17x5x3x3

Beats me from here. Interesting exercise for sure

[south kelp]

thanks for the help anyways lol

[umbral lion]

stealin info in the mathdiscord i see

good luck!

[south kelp]

I'm trying to think if I can somehow say $N_G(H)/C_G(H)$ is isomorphic to the trivial subgroup of $aut(H)$, and $N_G(H) = G$, then that would force $C_G(H)$ to be equal to $G$ which would imply $H$ is a subgroup of Z(G)

[fathom swallow]

992qqoloy

[south kelp]

Oh fuuuuuck

right

since H is cyclic

and a prime

|Aut(H)| = 16

so G/C_G(H) must divide 16 but also 3^25^217

which means G/C_G(H) equals 1 which means that C_G(H) = G

[distant goblet]

yes thats right

[open lava]

does this shape have a name?

[deep mango]

that's an ellipse

[alpine kindle]

not to be confused with an eclipse

[open lava]

but it's at an angle

[fair mural]

the orientation doesn’t matter

[open lava]

interesting

[deep mango]

yeah, it's at a 45 degree angle. adding xy's to conic section equations tends to do a rotatey-thing

[open lava]

that's cool

[deep mango]

you can see what's going on in terms of rotation matrices, or in terms of 2x2 matrix linear algebra. but i don't know a nice algebra 2 way to see how this works

[open lava]

i'm about to be in linear algebra, i guess i'll learn more there

[bronze pelican]

Ellipse

[bronze pelican]

U need to diagonalize a matrix

Compute the EIGENVECTORS

[deep mango]

Yeah

Singular values

[dapper badge]

regular value

[neat lintel]

Hpo

[storm sage]

completing the square prob?

same thing as diagonalizing a quadratic form

it's called like legendre's something or other right

[teal glacier]

@quartz saffron hi sir are u free rn

i shall open a room for us

[meager sonnet]

wat

you really don't need linalg to understand why adding xy to that shifts it like it does

[frozen osprey]

Is this correct

[bright hill]

This fits better in #proofs-and-logic

Please see #❓how-to-get-help if you haven't already

[leaden torrent]

it fits better for spiderman

[neat lintel]

Oh hi

Sorry for the ping

[bright hill]

Hello

[tender tulip]

how the fuck would I prove this limit hmmmm

w a i t

[teal lion]

Stirling formula, I would wager

[tender tulip]

heh, can't use that, it would be circular then

[iron copper]

I find Joel David Hamkins's lecture series on philosophy of mathematics (which is available on his youtube channel) very enlightening. Would recommend to anyone

[cinder meteor]

who got coursehero

[bright hill]

@odd narwhal guess what

You thought a squat with 110kg max weight was bad?

I'm my dorm, there's a gym for the residents, right?

There's no squat rack

[dry copper]

How on earth

Does a gym NOT have a squat rack??

I-

[eager reef]

Bruh

[vivid halo]

is it just one of those cardiobunny gyms with like, a bunch of pelotons and nothing else

[bright hill]

Don't ask me

[vivid halo]

that's what my apartment gym is kinda like

[bright hill]

I think I saw some machines that're in the doubles

[eager reef]

Split squats time

[odd narwhal]

Somehow that's not as bad

[bright hill]

And no squat rack

[vivid halo]

mine does have a squat rack but the weight situation in general is just so scuffed

[odd narwhal]

Many military and hotel gyms don't have a squat rack

And apt gyms

[vivid halo]

the best gyms are the powerlifting gyms where it literally just looks like a construction site

[bright hill]

There are quite a few machines there tbh

[bright hill]

Lmaoo

[little vine]

I stan machines