#serious-discussion

1 messages · Page 40 of 1

bright hill
#

Bruh

fair mural
#

noooo

deep mango
#

All that for bruh

#

Anyway

bright hill
#

Why are you waiting for me to finish typing? thinkies

deep mango
#

at least in the US, football fans are pretty annoying in my experience

fair mural
unreal prairie
#

hi

deep mango
#

Like

bright hill
#

Ello

deep mango
#

Because it's not as popular here the people who get super into it can get a little elitist i think

#

idk

bright hill
#

I sometimes pretend to know even less than I actually know

#

Just to make them seethe

deep mango
#

That makes sense

#

I do that here sometimes too

bright hill
#

Lmao

deep mango
#

I just like

#

can't remember the names of any of the players

#

or what they're supposed to be good at and stuff

bright hill
#

Mistaking Ronaldo for Messi is especially funny opencry

deep mango
#

that's literally the example that came to mind kekw

bright hill
#

most just laugh it off but others actually get upset hahaha

deep mango
#

yea

bright hill
#

Are they both alive btw

#

Aren't they 30 now or smth?

deep mango
#

they're both like 35 sully

bright hill
#

Ye but like

#

Don't you stop playing once you're 35?

neat frost
#

Good morning DarQ!

deep mango
#

oh by alive you mean

#

playing

neat frost
#

Good morning ryc

bright hill
#

Ye

neat frost
#

We just proved the three/four isomorphism theorems in class

#

I basically caught them all one might say

bright hill
neat frost
#

Asked

#

I did

deep mango
#

diamond

neat frost
#

Me from the future. Anyway im sure aluffi gets to it at some point darq. dont feel bad

deep mango
#

G/H / K/H = G/K

#

or something

neat frost
#

Yes

deep mango
#

Wait thats wrong

neat frost
#

No

bright hill
#

Does Aluffi even call it first iso? Lmao

neat frost
#

G/K / H/K = G/H

deep mango
#

there

#

I know I just typed it wrong

neat frost
#

Yeah its okay

bright hill
#

I think he calls it canonical decomposition or smth

deep mango
#

and then is 4 the one where there's a bijection between subgroups of G which contain H and subgroups of G/H?

neat frost
#

You get a pass since i know you actually know what youre talking about (unlike darq)

neat frost
deep mango
#

or is that the zassenhaus butterfly

neat frost
#

Yes

deep mango
#

oh

neat frost
#

Thats what that is

#

Though our prof did a shitty job proving it

deep mango
neat frost
#

he sorta handwaved a definition of lattices, then a handwave of what lattice isomorphism is, then totally handwaved the proof

bright hill
#

Tf is thi

deep mango
#

this is the butterfly lemma

neat frost
#

We did not discuss butterflies

#

Who gives a fuck about that lemma ryc

#

Why does it help

deep mango
#

I have no idea

fair mural
neat frost
#

quantum give me this one win

fair mural
#

absolutely not

neat frost
#

die.

bright hill
neat frost
#

Anyway DarQ how are you feeling now

deep mango
#

huh

neat frost
#

What is the Schreier refinement theorem?

rocky shuttle
#

That's why it's called butterfly lol

deep mango
#

so the schreier refinement theorem says that 2 subnormal series of the same group have an equivalent refinement

#

where like

neat frost
#

idk what a subnormal series or a refinment is

deep mango
#

a subnormal series of a group is a sequence of subgroups

#

${e} \subset H_1 \subset H_2 \subset \cdots \subset G$

fathom swallowBOT
deep mango
#

so that each subgroup is normal in the next larger one

#

these are important for classifying groups

#

you're essentially splitting a group into nice pieces (the quotients H_k / H_k-1)

#

a refinement is just when you add more subgroups to the list while keeping it subnormal

#

so, in between existing ones, say

#

this is related to the lattice isomorphism theorem you proved

#

refining between H_k and H_k-1 is the same as picking a subgroup of H_k/H_k-1

#

so refining = breaking the pieces you split G into into even more pieces

#

the theorem says that any two subnormal series have equivalent refinements, i.e. if you break a group up in 2 ways, you can further break those pieces up so that the pieces are all in isomorphism

#

(bijection between the lists of quotients which puts the quotients in isomorphic pairs)

#

this lets you prove the Jordan Holder theorem, which is super important for classifying groups

#

The Jordan Holder Theorem says that composition series for groups are unique. A composition series is a subnormal series which is maximal: i.e. each subgroup is a maximal normal subgroup in the last one. equivalently, the quotients are simple groups (have no nontrivial normal subgroups)

#

if you've heard of the program to classify the finite simple groups, which was a huge huge program that is allegedly finished, that's step 1 in the program to classify all finite groups. step 2 is to use simple groups to uniquely build up all the finite groups (we know that works because of the jordan holder theorem)

#

step 2 is ridiculously hard. it's the "extension problem". if you give me groups H and K, and you claim to me that there's a group G so that H is a subgroup of G and G/H is K, then can I find G? How many G's are there?

#

so the butterfly lemma actually fits into an important story in algebra.

#

🦗

sharp mulch
#

ryc really do be writing essays out here

neat lintel
#

I wonder what would be his wpm count

deep mango
#

Coulda been a dialogue!

neat frost
# deep mango 🦗

Sorry im in a lecture. But i understand a chunk of this. Seems pretty stupid

#

And useless

#

groups are silly

deep mango
#

I agree, I hate it

#

Typing this put me into Wew's shoes and I feel like I contracted athlete's foot

sharp mulch
brittle socket
#

Hi ricey

deep mango
#

Hello grass

#

Ooh check out this cool group

#

It's like a turing machine group

fair mural
#

lamp lighter

deep mango
#

Yes, that's what it is

#

A sequence of lamps along with a person who can choose to turn them on and off

sharp mulch
neat frost
#

ryc's future job

brittle socket
bright hill
#

My nose still gets clogged from time to time for no fucking reason

#

But I'm pretty much healed nozoomi

deep mango
#

I don't even get it

bright hill
#

That's on you tbh

long matrix
#

@neat frost why dont u say good morning to me any more

neat frost
deep mango
long matrix
neat frost
deep mango
#

They forgot the cheese on my breakfast sandwich

neat frost
deep mango
#

I put my own cheese on

neat frost
long matrix
#

my name wasnt harassing but ok done

neat frost
#

Good morning Shuri!

long matrix
#

slurp making a big deal outof nothing

deep mango
#

I didn't put enough cheese on

long matrix
rocky shuttle
#

Good morning schnoodles!

neat frost
#

Shuri your name was both harassing, bigotted, insulting, sexist, homophobic, antisemitic, and racist

#

Yeah fuck off

long matrix
long matrix
#

great name

neat frost
long matrix
#

yes

deep mango
#

What is this name

#

I put more cheese on

rocky shuttle
#

rycheese

long matrix
#

ryc gimme my rice back

bright hill
rocky shuttle
neat frost
long matrix
neat frost
#

Darq i hope you never need anything from me

neat frost
deep mango
#

I am not the richeese guy

neat frost
#

but no one noticed so i didnt

bright hill
#

Where's the punchline?

long matrix
#

ok.

neat frost
long matrix
#

yes, let's hear it

bright hill
#

???

#

What threat

neat frost
#

DarQ im never coming to another one of your stupid streams

#

Youre still coming to mine tho btw

long matrix
#

is ok slurp, we wouldnt want you ruining our cat stream

#

which may or may not have happened yet

neat frost
#

You pose a strong argument

deep mango
#

Who's streaming

#

Oh I forgot about the world cup

neat frost
#

darq at some point

deep mango
#

😭

neat frost
#

though i cant join this week

deep mango
#

What...

#

What do you have to do that's more important

#

Than darq's stream

neat frost
#

Some tests

#

Some hw

#

food

#

sleep

#

pirating tv shows

nocturne solar
#

My high school has a math course which covers introductory group theory and introductory linear algebra. It is the most advanced math course available at my high school. I'm currently taking this course, and it is fun.

neat frost
#

Okay? Name all the groups

bright hill
deep mango
neat frost
#

nah nah nah poo poo i cant hear you

neat frost
deep mango
#

What the hell is Manifest

#

When are you watching survivor

neat frost
#

but i looked it up and its not really religious it just uses religion as a plot driver

neat frost
neat frost
deep mango
#

You're a subnormal sequence

neat frost
#

i said all groups, not just finite+simple groups

neat frost
#

silly ryc

deep mango
#

Didn't read

neat frost
#

ryc

#

i read

deep mango
#

Anyway

neat frost
#

i didnt understand

neat frost
bright hill
#

All

deep mango
#

All groups are subgroups of S_n for n any cardinal

neat frost
#

Yes

bright hill
#

Groups are finite simple groups

neat frost
#

G <= S_G

frail lagoon
#

and be a finite simple group

#

of order 2

bright hill
neat frost
#

wtf is a simple group

#

i was looking for tv shows

bright hill
#

Moonshine ooooo

torn willow
#

Hi DrarQ,my long lost cousin

deep mango
#

No normal subbies

frail lagoon
#

a simple group $G$ is a lil groupie boi such that the only normal subgroups r $G$ and $1$

fathom swallowBOT
#

potato

neat frost
#

oh wait i know what a simple group is

#

yeah okat

frail lagoon
#

i.e. no interesting quotients

bright hill
neat frost
#

So

#

what about all the interesting nonsimple groups

deep mango
#

Oh my god

#

I told you about the extension problem

neat frost
#

Oh wait i missed step 2

#

Okay so what about infinite groups

bright hill
#

What's the extension problem?

neat frost
#

Scroll up dark

bright hill
neat frost
#

no

#

Thats not true!

deep mango
#

Infinite groups are just like

long matrix
#

meow

deep mango
#

Multiply with Z

#

Or something

neat frost
#

Wow ryc the algebraist

long matrix
frail lagoon
#

Me

neat frost
#

ryc is a pigeon

deep mango
#

I'm a seabird

#

I'm a shearwater

long matrix
#

pigeon

deep mango
#

If i was a pokemon

#

Which one would you make me

bright hill
#

I'm a cube

#

🧊

#

:)

long matrix
#

like did u even need to

#

ask

deep mango
#

So you'll let me evolve into pidgeot

long matrix
#

let you?

#

where are you going to find the exp

#

i think ull stay at lvl 1 for a lifetime

deep mango
#

Yes

#

Anyway

#

Why not pidove

long matrix
#

pidgey, use peck on that slurp

deep mango
#

Pidove is way more like me

long matrix
#

,w pidove

#

ah cant see

#

ryc wanting to be a dove clearly

#

this like ryc ? KEK

deep mango
hoary sentinel
#

can anyone help me at simple physics, im stressing out

neat frost
hoary sentinel
#

yea, but its for math only

neat frost
#

What

#

Sure

hoary sentinel
#

what dont you understand

#

huh

#

wdym

neat frost
#

Why would you even ask for help on something unrelated to math on a math server

hoary sentinel
#

the physics server kinda suck tbf

long matrix
#

its more appropriate to ask in the help channels

bright hill
neat frost
#

There are tons of servers which do physics stuff

long matrix
#

than in the discussion channels

neat frost
#

theres not only one

bright hill
#

You're just less likely to get help

neat frost
#

This server is for math and image processing only

long matrix
#

what the hell is DrarQ

hoary sentinel
#

2 ppl from here actually helped me on physics

#

so yeah

bright hill
#

Dunno

long matrix
#

dunno? you made it

bright hill
#

Illum called me that

#

So ig I'm drarq now

hoary sentinel
#

if anyome is willing to help me im stuck at moment forces

long matrix
#

what pokemon would slurp be hmmm

hoary sentinel
neat frost
hoary sentinel
#

i will

neat frost
#

good

#

were discussing pokemon now

hoary sentinel
#

lmao

neat frost
long matrix
#

oh i know

#

slurp is a nidoran

hoary sentinel
neat frost
#

Im a fucking god at physics

#

But i dont offer help to mere mortals

long matrix
#

bruh stop harassing ppl to help and just go ask in a help channel wg

hoary sentinel
long matrix
#

hep is voluntary

neat frost
#

you must first pass my here 36 trials

hoary sentinel
#

gimme ur hardest challenge

long matrix
#

which one

hoary sentinel
#

pink

long matrix
#

i think the last one is more like slurp

neat frost
#

No

alpine kindle
neat frost
#

Mega big bad super strong fire breathing poison seeping eyebrow raising dragon

long matrix
#

no slurp ur not a dragon...

neat frost
#

yes i AM

long matrix
#

lets see... what cat pokemon are there

neat frost
#

IM A FOX

long matrix
#

ah yeah, im a mew

deep mango
#

If slurp is a dragon it's some cringy dratini

#

Hahaha

long matrix
#

heheheheh

neat frost
#

ryc go fuck yourself

deep mango
#

No you're not a mew

long matrix
#

yes i am

#

mew mew

deep mango
#

Dummy

neat frost
#

shuri too

#

shuri is like

#

that fat monkey shit

long matrix
#

im a lvl 1 mew who only knows transform

#

thats good for me

neat frost
#

the one that sleeps all the time

deep mango
#

Shuri you're a fucking alolan persian

neat frost
#

Im eevee

long matrix
#

bruh

#

no, thats det

deep mango
#

Or you're purugly

neat frost
#

oh right

#

okay

#

No

long matrix
#

ur ugly wg

#

im a mew

neat frost
#

No u

#

no

deep mango
#

lol this is totally shuri

neat frost
#

no that cat is too sexy

deep mango
#

That's literally purugly

neat frost
#

smash

deep mango
#

here's alolan persian

long matrix
#

ill be a mew, slurp can be whatever dragon he wants smh

neat frost
#

i mean shuri

#

or ryc

deep mango
#

No way

#

ok

#

NO

#

I'm not fucking persian

neat frost
#

yeah its you ryc

#

RACIST

neat lintel
#

Shuri is gigantamax meowth

neat frost
#

Whats wrong with being persian?

deep mango
#

ok the jokes are over

#

literally everyone knows

#

that i'm corviknight

long matrix
neat lintel
#

Ew

#

Yes.

neat frost
#

PIGEON

#

LOL

deep mango
neat frost
#

ryc is a pigeon

long matrix
#

ill stick to being a mew

deep mango
#

Nope

#

I'm not a pigeon

neat frost
#

ryc is pidove

deep mango
#

Ok at worst I'll allow corvisquire

long matrix
#

,w corviknight

fathom swallowBOT
neat lintel
neat frost
#

I wanna be an emo pokemon

long matrix
#

doesnt say its species

deep mango
#

here's corvisquire, he's cool

neat frost
#

No

#

ryc is pidove

deep mango
#

that's me

neat frost
#

all in favor?

long matrix
neat frost
#

🖐️

long matrix
#

no hes a pidgey

neat lintel
#

Uhhhh then idk

long matrix
#

ill be a litten

deep mango
#

pidove has good evolutions

neat frost
#

then pidegy it is

deep mango
neat frost
#

motion carried unanimously

long matrix
#

no i wont

#

so whats slurp meant to be

neat frost
#

i wanna be a really hot pokemon

neat lintel
#

Also ryc is kyogre

deep mango
#

when i evolve im gonna be this cool pokemon

long matrix
#

ok, ur a jynx, slurp

#

evolving is for noobs

neat frost
deep mango
#

kyogre is kind of a good call

neat frost
#

im a jynx, bitches

neat lintel
deep mango
#

you're not a jynx

long matrix
neat frost
deep mango
#

dude can you believe someone gets paid to write articles like this

neat lintel
#

Man no one gets the joke

neat frost
#

yes

#

i can

deep mango
#

that is wild

neat frost
neat lintel
#

Thank you slurp

#

Oh

long matrix
#

it knows fly?

neat frost
#

oh

neat lintel
#

Well levetate

neat frost
#

i missed the joke pencil

#

didnt see the post

frigid matrix
#

you should fix this

long matrix
#

i dont get the joke wg

neat lintel
#

I forgot the spelling

deep mango
#

you're totally nickit

neat frost
#

i dont get it

long matrix
#

levitate

neat lintel
#

Okay anyways

long matrix
#

kyogre has drizzle

deep mango
#

this is slurp

long matrix
#

if rycs a kyogre

deep mango
#

like

long matrix
#

wherever he goes, it rains

deep mango
#

to a tee

#

I like the rain!

frigid matrix
#

this image makes me uncomfortable

neat frost
long matrix
deep mango
#

it's nickit

#

from sword and shield

neat frost
#

IT IS ME

long matrix
#

so slurp always nicks stuff

deep mango
#

shouldn't you know the pokemon from your homeland?

long matrix
#

wheres ss based?

deep mango
#

YO

#

shuri you can be purrloin!

frigid matrix
neat lintel
#

LOL

deep mango
neat frost
#

ss based in germany no?

long matrix
#

what?

deep mango
#

you're both nasty thieves

neat frost
deep mango
#

bruh it's literally called the galar region, have you seen leon that guy is british as fuck

long matrix
#

oh galars based on uk, ok

deep mango
#

dumbfucks

long matrix
#

bruh i aint playing them new games

#

i thought this was a joke

neat lintel
#

There's also gigantamax Charizard

deep mango
#

Can you believe the pokemon anime is still a thing

#

like

long matrix
long matrix
true bough
#

yeah they’re still airing

frigid matrix
#

gigchad meowth

deep mango
#

im on the pokemon sword and shield page and there's this Goh companion dude

long matrix
#

mad it didnt happen 2 yrs ago

deep mango
#

where's misty? where's brock?

long matrix
#

haha.

#

cameos at least.

neat lintel
split island
#

Ryc is a gen oner

deep mango
#

KANTOOOOOO

frigid matrix
#

Misty 🤨

long matrix
#

XYZ anime is where it shouldve ended

#

that was gud

long matrix
split island
#

Uh one sec

deep mango
#

was the XYZ anime like

long matrix
deep mango
#

uhh

long matrix
#

oh no, u can be a ditto lel

deep mango
#

that's after unova

neat frost
#

Hi kirby!

neat lintel
#

Ryc there's also gigantamax corviknight

deep mango
#

unova black and white

long matrix
#

yes it would be

neat lintel
long matrix
#

there was this ninja pokemon

#

with a super cool transformation

true bough
#

greninja?

neat lintel
#

Greninja

deep mango
#

yes this is me

#

thank you kirby

long matrix
#

bird of doom

true bough
#

ash greninja is cool

deep mango
#

i literally know no new pokemon

long matrix
#

despite you rattling off like 10 ss names

split island
#

Mfw my university has GENSHIN classes

deep mango
#

greninja is the best pokemon in the last several gens

split island
#

I needed to crop names

long matrix
true bough
#

and theres ultra beast shit

deep mango
true bough
#

like wtf is that supposed to be

split island
#

Hi slurp

deep mango
#

where do you think i found that article about the 10 best fox pokemon

long matrix
#

hmm what pokemon is deep

split island
bright hill
#

Based

long matrix
#

i think mniip has to be our meowth

split island
#

There was one on competitive Pokémon this semester

true bough
#

i like mudkip

neat lintel
#

Mudkip is cute yes

long matrix
#

this is u darq

#

eiscue

deep mango
#

you're mudkip anyway deep

true bough
deep mango
#

yes

split island
#

Eiscue is a good mon

neat frost
#

genshin is hentai?

split island
#

My favorite Pokémon is frosmoth

long matrix
neat frost
#

omg

split island
neat frost
#

GenShiN

long matrix
#

slurp wtf are u on about

neat frost
#

idk wtf genshin is, i just looked it up and it looks like hentai

long matrix
#

?????

#

its a fuckign mobile game

neat lintel
#

It's a game.

neat frost
#

not my fault

long matrix
#

rpg

deep mango
#

it's a game...

#

uhhhh is zhongli from genshin

true bough
long matrix
#

my favourite competitive pokemon is shedinja

#

so op

neat frost
#

Okay?
And that means it cant be hentai?

bright hill
split island
#

Someone left their uneaten Starbucks food on a bench

neat frost
#

Its literally hentai

neat lintel
#

And h*ntai results are censored on google when not on incognito

split island
#

Do I commit poor and immoral college student and take it

long matrix
neat frost
#

game and hentai have non trivial intersection

deep mango
#

it makes sense that shuri would like bug pokemon

bright hill
neat lintel
neat frost
#

@split island yes

split island
#

Good

deep mango
#

no way

split island
#

I was hungry

deep mango
#

not unless it's like

long matrix
deep mango
#

sealed

bright hill
#

"can't be hentai" is semantically nonsense

neat frost
#

what was it?

sharp mulch
#

I mean

split island
#

I’m in the math building that looks like a turtle rn

deep mango
#

mention genshin
ange appears

sharp mulch
#

I would totally believe the majority of genshin content online being horny

long matrix
neat lintel
#

I saw someone play genshin once it's literally hentai

sharp mulch
#

I just finished planning a cairo trip

neat lintel
neat frost
neat lintel
#

Jesse

deep mango
#

Jerard

split island
#

Shuri’s name is clearly Jslurp

neat lintel
#

Jschlatt

sharp mulch
#

Tomorrow I will try to get my flights changed so that I can upgrade to first class

deep mango
#

Jennifer Lopez

bright hill
#

JShlurp

long matrix
#

joodles

neat frost
#

Jordana

deep mango
#

Jorge Efeh

long matrix
#

awesome

neat frost
#

shuri is pikachu

#

a fucking rodent

true bough
long matrix
#

wouldnt mind it

true bough
#

pikachu looks fat

#

chonke

long matrix
#

chubby chu

true bough
neat lintel
#

What's your fav mega

neat frost
#

mega nuts

true bough
neat lintel
#

Based

sharp mulch
#

Kind of weird how fav is pronounced fav and not fav

long matrix
true bough
neat lintel
long matrix
#

design, maybe zard X

true bough
#

mega gengar looks sick

neat lintel
#

Mine is mega rayquaza

sharp mulch
neat lintel
#

Yes even mega gengar is decent

sharp mulch
long matrix
#

ur basic

neat lintel
#

Wat

neat frost
#

the fact that you guys unironically have so much pokemon knowledge is cringe

true bough
neat frost
#

boomers get a life

long matrix
#

ur the cringe one slurp

#

get a life and play some games

true bough
#

slurp play pokémon

#

!!

neat frost
#

no

bright hill
#

My pokemon knowledge is Pikachu is yellow

long matrix
#

i play smogon whenever im bored these days

neat frost
#

darq is based for once

neat lintel
#

I never really watched Pokemon anime, but rather learned about through discord bots lol

bright hill
#

😃

true bough
#

i used to spend hours watching pokemon

bright hill
#

Oh also

true bough
#

good ol days

neat frost
#

hours spent not learning tex

long matrix
#

mrow

#

deeps better than u

bright hill
#

There's meowing or smth

long matrix
#

remember the score?

#

2-0

true bough
bright hill
#

It's some cat pokemon that's pretty tall

neat lintel
neat frost
#

shuri id rather not help than help you

long matrix
long matrix
bright hill
#

And Charizard is a thing

neat frost
#

id prefer if you didnt harass me

bright hill
#

That's literally it lmao

long matrix
#

i dont harass people

#

the only one accusing me of such is u

neat frost
#

i only know pikachu, bulbasour, charizard, and mime dude

#

and team rokett

true bough
#

mime jr looks cute

neat lintel
#

Zygarde-complete is very awesome too

long matrix
#

eh?

#

i dont rate it

#

i like 10%

#

as well as the cell

true bough
#

Yveltal seems better

#

,w mime jr curve

#

hm

#

,ping

neat lintel
#

Ded

true bough
long matrix
#

,w slurp keeps breaking this bot

rocky shuttle
long matrix
#

perfectt

#

@surreal sapphire we would like to patent a new sticker

neat lintel
#

Perfect

surreal sapphire
#

stickers have to be square

long matrix
#

add more red wg

surreal sapphire
#

i mean

rocky shuttle
long matrix
frigid matrix
#

what the hell is that sticker

chilly hull
neat lintel
#

Algebruh

chilly hull
#

hello discussion

neat lintel
#

Hello cat bread

long matrix
#

fluffy

true bough
#

fluffy cat bread

true bough
#

aww

rocky shuttle
long matrix
rocky shuttle
#

further adjustments?

long matrix
#

i think it looks v good

#

modmail it ig KEK

marble quail
#

hello

deep mango
rocky shuttle
#

don't you love it?

long matrix
sharp mulch
#

ryc's discussion simps strike again

deep mango
#

Ridiculous

neat lintel
sharp mulch
golden pendant
#

any nice interpretations for this?

#

seems too nice to be jsut a coincidence

long matrix
golden pendant
#

would the integral of e^t^3 be ~ to e^x^3/3x^2?!

long matrix
#

draw the blumming graphs on desmos and interpret it

golden pendant
#

they merge together

#

the 2 graphs

#

and this result too

#

its weird

#

yeah i see this but whats the intuition

#

something here is fishy

#

e^x^2 /2x is e^u/du

#

so were saying the integral of e^u is equivalent to e^u/du?

cold lantern
#

If I have found a significantly shorter proof for computing X, how should I name my paper?

frail lagoon
#

ofc, integrating doesn't always play nice with asymptotics, but ye

cold lantern
#

and X is like a theorem

frail lagoon
#

computing a theorem?

cold lantern
#

proving a theorem

#

by a simpler and shorter computation

#

isnt there some standard way to name stuff like this

frail lagoon
#

i feel like i've seen a fair number of papers like "A short proof of [...]" or something to that effect

#

or "Another proof of" or whatever

long matrix
#

thats my cat you're looking at

split island
#

Yes

viscid otter
#

holy crap

split island
#

I’ve seen shuri’s cat too

frail lagoon
#

I fink

#

But here it's fine as both functions go to infinity so you can use lhopital

bright hill
#

It's insane how many public figures have openly admitted to having depression

#

Michael Phelps, lady gaga, Kate pary, princess Diana...

#

Even Abraham Lincoln had it lmfao

#

Bruh, how tf do all these hyper successful people have depression hyperthonk

#

Sounds contradictory to me

fervent pebble
#

no one needs a reason to be depressed

neat lintel
#

it's not like being successful <=> happiness.

#

you can achieve a lot and still feel empty

frail lagoon
#

If anything I would expect depression to be more popular among public figures

#

well, if it develops after they become famous

neat lintel
#

I mean like just look at sam from icarly. seemed like her role in the TV show messed her up

#

gotta remember that being successful or being famous your still human like anyone else. I think it can only seem like they're beyond getting depressed when you start to idolize them and don't see them as just normal people

vivid halo
#

yeah that was definitely TV's fault and not Dan Schneider's fault

neat lintel
#

?

#

idrk too much about what happened but I was using it as an example of how famous people can still have problems that affect them emotionally

deep mango
#

I saw DarQ's point as being, it's very difficult to become hyper-successful if you are struggling with this sort of thing

#

So I think the important distinction is what potato said, that many times this could come afterwards

#

(But it's also important to note that there's a huge difference in visibility here)

long matrix
neat lintel
#

yes

neat lintel
fair mural
#

no

long matrix
#

meow

neat lintel
#

how much calculus do you have to remember to take "advanced calculus" or "intro to analysis"

storm sage
#

ask the professor teaching the course

#

it'll depend on what exactly they're teaching in the course

wooden flax
#

this is sounding like spivak

#

or something similar

#

in which case formally none, but you should still have a barebones udnerstanding

neat lintel
storm sage
#

advanced calculus is a p vague name

#

do you know if there's a syllabus

neat lintel
#

this is the course description

storm sage
#

okay I would recommend knowing two semesters of calc then

#

usually they teach taylor series in a second semester of calculus

#

if you have two semesters of calculus experience, then you're probably set

neat lintel
#

I have the experience, but I completely forgot about taylor series

storm sage
#

rip

#

I would review a bit

neat lintel
#

I remember liking power series, but we barely had time to cover taylor

storm sage
#

looks like you won't go over power series until the end of that course, so you have time

storm sage
#

(for this purpose)

neat lintel
#

do i have to review all those tests?

#

the series tests

storm sage
#

yeah they're helpful

neat lintel
#

and limit rules?

storm sage
#

yeah

#

you'll prob formally prove them in the adv calc course

#

but it helps to know what they are and why they're useful first

neat lintel
#

I just figure that taking analysis will show me whether I really like math or not

neat lintel
surreal sapphire
#

eh, i didnt enjoy my analysis class

#

i still like math

fading zealot
#

Sculpture of various irregular shapes based on the dodecahedron, seen in Nangang Software Park
(couldn't check if all of them are irregular, the one on the lower front looks awfully Platonic)

neat lintel
#

nanjiang&

mortal oyster
#

And perhaps bearing polyhedra are most bearing, when they are regular, but I'm no engineer.

stiff pecan
#

No pain, no gain.

stiff pecan
torn willow
#

So how do you prove programs work in Haskell? For imperative programs, Hoare logic exists and is easy to use kind of informally via loop invariants and such

#

How do you argue about Haskell programs in a similar way

#

A loop invariant completely specifies what a loop should do. What's a similar construct in Haskell

stiff pecan
#

This is a normal discussion room, not secret.

torn willow
neat lintel
#

lambda

rocky shuttle
#

mu

neat lintel
#

lamda deeeznuts

analog hedge
#

hi

storm sage
vagrant timber
#

Crazy that this was so recent, I was just thinking about this today! Where can I go to actually engage in debate and exchange thoughts about economics? IMO Reddit or Twitter is not a good platform for longer, engaging discussion.

leaden torrent
#

debating economics on the internet seems like the most miserable use of time possible

#

especially since most of the people who want to do it cant explain the difference between monetary and fiscal policy

vagrant timber
#

Debating [INSERT TOPIC] on the internet seems like the most miserable use of time possible.

FTFY.

It depends on the parties having the discussion.

leaden torrent
#

no economics seems particularly bad because it falls into that sweet spot of where everyone has an opinion but very few people know what theyre talking about

#

to borrow a famous quote, no one goes online to argue with geologists about how igneous rocks are bullshit

vagrant timber
neat lintel
leaden torrent
#

i mean, go onto your local newspaper's comment section on any economics-related article

#

and tell me the quality of discussion you see within

neat lintel
#

i personally think

#

physics>math

sharp mulch
#

Stunning opinion

neat lintel
#

thats just me tho

#

i understand if others dont agree

leaden torrent
#

like econjobrumors is theoretically the closest thing to what youre describing out there

#

and it is a trashfire

vagrant timber
# leaden torrent i mean, go onto your local newspaper's comment section on any economics-related ...

That's not what I want to be able to do though. I'd rather be able to leave a comment on those articles linking to a platform that was designed with discussion & debate in mind. Those article publishers don't give two shits about the discussion going in their comments - as long as you're there they can charge advertisers for views. The discussion is only as good as the platform allows for.

It really sounds like it's just an opportunity to create something like this. I really like this this project called Discourse: https://www.discourse.org/. I hope forums catch on again.

untold sage
#

They are discord servers

vagrant timber
#

A discussion platform where the discussion topics are statements about some truth would be pretty awesome. Instead of asking questions (like on StackExchange), you start with a statement - kind of like https://www.reddit.com/r/changemyview/

#

Taking advantage of Cunningham's Law: "the best way to get the right answer on the internet is not to ask a question; it's to post the wrong answer."

leaden torrent
#

exactly that

golden pendant
#

group morphisms from Q,+ to Z,+

sleek wing
#

Shut the flip up!!

neat lintel
#

sorry hombre

#

hombre=man

rancid meadow
#

no its Not 👍

surreal sapphire
#

@stuck vapor this server is about serious discussions of mathematics, i expect you to not post nonsense again

sharp mulch
stark pelican
#

there are conflicts because there was already an update to the tests on master. You'll need to merge master into your branch to get the remote changes and then update and commit again the tests

Does anyone know what I should do if someone tells me this

#

(This is github)

#

I am very noob at this

rocky shuttle
#

You'll need to merge master into your branch to get the remote changes and then update and commit again the tests.

wooden flax
sharp mulch
#

Do you have experience with fountain pens

fair mural
#

shut the flip up

proud olive
sleek wing
#

shut the flip up!

fair mural
#

excuse me it’s C*

sleek wing
#

very well observed

wooden flax
#

thats it

zealous garden
#

$C\star$

sharp mulch
#

What is your budget

fathom swallowBOT
#

wraithlord_□

wooden flax
#

~30

sharp mulch
wooden flax
#

lol its low

fair mural
sharp mulch
#

I was going to suggest a maki-e fountain pen but those are usually around $200

wooden flax
#

lol

sharp mulch
#

But none of the namiki pens are on sale

#

(for good reason)

wooden flax
#

makes sense

sharp mulch
#

Yes, and they're very pretty as well

#

Also please don't ping me

neat lintel
#

I have the option to walk up to people on the street and kick them in the stomach. Does that mean I should?

sleek wing
#

why are you so uptight and angry over a simple request

deep mango
#

It's just a courtesy that some people ask

sleek wing
#

are you this impolite irl

deep mango
#

Common sense and courtesy in fact

neat lintel
#

What the fuck are you talking about?

sleek wing
#

your psychosis larp is unrealistic

zealous garden
#

can you code to shut up

neat lintel
#

Touch grass.

#

Okay, I'm bored now. I hope that everyone has a good evening, it is dinner time.

zealous garden
#

mmm yeah I'm hungry too rakko

neat lintel
#

Thinking of getting some kind of sandwich with a coffee.

#

Not exactly dinner food, but whatever.

sleek wing
#

I do think it's a bit odd myself but if they don't want to be pinged it's minimal effort to not ping them

leaden torrent
#

this counts as client-side modding and is against TOS, please do not encourage it on this server

#

and just like... respect peoples' wishes?

#

??

sleek wing
#

the principle block of discord

zealous garden
#

I don't know what I am surprised by more, client side modding is against TOS, or client side mods are a thing

neat lintel
#

Look at all of the bad or missing features Discord has, and how unresponsive the developers are. It shouldn't be surprising that people want to take it into their own hands.

#

Namington, this is not an endorsement.

leaden torrent
#

but yeah

#

"discord is very good at developing"
in-built role select feature:

neat lintel
#

Lightmode is literally a flashlight.

zealous garden
#

I don't know what bad or missing features you're talking about

#

lightmode is always trash

#

it's lightmode

#

I haven't seen a good lightmode in like 10 years though

neat lintel
#

Lightmode being obnoxiously bright aside, the colors don't even match well. It's hard to read.

#

Lighter role names are literally unreadable.

#

That was one reason the honorable names got changed to a slightly darker gold.

#

Well, all roles, I think.

zealous garden
#

I can't empathize with lightmode users

neat lintel
#

Light mode users do not have eyes.

zealous garden
#

you're choosing to suffer

sleek wing
zealous garden
#

not knowingly

neat lintel
#

There is just too little contrast between the white background and the text.

leaden torrent
#

i know someone who uses light mode because of a vision disability that makes dark mode cause them headaches

#

i also know a couple people who just prefer it

neat lintel
#

This is awful.

zealous garden
#

that is the opposite of what you would expect

#

lmfao even that embed is hurting my eyes

#

too bright

void isle
#

Guys

#

I got a question

sharp mulch
proud olive
void isle
#

:0

long matrix
#

wrong channel

void isle
#

Oh I was confused on where my channel went

#

When I like made it

#

found out a few minutes later that it just automatically like hid itself for some reason

#

Lol

#

Idk like yeah

#

I like

#

went to another channel and it went poof

#

So I was like

#

Did a mod delete my channel? I asked my question in a precise manner

sharp mulch
void isle
#

I want to go into engineering and like the university I want to go into requires like a goddam 90% and up grade and I was liek. I'm dead bruh

#

I need like english, physics, calculus and vector, and all that stuff

wooden flax
#

Ange do you know any good budget pens

#

or budget inks?

sharp mulch
#

I mean I don't actually write anything nowadays

proud olive
#

bic pens are pretty good

#

They're cheap and they feel nice to write with

sharp mulch
#

Presumably invictus is referring to fountain pens

proud olive
#

Oh lame

balmy maple
#

what kind of goofy ahh form is this bruh 💀

#

just ask for the equation and the roots oh my god

#

lil princess ass question needs the polynomial in the exact form or it throws a fit

zealous garden
balmy maple
#

not asking for help

#

just pointing and laughing

zealous garden
balmy maple
#

ik how to do it its just a pain in the ass lol

#

sorry sorry i had to

sharp mulch
frank orchid
#

Foss notability alternatives? If Joplin how can I transfer notes from notability to joplin?

bright hill
neat frost
charred wren
#

also, a question

#

is mathematics physically painful or exhausting to you?

eager reef
#

physically?

lavish briar
#

Hi

#

I'm new

#

Hey

neat lintel
#

Everyone’s ignoring me in discussion 1

#

How do y’all take notes?

#

Both lecture and reading?

#

Need some tips.

tight dock
#

i read mostly

#

i can remeber that way

placid quartz
#

me usually don't take notes

tight dock
#

the information seeps into my skull

tight dock
#

u heathen

placid quartz
#

.<

#

i can't take notes and understand the lecture at the same time

neat lintel
#

Yeah.

#

That’s basically what I’ve been doing.

tight dock
#

oooh