serious-discussion

[sleek wing]

[terse flax]

how are u

I'm great wbu

nice wry doing

I'm pooping

[broken scaffold]

symplectic boogalooo

[opal sleet]

<@&268886789983436800> please ban this person - they dmed me with no context

[deep mango]

i don't think dming people with no context is against the server rules if it's not spam, is it?

like

idk maybe it is

[inner finch]

🤡

[deep mango]

damn, this sounds like a foolproof idea

[leaden torrent]

we ask people not to do this

but its not bannable

unless theyre cheating on tests or something

[noble lotus]

I was just typing that but in longform thank you Nami <3

[noble lotus]

Or spamming / keep doing it after being told not to by a user (aka harassment)

[deep mango]

just tell them to ask in the main server if they want help

yeah

[tall badge]

@tawny shell please see above

[pale orchid]

you can answer with #848786850994585651

[tawny shell]

what a clown

i saw u helping with calc

and wanted u to help me too

[deep mango]

[inner finch]

🤡

[opal sleet]

So you're gonna be rude?

[deep mango]

they're not a clown because you didn't follow server policies

[opal sleet]

That's fine

Not my problem

[opal sleet]

Thank you

🙄

[tawny shell]

dming isnt against

[deep mango]

no one is obligated to help anyone

[tawny shell]

lol

[tawny shell]

did i say that?

i asked if he could

[pale orchid]

take it easy, everyone

it's not a big deal, just move along

[inner finch]

society.

[deep mango]

edd's name is the same color as mine now

[devout nacelle]

Society if people read rules

[pale orchid]

idk, i usually use a tone of blue with more green in it when i sign stuff

[devout nacelle]

Hmm, I agree

"Relevant to them" is bad

It should only be subject to consent

[deep mango]

yes, it should be more like "pertinent to them" or something

or if they say it's ok

idk

[inner finch]

[deep mango]

the moment has kind of passed ultra

[devout nacelle]

Yeah, it should be subject to prior consent, and even then boundaries should be understood

Some people just keep blasting problems over and over again once you grant them the consent

[deep mango]

that moment passed too

[last oxide]

time to dm all honorables
my questions are definitely relevant

[inner finch]

moment moment

[deep mango]

we're passing all the moments at breakneck speed

[last oxide]

sounds sus

[rancid meadow]

wow ive never read these

that second bullet point does suck

[deep mango]

imagine not rereading #info every few weeks

[inner finch]

[rancid meadow]

Directly Message

[sharp mulch]

[opal sleet]

XD

[rancid meadow]

i actually havent received that many unsolicited DMs

[opal sleet]

People just are too desperate to read

¯_(ツ)_/¯

[last oxide]

the ommi logician

[opal sleet]

This was MAYBE the 2nd/3rd time?

[rancid meadow]

i think randoms think I am too stupid to help them

which is correct

[deep mango]

hey ultra why does false imply true? can you help me with my discrete math ultra? i want to know why false implies true. quick my hw is due in 13 minutes!

[opal sleet]

Suffering From Success

[rancid meadow]

why does false imply true though

[last oxide]

cause I said so

[rancid meadow]

at least they 'd

[deep mango]

c.e

[inner finch]

[devout nacelle]

Does this include proving tautologies in propositional logic

[last oxide]

and it isnt even a highschooler

so they were pretty aware

[devout nacelle]

Oooffff

Yeah, this needs to be stressed more

[rancid meadow]

i should unmute #proofs-and-logic and start helping in there

[inner finch]

[rancid meadow]

thats where I got my start

[deep mango]

c.e. = completely enumerable? idk

[last oxide]

greater or equal

[deep mango]

computably enumerable?

[errant kiln]

completely errant

[deep mango]

i would call that r.e.

[inner finch]

csomethingcringe einlogic

[rancid meadow]

they are the same ryc yea

[deep mango]

it's called r.e.

it's not called c.e.

[rancid meadow]

they are the same ryc yeah

[deep mango]

[last oxide]

iteratively enumerable

[scenic narwhal]

denumerable?

[deep mango]

a.e., algorithmically enumerable

[last oxide]

thats so vague

[deep mango]

when your function space is a.e. a.e.

[last oxide]

[rancid meadow]

Ultra its because you have an aura of authority

this is your fault

[last oxide]

what do you suggest I do?

[bronze pelican]

I'm pretty sure you have

[rancid meadow]

drop the punctuation and capitals

[devout nacelle]

If I remember correctly, was I the one who redirected you to #foundations?

[bronze pelican]

[rancid meadow]

probably

You or N/A

[scenic narwhal]

Ultra you should use less full stops and emotes other than sully

[rancid meadow]

rip N/A

[scenic narwhal]

Then people will stop thinking of you as server owner

[rancid meadow]

$\bN / \mathfrak{U}$

[fathom swallow]

jesse

[rancid meadow]

:d

Do you guys not remember him

[devout nacelle]

I do

[rancid meadow]

It was a U, but it looks like an A

[fathom swallow]

slimevesus

[devout nacelle]

I think they're still active in forbidden server?

[rancid meadow]

oh huh

[sharp mulch]

[last oxide]

[tawny shell]

its D right?

[rancid meadow]

I'm stupid slim, I've written that character like 100 times

[sharp mulch]

#❓how-to-get-help

[tawny shell]

im assuming thats correct

[devout nacelle]

Please read #❓how-to-get-help

[tawny shell]

k

[rancid meadow]

this is the person that was dming people

[scenic narwhal]

[inner finch]

[fathom swallow]

slimevesus

[rancid meadow]

its a A that looks like a U

I always get it backwards

[scenic narwhal]

Ultra spoke about peano arithmetic

[rancid meadow]

lmfao

[scenic narwhal]

That's basically nom thy

[rancid meadow]

xd

good user

he explained Lowenheim-Skolem to me

AU

probably

he is active on there

but dami doesnt want ppl to know about it

[inner finch]

nombre theorie

[rancid meadow]

cause its ""good""

[scenic narwhal]

Nom theory

[last oxide]

Ive done some number theory
I used to do multiplication by head as a kid because adulta found that funny

[rancid meadow]

its not good but it doesnt have highschoolers

[last oxide]

[scenic narwhal]

🍖

[errant kiln]

😦

[inner finch]

says a lot about our society as a whole.

[bronze pelican]

Coconuts are good

[last oxide]

deeznuts are good

[inner finch]

coconuts are canonically isomorphic to nuts

[rancid meadow]

AU is really just a bunch of people asking Woj for help tbh

[inner finch]

😌

[azure kettle]

let me introduce you to this broken discord feature

[bronze pelican]

TRUE

[scenic narwhal]

Birza, coco is not a functor

[inner finch]

[rancid meadow]

there was a really great talk given on there about the connection between compact cardinals, compact spaces, and the compactness theorem

[bronze pelican]

That's all my interaction on that server

[rancid meadow]

i should rewatch it actually

[nimble shuttle]

@dull salmon Compare using <, >, or =. 39.4 ___ 39.04

[blazing pawn]

Why not both

[inner finch]

[bronze pelican]

Pinging wojowu with questions

[inner finch]

wojowjojojojojwojo

[nimble shuttle]

if ultra doesn't answer he doesnt know how to do it

[scenic narwhal]

Ledog blocked me

And idk why

[rancid meadow]

well this pretty trivially forms a category

oh, actually, it doesnt

[last oxide]

by modus ponens, thats the only logical conclusion

[rancid meadow]

unsolvable

[azure kettle]

ya, but after one point, they've already hit rock bottom iq, and it's only harming your own brain function to keep communicating with them

[nimble shuttle]

[rancid meadow]

no one has noticed my MP status yet

[last oxide]

great minds think alike

[inner finch]

i will block you.

[blazing pawn]

Greater minds think faster

[fathom swallow]

You don't have the required permissions to ban members here!

Jun 3, 2021, 4:11 PM

[blazing pawn]

[rancid meadow]

i feel like a lot of random people have blocked me on here actually

[scenic narwhal]

[blazing pawn]

I'm blocked by Godel

[rancid meadow]

i have no clue slim

[blazing pawn]

I don't know who else

[inner finch]

jesse i have blocked you.

[rancid meadow]

i just try to react and they dont let me

[inner finch]

I don't know who has blocked me

[modest rune]

i wish i could see how many people block me like just the number

[inner finch]

not very many people because i am universally liked 😌

[rancid meadow]

its never people i care about talking to so its nbd

[blazing pawn]

Being blocked by Godel is not a particularly sad thing though

[modest rune]

blocking really shouldn't prevent reactions

they should just be invisible

discord sucks at privacy when it comes to blocking

[rancid meadow]

what did you say ultra

[last oxide]

[fringe needle]

i believe i have yet to block anyone

[inner finch]

ive blocked a lot of people

[modest rune]

in the wise words of many different people

block early block often

[inner finch]

Other people are not me

[azure kettle]

based max

[fringe needle]

actually nvm im pretty sure someone was being a bitch on this server once

[azure kettle]

that is correct

[inner finch]

and so they are not universally liked

[errant kiln]

why?

dms?

[inner finch]

in particular by me 😌

[rancid meadow]

i dont block people who talk on here because I'm more annoyed by the block message than I am by the messages the people send lmao

[modest rune]

yeah discord blocking sucks

[inner finch]

just being annoying

[azure kettle]

you can change discord css to completely remove that "blocked" message

[modest rune]

u can?

what

thats amazing

[rancid meadow]

too much work

[last oxide]

I dont have anybody blocked

[fringe needle]

i would be very sad to learn that i was blocked by someone

[inner finch]

like the guy who came here and whose first message was that my pfp had a flat chest

[modest rune]

i used to have ~100 people here blocked

there was one time when i couldnt see a single message in chill

bc they were 100 consecutive blocked messages

lol

[rancid meadow]

what the fuck max

lmao

[azure kettle]

ya, but you need better discord

[rancid meadow]

why

[modest rune]

uh

[azure kettle]

to change the css

[modest rune]

before u joined

[inner finch]

le societal has arrived

[modest rune]

there were a lot of really cringe annoying ppl

like a lot

[rancid meadow]

my arrival genuinely improved the server landscape, I know

[nimble shuttle]

after you joined, there were even more

[modest rune]

this server and #chill in particular

[nimble shuttle]

fuck

[modest rune]

are so much better

than when i joined

[scenic narwhal]

Not annoying hadn't been invented back in max's day

[blazing pawn]

Yea

Like orders of magnitude

[rancid meadow]

I remember chill being pretty degenerate for a while when I first joined

idk what changed really

[fringe needle]

oh wait

is this max max

[rancid meadow]

,ui jesse

[fathom swallow]

jesse#3659 (618267537779458051)

​ Full name: jesse#3659
​ ​ Nickname: jesse
​ ​ Presence: Online
​ ​ Activity: Status: P → Q, P ⊢ Q
​ ​ ​ ​ Device: Active on desktop
​ ​ ​ Seen in: 1 guild
​ Joined at: 05:31 AM, 24/08/2020
​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ (283 days 10 hours and 43 minutes ago)
Created at: 02:14 AM, 03/09/2019
​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ (639 days 14 hours and 0 minutes ago)

Roles

Not very ppl, Advanced, Talks, Talk Announcements, Streamer, Very Active, Logic

Join order

20636.     Prince Lux Grey#0001
20637.     The-Elite#9627
20638.     jtay_313#8299
20639.   > jesse#3659
20640.     Mega Euler#9607
20641.     power#7555
20642.     Vvhisper#7166

[modest rune]

if anyone else joins this server named max

[nimble shuttle]

mega euler

[modest rune]

i expect them to be banned

so yes

its me

[rancid meadow]

mega euler

[errant kiln]

Chill just turned into cats2

[fringe needle]

eyy when'd you get back

[fathom swallow]

slimvesus#9286 (98936686641156096)

​ Full name: slimvesus#9286
​ ​ Nickname: slimevesus
​ ​ Presence: Do Not Disturb
​ ​ Activity: Nothing
​ ​ ​ ​ Device: Active on desktop
​ ​ ​ Seen in: 1 guild
​ Joined at: 11:30 PM, 29/04/2020
​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ (399 days 16 hours and 45 minutes ago)
Created at: 12:19 AM, 01/10/2015
​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ (2072 days 15 hours and 56 minutes ago)

Roles

ℌonorable, Advanced, Talks, Very Active, ![banach_alg_hermitian_involution](https://cdn.discordapp.com/emojis/834460703791251506.webp?size=128 "banach_alg_hermitian_involution")

Join order

16731.     Turtstur#0349
16732.     Allergic_2_Bulletz#2413
16733.     yunghui#8247
16734.   > slimvesus#9286
16735.     ElHefe#9839
16736.     perseus#0273
16737.     Eigenspace#8203

[modest rune]

(who else has my beautiful blue eyes)

[blazing pawn]

In the 2.5 years since I have joined this server has changed dramatically

[azure kettle]

,ui jesse

[fathom swallow]

Ultraproduct#1631 (586305869495402526)

​ Full name: Ultraproduct#1631
​ ​ Nickname: Ultraproduct
​ ​ Presence: Offline
​ ​ Activity: Nothing
​ ​ ​ ​ Device: Not active on any device
​ ​ ​ Seen in: 1 guild
​ Joined at: 03:05 AM, 10/04/2021
​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ (54 days 13 hours and 9 minutes ago)
Created at: 09:30 PM, 06/06/2019
​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ (727 days 18 hours and 45 minutes ago)

Roles

ℌonorable, Advanced, Very Active, ![banach_alg_hermitian_involution](https://cdn.discordapp.com/emojis/834460703791251506.webp?size=128 "banach_alg_hermitian_involution")

Join order

39048.     freddydude#4031
39049.     croco#7231
39050.     Archlogician#8759
39051.   > Ultraproduct#1631
39052.     jada ☆#0919
39053.     mathking#3280
39054.     jay721#3445

User cancelled member selection.

Jun 3, 2021, 4:15 PM

[last oxide]

they were not wrong

[rancid meadow]

can we ban the other 3 jesses pls

[blazing pawn]

can you stop doing bot shit in here

#bots

[modest rune]

if u dont go to #bots i will slay you

[nimble shuttle]

[modest rune]

I do think that as soon as someone becomes honorable we should ban everyone else with a similar name

its like

king of the hill

but for names

[rancid meadow]

is it a coincidence that Ultra joined right after Archlogician?

I actually agree max

its like retiring a jersey

[modest rune]

lmfao

[azure kettle]

jesse honorable?

[rancid meadow]

[azure kettle]

monka

[last oxide]

you forgot a comma

[modest rune]

for a second I thought jesse got honorable i was excited

[fringe needle]

zuck changed his name to big narwhal and never changed it

[rancid meadow]

wow my name looks really good in yellow haha 😉

[blazing pawn]

I remember when chill was just openly and consistently racist

[fringe needle]

so now i secretly wish to never be in the same convo as him

[modest rune]

and like super misogynist and incelly

[azure kettle]

I wonder how my name would look in yellow haha, wouldn't it be cool to check out

😉

[blazing pawn]

Yeah

Also transphobic

[modest rune]

we havent quite fixed the transphobia apparently

[blazing pawn]

So I was just constantly calling people out because no one else would

[rancid meadow]

when I first joined it was like mid election season so chill was predictably cancer lmao

[last oxide]

slimversusfox

[blazing pawn]

And someone needed to

[azure kettle]

chill is always cringe

[rancid meadow]

okay, Archlogician

[azure kettle]

I only go there when I get pinged and immediately regret it

[fringe needle]

thankfully i dont spend much time in chill

[modest rune]

ugh fuck

[vagrant kestrel]

chill bashing goes in #discussion

[modest rune]

i forgot to sign up for talbot

[devout nacelle]

I visit chill for pings or posting an update about Jujutsu.

[modest rune]

is it even worth going

[sharp mulch]

[modest rune]

or trying to

[azure kettle]

I also check the ping from the discord notifications to see if it's even worth going to chill

so good try slim

[rancid meadow]

lmao archlogician just showed up to #foundations for like an hour and helped some people and never spoke again

[azure kettle]

#foundations is too low for the archlogician

[last oxide]

what a name tho

[rancid meadow]

i still dont understand why we have two discussion channels

[last oxide]

gotta give them that

[blazing pawn]

I remember someone in #probability-statistics was trying to develop an algorithm to clock trans women so they could be detained

[rancid meadow]

they talk just like you Ultra

[blazing pawn]

Like literally

[fringe needle]

wtf

[rancid meadow]

what

it's quite impressive how not cancer this server is tbh

[last oxide]

makes you wonder

[rancid meadow]

given that it's on discord and the discord math community apparently has a pretty bad history

[compact tartan]

yet

[blazing pawn]

cue negi gif

[rancid meadow]

yeah we'll see bad you make this place mniip

[bronze pelican]

Who was it

[rancid meadow]

:negimessage:

[blazing pawn]

a random person pty

their account is deleted now

[modest rune]

okay so avoiding a dox, but theres a dude in my cohort named [firstname] benson and I straight up asked my phd advisor "oh, is he related to Farb?"

im so fucking stupid

[blazing pawn]

LMAO

[rancid meadow]

lmfao max

[last oxide]

compared to other communities? nah

[modest rune]

@velvet dagger ull enjoy the thing i said above

speaking of Amie

she left twitter today

im sad

[rancid meadow]

good for her

[blazing pawn]

Idk who that is but

She made the right choice

[rancid meadow]

neither do I but yes

[modest rune]

Amie Wilkinson is a super sick dynsys prof

[last oxide]

using twitter

[modest rune]

like shes my favorite prof i learned from at uchicago

shes a hero

[rancid meadow]

lmao max

[modest rune]

lmao not much of one no

[blazing pawn]

wow 2019 was an interesting time

[last oxide]

but you werent even born

[modest rune]

@velvet dagger is particularly talented at getting farb to say problematic shit lol

[last oxide]

[blazing pawn]

Remember when meaty said that you could clock all trans women because they look like men in dresses and have man hands and voices and then I said it was transphobic while several moderators were online and one was in chat and then no one did anything

haha

Fun.

[modest rune]

its a new era

we are leaving this baggage behind us

for now

this is max's support-the-staff arc

who knows how long it will last

[azure kettle]

I love how many people hate trans people without ever having interacted with a trans person because they've mentally made trans people into some weird boogeyman

actually I don't love it

[modest rune]

they have claws six inches long and can smell fear

[azure kettle]

I hate it

[meager sonnet]

I cannot believe

What people have said meaty did

I was super intermittent

At that time

[rancid meadow]

thank god max is back

[blazing pawn]

this was before you were on fiona

2019

[meager sonnet]

And I just missed him when he was super crazy

Ahh

[modest rune]

we should've guillotined meaty instead of banning him

[rancid meadow]

Isn't meaty still on here?

[modest rune]

yes

[rancid meadow]

lmao

[modest rune]

but we are supporting the mods jesse

[blazing pawn]

tw transphobia

[last oxide]

meaty was just a random shitposter saying transphobic things and being edgy
ofc you can believe it
what spaces have you been to?

just walk in in a random discord server

[modest rune]

i have such disconnect bc like

no one who is around me or my friends would ever be openly transphobic bc they'd get run into the ground socially

but its so common online

that it feels like a weird isolated thing bc i never see it irl

[last oxide]

but thats your social groups

[rancid meadow]

yeah I mean this isn't even crazy relative to the gen pop of discord I think? It's all like 16 year old white guys in discord mostly

[modest rune]

yeah im aware

[last oxide]

that obv happens irl

[modest rune]

my point is like

[last oxide]

like

[modest rune]

it takes conscious effort to remember how prolific it is bc of my bubble

[blazing pawn]

out of respect for the moderator I will not reveal who they are in hopes that they have changed

[rancid meadow]

obviously its terrible but it's impressive to me that this is like the "worst" regular this server has had lol

[blazing pawn]

Its not

its moreso that he was just never banned

even though he clearly should have been

[rancid meadow]

yeah mods bad but we all know that

[blazing pawn]

like if other people had said the things he said they would have been banned probably

[meager sonnet]

Meaty is only in questions channels now

[blazing pawn]

but he was just super active so no one wanted to

[meager sonnet]

IIRC

[modest rune]

depends what you mean by "regular" jesse

[meager sonnet]

That was like the deal

[modest rune]

if they have to be here for 1+ years

[blazing pawn]

he was the most active person

for years

[last oxide]

16 yr old white guys of richer classes are some of the most progressive people thi

[modest rune]

then yeah meaty is the worst probably

[blazing pawn]

and yet he never any math

[meager sonnet]

He can go to the math topic channels since he said he really regretted losing that

[last oxide]

maybe 16 year old white guys of 10 years ago were more edgy

[rancid meadow]

what 16 year old white guys do you know the fuck

[blazing pawn]

he hasnt even used them since lmao

[modest rune]

my bubble does not consist of many 16yos

lol

[meager sonnet]

Meaty is HS though right

Oh

[blazing pawn]

no

meaty is a 3rd year in college

if not graduated by now

[modest rune]

iirc meaty was older than me

that could be wrong

but not much younger

[last oxide]

you can look at the demographic
maybe not literally 16, but 17 to early twenties

[azure kettle]

same, none of my friends would ever say anything stupid like that. But, I remember once a dude I've talked to here and there a lot over like all of first year said some of the most LGBTQ+ phobic shit out of seemingly nowhere, and I was actually in shock someone I knew irl would be like that

[rancid meadow]

I mean literally 16 fractal

[blazing pawn]

Idk why he even wanted to rejoin

[azure kettle]

but then everyone we knew basically mocked him to hell and back for it lol

[blazing pawn]

maybe hes just addicted to the server

[modest rune]

i like the term LGBTQ+ phobic is it like a combo hit

like you gotta hit all of them with one shitty remark

[azure kettle]

ya, dude was just ranting against a whole bunch of shit

[modest rune]

lmfao

[azure kettle]

he also got super triggered by rainbows

and so we spammed skittles taste the rainbow pictures

to him

[last oxide]

there is a tiny difference between edgy kids and supposedly aware adults. that lime changes for people
probably changes when they enter college

[modest rune]

like at my school even being openly republican gets you bullied let alone hate speech

uchicago is not The Tolerant Left

[azure kettle]

based

[rancid meadow]

i agree yes

[azure kettle]

but ya, he did get endlessly mocked for it

I think he still gets mocked for it

[blazing pawn]

even among the econ majors max?

[modest rune]

ehhh

[blazing pawn]

[modest rune]

depends

[rancid meadow]

I think max has a curated bubble

[modest rune]

if you only want to hang out w other econ majros you can probably get away with it

but the common saying at uchicago is like

everyone is an econ major or a marxist

[azure kettle]

but ya, there are a lot of cringe openly conservative people in u of t engineering

[modest rune]

not quite true but like the remaining right-ish people are all in one larger ostracized bubble

[azure kettle]

sadge

but honestly not as many as I expected

[modest rune]

so im not in a bubble they are is probably more accurate

[azure kettle]

it's really just a few extremely vocal ones

[modest rune]

i was almost both at the same time

[azure kettle]

I'm sure there's a nontrivial amount of based econ students

at least I hope so

[modest rune]

ehhhhh

ehhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh

[azure kettle]

[modest rune]

i can name exactly two

(33% of uchicago is econ major)

[rancid meadow]

i try to avoid discussing anything related to politics around most cs and business students

[azure kettle]

business yes

[rancid meadow]

econ subset of business to me

[modest rune]

CS people at uchicago are normally okay and we don't have business students

[azure kettle]

I think there's a lot of good cs students out there

business students I avoid like the plague

[rancid meadow]

yeah there are but on the whole eh

[modest rune]

CS people are more likely to have "AI will solve everything" brainworms than like far-right stuff

[rancid meadow]

yeah you have it worse cause rotman 🤮

[azure kettle]

rotman business students are actually so cringe it's not even funny

[rancid meadow]

yeah the crypto talk makes me want to puke

[modest rune]

lmfao a friend DM'ed me asking if i knew how to buy crypto and i was like "i do but i am not telling you" lol

[rancid meadow]

at least theyre being revolutionary...

[last oxide]

I think you may be thinking of early uni cs people

[rancid meadow]

yeah I am

well I don't think a lot of them come around tbh

they might tone it down but

[last oxide]

everybody in early uni is brainworms

[modest rune]

as someone graduating

thats just wrong

[last oxide]

thats kinda why they get selected

[modest rune]

even older people have brainworms

in CS and econ esp.

[last oxide]

Im not sure I agree

but maybe its like that at your uni

[modest rune]

I think you are being far too generous if you think that older uni people stop being idiots

[azure kettle]

I think I'm exactly as brainwormy right now as I was when I entered uni, but I also had a very based friend group in high school that basically pushed me extremely left

[modest rune]

where you do think idiot adults come from

[last oxide]

not really
there is just a big filter to them

[rancid meadow]

oh I listened to her episode on my favourite theorem the other day ultra

cool podcast

[modest rune]

there are lots of ppl w college and even higher degrees

who are just complete morons

[last oxide]

did you read what I said?

[rancid meadow]

although she should have said "water" as her pairing with FTOC

[modest rune]

i am rereading what you said

i dont see anything relevant

[last oxide]

you mentioned "cs people"
and then walked back your claim to "there are stupid people"

[rancid meadow]

I don't think my positions have moved much since HS but i've definitely become more comfortable telling people about them irl lol

[modest rune]

Oh I mean I think those people are CS people in part

[last oxide]

I hope you realize the difference yourself

[modest rune]

There are idiots who work in silicon valley too

idk what youre trying to accomplish here

[last oxide]

yeah

[azure kettle]

I'm not very comfortable with telling most of my family about my positions, but I have found a lot more friends I am comfortable with

[last oxide]

I dont disagree

uni doesnt stop stupid people

[modest rune]

like google is horrific they have like bi-annual leaked memos about how women can't write code

[azure kettle]

a lot of family is sadly propaganda pilled

[last oxide]

but early uni is way more full of idiots

[modest rune]

sure

[last oxide]

idiots are a bit less likely to commit

[modest rune]

i think thats false

even problematic people like money

lmfao

[torn willow]

Avatar Korra moment

[modest rune]

They are lesbian, gay, bisexual, trans, queer, and plus

i wish i were plus

I think that a lot of out-of-touch adults are too scared to like use the terms so they just default to the acronym

instead of paying some teenager like $20 to advise them on their terminology lol

can u imagine how many scandals companies could avoid by paying @blazing pawn like $20 an hour to just tell them if they are being stupid

[rancid meadow]

it is good I am enjoying it

thank you

[modest rune]

is my favorite theorem like

[blazing pawn]

its true

[modest rune]

actually engaging

[rancid meadow]

I think so

[blazing pawn]

if corporations were smart they would be doing this

[modest rune]

im always scared of more pop-y math stuff just bc it grates on me a little

[light needle]

Lol corporation really don’t research lgbtq stuff.

[rancid meadow]

its not pop math tbh

lmao

[blazing pawn]

Yes

[modest rune]

sorry podcasts are like

a pop genre to me

[azure kettle]

I like when the only gay character in a show is like some random side character that can have their any gayness related scenes entirely removed without any effect to the story

[modest rune]

not the content just the medium

[light needle]

Moth you hear of marvels safespace and snowflake?

[modest rune]

so im not used to taking them seriously

[blazing pawn]

Yes

I cant believe they did that

Like why did they think that would go over well

[light needle]

IKR lmaoooo

[blazing pawn]

Can marvel not afford focus group testing anymore

[modest rune]

literally ur focus group can just be like

fucking tiktok

altho

transphobia is like

fucking rampant

on tiktojk

i see a good number of "2 genders" punchlines

for no reason

[last oxide]

my favorite theorem ia not very good
at least not the 3 episodes that I watched
and they try to make aome of them digestible to the point of being wrong

[light needle]

Super straights started on tiktok

[azure kettle]

super straight is the most insecure thing ever

[modest rune]

super straight just means Z/2-graded straight

[rancid meadow]

I mean the first episode the hosts said their fav theorems were the uniformization theorem and something else max

[last oxide]

"started on tiktok" should tell you enough

[meager sonnet]

Super straight was like

Started on tiktok by someone who fairly likely had ties to the 4chan thing

[rancid meadow]

it's definitely not targeted towards non-math people lol

[torn willow]

Is super straight just super transphobia?

[meager sonnet]

IDT you can find it now because of how short lived archives are

[rancid meadow]

is that the actual name?

lmao

[meager sonnet]

But I believe the posting was almost the same

[last oxide]

its not targetted towards non math people
but its kinda surface level for some reason

they make vague allusions to the consequences of some theorems

tbf

it is a podcast

so you cant really write

[rancid meadow]

i want them to read out the original proofs to me

[brave hollow]

super straight is a neonazi thing , it spells out SS

[azure kettle]

it's also just transphobia

you're only straight towards cis people

[last oxide]

I remember some memer saying conformal meant holomorphic and that kinda triggered me

[azure kettle]

like there's some trans-radar that points out trans people lol

[last oxide]

but Ig they meant "kinda like"

I dunno

[azure kettle]

and tells you to be not attracted to them

[blazing pawn]

what is the movement

[meager sonnet]

It's hard to tell whether it was originated with that intent but the reaction was pretty strong in that sense

"super straight" as the whole neo-nazi supported transphobic troll campaign

[light needle]

It’s funny that they chose Grindr colors for the logo tho lol

[inner finch]

who pinged me

and why

[devout nacelle]

@inner finch hi

[inner finch]

hi ted 👋

[vagrant kestrel]

#serious-discussion be toxic like that

[devout nacelle]

Smh you didn't even appreciate the rhyme

[modest rune]

i actually really like listening to certain types of lecture in the car I think there is probably a good happy medium of like

lectures that don't need chalkboards

[inner finch]

wow bro why se hi rhyme kiya kya baat hai

wah wahi karne ki hai

[modest rune]

is there a way to turn off ping-by-default on replies i always forget

[azure kettle]

I don't think there is max

I wish there was

[modest rune]

yeah i feel u

[inner finch]

[modest rune]

my real podcast move is like

complete braindead stuff tho

[blazing pawn]

the term super straight is not a 4chan psyop designed to fuck with people

[modest rune]

like serial killer podcasts

[blazing pawn]

it was just boosted by them

[modest rune]

just like

no thinky

brain empty

[blazing pawn]

it comes from some random tiktok person

who is seemingly just sincerely dumb

[meager sonnet]

There was that similar thing with like

[azure kettle]

letting you set ping-by-default off : discord devs
adding the 500th useless nitro feature : discord devs

[meager sonnet]

Mono-bisexuality or smth

[inner finch]

[meager sonnet]

Which was directly a troll campaign

[blazing pawn]

I have never heard of this

mono-bisexuality

[modest rune]

i would love a podcast that like

could introduce me to basic philosophy and authors

without dumbing it down too much

like i see the name kripke a lot but i know fuckall about what he wrote or thought lol

[sharp mulch]

#discussion is open

[modest rune]

if you cant follow 5 convos at the same time u gotta up ur game

is it good ultra?

[rancid meadow]

and yet one discussion channel is empty lmao

good work mods

Kripke justified analytic philosophy's existence

[modest rune]

i thought he killed it

[blazing pawn]

critique of pure reason audiobook when

[rancid meadow]

both at the same time

[modest rune]

nice

[blazing pawn]

I wonder if there is one

[modest rune]

honestly thats like what would happen

if some topologist just like

[blazing pawn]

Oh there is

[modest rune]

computed all the homotopy groups of spheres

everyone assumes its impossible and will be a constant source of new machinery

[meager sonnet]

I remember Kripke from Kripke Frames

[blazing pawn]

They can be computed algorithmically cant they

Its just really hard

and takes a really long time

[modest rune]

Yeah someone was talking about that, I think nG

I don't know how true it is I only ever heard abt it from him

[blazing pawn]

I googled it and there was an MO post that seemed legit

[modest rune]

I'm pretty sure its so slow that like it will always be behind our current knowledge or something

bc code is used a lot in modern computations anyway

so if they aren't using that algo its probably not very useful

[rancid meadow]

wait is this actually correct because this was what I got out of that Liam Bright article where he shit on contemporary analytic philosophy

[modest rune]

(maybe in the sense that every provable theorem will be listed by that one TM eventually)

[blazing pawn]

https://mathoverflow.net/questions/31004/computational-complexity-of-computing-homotopy-groups-of-spheres

i should probably finish the critique of pure reason this summer

my critical theory arc was put on hold but it is not dead.

[rancid meadow]

http://sootyempiric.blogspot.com/2021/05/the-end-of-analytic-philosophy.html

[blazing pawn]

i sent this image to you right?

its so good

[modest rune]

this is cool stuff

I'm particularly interested in this comment

: I don’t think it’s been used to find any completely new material, but Kenzo has been used to correct an error in a previously “known” computation of some homotopy groups in the literature. I will try to find the reference. Update. Here is the source: they showed that π4(ΣK(A4,1))≃Z/12, where it had previously-published work had claimed it as Z/4. – Peter LeFanu Lumsdaine Dec 11 '13 at 15:42

The htpy grps of sphs problem has a long history of errata

so like this would be helpful if it could check over time, even if slowly

[meager sonnet]

Why have analytical philosophy when one can have analytical headphones!

[modest rune]

or like be pointed at particular places of doubt

It would be cool if it could be used to resolve extension questions, for example

idk how nice the algo is tho

the MO thread says its open whether an expo algo exists

so i think its even worse

it must be a terrible algo honestly

because there are like, pub-worthy papers that only compute one group

bc it related to the kervaire invariant problem

[blazing pawn]

That's what I assumed too

If it was actually good you'd think itd be really useful and well known

So it can't be that efficient

[modest rune]

Rational htpy groups of spheres are pretty easy hahaha

[blazing pawn]

YouTube's automatic playlists are

Interesting

[inner finch]

yes.

[modest rune]

you mean Serre Finiteness?

all of the htpy grps of spheres are torsion modulo two exceptions

oh maybe it is

ive only seen a more modern proof the original is kinda bleh

yeah that is how i imagine serre wouldve proved it then

[velvet dagger]

@modest rune oh I'm not good at getting Farb to say stuff I try so hard

But most of the whoa stuff I've heard second hand

[modest rune]

ah damn

[pine fulcrum]

Has there yet been papers which sprouted from the mathematicians who gather on this server?

[sharp mulch]

Someone asked this yesterday

ryc and I are writing a paper together

[summer nest]

What's it about?

[sharp mulch]

Numerical linear algebra

[devout nacelle]

Furries

[pine fulcrum]

That's great timing. Who asked yesterday btw?

[light needle]

thats v cool

[sharp mulch]

There's a search function

[torn willow]

Speaking of numerical linear algebra, what's your opinion on strang's LA book?

[sharp mulch]

It's fine for LA I guess

It's certainly not a NLA book

[velvet dagger]

Well didn't you guys probably meet before this server?

[sharp mulch]

Yes we did

We've known each other for like

4 years

[velvet dagger]

Yeah I think the question was more if people who first meet here get a paper kinda

I will say I wonder who's most likely to collab on stuff within this server

Ryc and Ange for sure

[sharp mulch]

Louis and ultra are going to write a paper together

In the future

Maybe

[velvet dagger]

Louis?

[mild nebula]

I don't think most people come here for research purposes haha

[sharp mulch]

ryc and I will probably be frequent collaborators

Louis is a CS person at UW I think

[light needle]

me and a friend plan on colloborating on her paper soon, we first met here

[vagrant kestrel]

niice

[mild nebula]

Fair enough! Maybe some people do

[velvet dagger]

I feel like I'm "sorta" in collaboration zone with a lot of people lol

[deep mango]

ange is nuts

[sharp mulch]

ryc

[deep mango]

i've never met him nor worked on a paper with him

[inner finch]

in that you believe that you are but they want nothing to do with you.

[sharp mulch]

How is the paper coming along

[deep mango]

this is some crazy fever dream

[pine fulcrum]

If ur at this stage, what grouping could maybe scoop you if they collabed? Lol @velvet dagger

[sharp mulch]

Grace never did reply

[vagrant kestrel]

deny the co-authorship

[deep mango]

ange here's how the paper's going

[sharp mulch]

Grace is probably not going to be a co-author?

[velvet dagger]

I mean I'm not actively trying I'm more saying that a few people here have connected but not exactly the same interests

[sharp mulch]

She's going in acknowledgements

[deep mango]

today i used it to tell some mom i might not be able to tutor her kid

[devout nacelle]

Duel to death to decide a solo author

[deep mango]

such weirdos

[inner finch]

So this is what they mean when they say death of the author

[devout nacelle]

Yes

[deep mango]

"hey, can you try to tutor my kid so that he decides not to take these classes next year? so make it really hard and discouraging."

[devout nacelle]

Intellectual instinct<<<monke strength instincts

[deep mango]

wtf?

[inner finch]

wait what

wtf

[devout nacelle]

Lol wut

[inner finch]

i swear parents are fucking minibrained

[deep mango]

i mean it kind of makes sense for this particular case, because of certain mental illness considerations

[sharp mulch]

[deep mango]

but also i'm not like

[velvet dagger]

Lol my analysis Prof first quarter complained that the department told him to bring the class size down from 40 to 25

[deep mango]

trained in that

[velvet dagger]

He ended up doing it anyway because of his fuckin psets

But he didn't want to

[deep mango]

lol

[inner finch]

lol

[deep mango]

anyway i don't want anything to do with this

[gloomy marten]

discussion two go brerrr

since when does this exist?

[inner finch]

yeah

i wouldn''t either

that's kinda stupid

[deep mango]

i mean i'm happy to help him get prepared for hard classes next year

[devout nacelle]

At some point in my life, I would want to know more about special education and pedagogy

[deep mango]

so if i do this i'll probably just do that and let them figure it out

[pale orchid]

reminds me of the strategy of my masters program direction. the success indicators include taking in as many new students as possible, and having the students graduate on time. his solution? accept like 100 students each semester, but destroy them and make them quit on the second semester. boom, satisfy both indicators.

[deep mango]

wow

[inner finch]

lmao

[vagrant kestrel]

optimal solution

[pale orchid]

if that's not optimal, i don't know what is

[deep mango]

true

[inner finch]

where's the copypasta about math being about optimal solutions

[deep mango]

tfw no #serious-discussion pins

[inner finch]

cring

wtf someone on MSE actually being humble for once

[deep mango]

:)) you guys either need to read the full question - or you guys need to expand your notion of what mathematics is. Or both :)) Mathematics among other things is the study of pure structure. All this human activities, our institutions, everything - is structured - our mind is structure, our understanding, is the way it is because it optimizes something. Any life form is a solution to such a mathematical setup expressed as our environment. Nothing is random. A tree is not random shape. It's a solution to an optimization problem. In the tree example, it optimizes the amount of energy it captures minimizing the amount of energy / matter it uses, since if it does that well enough it can grow even bigger. And once a balance is reached then that's a tree capped and we call that a tree species. Is very hard to beat it even if you simulate it, you basically end'up with the exact same structure as nature. Now if that analogy holds - then our institutions and such - are a mathematical structure which work under the same rules.
When it comes to organizing civilization - which is basically what my question is about - then we need to find the principles underneath it all. Trouble is im not smart enough to figure this one out by myself, and also we dont have time, and i also can't find a discord channel dedicated to software architecture. Because that's also very close to such an endeavor. I don't think im in the wrong place. You guys need to flip your frame and see things from this other angle. This is why im talking about having a principled design here. If i just go and make some random setup, and later things need to be changed - which most likely will - then what? Is gonna be a complete mess. Lots of people very angry. Reorganizing everything while thousands of people are already using it. So is one of this - get it wright or get it pretty right form the beginning types of problems or you are screwed. I rely need to not make the situation even crappier then it is.

[devout nacelle]

[modest rune]

okay

maybe this is lame of me

but i absolutely hate the word mathemagician

[deep mango]

i was thinking the same thing

[devout nacelle]

[deep mango]

catYikes moment

[devout nacelle]

Understandable

[modest rune]

its just like

so cringe

[devout nacelle]

It is

[inner finch]

mathemagician guy is everywhere

[deep mango]

if you're gonna be on MSE

even if it's not your name

[modest rune]

theres also a twitter user who goes by mathemagician

and its just like

[deep mango]

just use a non-username name

[devout nacelle]

I'm on a server called Mathemagicians

[modest rune]

bleh

grossssss

manan

leave

[gloomy marten]

tfw too hyperactive to read

[modest rune]

rn

[devout nacelle]

Ahahahahhahahahaha

[pale orchid]

i'm in that server too

[modest rune]

grosser

is it for like

[gloomy marten]

cringe name xd

[modest rune]

excuse me i forget ur age manan

highschoolers

?

[inner finch]

yes

manan is a highschooler

[deep mango]

manan is not in high school

[modest rune]

the duality of man

[devout nacelle]

The server activity is mostly similar to #help-0 , just less active

[deep mango]

lmao

[dense belfry]

Oh I went down the mathemagician rabbit hole a while back

[pale orchid]

so like questions 1

[devout nacelle]

[sharp mulch]

[vagrant kestrel]

manan is skipping high school class

[gloomy marten]

With one contradiction we're able to prove anything. With this I shall prove any and all Milennium problems and claim myself multiple millions of dollars

[inner finch]

[devout nacelle]

I started as a first year this year and would also start as a second year this year

[deep mango]

Mirza is a known troll. A link is the second most basic concept in category theory after categories themselves. Yeah most people call it a pro-functor but that's objectively a bad name.

[dense belfry]

I know a bunch of people who used to know that guy in person

[pale orchid]

further proof that math is not consistent

[gloomy marten]

yes

[dense belfry]

His story seems pretty sad

[modest rune]

wait why

i feel bad shitting on him now

[dense belfry]

It seems like he has both a lot of physical and mental health problems

And he wasn't able to get into grad school a while back

[devout nacelle]

Mathemagician, the MSE/MO user?

[dense belfry]

Yeah

[devout nacelle]

Ah

[vagrant kestrel]

dang

[pure sun]

wasn't mathemagician the original name that chmonkey used when he joined this server?

🤔

[dense belfry]

Yeah

[devout nacelle]

Cringemonkey

[pure sun]

chm also didnt get into the one grad school he applied to this year

[rancid meadow]

this reminds me of the intellectualist

[pure sun]

it all checks out

[dense belfry]

Lmao

[devout nacelle]

[gloomy marten]

cringetopia

[rancid meadow]

also Ted is 13

[devout nacelle]

Oh that meme high IQ server

[rancid meadow]

its not a meme its a real place

[gloomy marten]

The final boss from Tedx?

[modest rune]

lmao

[devout nacelle]

[modest rune]

did u hear about the toddler

who just got inducted into mensa

[cold needle]

yikes

[sharp mulch]

[modest rune]

poor kid

his personality is like

[modest rune]

permanently ruined

[rancid meadow]

quotes from intellectualist

[devout nacelle]

Aren't all people inducted in Mensa toddlers

[gloomy marten]

gaming moment

[inner finch]

that sucks so hard

[gloomy marten]

me rn not even knowing what inducted means 🤰

[modest rune]

like people who are invited to join

[gloomy marten]

ahhh

[inner finch]

mensa is a joke

[modest rune]

well eyah

[inner finch]

i know a person in mensa

absolute dingus of a human being

[gloomy marten]

no, jokes are usually funny and mensa takes itself too seriously to be an antijoke 🗿

[modest rune]

any society that prides itself on superior intelligence (or really any similar characteristic) is cringe af

[inner finch]

he's not even that smart

[gloomy marten]

except if they're a cult

cults are based

[pale orchid]

mingus the dingus pie

[inner finch]

dingus bingus

[gloomy marten]

That cult with the alien jesus is based

[devout nacelle]

You're just salty because you can't fill 36 block patterns Mirza

[cold needle]

birza

[dense belfry]

Based and cultpilled

[inner finch]

[gloomy marten]

[modest rune]

i wanna start a cult

[inner finch]

le kuch zyada hi based hona has arrived

[gloomy marten]

Yes me too

[modest rune]

the cult of the True Model Category. Our main object of worship is the Model Category of Spectra that satisfies all five "impossible" axioms

praise be

[devout nacelle]

[gloomy marten]

We should start a mathemagicians cult where our members are ostracized because of the bad name and are forced to only interact with other members

[devout nacelle]

mathemagicians

[gloomy marten]

🧠

[cold needle]

theres a dead server

[dense belfry]

That's a thing that happens a lot

See eg the flat earth community

[devout nacelle]

Yes, it has already been a subject of laughter here

[cold needle]

mathemagicians

[devout nacelle]

I'm a part of it

[gloomy marten]

Yes, I do believe that was the joke

[dense belfry]

Also strict enough religious communities have that same othering effect

[gloomy marten]

Based gamers is a based cult name

[pale orchid]

it used to be much larger

but now that i checked

there is one help channel

[dense belfry]

What's your thoughts on indoctrinating your kids into the cult?

[gloomy marten]

I do not understand what half of those words mean

[vagrant kestrel]

better there than mensa

[pale orchid]

sounds like living in any culture ever, tbh

[dense belfry]

Yep

[gloomy marten]

My favorite cult is America

[inner finch]

i kinda dont like it

[gloomy marten]

[inner finch]

america

[gloomy marten]

I mean they convince their members to pay outrageous prices for anything inside the cult

🐡

[rancid meadow]

you can always google stuff TC159

[gloomy marten]

amirite lads

[rancid meadow]

you are on the internet after all

[gloomy marten]

the meme is that I don't though.

[rancid meadow]

no one really cares that you dont understand the words people use

memes are supposed to be funny I thought

[dense belfry]

Which words don't you know?

[gloomy marten]

not all of them

[gloomy marten]

I do not know the things that I do not know

[dense belfry]

I meant in this particular case lol

[gloomy marten]

I'm being bullied by mathemagicians

[dense belfry]

The best way to learn words is to read a bunch of books and learn from context

[cold needle]

Cry about it

[gloomy marten]

I googled it after don't worry

[dense belfry]

And then use them and get called out when they're slightly wrong

[gloomy marten]

Damn that was kind of cold

[pale orchid]

i used to have cups like that 3:

my mom called them "those cups you use when you exaggerate"

good times

[cold needle]

Most of the cry about it memes are good

[gloomy marten]

does she not call them that anymore

[gloomy marten]

no they're not.

What are you going to do?

Cry about it?

[pale orchid]

idk if she does, i don't live with my parents anymore

[dense belfry]

I wish I could cry about things lol

[gloomy marten]

https://tenor.com/view/tickle-polarbear-cub-cute-adorable-gif-5676719

[cold needle]

liquid does not have enough eye liquid

[torn willow]

Understandably

[pale orchid]

considerably

[dense belfry]

All of my liquids are elsewhere

[gloomy marten]

https://tenor.com/view/jojo-anime-yes-yes-yes-yeah-its-a-yes-gif-17161748

[torn willow]

Why is English so dumb

Change one letter and you change a adjective into a adverb

[dense belfry]

But yeah I was raised to think that crying wasn't a thing that guys should do

[gloomy marten]

Because the English language was subject to immense cultural differences that basically incarcerated all known common knowledge

[torn willow]

And I don't know why anyone cares about the distinction between adjectives and adverbs

[dense belfry]

Grammer is revisionist history

[rancid meadow]

its not

[sharp mulch]

[gloomy marten]

Well you see, if there's a distinction between adjectives and adverbs then linguistics majors can flex

[velvet dagger]

My parents weren't like that but when I was with family in Morocco that was very much a thing lol

[dense belfry]

I don't particularly believe in masculinity as an idea anymore but some of the consequences are still there lol

[torn willow]

Is this like how laws are written to be unreadable,so that law students can flex?

[velvet dagger]

So yeah I tend to try to suppress when I'm feeling shitty

[dense belfry]

That sucks dude

[pale orchid]

i had a japanese girl ask me once if i cried, cuz she had recently seen a guy crying over something and it was weird/creepy to her

big yikes

[gloomy marten]

I do because irrational human beings are pretty much like any other animal in the wild and there are pretty distinct character traits based on genitalia

[velvet dagger]

Covid very much tested my resolve in that regard lol. And when grad apps were going to shit that was probably the one time I had cried in the previous... idk 5 years? Lmfao

[vagrant kestrel]

cry don't cope

[pale orchid]

crope

[torn willow]

Sir,crying is a way of coping

[gloomy marten]

there are healthy ways of coping

[deep mango]

I cried because a burger place moved two blocks

[cold needle]

honestly fair

[gloomy marten]

like headpatting catgirls, it's a pretty healthy way to cope with grief

[velvet dagger]

Was it a good one?

[deep mango]

That's one of my favorite undergrad moments

Well

[dense belfry]

I don't think that masculinity is very natural lol, maybe some components of it are but a lot of it is taught via socialization