serious-discussion

[dire stump]

fitzgerald

[azure kraken]

haven't read great gatsby

though we are supposed to read macbeth

[neat lintel]

How many different game states of Mancala are there? Assuming 4 seeds per pod to start

[north topaz]

same

I don't know why people hate it so much

Streetcar was so much worse

[north topaz]

too many to count

if you have this board for example, you can use stars and bars

there are 14 holes so you can separate them using 13 bars

and choosing the positions of the bars determines how many are in each hole

so it should be (48 + 13) choose 13

,w (48 + 13) choose 13

[fathom swallow]

Results provided by WolframAlpha

Click here to refine your query online
Upgrade to WolframAlpha Pro!

Requested by sooouth.

[north topaz]

maybe not all game states are possible but around this amount

[neat lintel]

So 6.566 trillion is an "upper bound" ? (and it's less than that)

[north topaz]

I guess

yeah like if you flip the board 180 degrees, you technically don't have a different game state I guess, so we've double counted and need to divide by 2

depends if you count whose turn it is though

[weary seal]

https://discord.com/channels/268882317391429632/269573202018041856

[alpine kindle]

meow

[fresh comet]

[ocean harbor]

https://cdn.discordapp.com/attachments/695514882216427540/1231377074648780830/attachment.gif

[fresh comet]

higher!

[vast wraith]

meow

[ocean harbor]

it was good

(not the best though)

[rapid yew]

Hi @everyone/anyone

[fresh comet]

hi!

[rapid yew]

Hey bro! How u doing?

[fresh comet]

I'm doing alright, you?

[rapid yew]

I'm doing all good

[fresh comet]

[wise pewter]

[storm sage]

Yeah this is definitely an overcount, there's no way a lot of these are possible

The rules of mancala are pretty particular

If you picked an arbitrary game state, the probability that you could figure out a particular path to get there seems very low

[quaint cipher]

Off the topic, Has anyone received a private message from a stranger/spammer from this server?

[gusty socket]

yes a few

if you feel as though they are causing you a problem, dm @polar panther

[fresh comet]

a particular one?

and yes, dm ModMail if you deem it a problem

[quaint cipher]

Some constantly sent friend requests and when i asked them, they never reply

And other weird/suspicious behaviors

[fresh comet]

[quaint cipher]

I'm not sure if this is a problem, i just feel it's weird and don't know why did they do that

[gusty socket]

idk, some people just have strange tendencies, if it ever becomes a problem remember you can always message modmail

[static loom]

I just block them and move on personally

[fresh comet]

I just ignore them and move on

haha

[near prawn]

To be fair, I also have received several friend requests from random strangers in Discord. I had received a friend request from some random stranger who forced me to accept it, and eventually I ended up removing them from my friend request and moving on.

It is really challenging to believe that they really care about us whilst they said so. Seriously, fuck these kinds of people.

Honestly, I should have just blocked them for overstepping my boundaries.

[bronze pelican]

How tf higher has honorable

[near prawn]

Even they cannot even help people like me.

[dire stump]

the real question is how tf i don't

i'm neil

i'm goated

[near prawn]

My parents have taken me to therapy, however I got throwned out by 2 therapists. It all happened since my homeroom teacher encouraged my parents to take me there. They could not help people of my severity. :p

[fresh comet]

what does this mean

[bronze pelican]

How tf higher has honorable

[fresh comet]

are you saying I'm dishonourable?

[near prawn]

Even my parents cannot help people like me. :p

[bronze pelican]

I'm questioning your honorability @fresh comet

[fresh comet]

I see

[near prawn]

I have been taken to the so-called "conversion therapy", however I got kicked out, too. :p

[fresh comet]

so I lower the average quality of honourables?

I think that might be accurate, actually

[near prawn]

Ugh, autocorrect did me dirty.

[near prawn]

Sadge

But, congratulations on your promotion to Honourable.

[fresh comet]

thank you

[cold needle]

What of it

[cold needle]

the opposite is true

[bronze pelican]

None of your business

[cold needle]

Ok

[bronze pelican]

I'm just bullying higher because I can

[fresh comet]

[bronze pelican]

[fresh comet]

I was about to ask you

if I had offended you in some way

[cold needle]

https://tenor.com/view/cat-kitten-cat-crying-kitten-crying-05starrynight-gif-10141647709992578610

[fresh comet]

cause I couldn't tell if you were joking or not

[fresh comet]

I dunno

[cold needle]

you wouldn't know. I know

but i kinda understand how you feel

im going to grad school feeling very unqualified

Skull

[visual breach]

Guess you are going to a good uni?

Because otherwise, you might rather feel overqualified. Like me >.>

[cold needle]

yeah it is kind of a good university, at least to me

im genuinely surprised they want me but everyone there has been so supportive

[visual breach]

Sounds like imposter syndrome!

[cold needle]

Yep

[visual breach]

It's okay, even I am also a grad student..
Well anyway. My fault for not studying enough

[cold needle]

[jaunty ibex]

I wanna quit my 300k job and go to academia fr

You guys are making me jealous

NOT FAIR

[visual breach]

No way

[solid snow]

bro youre making me jealous wtf

300k?!

[jaunty ibex]

Yes.

[solid snow]

wow

[cold needle]

bruh

i wanna quit academia and make 300 k the fuck

[solid snow]

what is it that you do if you dont mind me asking

[jaunty ibex]

Robotics engineering

[solid snow]

👀

[jaunty ibex]

Grind hardware, electrical and mechanical and I'll give u my job

I don't like it it's really soul sucking

[cold needle]

i see

[jaunty ibex]

At least in academia I can see myself doing something fun even if I'm getting minimum wage stuff

Well assuming I end up doing something I like with a nice advisor, otherwise it's worse than my job

[cold needle]

hmm yeah

[cold needle]

banned

[ocean harbor]

roblox mentioned 💯

[cold needle]

roblox 🔥

[south thicket]

Hey what is projection till

Rule*

[deep ocean]

i have a questoin yall

[ocean harbor]

!da2a

[quasi jetty]

No need to ask “Can I ask…?” or “Does anyone know about…?”—it’s faster for everyone if you just ask your question! See https://dontasktoask.com/

[deep ocean]

can yall explain square roots to me

im so confused about them and i need to know them for 7th grade.

[ocean harbor]

how old are you

[deep ocean]

13

why

[ocean harbor]

just confirming

if you need help with math see #❓how-to-get-help

[neat lintel]

latests #events post says "due to popular demand"

i never saw a demand

maybe cuz i only hang out in #discussion and #chill

[ripe needle]

Maybe it was in demand in French mathcord

Or as DarQ would say: en grande demande

[lusty apex]

how long do you guys take to read textbooks?

like to read 5, or 10, or 20 pages

[ripe needle]

Really depends on the text..... sometimes hours, sometimes days

[lusty apex]

for how many pages do you mean?

i just wanna know whats typical for people who study math

[main elbow]

this question has no meaning, it will vary person to person based on many factors

even if you found someone with the same background, who has the same amount of time to put towards reading the book you still will not take the same amount of time

some people will find some subjects easier than other, for example

the moral here is that what everyone else is doing doesnt really matter. you can only do what you can do

[neat lintel]

I've been stuck on a single page for months now (I need to know what a differential form is to proceed)

that being said, there have also been cases of me skipping pages because they didn't contain anything new for me

[vernal token]

I took a course in linear algebra 2 this semester, we got lecture notes and were expected to read about 7-10 pages per week. In total, it was around 90 pages

But it depends on the lecture notes too, how talkative the author is

In these, it was basically just lemma - proof - definition - theorem - proof - ...

[rocky shuttle]

:3

[true zinc]

:3

[carmine dirge]

hey guys, please say hello to me!

[deep mango]

Hello

[carmine dirge]

;let me see who is still online currently

hahahha yes

ok well

[dense niche]

https://www.statista.com/statistics/184260/educational-attainment-in-the-us/

Opinion: Dont get a degree unless it is something that is field specific like actuary sciences or architecture.

It has been very difficult to find full time office work with a math degree, I didnt have the best grades or go to the best college, but I still finished with BS. Additionally, nearly every position that I could get starts at a similar pay to unskilled labor; And given that four years of working in nearly any field full time in the US nets you a gain of over 100k, and four year schools often cause more than that, youre realistically looking at a difference of several hundred thousand dollars at the start of your career. Once you factor in safe investments like the SMP 500, the pay is extremely comparable so the only benefit might be job satisfaction or the experience of going to college.

Anecdotally, the experience of going to college to work extremely hard and be stressed all the time, just to be stuck applying for positions with mediocre pay in fields like IT and insurance, is really disheartening.

[neat lintel]

Any recommendations for advanced math servers?

[mint canopy]

This one

[naive lagoon]

presumably you wre talking about the US - do you think this is the same in the UK?

(I'm halfway into a maths degree already, can't back out diamond hands)

[dense niche]

I dont really know the job market well enough over there to speak on it. If I were to guess it has the same issue but not as bad @naive lagoon

[rapid kiln]

@neat lintel you just have to help many people

[neat lintel]

oh and do i just ask mod?

[rapid kiln]

uhhh

better not ping them

you just gotta help many people and you'll get it someday

[neat lintel]

k

[fresh comet]

hello discussion-2

how’re we doing today?

[vernal token]

Hi higher

[vernal token]

I went to a dermo today

He was absolutely shit tbh

He prescribed me Accutane on my first visit

And told me to not read up on side effects because every medication has them anyways

[fresh comet]

[vernal token]

But yeah I'm not taking it

I'm taking Zindaclin instead

Which is just a gel/cream with an antibiotikum in it

Apparently that helps too

[fresh comet]

I see

I hope it all goes smoothly

[vernal token]

If not it doesn't matter anyways, it doesn't hurt

[north topaz]

wait for acne or what

oh I see

[vernal token]

Yes

[neat lintel]

Any secondary state school maths teachers - British curriculum

guys anyone of u do IMO?

[white temple]

just got the news that i'm off accutane as of today

[fresh comet]

awesome!

[azure portal]

IT pays out well for the money u put in

[vast wraith]

The winged, central figure is thought to be a personification of melancholia or geometry. She sits on a slab with a closed book on her lap, holds a compass loosely, and gazes intensely into the distance. Seemingly immobilized by gloom, she pays no attention to the many objects around her.

i love the "personification of melancholia or geometry" ahaha

the engraving is Albrecth Dürer's Melencolia I

[worthy garden]

Is it wrong that I got super-schadenfreude from this? I'm not an ideologue so I am not going to call these idiots 'traitors' but at least, in my eyes, when you elevate an adversarial nation in your mind soooo much that you just have to get an admission to a university there, and the government of the country that you love "OH SO MUCH!!!" leaves you to dry like this, and you actually cry as this country supports a GENOCIDE!! I just love this picture of this girl crying sooo much! "Mental distress" uuuuhhh lol. lol lol lol. You deserved it, good girl. You deserved it. Go study in an Iranian university next time. If you need to learn something that the university does not teach, google it.

I was like these idiots once, and I wanted to study abroad. These degenerates actually congeragate on apply-aborad.com which has franchised to other languages too! goddamn, why do these people love the west so much?

[serene rain]

wtf are u talking abt

but yeah it sounds like probably yes you are wrong

[worthy garden]

How am I 'wrong'.

[solid snow]

What the fuck are you talking about

[tawdry pecan]

mod ping
: 3

[serene rain]

you did literally ask -- but these students have nothing to do with the actions of their governments and are mostly just trying to get an education

[worthy garden]

Why an education in the US?

[quasi jetty]

To ask for mathematics help on this server, please open your own help channel or help thread. See #❓how-to-get-help for instructions.

[worthy garden]

Also I'm an Iranian buddy.

You're just proving me right.

That promises of West are hallow.

And these westoxificated idiots are better off studying here.

[serene rain]

that has nothing to do with what im saying?

[tawdry pecan]

believe what you will and ill believe what i want

go troll somewhere else

[serene rain]

but yeah im not going to engage with this anymore lol

[worthy garden]

Ok buddy. I don't think you have the intellectual capacity anyways.

[serene rain]

LMAOOO

[tawdry pecan]

this is proof that its bait btw ^

[true zinc]

Because in many cases the education in the US is better than in many other countries? Because local universities get filled fast? etc...

[serene rain]

i mean some people are just like that lol, it doesn't always have to be bait per se

but it is fucking funny

[worthy garden]

@true zinc The first statement is admittedly true. I am not going to even compare Iranian unviersities to US ones in terms of quality.

But the second statement is false. Google IAU.

[tawdry pecan]

i think its pretty easy to tell when someone is being intentionally inflammatory but could just be me

it is hilarious

[serene rain]

oh for sure they're being intentionally inflamatory, i just distinguish that from bait

[true zinc]

People like this make me irrationally angry

[tawdry pecan]

oh i dont

LOL

[serene rain]

bait is when you're specifically starting a discussion to lead on to some other point imo

[worthy garden]

@tawdry pecan I said you don't have the intellectual capacity because you called me a 'troll'. Astrid engaged with me and I replied with civility.

[serene rain]

note: insulting people like that isn't civil

calling people a troll, when they are trolling, isn't being uncivil either

[worthy garden]

How am I 'trolling' when I am stating my true beliefs.

[tawdry pecan]

ok that just means you like to respond to people lengthening your conversation

[serene rain]

yeah this one turned out to be a pretty boring troll to poke

[tawdry pecan]

yah

sad

[serene rain]

sometimes these political ones are really fun

but not this time

[worthy garden]

Ok, look, there's no shortage of universities in Iran. I've been to college in Iran for 9 semesters.

[tawdry pecan]

5 stages of grief

bargaining

[worthy garden]

*9 semesters, 3 were vocational college

If you wish to learn any skill you can do so in safety of you own nation. With your family.

And not in a country that actively hates you and belittles you and denies you visa.

[serene rain]

ok that's a point worth adressing -- there's more to universities than learning skills

in fact, learning skills can usually be done without universities

[worthy garden]

If you say 'experience', that's how I convince myself that I did not waste 9 semesters across 3 majors lol.

[serene rain]

(though universities do also offer a standardised pathway in which to learn skills, which is often helpful, their purpose is more than that)

[tawdry pecan]

some universities are seen as more prestigious than others, but your point isnt nullified by that

[true zinc]

I have a short temper but if you seriously wish for a proper response:

First of all: Wishing for someone to cry and feel bad for wanting to go to MIT and being accepted to the university, which involves AFAIK a quite difficult process, is just sad. I pity you.

As far as people from poorer countries in general coming to richer ones to go to university, it's simple, many of these countries with stronger economies have better universities, and so more people want to go come for a better education.

As far as Iran is concerned, due to Iran currently being so isolated from the world stage, there's less chance for their universities and education being improved.

As far as the genocide claim is concerned, the government of a nation's actions do not always reflect how students or people who live in a country feel. In this case, the situations in the middle east are extremely contentious but I cannot get into a long-form discussion over it due to the server rules rn.

[worthy garden]

How does the West stealing away Iran's human resources help Iran break out of the 'poorer country' loop?

Also let's not pretend that Iran will ever be considered 'first world'

It's your club.

[true zinc]

There is a large amount of geopolitics I'd need to unpack for that, most of which could be bordering on the server's politics rules

[solid snow]

why are you using second person pronouns as if we’re personally responsible for this

[worthy garden]

Yeah I know what they are. You don't need to tell me what they are.

[true zinc]

The first world, second world, and third world terms are outdated and originated during the cold war. First world was always US and its allies. Second world was the USSR and its allies. Third world was everyone else.

[worthy garden]

You are responsible because of your inaction.

[true zinc]

What the fuck can I do? Go protest on my college campus? Sure but that's not going to do shit and I might as well have my ass arrested

[worthy garden]

I don't think, even if we go by the 'developing'/'developed' moniker, it would still matter.

We have like 3 years before global warming caues social collapse

[true zinc]

Frankly, it really wouldn't, due to how US-centric the world has become

[true zinc]

That is an extremely narrow world view

[tawdry pecan]

tcc this person seems to be arguing in hopes to win as opposed to learn information about a situation

[worthy garden]

Win what buddy?

[tawdry pecan]

this is best demonstrated by the initial message they sent

[gusty socket]

jfc

[worthy garden]

@true zinc I'm just saying these standards are too Western-centric for a non-Western nation to ever qualify as the 'better' of the categories.

[solid snow]

i dont even know what the point of debating that is because the terms are descriptive not prescriptive

[worthy garden]

I don't know the linguistics term and I'm still learning philisophical terms from canceades.org

But to explain it: These terms are 'dyadic' and not 'monadic' if it makes sense

Iran will be a developed nation only if West believes it is one

Remember that these indices such as GINI and GDP and what have ya are compiled by Western nations.

And they win tremenedously if Iran's image is not that of a 'functional nation'.

Remember when they pulled a false flag attack last August

Caused riots.

The best way Iran can make any progress is to discard West and go be friends with non-western countries.

[serene rain]

that's probably true but unrelated to anything else

i reccomend you abandon nationalism and just focus on your own life tbh

[solid snow]

i wonder when this strategy was tried before

[worthy garden]

@serene rain One way Iran is different is that, were I a 'nationalist' I would be on a watchlist by Iran's own government. Islamic Republic hates the Iranian identitity and nationalism, especially pan-Iranism.

[serene rain]

well yeah but my point is you're focusing a lot on iran and geopolitical issues way bigger than you

[tawdry pecan]

https://tenor.com/view/dancing-lizard-gif-20906011

[worthy garden]

Well to be fair my focus was on youth indiscretion.

[serene rain]

it sounded nationalist to me

[tawdry pecan]

You are responsible because of your inaction.

[serene rain]

and i say this as someone who lives in the uk and has studied german history and language pretty extensively, i know what nationalism sounds like

[worthy garden]

I have studied computation and logic 5th edition too but that does not make me a computational logician 😉

[solid snow]

cool…?

[tawdry pecan]

ad hoc central

[worthy garden]

Studying something does not qualify you to opine on it

[tawdry pecan]

what does that have to do with your main pont

[solid snow]

TIL

[tawdry pecan]

like actually

[cold needle]

my bad

[tawdry pecan]

what does then?

hi metal

could you ban this troll pretty please

[cold needle]

oh

whats going on

let me scroll up

[tawdry pecan]

.

[worthy garden]

Seriously it's not worth it.

[tawdry pecan]

brother you started this

[wanton coyote]

gone

[tawdry pecan]

utterly banished

[cold needle]

im ngl this is super confusing but i do find some of what they said kinda disturbing so im just going to mute them and ask the other mods what all of this means

oh they left?

[serene rain]

still seem to be in the server for me but maybe that's just discord being silly

[wraith juniper]

I made this, dunno where to post it on this server
https://pypi.org/project/dual-numbers/

Feel free to comment, criticize, or give ideas! I would be thankful of it.

[coarse bridge]

Behrang nevii off the bubblegum kush

[charred wren]

hello cat and category theory community!

well, not enough cat-avatar people, so probably still set theory

curious, what alternatives to peano arithmetic are there? or perhaps my question is misconceived?

[wooden falcon]

There’s heyting arithmetic which is like peano arithmetic but intuitionistic logic instead.

[serene rain]

honestly aside from heyting arithmetic (and much more limited theories like preesburger arithmetic) there really isn't much. The natural numbers are really foundational in a lot of ways to actual mathematical practice

way more so than sets

[charred wren]

maybe i'm confused about what happened after godel incompleteness theorem

thanks for the reference

(also, shouldn't counting numbers be more foundational than natural numbers?)

[serene rain]

in most terminology the natural numbers and counting numbers are the same thing

[charred wren]

peano asserts existence of 0

[serene rain]

oh that makes literally no difference

in terms of logical propeties

[light needle]

I wouldnt call this nationalism tbh. I think people from colonialist nations have a hard time recognizing the difference between nationalism and not wanting colonialist influence in your country, so i dont blame youy, and he did say some wierd shit lol

But yes, my goal is the same

to help bangladesh discard its western controls

and become great in its own right

[trail hill]

Donut without frosting

[gusty socket]

what does the link in your bio do

[trail hill]

Idk I copied it from someone and was too scared to click it.

[gusty socket]

oh

you probably shouldn't do that

tbh

[cold needle]

i know what the link does

[gusty socket]

that's good

[cold needle]

it's safe

[gusty socket]

oh that's good

[tepid citrus]

Hi hi.

Some of those who have studied biology have heard of feedback loops. Like an example of a positive feed back loop is a mother giving birth. The contractions are driven by hormones which cause the contractions which creates more hormones to intensify the contractions, until the baby is born. But other examples exists.

My question is: what maths studies feedback loops? And is there a lot of research going into this kinds of maths?

It’s dynamically systems right? Cuz there are discussions of over damped and under damped systems and critically damped systems, etc.?

Or maybe I have made some pre-assumptions about this topic.

(Feel free to ping if there is a reply. I would most grateful for a notification regarding an update.)

[visual breach]

Sounds like dynamics, yeah

[dire stump]

definitely dynamics

[tepid citrus]

TYTY.

[burnt ledge]

the iranian guy above is right

[brittle socket]

That's not a very dynamic answer

[rocky shuttle]

food chain dynamics

https://tenor.com/view/eating-grass-mickey-mouse-funhouse-elds-deer-grazing-disney-junior-gif-25889847

[brittle socket]

@visual breach Please do Abstain from laughing. I'm being serious.

[carmine dirge]

i wish i could help

For what reason???

ohh

[paper path]

Hi does anyone knows a good way to learn the first courses in university online?

[gusty socket]

there are three resources that i like, one is the youtube channel professor leonard, https://www.youtube.com/professorleonard, and for practice problems and additional stuff use paul's online math notes, https://tutorial.math.lamar.edu/

for stuff that you do before calculus just use khan academy

also, if you are a nerd then you can use MIT OpenCourseWare

[paper path]

what

WHAT

do you want to tell me that site contains all MIT's online courses?

[gusty socket]

for someone named super afk, you seem to be at your keyboard

[gusty socket]

https://ocw.mit.edu/ here is the site, you can search

when i was in high school i put something in the feedback section and they reached out to me and did an interview

[paper path]

haha just got my third keyboard

[gusty socket]

which was really fun

[paper path]

holy shit

did you get into something?

[gusty socket]

no, they were just looking for more feedback, so i talked to them for about a half hour about ocw

and now the site looks like this

[paper path]

oh

still cool

[gusty socket]

it's very different from when i started using it

[gusty socket]

yeah i applied and got rejected from MIT out of high school, but i don't think i'm really that upset by it

[paper path]

so I can get every course MIT offers online for free?

[gusty socket]

well, you can certainly get enough of them that you'll feel satisfie

d

like there is so much on that site

[paper path]

I think there is only 1%-3% admission rate

[patent bone]

nice

[gusty socket]

yeah idk the numbers anymore, this was back wehn i was obsessed with university admissions, but honestly you will turn out fine no matter where you go

as long as you continue to do cool things no matter where you are

[paper path]

I hope so
I like learning

[gusty socket]

true me too

what are you learning right now?

[rocky shuttle]

learning machine learning

[old oak]

machine learning machine learning

so good they named it twice

[paper path]

it's mostly educational videos and articles but recently started looking for something serious

math specifically I want to learn for uni

and maybe also for DS

[gusty socket]

nice

[gusty socket]

is DS dynamical systems or something else?

[paper path]

data science

[rocky shuttle]

dark souls

[paper path]

lol

[gusty socket]

oh nice data science is great

[patent bone]

hlo

[neat lintel]

hola

[vernal token]

Probably you were the only person posting something in the feedback section

[gusty socket]

yeah that's probably right. i like interacting with the world in cute ways

[vernal token]

How did they find out about your e-mail

Can you sign in on OCW?

[gusty socket]

i put it in the box

[vernal token]

Ah

[native merlin]

Would somebody maybe like to learn math together every wednesday I am from Germany it´s 5.43 pm for me. Iam not the best at math and something like a math buddy would be nice. (12grade).

[ocean harbor]

I'll join if you do analysis

otherwise no

[pliant breach]

hello there

[native merlin]

hello

[pliant breach]

wrong answer, should've been "General Kenobi"

[native merlin]

Yeah dammit missed the chance

https://tenor.com/view/another-one-for-my-collection-grievous-lightsaber-gif-16775319

[native merlin]

how are you doing?

[ocean harbor]

https://tenor.com/view/thinking-space-epic-mbed-fail-gif-21266064

[native merlin]

https://tenor.com/view/happy-happy-dog-dog-happiest-dog-super-happy-gif-17885812

[pliant breach]

not bad not bad, wbu?

[pliant breach]

bwomp

[ocean harbor]

[ocean harbor]

get active to send embed perms

[tawdry pecan]

starts doing jumping jacks

[native merlin]

alrighty

[native merlin]

Nice same

[pliant breach]

that's

nice

[native merlin]

what are you doing right now?

[pliant breach]

listening to music

[gusty socket]

[gusty socket]

what kind of music are you listening to

i like sungazer (the band)

[pliant breach]

rn, zombie nation

[gusty socket]

very nice

[pliant breach]

:3

[pliant breach]

I love machine girl

also the band

or an artist i guess

drumer is only on lives

[gusty socket]

i will listen later

[native merlin]

Nicer dicer, is it something like a metal band?

[pliant breach]

nah

not at all

[native merlin]

Ah okay, I mostly listen to metal bands.

[short shard]

Do you have any song recommendations?

I recently got into melodic metalcore

[short shard]

So that's no?

Very sad

I cried

[pliant breach]

i did too tho

i mean

i still do

but not mostly

[pliant breach]

i can help you

[pliant breach]

but not with this one, don't really like metalcore

can recomend children of bodom tho

[short shard]

😔

[pliant breach]

as smth melodic

[short shard]

Well I'm open to everything

[short shard]

I change my favorite genre every few months

[pliant breach]

im more into death metal, deathcore, thrash, groove

[pliant breach]

well i never have one

i just listen to what i like

[short shard]

I'll see if I like them thanks

[short shard]

I find a new genre and tend to listen to the same song on repeat for hours until I find something new

[pliant breach]

from this can reccomend Rings of Saturn, Infant Annihilator, the true Mayhem, Immortal, Suicide Silence, Cannibal Corpse

You know the classics? Like Metallica, Megadeth, Black Sabbath, Pantera?

[short shard]

I've listened to everything from phonk to electro swing to lofi to metalcore

[short shard]

Tbh I haven't even though they are so well known lmao

[pliant breach]

Well i listened to a lot of metal before, but now im more into electronic and experemntal stuff

like breakcore, IDM

i don't really know much of experemental genres

mostly bc artists to whom i listen are not that popular and old to have a genre

like Machine Girl

[short shard]

Yeah same most of the time

[pliant breach]

and electronic music is a lot more open than metal or even rock, so it's hard to make genres

like in metal it's distorted guitar, drums, most of the time bass and vocals

[short shard]

I don't know if you'll like electro swing because it's very different to what you usually think of when you hear electro but I think caravan palace is pretty good

[pliant breach]

in electronic music it's whatever you made on your synth or wherever you want

[pliant breach]

gonna listen rn

oh so it's this one

[short shard]

Do you know polyphia? They play the guitar entirely without lyrics

[pliant breach]

i don't really like that, but objectevly not bad

[short shard]

Ye I agree that electro swing is pretty niche

[pliant breach]

yes, and i know a lot of bands and artists who make instrumental metal :3

[pliant breach]

i would say the opposite, it's kinda pop-like, which i don't really like

https://youtu.be/UbQgXeY_zi4?si=oMJOKXtfIfusIGuR if this is what you talking about

[short shard]

Fr? I don't think so at all. Which song did you listen to

[short shard]

Ah yeah

[short shard]

Thoughts on this? https://youtu.be/TqHAJjpDlY8?si=p_c717RzkVnKX0Jf

[pliant breach]

https://youtu.be/L9FklP51Bp0?si=4upLyTuyvUo0Unsr i'm into smth more like this

[pliant breach]

well a little bit more interesting, but my point stays the same

[short shard]

Hm not exactly my kind of music. I prefer to have more melodic variation

[pliant breach]

well

i think i have smth for you

[short shard]

Do you know plini?

[pliant breach]

https://youtu.be/2Ym5BoEXQAA?si=pN4saei7Vi8irQEx this is pretty cool

[pliant breach]

nah uh

[short shard]

Here's a song that has some breakcore elements https://youtu.be/aGsy2-MAkTM?si=CGq0Jv-H0MvY1GWM

Kinda

[short shard]

Listening to it rn

[short shard]

Not my kind of music sorry

[pliant breach]

well yeah, that's midwest emo math rock(it's actually the name of the genre, i do love it btw)

[pliant breach]

aslo sound fire

[short shard]

That's the name? 💀

Lol

[pliant breach]

yes

[short shard]

I actually wanted to know the name of the genre

Thanks haha

[short shard]

This one's similar https://youtu.be/5bUR_lreEpU?si=mY9PM6KPwfjkbmZ5

It gets a bit loud after 2minutes so just a warning in case you're wearing earphones

[pliant breach]

https://youtu.be/p4TDYdtOg8A?si=7__GsCcq_drCQgv5 you should try this then

[pliant breach]

bruh, my ears are already dead from what i listen to

[short shard]

Same lol

The fact that I listen to music 12h a day doesn't make this better

I've literally noticed my hearing getting worse

[pliant breach]

there are no breakcore elements tho, still very good

[short shard]

Yeah hence this #serious-discussion message lol

[short shard]

Ye this is good

[pliant breach]

it's maths server, what did you expect, not-nerds?

[short shard]

I should learn more genre name terms smh

[pliant breach]

this one has tho

breakcore elements i mean

[pliant breach]

not-nerds is not a genre fyi

[short shard]

I noticed

[pliant breach]

:3

[short shard]

Thoughts on this? https://youtu.be/EiiVVJNA0nk?si=YXgabfWc24svwH53

And this https://youtu.be/jmU2HH0LHmY?si=hnPlbRE6qB3rIr_U

[pliant breach]

I'll listen to it later :3 (i already have 100500 tabs open)

[short shard]

Buh

Oke

[pliant breach]

this server has gd emotes?...

[short shard]

They're metalcore though (I think )

[short shard]

Nah I have nitro

Because it was gifted to me. I'm not rich

[pliant breach]

oh ok, we're not doomed yet

[pliant breach]

+respect

[pliant breach]

nvm we are

[pliant breach]

BRUH, i literally made the exact same meme

[short shard]

Wait fr?

I send it every time category comes up as a topic

💀

[pliant breach]

only with calculus -> linear algebra -> abstract algebra -> category theory -> algebraic topology

[short shard]

Ohh ok

If you made that exact meme this would've been cursed af

[pliant breach]

algebraic topology should be after imho tho

cause you need category theory for it

[short shard]

Yeah but you could also argue that you do CT alongside it

The only correct way to do CT is by doing it in tandem with other results

[pliant breach]

and if im not mistaken is the reason category theory was born as independend field

[short shard]

Yeah true

[pliant breach]

the only correct way is to study all of maths put Hilbert pic here

[short shard]

I just feel like a lot more CT stuck with me after I did some algebraic topology

I think students should learn CT as early as possible but everything they learn should be linked to something else like LA or Algtopo

[pliant breach]

i mean it might be true, imma be honest i know like 0.00001%(i know the diffinition of homology group) of algebraic topology and 0% of CT, i just recently started learning maths sirously in the first place

[short shard]

For example you could do natural transformations in linear algebra

[short shard]

Same I only got into math like 2 years ago

And I only know the CT that can be directly applied

[short shard]

To other math of course

[pliant breach]

i know a little bit of calculus(i know strictly dervitives and not stricitly integrals), linear algebra(i know what matracies and vector spaces are, and how to derive matrix multipilication as if it's projection between vector spaces), abstract algebra(deffinition of the group and first isomorphism theorem)

and that's pretty much it

[pliant breach]

phew code red abort

[short shard]

I've already forgotten a lot of calculus

At least calc III

[pliant breach]

im form russia btw, we don't have that numeration system, we have different names

so

i have no idea what calc i ii and iii are

[short shard]

I'm from Germany and I'm just calling it that because it's the standard US name

[short shard]

Calc I is derivates and continuity I think calc II is integrals and calc III is multivariable

I think

Not entirely sure though

[pliant breach]

well i just finished calc i then, also im pretty sure continuity comes first

bc like, every differentiable function is continious

but not the other way

[short shard]

We do parts of I and II in German schools excluding continuity, sequences and some integral rules

[pliant breach]

and i think also limits and strict function deffinitions

[short shard]

I don't think limits were ever introduced at our school

They were just suddenly there to define derivatives

[pliant breach]

well ours too

[short shard]

And then never talked about again

[vernal token]

We did continuity

But only the limit definition of it

Without epsilon-delta ofc

[short shard]

🤯

[vernal token]

We only did sequences in the Vertiefungskurs

[short shard]

We didn't

[vernal token]

No multivariable ofc

[pliant breach]

we have worse, we just had a table of deribatives and like "well, remember it" without any deffinitions or explanations

[short shard]

We're going to do that too I think

[short shard]

💀

Tbh I don't think they should teach calc in schools

They should do basic proofs

And algebra

[azure portal]

Fax

[pliant breach]

agreed

[short shard]

Knowing how to prove something is so much more useful than learning random formulas off by heart where you

1. don't know where they came from and
2. you'll forget them within a month

[vernal token]

We do the proofs quickly, the teacher doesn't care how many of the people follow, and then do a lot of exercises

[short shard]

Ye same

[pliant breach]

but i think like axioms of real numbers at least, and epsilon-delta deffinition of sequence limit

[vernal token]

Sometimes we don't write them down, just read it in Lambacher Schweizer (our book)

[short shard]

Bro just doxxed his Bundesland

[azure portal]

Why dont u just remake the school system then 💀

[vernal token]

.. idc?

[short shard]

🤯

[vernal token]

Why would I care about doxxing my Bundesland lol

[short shard]

[short shard]

Idk lol

[pliant breach]

absolutely, that's why i love maths, you don't have to remember anything and relay on intuition, just straight up facts and logic

[short shard]

Well you do have to remember a lot of stuff

But I still agree

[pliant breach]

i wouldn't agree

[short shard]

Algebra go brr

Definitions

[vernal token]

field axioms

Well you don't need to remember them seperately

But still, you need to remember axioms for these algebraic structures

[short shard]

A field is just a commutative ring where every nonzero element is a unit

[vernal token]

Yeah and whats a commutative ring, ...

You do have to remember some stuff

[pliant breach]

well, there are not that much of them imho, and they're pretty easy to remember especcialy when you work with them a lot

[short shard]

A ring is a group under addition and a monoid under multiplication together with distributivity

[short shard]

Ye hence this#serious-discussion message

[vernal token]

Yep

[short shard]

Ye I know I know I'm just saying

Well

There are some things that are easy to forget

Even after using them a lot

Homotopy extension property

I can't seem to remember that one

[pliant breach]

well they are pretty intuitive imho, like group is the basic structure with operation that you can do anything useful with, ring is a commutative group with multiplication that has distributivity, field is commutative ring with 1 and has inverse element for every element besides 0

[vernal token]

Can't just skip monoids like that

[short shard]

Fun fact. The group being abelian follows from distributivity

[short shard]

No one cares about monoids let's be real

[pliant breach]

fax

[short shard]

Grothendieck completion go brrr

[pliant breach]

wdym?

[short shard]

In k theory you get a monoid and then you basically say "fuck monoids I'll force this to be a group"

[short shard]

Two sided distributivity to be clear

[short shard]

Consider (1+1)(a+b) and expand it in two ways

This also works for modules/vector spaces

[pliant breach]

i also have no idea what monoids are, in my textbooks groups go first(like breafly in the beginning, they come when group theory is serious)

[vernal token]

You just ... make up an inverse element?

[short shard]

Groups without inverses

[short shard]

Kinda

[pliant breach]

well, that was easy

[short shard]

You form the product M×M and then do an equivalence relation

That's how you get Z from N

[vernal token]

Ah

So basically you construct a group out of your monoid

[pliant breach]

all elements have inverses. Yeah? What's you source? My source is that i made it the fk up

[short shard]

(a,b)~(a',b') iff there is an element c such that a+b'+c=b+a'+c

In other words (a,b) is like a-b

And you may say "hey can't I just cancel c on both sides" no because you have no inverses

[short shard]

This is very similar to localisation btw

[short shard]

So Z=N×N/~ because an integer corresponds to a-b where a,b are natural numbers

And the equivalence is there to ensure that for example 2-3=5-4

[short shard]

Now in k theory you consider finitely generated projective modules over a ring R with addition defined by taking the direct sum

This obviously doesn't have inverses

So you just add them using grothendieck completion

And this group is called K_0(R)

Example:

[vernal token]

The name fits

[short shard]

Any projective module over a field is just a vector space

[short shard]

Oh and isomorphic modules are equal in K_0(R)

[short shard]

Now I ask you this: what is the only isomorphism invariant of a finite dimensional vector space?

Should I say it?

[vernal token]

dimension?

[short shard]

Ye

[vernal token]

yeah makes sense

[short shard]

So the isomorphism classes of projective modules over a field are isomorphic to N

Because the direct sum just adds the dimension

Then the grothendieck completion is just Z

Hence for any field K we have K_0(K)=Z

[short shard]

Each dimension is a natural number

[vernal token]

yep makes sense

So this is what you do in K-theory?

[short shard]

Basically

There are other groups such as K_1

But I only know a little

[short shard]

You can also compute K_0 using other methods than the one I used rn

Oh and K_0 can also be made into a ring using the tensor product

[vernal token]

sounds cool, why would we want to make it into a ring though

[short shard]

Idk lmao

Why not

Ring theory is better than group theory

[vernal token]

well let's try making it into a field then

[short shard]

[vernal token]

field theory is cool too!

[short shard]

Ig but ring theory better

Because ideals

And more general

[vernal token]

Where did you learn about K-theory?

[short shard]

Where I first heard of it or where I learned it?

[vernal token]

Where you learned it

[short shard]

I got a book

Algebraic k theory and its applications

By Rosenberg

[vernal token]

Ah

[short shard]

This guy writes really informally for some reason

It's a bit weird

[vernal token]

Not rigorously?

[short shard]

Nono he does

But like

Little things like "it's"

Instead of it is

Which books don't usually do

No but this doesn't sound as wild unless you actually read it

[vernal token]

You completely read through it?

[short shard]

Nah

I read the first chapter

[vernal token]

Ah

How long did it take

[short shard]

Dunno not too long. I read through it twice. The second time was faster

Maybe a week

But idr

[vernal token]

58 pages in a week?

[short shard]

Probably longer

I don't remember

[vernal token]

Alright

[short shard]

You've got the PDF?

[vernal token]

No I was just looking at the Springer site

[vernal token]

Did you take any notes or just read it

[short shard]

When I did the exercises

I only take notes if something is hard to understand but it was pretty readable

[short shard]

But like

I have the feeling k theory is basically just turning shit into a group

Because

Dedekind rings are also just rings where the fractional ideals form a group

Everything is made into a group

Groups are just better

[vernal token]

Seems it's a pretty recent area though

Opened up 35 years ago

[short shard]

Yeah very recent

But most cool stuff is very recent

Category Theory was only invented in 1945

[vernal token]

What about the former

[short shard]

They were the ones that ended the war

[short shard]

It has applications to algebraic topology

Which I don't know

But

It is a homology theory

There are topological k groups that satisfy the Eilenberg steenrod axioms

[vernal token]

So you encountered it in a different book basically?

[short shard]

Yeah

[vernal token]

Alright

[short shard]

I reread the first chapter after someone else talked about them

Because I had a question relating to that

Which was basically about composition of functors and which information we can gain from something just being in the "image" of a functor

Every time I ask this dude something he responds with random gibberish I don't understand lol

This is my only reason to learn math

To understand these people

[vernal token]

You have a personal question-answerer?

[short shard]

Not really

I just know very smart people

[vernal token]

Did you meet them at mathememes?

[short shard]

Yeah

He's a mathmemes contest winner

[vernal token]

woah

[short shard]

We did a contest a while back in April

[vernal token]

Must be a really funny guy

[short shard]

He was a mod for some time

[short shard]

And ye he is

[short shard]

He left for personal reasons

But I'm still in contact with him

[vernal token]

Is he a PhD student?

[short shard]

I'm talking of landlord in case you've heard of him

[vernal token]

Ah of course I've heard of him

On mathmemes

[short shard]

He's 19

Nah

[vernal token]

The rich guy

[solar hawk]

whos landlord

[short shard]

Ye lol

The one that gave me nitro

[short shard]

A guy from a different server

[solar hawk]

oh

[short shard]

Also known as jam/biesnejuil

[vernal token]

I first thought you meant your own landlord

Like of your house

[true zinc]

hi chat

[vernal token]

Lmao

[short shard]

Nah lol

[short shard]

Yooo

[vernal token]

Hi

[true zinc]

how's everyone today

[short shard]

Good

🤯

[true zinc]

the IPA in your bio warms my heart

we need more IPA in the world

[short shard]

Thoughts on the rhotic

[true zinc]

I'm learning icelandic, so trivial to pronounce

even tho I can't get it right all the time

[short shard]

Had to get that pharyngealised labialized unvoiced alveolar approximant in there

[short shard]

Since when

[true zinc]

oh wait I didn't notice the pharyngelaized labialization there, oh god that's evil

unvoiced alveolar is trivial

[short shard]

That's how it's pronounced though

[short shard]

It's not pure

In most English dialects

[fresh comet]

[true zinc]

wait really?

we never noticed that

[short shard]

🤯

[short shard]

Source: Wikipedia

[fresh comet]

hello Kepe, Chrizzl, Ryan

[short shard]

Hello 🤯

[vernal token]

Hi Higher!

[vernal token]

integer prime accumulation

[true zinc]

hey higher

[true zinc]

International Phonetic Alphabet

[short shard]

@true zinc what are your honest thoughts on this information #serious-discussion message

[true zinc]

Well I've been for about 6 months or so

[vernal token]

Ah

[short shard]

Are you using any app like anki?

[true zinc]

yeah

[vernal token]

Has your semester started yet?

[fresh comet]

not yet

it'll start in about a month

[short shard]

Why are you learning it

[rapid yew]

Hello

[short shard]

Have you studied for our exam yet

[vernal token]

The Scheinklausur?

[short shard]

Yooo

[true zinc]

[
\usepackage{tipa}
\textipa{I}
]

[fathom swallow]

Ryan (The Cat Collective)
Compile Error! Click the reaction for more information.
(You may edit your message to recompile.)

[short shard]

Ye

[vernal token]

Nah not really yet

[rapid yew]

Yoo buddy

[short shard]

Me neither

[true zinc]

how do you edit the preamble with the bot

[vernal token]

I'm in Hungary anyways currently

[short shard]

I'll start 3 days before that

[vernal token]

I don't have anything with me

[true zinc]

Because we're bored

that's about it

[short shard]

Thoughts the international phonetic alphabet chart

[short shard]

Mood

I used to learn Russian for the same reason

[vernal token]

Sounds like a plan

[short shard]

And like 10 other languages

[rapid yew]

Wait what?

[short shard]

But Russian I actually could speak well

[short shard]

So true

[vernal token]

Which languages can you speak

[short shard]

Well I forgot all those 10 languages obviously

[rapid yew]

Um ok ig

[short shard]

I can speak German, English, French and Russian

[short shard]

What is your honest opinion on the ipa

[vernal token]

German, English, Hungarian, French, Spanish for me but I think I forgot a lot of French and Spanish

[short shard]

Same

So you chose Spanish as an elective in school?

[vernal token]

Yeah

[short shard]

I think I remember you saying that

[vernal token]

NWT would've been much better

[rapid yew]

No opinion for rn 🤐

[vernal token]

Idk why I didn't choose that

[short shard]

For fr!?

Damn

That's crazy bro

[rapid yew]

Yeah

[short shard]

Imagine not having IMP

[vernal token]

Everyone in my Vertiefungskurs had IMP

[short shard]

Tbh IMP is just the temu version of VK

Everything you do there you do in VK

Except for some coding and physics

But I only care about math

@vernal token what music do you listen to

[vernal token]

Uhh

I don't really actively listen to music

But I like whatever is on Antenne 1

Lmao

[short shard]

Buhe

Beughe

Buhre

Cringe ngl

[vernal token]

Like when I'm in the car

[short shard]

🧐

Imagine not listening to music

[vernal token]

I listen to music when I'm in the car!!

That counts

[short shard]

Yeah but it's more like a passive decision

I literally listen to music the whole day

This is not an overexaggeration

My earphones are right next to my bed

I only take them off to charge them

[vernal token]

You do math while listening to music?

[short shard]

Ye

It doesn't bother me

[vernal token]

~~You're sitting in lectures while listening to music? ~~

[short shard]

Well I mean I'm on discord while in lectures lmao

But I don't listen to music no 😔

[vernal token]

Gets called on

[short shard]

Very sad

[vernal token]

Discord notification

[short shard]

We should do our lectures on discord ngl

[tawdry pecan]

Just imagine the music in ur head

It's the same as listening to it smh

[short shard]

I do when I want to fall asleep and then I just lie there

[umbral forge]

I’m guilty of doing that in a few classes lol, my proof based linear algebra class was sometimes not as interesting

[vernal token]

Yeah fr fr set up a server, make Dr. I. the mod, make some cool emotes and stickers, then just talk in #360643390594875392

[short shard]

The absence of music is uncomfortable

[tawdry pecan]

Hm

[short shard]

We only ever compare exercises

So same here

[short shard]

Lmao

Yeah but as you said earlier probably no one has discord

They're all nerds

[vernal token]

Then when it fits to the exercise, we post some

[short shard]

Woa

[short shard]

My honest reaction to this information

Literally my face rn

[vernal token]

We're nerds too tbh

[tawdry pecan]

Category theory is based

[short shard]

Yeah but good nerds

They're cringe nerds

[short shard]

Ong

They should teach CT in your first semester

The dual space is just a functor

[rapid yew]

@short shard where r u from if u can tell

[short shard]

Germany

[short shard]

You?

[rapid yew]

India

[tawdry pecan]

Functor? I know her.

[short shard]

[rapid yew]

So u guys r from Germany the one talking rn

[short shard]

Me and @vernal token both attend the same university

In Germany

[rapid yew]

University?

[short shard]

And we're from the same state

[short shard]

Kinda

[rapid yew]

Oh I see

[short shard]

It's a student's program

We do university classes alongside school

And they count just as normal

[rapid yew]

Oh OK

[vernal token]

In the US there is something similar

[short shard]

What year are you in?

[vernal token]

It's called dual enrollment I think

[short shard]

Fr?

[rapid yew]

Final year of high school

[short shard]

I only knew Israel had the same thing

[rapid yew]

Wbu?

[short shard]

Same

I'm in year 12 and keep is in year 11

But they are different school systems

It's both of our final year

Next year at least

[vernal token]

Yeah

[short shard]

After the summer holidays

[rapid yew]

Okay

[rapid yew]

Currently u guys r in Germany?

[vernal token]

Currently not, I'm in Hungary for holidays

[short shard]

I'm in Germany

Because I'm not on holidays

[rapid yew]

Holidays at this time?

[short shard]

Well I am

[vernal token]

Yeah

[short shard]

Vacation I mean

[vernal token]

Summer break

[rapid yew]

In August u guys have summer break wow

[short shard]

It starts later in Germany

[rapid yew]

Okay

[short shard]

I know a bunch of guys that are almost back to school

[rapid yew]

So when will ur final year end like which month in 2025

[vernal token]

In total you probably have a longer summer break than us

In turn we probably have more smaller breaks that you don't have at all

[short shard]

July

And you?

[rapid yew]

It's for month here

[vernal token]

4 months?

[rapid yew]

And we have additional offs on festivals

[rapid yew]

1 month

[vernal token]

Ah

[rapid yew]

Prolly March

[rapid yew]

Wbu guys

[vernal token]

I think it's 6 weeks here

[rapid yew]

More than 1 month then

[short shard]

I thought it was longer

[rapid yew]

Nah for seniors it's not

[short shard]

How long is it for non seniors

[rapid yew]

Around 7 weeks

[short shard]

That's not much longer

Very sad

[rapid yew]

Yess

[short shard]

@rapid yew do you listen to music

I need more music. Constantly

[rapid yew]

Yes I do

[short shard]

🤯

[short shard]

What genres

[rapid yew]

Tbh it depends upon my mood

[short shard]

Mine are very diverse and don't depend on anything

[rapid yew]

I really don't mind any genres unless it has the good music in it like ykb

[short shard]

And then I'll listen to one song for hours

I probably have autism

[rapid yew]

Ohh suggest any ur fav song

[short shard]

I don't have any