#serious-discussion

1 messages Ā· Page 440 of 1

scenic narwhal
#

Not my knowledge

blazing pawn
#

ok jmask is now based

scenic narwhal
#

Also heaven's feel was screened as each movie came out

brave hollow
#

I have only heard bad things about fate , but I guess I understand now

scenic narwhal
#

And movie screenings too

#

Grave of the fireflies

brave hollow
#

whoever is passing these bits of information to you

#

is a massive weeb

scenic narwhal
#

Akira

outer lion
blazing pawn
#

fate/zero is ok

scenic narwhal
#

Tekkon Kinkreet

blazing pawn
#

fate/stay night is bad pornography with a 100 hour story attached

scenic narwhal
#

That's all anime moth

toxic schooner
scenic narwhal
blazing pawn
scenic narwhal
#

It's supposed to be a misspelling of tekken concrete

toxic schooner
scenic narwhal
#

I think

brave hollow
#

oof

scenic narwhal
#

Idk I'm just judging based on the sounds

#

Wouldn't know what the weebs intended

brave hollow
#

I thought movie screenings would be Your Name or any other Makoto Shinkai

#

but it turns out

#

the club was based

scenic narwhal
#

Oh yeah there was one time when members went for that new movie by shinkai

#

The one 2 years ago

brave hollow
#

weathering with you?

bronze pelican
scenic narwhal
#

And all came back and said it was dumb

#

Yes

brave hollow
#

Makoto Shinkai movies have good soundtrack and animation but the plot is always lacking imo

scenic narwhal
#

True probably

brave hollow
#

except for 5 cm per second which is ok

scenic narwhal
#

I didn't like that one

#

I didn't watch it ofc

#

Like, just concept wise

#

You know being an anime movie and all

brave hollow
#

I liked 5 cms per second because I find joy in others' sufferings

scenic narwhal
#

Based

blazing pawn
#

I wonder if tekkonkinkurito is a pun i dont know enough to get

#

probably

scenic narwhal
bronze pelican
#

Makoto Shinkai movies are breathtaking

blazing pawn
#

Oh google says that the idea is that its a child mispronouncing tekkin konkurito

bronze pelican
#

I love Weathering with You

blazing pawn
#

That makes more sense

brave hollow
#

like a solid plot

blazing pawn
#

I think they look pretty but I dont really enjoy shinkais directing enough for that to sustain me through a full film

bronze pelican
blazing pawn
#

Like they are technically super impressive

#

But thats kinda it for me

scenic narwhal
#

Your name was good

brave hollow
scenic narwhal
#

Weathering eh

#

Not my opinions

#

Don't hurt me

brave hollow
blazing pawn
#

Was it

#

I thought your names plot was pretty bad and totally fell apart for the third act

brave hollow
#

it fell apart

#

but relatively speaking

#

it is one of the better plots

steel mantle
#

Your Name was cute

brave hollow
#

from shinkai movies

scenic narwhal
#

Yes it doesn't make sense that they never checked the date on their iphones

steel mantle
#

made me tear up

bronze pelican
#

I dont really care about plot that much

scenic narwhal
#

But ignoring that

bronze pelican
#

As long as it's not stupid

scenic narwhal
#

Was decent

blazing pawn
#

Im fine with things having not amazing plots if they look interesting but Shinkais films arent actually like visually exciting to me

brave hollow
#

like 5 cm per second is probably considered the best plot (except for the 2 fantasy movies)

#

but it is very weird depression for the sake of it

bronze pelican
blazing pawn
#

Yeah but thats kind of it

#

I usually just come away with the impression that a lot of time and money was spent on them

#

Which is like neat i guess

bronze pelican
#

Its beautiful

brave hollow
# steel mantle made me tear up

weathering with you made me tear up as well even though I did not really like it that much but it had to do with some triggers Shinkai uses

scenic narwhal
#

Lmao fate zero desc is amazing

brave hollow
#

||like the whole sky sequence||

#

and the buildup to it

#

with the music

blazing pawn
#

Maybe i should rewatch wicked city

#

actually what i should really do is finally watch ninja scroll

#

that movie looks like it fucks

brave hollow
#

since we have super elitist weebs in here

outer lion
brave hollow
#

I would like recommendations

#

anime like - (Welcome to NHK!!) thanks

brave hollow
blazing pawn
#

Im not an elitist weeb smh

outer lion
brave hollow
#

I just want some anime similar

bronze pelican
#

Grand escape hyperhonk

#

Mhm kot

outer lion
brave hollow
#

I am willing to watch fkn one piece if its similar to NHK

#

but it is not šŸ˜¦

outer lion
#

i haven't watched NHk too

brave hollow
#

I just like watching depressing anime , makes me feel good about myself

blazing pawn
#

what about welcome to the nhk do you like

outer lion
#

wait , have you watched it or not?

brave hollow
#

in all seriousness

bronze pelican
#

I'm the type of guy who watches Shinkai films multiple times in theaters kot

brave hollow
#

idk I like watching people lose

#

in anime

#

like even gambling anime where people lose it all

blazing pawn
#

thats kind of vague lol

#

Do you just want a show where shitty things happen to people

brave hollow
#

yeah

#

but not like gore

blazing pawn
#

now and then here and there

#

lots of shitty things happen in that show

narrow rock
#

watch wipeout

brave hollow
#

just emotionally shitty things

outer lion
#

have you watched hyouka nyann?

brave hollow
#

yes

#

good things happen in that show

#

he potentially gets a girl out of laziness

#

did not like

outer lion
#

wait isn't it the opposite

bronze pelican
#

Hyouka hyperhonk

brave hollow
#

||nah he proposes in the LN , its meta||

blazing pawn
#

I thought some new hyouka season had come out while i wasnt looking before i realized nyann is the person i am talking to

brave hollow
#

I am not trolling

#

rn

devout nacelle
outer lion
bronze pelican
brave hollow
#

I actually liked it and wanted one more episode tbh

thorn brook
scenic narwhal
#

If I were a weeb I would discriminate against myself

bronze pelican
#

What anime movies do you like @blazing pawn

outer lion
blazing pawn
#

What genre/kind

scenic narwhal
#

I'm not scared of you

blazing pawn
#

or is anything fine

brave hollow
#

and Kyoto Animations always does good animation tbh

bronze pelican
#

Any

blazing pawn
#

Oh i have a list let me post

outer lion
brave hollow
bronze pelican
scenic narwhal
brave hollow
#

but I have probably tried

#

because I remember

#

a good friend recommended

#

this to me

#

I tried watching it

#

yes I remember

#

dropped after 1st episode

#

did not like the plot

outer lion
#

damn

#

i was about to start watching it lmao

bronze pelican
#

Now I'm listening to all the Weathering with you songs

outer lion
#

me too

brave hollow
#

I am not too much into fantasy

outer lion
#

i see

brave hollow
#

it was starting to look like cute tokyo ghoul to me

#

from the 1st episode

outer lion
scenic narwhal
brave hollow
#

xD

#

tokyo ghoul not good tbh

outer lion
#

till season2 it was good

brave hollow
#

they wasted a good series

outer lion
#

at least the opening was great

brave hollow
#

season 1 is not that bad in my memory since it was one of my first anime

#

but season 2 they just started skipping 4 chapters

#

the plot was moving at a weird pace

#

some of it did not even make much sense

outer lion
#

season 3 totally didn't make any sense

brave hollow
#

I don't even remember season 3

outer lion
#

when kaneki changes to haise

brave hollow
#

I think I dropped it

#

yeah I dropped it

outer lion
#

i dropped it after a few episodes in season 3

blazing pawn
#

Ghost in the shell, wicked city, galaxy express 999, the patlabor movies, end of eva, anything ghibli obviously, kizumonogatari, utena film!, cowboy bebob movie, perfect blue, anything satoshi kon has made really but especially perfect blue paprika and sennen jouyo, angels egg

#

Uh

#

Im trying not to go into things that are just my own sick personal taste that i dont think most people would like

#

like toki no tabibito

#

@bronze pelican

outer lion
#

haven't watched even one in this list SadCat

blazing pawn
#

Watch ghost in the shell

brave hollow
#

I have watched anything ghibli obviously

blazing pawn
#

Everyone should see ghost in the shell

bronze pelican
#

I watched paprika and perfect blue I think

outer lion
#

oh alright

brave hollow
#

my favorite ghibli is totoro

#

that makes me chad

bronze pelican
#

I just remember those Movies didnt make sense opencry

brave hollow
#

yeah but they made me happy

#

I don't remember not smiling through any ghibli movie

#

EoE is just kimochi warui

outer lion
#

kimochi warui

brave hollow
#

yeah that is the last sentence

#

in that movie

#

spoiler alert

blazing pawn
#

yamin im doing a thing where i watch one movie released every year from 1979 to today catThin4K

#

er 1980

outer lion
brave hollow
#

I was going to watch perfect blue

#

don't know why I never watched it

#

is it about a loser as well?

bronze pelican
#

Oh nice

blazing pawn
#

Its about an idol who gets stalked by an obsessive fan and her slowly deteriorating mental state

#

im watching the ashita no joe film

#

the first one

#

its kinda good at times but its also SO LONG

bronze pelican
#

I like watching anime movies with friends

sharp mulch
#

You are the idol and the person stalking you is baratoth

blazing pawn
#

Lmao

outer lion
#

sadly most of my friends don't even know what anime is

bronze pelican
#

Make them watch anime movies with you

toxic schooner
outer lion
bronze pelican
distant vortex
toxic schooner
#

me too

outer lion
devout nacelle
#

Drake moment

torn willow
#

inb4 classmate

somber aspen
#

leave it that way

brave hollow
#

who has thread perms

#

@ mods

sharp mulch
#

No one

#

No threads here

somber hinge
#

You guys watch anime?

sharp mulch
#

Ah

#

YnM

thorn brook
#

Okay so I know the "Galois correspondence" between covering spaces and fundamental groups, but what are the applications of this? Can I maybe compute fundamental groups with this or what can I even do with this? So the fundamental group of the circle is Z and it has only aZ as subgroups. Can I maybe use this "hint" to show that the fundamental group of the circle is Z with this correspondence?

blazing pawn
#

@thorn brook have you seen the isomorphism of pi_1 of the base space and automorphisms of the universal cover

thorn brook
#

no I don't think so unfortunately

scenic narwhal
#

That's there in Hatcher

#

In chapter 1 itself

thorn brook
#

okay maybe I should read further before asking questions lmao

blazing pawn
#

whats the precise statement of the galois correspondence in hatcher again

thorn brook
#

okay wait I will send a picture

#

The theorem in the bottom

image0.jpg
#

and the proposition in the bottom

scenic narwhal
#

Honestly toki you should be able to say the statements without having to send the photo catThink

thorn brook
#

but it's so long

scenic narwhal
#

Like it's fine if you miss a couple conditions

#

But like you should know what the bijection is

#

And shouldn't have to go back for applications

#

Like if you describe the bijection for field extensions

odd narwhal
#

Why does hatcher not utilise paragraphs pandaOhNo

scenic narwhal
#

You would say something like subgroups of the gal grp are in bijection with intermediate field extensions

#

You should be able to say what the sets are in the bijection

#

And hopefully also say what the maps going both ways are

blazing pawn
#

Oh so hatcher hasnt done the "covers are pi_1(X, x)-sets" yet

#

I hope he does do that

scenic narwhal
#

He does later yeah

thorn brook
#

yeah I get that moldi and I do remember the statements but I was too lazy and too scared to state it because if I miss a detail then someone might get angry or somethiing lmao

scenic narwhal
#

That'd be me yes catKing

light needle
#

did hatcher talk about galois covers and stuff?

scenic narwhal
#

Lol then it's ok I'm just saying you should know what sets the bijection is between

light needle
#

or just subcovers of like, the universal cover catThink

scenic narwhal
#

I think he does

thorn brook
#

well I haven't read the whole section but so far, Hatcher has only talked about universal covers

#

but like I said, I haven't read the whole section yet so trust moldi instead

light needle
#

nice, i like galois covers bc its like p much the same condition as galois extensions

scenic narwhal
thorn brook
#

"So the fundamental group of the circle is Z and it has only aZ as subgroups. Can I maybe use this "hint" to show that the fundamental group of the circle is Z with this correspondence?" but I'm still kind of thinking about this. What if you took pi_1(SĀ¹) and only looked at the subgroups and then show that the subgroup must be of the form aZ?

#

or something idk

blazing pawn
#

well the problem is that in general groups arent determined by their subgroups

thorn brook
#

yeah okay that's true

blazing pawn
#

Though actually there is a special related case where this does work out nozoomi

scenic narwhal
#

Feels like every group should be a direct limit of its subgroups

blazing pawn
#

No

bronze pelican
blazing pawn
#

Yeah lmao

bronze pelican
#

Wait

scenic narwhal
bronze pelican
#

Direct limit in what sense

thorn brook
#

but if I show that every subgroup of pi_1(SĀ¹) is generated by one element, doesn't that imply that pi-1(SĀ¹) is an infinite cyclic group or something?

bronze pelican
#

Subgroups or quotients?

scenic narwhal
#

Like you take directed diagram of all the subgroups

#

With inclusions

#

But just realised that that includes the group itself catThink

blazing pawn
#

Z2 x Z2

scenic narwhal
#

Maybe if I make it all finitely generated subgroups

thorn brook
#

ah well crap

scenic narwhal
#

Well toki didn't say proper subgroup

blazing pawn
#

direct limit of subgroups with inclusion maps is i think just union

scenic narwhal
#

No that's only if you take an omega diagram

blazing pawn
#

I have no idea what that is

#

But anywhere there are distinct groups who have the same subgroups

scenic narwhal
#

Oh I think I was arguing for a completely different thing

#

Are you considering subgroups upto isomorphism?

blazing pawn
#

Uh wdym

scenic narwhal
#

Like are you also looking at number of copies of the subgroups and how they are embedded

#

If you do then the direct limit thing holds

#

If you don't then it will break probably

blazing pawn
#

Uh how would you construct the direct limit working with subgroups up to isomorphism hmmCat

scenic narwhal
#

I mean direct limit thing encodes pretty much the number of copies and how they embed

#

Yeah I don't think you could catThink I thought the question was not involving direct limits

blazing pawn
#

Even for finite groups

#

p-groups ruin everything

scenic narwhal
#

Like if the set of subgroups of something is the same as the set of subgroups for something else then are they the same

#

Then yeah that false

blazing pawn
#

Oh I see what you mean

scenic narwhal
#

Oh lattice of subgroups

blazing pawn
#

Yea im saying that like you can establish order preserving bijections between the subgroups of two groups i.e an isomorphism of their lattice of subgroups which doesnt imply an isomorphism of the groups as a whole

scenic narwhal
#

Damn that's a really strong counterexample lol

blazing pawn
#

Yep

#

And its finite too

scenic narwhal
#

Direct limits barely stronger

blazing pawn
#

But if you have profiniteness then there is a nice lemma nozoomi

scenic narwhal
#

Isn't profiniteness something about topological groups? monkaS

vivid halo
#

yes

#

well

blazing pawn
#

it means that its the inverse limit of its finite quotients

vivid halo
#

there's two ways you can deal with this

scenic narwhal
#

ok I see

vivid halo
#

you can work in the category Pro(FinGrp) meaning formal projective systems of finite groups and then this is just annoying

#

if you want to like, actually compute the limit of these projective systems

#

then you need topological groups to keep track of things

#

so it's usually easier to just work with the limit of this system and deal with a topology that keeps track of things

thorn brook
#

šŸ˜µā€šŸ’«

scenic narwhal
#

Same tbh

vivid halo
#

I mean take an example like the profinite completion Z^

#

if you view this as an object in Pro(FinGrp) it's like

scenic narwhal
#

I can't see exactly how a topology keeps track of things

blazing pawn
#

Z to the power of what nG explain.

vivid halo
#

the entire tower of groups Z/nZ for all finite integers n with all the reduction mod m projections Z/nZ->Z/mZ for m dividing n

#

if you compute the projective limit of this tower you just get Z^ which is the free profinite group on one generator

#

what the topology now keeps track of is that like

#

you want a subgroup to be open iff it's finite index

scenic narwhal
#

It's projective limit the same as inverse limit

vivid halo
#

mhm

scenic narwhal
#

Is*

thorn brook
modest rune
#

in a total logical fashion

#

inverse limits are limits and direct limits are colimits

vivid halo
#

me: yea, I have always known this
also me: still fucks up the direction on the arrows under lim

blazing pawn
#

that is my most hated mathematical terminology

scenic narwhal
#

I think catThink

blazing pawn
#

Wait nG isnt that not true

vivid halo
#

did I fuck it up hold on

scenic narwhal
#

But what exactly is Z^

blazing pawn
#

it has to be closed

#

as well

modest rune
#

just use the woke notation (co)lim X_i to let the reader know that which it is is an exercise

#

Pro objects are limits nG if thats what ur worried about?

scenic narwhal
#

Like what's the top

modest rune
#

(co?)filtered limits

scenic narwhal
#

Oh wait

blazing pawn
#

put the discrete topology on all the subgroups

#

take product topology of them

vivid halo
#

oh yea you're right

scenic narwhal
#

Lol that's the last part you said

vivid halo
#

A subgroup of a profinite group is open if and only if it is closed and has finite index.

scenic narwhal
#

Yeah

whole copper
#

they should rename (co)lim to just "generalisd pushout/pullback" or something... would make remembering which way the arrows go so much easier

blazing pawn
modest rune
#

its not that hard once u get used to it

#

its like left and right

vivid halo
#

right so now Z^ is the profinite group whose only finite quotients are Z/nZ for nā‰„1

blazing pawn
#

It was proven actually

modest rune
#

a priori theres no reason one is one direction or the other

vivid halo
#

much like how Z is the group whose only quotients are Z/nZ for nā‰„1, and also the infinite quotient Z

blazing pawn
vivid halo
#

the process of profinite completion has removed this single infinite quotient from Z

modest rune
#

i have a mole on my right hand and none on my left hand

whole copper
#

they should rename left and right too šŸ˜ 
call one "generalised free" and the other "generalised forgetful" or something lol

modest rune
#

but honestly i think i only truly got good at right vs left

#

once i leanred to drive

#

im actually a very good driver

vivid halo
#

nice

deep mango
#

for the record, i would never get into a car with max behind the wheel

vivid halo
#

I can drive alright just haven't had practice driving on freeways

modest rune
whole copper
#

the one I always bugger up is the symbol for adjoint, the one which looks like loss
|
---|
|
always forget which way it gos, its like an additional layer of Z2 confusion

whole copper
vivid halo
#

left -| right

whole copper
#

lol

scenic narwhal
#

I never had trouble with limits and direct inverse limits catThink maclane said note that naming is weird and I've just remembered it since

modest rune
#

im a good driver!

brave hollow
deep mango
scenic narwhal
vivid halo
#

but yea the point is like

#

in this example of Z versus Z^

#

you have removed a single infinite quotient from Z

#

since there's no actual group with this property you need the topology to keep track of this

#

(i.e. to keep track of which subgroups you're allowed to quotient by)

scenic narwhal
vivid halo
#

Z has the following quotients: Z (infinite) and Z/nZ for all nā‰„1 (finite)

scenic narwhal
#

ohh I see

#

You only keep the finite ones

vivid halo
#

Z^ has the following quotients by open subgroups: Z/nZ for all nā‰„1 (finite)

#

right, and what you're doing is like

#

enforcing those that you're allowed to keep by calling them open

scenic narwhal
#

Ok it makes sense

#

Very epic, thanks

vivid halo
scenic narwhal
deep mango
#

if i had to choose between anyone active on this server

#

you're like

#

probably second for who i would get in a car with

vivid halo
deep mango
#

buncho is first

vivid halo
#

okay that's fair

deep mango
sharp mulch
#

Lol

deep mango
#

hmm

blazing pawn
#

Where is nG on the list

deep mango
#

i really don't have a good enough read to say

scenic narwhal
#

Where is ange on the list

deep mango
#

ange is low

modest rune
#

Thatā€™s fair honestly

deep mango
#

but

scenic narwhal
#

Both sentences read the sameKEK

deep mango
#

mostly because i know ange hates cars

sharp mulch
#

I would not get in a car driven by me

deep mango
#

if ange were not opposed to cars, ange would easily be first

#

he would make a very responsible driver

#

well no

#

still second to buncho

sharp mulch
#

I got my driver's license 4 years ago and I haven't driven since

deep mango
#

ultra can drive but i really don't know

#

about that one

#

maybe for like

#

a suburban cruise

scenic narwhal
#

I'm sure his driving is appropriately hilarious.

deep mango
#

oh!

#

i would let tterra drive me somewhere

#

that's an easy one

#

tterra is clearly a responsible driver

sharp mulch
#

Really?

#

Driving in a fur suit sounds difficult

pale orchid
#

the tail gets caught under the pedals

deep mango
#

i think i would let moonbears drive me places

unborn trellis
neat lintel
#

Wow, it's bacono

#

I think we have both been absent from this server for a while

crystal stone
neat lintel
#

Is there an attendance check?

neat lintel
#

this server isn't ready for that talk

deep mango
#

but are you ready to drive me to ikea

#

i want swedish meatballs for lunch and they have nice lamps

swift steeple
#

anyone here codes and does programming in addition to math?

swift steeple
brave hollow
#

@blazing pawn I tried watchng perfect blue , I really can't tbh , more than the stalker , the abuse from family is too real I stopped at the crying scene šŸ˜¦

whole copper
#

i am a big CS math physics person, I also deadlift 300 and run a 4 minute mile

neat lintel
sharp mulch
#

Do you really run a 4 minute mile

#

I wouldn't be that surprised if you did

deep mango
#

you wouldn't!?

sharp mulch
#

jmask has stringbean cross country vibes

#

But I think it's more likely that jmask can play La Campanella by Liszt while juggling 5 balls with his feet than rule a 4 minute mile

whole copper
whole copper
whole copper
#

well... actually I think I might be severely underestimating how hard it is to juggle with feet

sharp mulch
whole copper
#

probably juggle 3 balls or something

wild lantern
#

I heard jmask is 8 ft tall and drinks a gallon of milk each day.

limber perch
#

1 feet for each ball he juggles

wild lantern
#

But has he bested a man from every country in hand to hand combat?catThink

sick burrow
#

what is this notation?

unknown.png
#

the j(m,n)

wild lantern
#

Seems like it could be anything?

sick burrow
#

it probably is function notation, but I don't see j defined anywhere

#

this is what it says next but I don't think that's helpful

unknown.png
#

maybe the author just forgot to define j opencry

inner finch
#

they remembered to

#

it's probably in invisible ink sotrue sotrue

#

put the book in the oven or however you read invisible ink sotrue

deep mango
#

i'm so done with that channel

#

oh my god

#

"marty hairie stan"

inner finch
#

who the hell is that

deep mango
#

i have no idea

#

sounds like a pornstar's name

inner finch
#

what

deep mango
#

that's rude

inner finch
#

what porn are you watching ryc

deep mango
#

i'm sorry to marty hairie

cold needle
#

What

inner finch
#

what kind of pornstar is named marty hairie stan sotrue

deep mango
#

first of all

inner finch
deep mango
#

stan is not part of the name

inner finch
#

Shutup

deep mango
#

stan is a common piece of internet lingo used to refer to an obsessive fan of something

nimble shuttle
#

@cold needle control your server

deep mango
#

the term "stan" originates from a classic eminem song

inner finch
#

shut the fuck up

#

eminems don't speak

deep mango
#

did it get scared cause of the big bad scary trolls

#

LOL

nimble shuttle
#

LOL

deep mango
#

it's getting late... better tuck in jon. better heat up a glass of milk. it's time to go to sleep.

#

or the monsters might come out and eat you!

nimble shuttle
#

Nonsense. It's only 10pm.

#

hey that reminds me where's uktra

#

Uktra

deep mango
#

isn't ultra on vacation

#

camping out in the met

nimble shuttle
#

I just work here slim

rancid meadow
#

ryc ur name is a disaster what is this

deep mango
#

i'm miu army's designated beta boytoy.

#

do you have a purpose in life?

rancid meadow
#

Sadge no

deep mango
inner finch
#

not being in miu army's designated beta boytoy is a good one

#

also jesse today i studied logic

#

shit subject

rancid meadow
#

a prof. has asked me for a sample of my work and now i am melting down

#

i dont knwo what to give them? all my typed psets are so bad

inner finch
#

of his work

deep mango
#

jesse you'll be happy to know that mirza loved it, and couldn't stop raving about how interesting it was

rancid meadow
#

not like bad marks its just like..

deep mango
rancid meadow
#

yeah

#

I asked for a reading course

#

idk

deep mango
#

me

nimble shuttle
#

sustoy

inner finch
#

sus

rancid meadow
#

he wants my transcript, a sample of my work, and a name of a prof who likes me

inner finch
#

just for a reading course???

deep mango
#

jesse what about your slides

rancid meadow
#

I wrote a report on ultraproducts for another reading course but it's not really like "work" idk

deep mango
#

for your talk

rancid meadow
#

it doesnt feel like thats what he's asking for lol

inner finch
#

Oh yeah wait couldn't u do ur talk

deep mango
#

oh that's good

inner finch
#

yeah

deep mango
#

do that

#

for sure

rancid meadow
deep mango
#

the ultraproducts thing

rancid meadow
#

Can you send: an unofficial transcript, a sample of some of your work from a course that you liked and the name of a professor who knows you well?

inner finch
leaden torrent
#

report on ultraproduct:

sully

inner finch
#

oh from a course

deep mango
#

no one's expecting original research

inner finch
#

damn

deep mango
#

the ultraproducts report sounds perfect

inner finch
#

Yeah

rancid meadow
#

well the report is from a course but i figured he wanted like a pset lol

inner finch
#

inb4 ultra fanfic

#

What wud he do with a pset thonk

rancid meadow
#

i was gna send a link to a recording of the talk too

#

okay guys

deep mango
#

you're doing great jesse

inner finch
#

yea

rancid meadow
#

i need a panic emote

inner finch
deep mango
inner finch
#

no it stands for pakistan

rancid meadow
deep mango
#

the p in pset stands for pakistan

rancid meadow
#

Nami please add

deep mango
#

FUCK

#

you beat me to it

inner finch
#

shutup ryc

rancid meadow
#

oh wait ill put it in suggestions

inner finch
#

im funnier šŸ˜Ž

deep mango
#

no you're just faster

inner finch
#

they start with f so they are isomorphic

#

jesse if u r panicking i dont think u will do bad hmmCat

#

ur pretty capable

rancid meadow
#

yeh but idk if my work backs taht up mirza opencry

inner finch
#

Im sure he doesn't expect anything too insane thonk

#

He probably just wants to see that you do any work lmao

rancid meadow
#

yeh idk

#

we'll see

inner finch
#

yeah

deep mango
#

hey i'm a student here, but i do no work

#

jesse

rancid meadow
#

I have some rough marks on my transcript due to things. so idk

deep mango
#

if you want we can all ask for reading courses from this guy

inner finch
#

Hm

deep mango
#

and then look less impressive than you

rancid meadow
#

shoutout my 51 in a stats course because I missed the 50% final opencry

inner finch
#

šŸ§ 

rancid meadow
#

rough number tho

inner finch
#

true mathcord solidarity

deep mango
#

everyone who studies SDEs

rancid meadow
#

i want to take another stats course just to make it look less bad

inner finch
#

lower everyone's expectations sotrue

rancid meadow
#

i wonder if we have a real stats course here

#

i mean im sure we do but idk which

inner finch
deep mango
#

we don't have to lie to jesse

#

in order to tell him everything is gonna be fine

light needle
#

51 yos are more bad than good, like ryc

inner finch
#

we have to lie to jesse.

rancid meadow
#

i know my place in the world

toxic schooner
inner finch
#

Jesse logic is an excellent subject sotrue

rancid meadow
#

i come here for brutal honesty and verbal beatdowns

inner finch
#

I never lie sotrue sotrue sotrue

toxic schooner
inner finch
#

Jokes aside i spent all night reading about logic today it was pretty fun

deep mango
# light needle 51 yos are more bad than good, like ryc

i bet ur dad is so disappointed, who wants to raise a son who say yo instaid of hi, do u always take the lazt way??Do u work at target and go to the local community college, i bet he asks how that degree is coming like 3 times a month

inner finch
#

Thanks for putting the seed in my head jesse hmmCat

toxic schooner
#

Oh

inner finch
#

suck deez enuts

toxic schooner
#

i thought it was rices attempt at another failed DN joke

nimble shuttle
#

ryc is seething so hard

deep mango
#

i can't believe no one pinned that when it happened sully

#

it was reposted like 17 times

#

one of those could have been pinned

inner finch
#

noooo

deep mango
#

i'm not self pinning

inner finch
#

okay im going to sleep now gn

cold needle
#

i am not pinning yet another copypasta

#

good night

inner finch
#

like fr this time

cold needle
#

it's nearly morning for you but

#

okay

inner finch
#

yes

deep mango
inner finch
#

sleep schedual moment

deep mango
#

this channel has no pins

#

pin it slim

toxic schooner
#

its nearly noon

cold needle
#

this channel will never have pins in it

#

this is the way

inner finch
#

It's 10:12 AM

cold needle
#

lmao

deep mango
#

i liked it better when metal was on the alt

#

and didn't have mod powers

light needle
cold needle
#

+9.5 hrs for india i remember now

inner finch
#

i might wait till it's 11 so i can pick up my books

inner finch
nimble shuttle
#

The reason your dad is so disappointed is that he asks himself, "Who wants to raise a son who say so instaid of hi and always take the lazt way?" instead of studying math. Math produces so many gems and visionaries because it is definitively hard, and has the hardest problems known to man, so men who consistently push themselves to solve adverse problems, will attain a generalizable ability to develop creative solutions to problems with ease as oppose to only dealing with the problems of a regular joe life, e.g. working at target and going to the local community college; people who have been through it develop street smarts and learn how to solve street problems, but you can only see so many street problems, there are thousands of benefit provision related problems in physics engineering and many other disciplines it is pure beauty! In fact, beautiful enough for him to ask you how that degree is coming like 3 times a month!

cold needle
#

rip shokiwoki and especially rip mirza

inner finch
#

sleep schedual moment

light needle
#

nerd

quasi jettyBOT
toxic schooner
inner finch
#

I woke up at 23:00 PM

deep mango
#

self-pinning is a social faux pas

inner finch
deep mango
#

thank you

ancient flame
#

bot

toxic schooner
inner finch
#

and uh

#

a logic book

toxic schooner
#

i see

deep mango
#

so you...

#

pinned the chimera copypasta in here...

light needle
deep mango
#

for no reason...

toxic schooner
#

.pin

deep mango
#

jon is literally a scardie cat.

toxic schooner
light needle
#

im actually reading through it slowly

toxic schooner
#

i tried reading it

deep mango
pale orchid
#

The reason your dad is so disappointed is that he asks himself, "Who wants to raise a son who say yo instaid of hi and always take the lazt way?" instead of studying math. Math produces so many gems and visionaries because it is definitively hard, and has the hardest problems known to man, so men who consistently push themselves to solve adverse problems, will attain a generalizable ability to develop creative solutions to problems with ease as oppose to only dealing with the problems of a regular joe life, e.g. working at target and going to the local community college; people who have been through it develop street smarts and learn how to solve street problems, but you can only see so many street problems, there are thousands of math related problems in physics engineering and many other disciplines it is pure beauty! In fact, beautiful enough for him to ask you how that degree is coming like 3 times a month!

toxic schooner
#

but then i realised i dont know anything to get any use out of that book

pale orchid
#

this is the revised version, i produced it later throughout the day yesterday

toxic schooner
#

šŸ˜”

ember finch
#

Shoki, are you already planning to do cat thy?

pale orchid
#

do read it once more and point out any other mistakes

light needle
#

yeah im reading it alongisde tom dieck

ancient flame
#

v2.0

toxic schooner
#

and now....
im scared cros

quasi jettyBOT
#

āœ…

ember finch
toxic schooner
#

if it werent for chem

devout nacelle
#

Mandatory chemistry for sciences has killed minds.

toxic schooner
#

i would have made some progress in maths

toxic schooner
pale orchid
#

the reason mandatory chemistry has killed so many minds is that it is definitely hard...

devout nacelle
#

Chemistry ruined HS for me in its entirety, and surprise surprise, I didn't have to see it once while studying pure math sotrue

nimble shuttle
#

famously high-iq subject of physics

pale orchid
#

category nuts

scenic narwhal
inner finch
neat lintel
# pale orchid The reason your dad is so disappointed is that he asks himself, "Who wants to ra...

I don't understand why people find mathematics "hard" at all. It's all just pure and simple logic. I can conjure up differential equations and predict their graphs in my head with no problem. And everyone struggling with calculus, I have to be honest, that is only the lowest tier of mathematics that even qualifies be called "mathematics". I feel pity for the people who aren't even able comprehend the pure abstract beauty in math. They will never be able to become a tenured mathematician or have any career in pure math at all. Only 1% of mathematicians can actually get somewhere with math because they are immensely talented with parents in academia who taught them higher math from their very childhood. Rest of the "mathematicians" will probably just have to end up working as a code monkey for some big corp never having to deal with any math at all.

pale orchid
#

You can't estimate my level of thinking if you don't know even elementary terminology, so this is just emotions

inner finch
#

I don't understand why people find mathematics "hard" at all. It's all just pure and simple logic. I can conjure up differential equations and predict their graphs in my head with no problem. And everyone struggling with calculus, I have to be honest, that is only the lowest tier of mathematics that even qualifies be called "mathematics". I feel pity for the people who aren't even able comprehend the pure abstract beauty in math. They will never be able to become a tenured mathematician or have any career in pure math at all. Only 1% of mathematicians can actually get somewhere with math because they are immensely talented with parents in academia who taught them higher math from their very childhood. Rest of the "mathematicians" will probably just have to end up working as a code monkey for some big corp never having to deal with any math at all.

outer lion
#

I don't understand why people find mathematics "hard" at all. It's all just pure and simple logic. I can conjure up differential equations and predict their graphs in my head with no problem. And everyone struggling with calculus, I have to be honest, that is only the lowest tier of mathematics that even qualifies be called "mathematics". I feel pity for the people who aren't even able comprehend the pure abstract beauty in math. They will never be able to become a tenured mathematician or have any career in pure math at all. Only 1% of mathematicians can actually get somewhere with math because they are immensely talented with parents in academia who taught them higher math from their very childhood. Rest of the "mathematicians" will probably just have to end up working as a code monkey for some big corp never having to deal with any math at all.

stable solar
#

I DON't uNdErsTand šŸŒŠ wHy ā“ PEopLE šŸ‘µšŸ‘µ FiNd šŸ”Ž matHemAtICs "hard" šŸ’Ž aT ā¤šŸ’¦ all. šŸ’Æ It's ALL JUST šŸ˜‚ puRe AND šŸ’° SiMpLE āšŖšŸ™… LoGIc. šŸ‘ŒšŸ‘Œ I cAn cOnjURE Up dIffeRentIAL EQUatioNs And šŸ†—šŸ’° pRedIcT theIr ā­• graPhs iN šŸ‘‰ My šŸ‘ˆ heAd WitH šŸ™… NO pRoBlEm. aND eVErYOnE šŸ‘¦ StruGgling šŸ˜«šŸ˜« With šŸ˜«šŸ‘ caLcUlus, i šŸ’°šŸ…± HAVE šŸ‘ tO šŸ’¦ BE šŸ‘ hOneSt, šŸ™ ThAt šŸ•¶šŸ‘ Is šŸˆ oNly The LOweSt šŸ’¦šŸ† tIER oF MATHemaTICS ThaT ā™„šŸ‘ˆ EVEN šŸ’ā™€ qUaliFIES BE Called "mATHEMaTics". I šŸ’°šŸ’° feEl šŸ˜Œāœ‹ PitY šŸ˜ŽšŸ”« FoR šŸ™ƒ thE PeoPle Who šŸ‘ aREn't EVeN šŸ•ššŸŒƒ abLe šŸ’Ŗ coMpREHend THe šŸ™ŠšŸ‘Œ pure ā˜€šŸ˜ abSTRAct beAuTy In šŸ½šŸ‘® MATh. šŸ‘Ø they šŸ†™šŸ‘‰ wiLl šŸ‘™ NEVeR ā® Be šŸ able TO becOmE a TenURED MaThEmAtICIan oR šŸ’ HAvE šŸˆ¶šŸ‘ anY šŸ‘šŸ‘ CAREER In šŸ’ puRe MATh āœ At aLl. šŸŒžšŸ—æ onLy 1% Of šŸ’°šŸ’¦ MaTHEmatIcIAnS can actUAlLY GET somewHeRe šŸ˜³ WITh šŸ‘ MaTh BEcAUse šŸŽ‰šŸš± tHeY šŸ‘„šŸ¼ Are šŸ’ÆšŸ˜¬ iMmeNSely TalEnteD WItH PARents šŸ‘©šŸ‘¬ In AcADemia WHO šŸ‘€ TauGhT šŸ—£šŸ—£ THEm higHER MAth šŸ˜˜āž— fRom tHEir šŸ† VerY CHIldHood. REST šŸ˜Š of šŸ˜šŸ’° tHe "mAtHemAticianS" WILL šŸ’ÆšŸ’£ PrOBABly šŸ˜† Just šŸ•› HaVE šŸ™ˆšŸ™‹ tO āž”šŸ’± END šŸ˜‚ uP šŸ• WORKing šŸ”Ø As A ā¤ā˜  coDe šŸ˜² MONkeY For šŸŽ…šŸ‘… somE big šŸ† CORP neVER šŸš« HaviNg to deaL With šŸ˜  Any MATh āž—āž— AT šŸšŸ aLl. šŸ‘ŒšŸ¤µ

pale orchid
#

oof, a lot of dedication went into that. perhaps too much. definitely too much.

torn willow
#

Those emotes ruin the pasta

#

Makes it feel unprofessional

stable solar
#

I have a spongebob text and emojify cog in one of my bots redstar

pale orchid
#

do you call both sequentially or can you pipe inputs between them?

stable solar
#

One after another but sometimes the mocking text will mess up animated emojis

neat lintel
torn willow
#

I don't understand why people make bad pastas. It's just pure and simple memery. I can conjure pastas up my head and predict their success with no problem. And for everyone struggling with making a og pasta,I have to be honest,I feel pity for you. They will never be able to become pastalord or have any career I making pastas. Only 1% of all pasta makers can actually get somewhere because they are immensely talented with parents in the pasta industry who taught them the pasta theory from their very childhood. Rest of the pasta makers will probably just have to keep copying pastas for life.

bronze pelican
#

amazing

pale orchid
#

that's pretty good

bronze pelican
#

i am so proud of this community

untold sapphire
#

yo

reef carbon
#

I don't understand why people find mathematics "hard" at all. It's all just pure and simple logic. I can conjure up differential equations and predict their graphs in my head with no problem. And everyone struggling with calculus, I have to be honest, that is only the lowest tier of mathematics that even qualifies be called "mathematics". I feel pity for the people who aren't even able comprehend the pure abstract beauty in math. They will never be able to become a tenured mathematician or have any career in pure math at all. Only 1% of mathematicians can actually get somewhere with math because they are immensely talented with parents in academia who taught them higher math from their very childhood. Rest of the "mathematicians" will probably just have to end up working as a code monkey for some big corp never having to deal with any math at all.

cold needle
#

Physics.

#

nearly done with this physics course

#

only one more hw assignment and then the final exam

devout nacelle
cold needle
#

i did really well on the previous exams

#

so im good to go basically

#

its lit

pale orchid
#

wachu looking at

cold needle
#

You.

pale orchid
devout nacelle
cold needle
vast surge
#

I don't understand why people find mathematics "hard" at all. It's all just pure and simple logic. I can conjure up differential equations and predict their graphs in my head with no problem. And everyone struggling with calculus, I have to be honest, that is only the lowest tier of mathematics that even qualifies be called "mathematics". I feel pity for the people who aren't even able comprehend the pure abstract beauty in math. They will never be able to become a tenured mathematician or have any career in pure math at all. Only 1% of mathematicians can actually get somewhere with math because they are immensely talented with parents in academia who taught them higher math from their very childhood. Rest of the "mathematicians" will probably just have to end up working as a code monkey for some big corp never having to deal with any math at all.

bronze pelican
#

I don't understand why people find mathematics "hard" at all. It's all just pure and simple logic. I can conjure up differential equations and predict their graphs in my head with no problem. And everyone struggling with calculus, I have to be honest, that is only the lowest tier of mathematics that even qualifies be called "mathematics". I feel pity for the people who aren't even able comprehend the pure abstract beauty in math. They will never be able to become a tenured mathematician or have any career in pure math at all. Only 1% of mathematicians can actually get somewhere with math because they are immensely talented with parents in academia who taught them higher math from their very childhood. Rest of the "mathematicians" will probably just have to end up working as a code monkey for some big corp never having to deal with any math at all.

toxic schooner
#

I don't understand why people find mathematics "hard" at all. It's all just pure and simple logic. I can conjure up differential equations and predict their graphs in my head with no problem. And everyone struggling with calculus, I have to be honest, that is only the lowest tier of mathematics that even qualifies be called "mathematics". I feel pity for the people who aren't even able comprehend the pure abstract beauty in math. They will never be able to become a tenured mathematician or have any career in pure math at all. Only 1% of mathematicians can actually get somewhere with math because they are immensely talented with parents in academia who taught them higher math from their very childhood. Rest of the "mathematicians" will probably just have to end up working as a code monkey for some big corp never having to deal with any math at all.

sly thistle
#

just pin the copypasta already for fucks sake

reef carbon
quasi jettyBOT
sly thistle
#

Thanks Ann

#

Wait no

torn willow
#

I don't understand why people make bad pastas. It's just pure and simple memery. I can conjure pastas up my head and predict their success with no problem. And for everyone struggling with making a og pasta,I have to be honest,I feel pity for you. They will never be able to become pastalord or have any career I making pastas. Only 1% of all pasta makers can actually get somewhere because they are immensely talented with parents in the pasta industry who taught them the pasta theory from their very childhood. Rest of the pasta makers will probably just have to keep copying pastas for life.

reef carbon
#

hehehe

brave hollow
#

I und'rstand not wherefore people maketh lacking valor pastas. T's just pure and simple mem'ry. I can conjure pastas up mine own headeth and predicteth their success with nay problem. And f'r ev'ryone struggling with making a og pasta,i has't to beest honest,i feeleth pity f'r thee. Those gents shall nev'r beest able to becometh pastal'rd 'r has't any careth'r i making pastas. Only 1% of all pasta mak'rs can actually receiveth somewh're because those gents art immensely talent'd with parents in the pasta industry who is't did teach those folk the pasta the'ry from their v'ry childhood. Rest of the pasta mak'rs shall belike just has't to keepeth copying pastas f'r life

pale orchid
#

why does this channel get no pins

vast surge
#

I down't undewstand why peopwe make bad pastas. Iwt's juwst puwe awnd simpwe memewy. I cawn conjuwe pastas up my head awnd pwedict theiw success with no pwobwem. Awnd fow evewyone stwuggwing with making a og pasta,i have tuwu be honest,i feew pity fow uwu. They wiww nevew be abwe tuwu become pastawowd ow have any caweew i making pastas. Onwy 1% of aww pasta makews cawn actuawwy get somewhewe because they awe immensewy tawented with pawents in the pasta industwy who taught thewm the pasta theowy fwom theiw vewy chiwdhood. West of the pasta makews wiww pwobabwy juwst have tuwu keep copying pastas fow wife.

pale orchid
#

The reason your dad is so disappointed is that he asks himself, "Who wants to raise a son who say yo instaid of hi and always take the lazt way?" instead of making copypasta. Pasta produces so many gems and visionaries because authoring it is definitively hard, and has the hardest problems known to man, so men who consistently push themselves to solve adverse problems, will attain a generalizable ability to develop creative solutions to problems with ease as oppose to only dealing with the problems of a regular joe life, e.g. working at target and going to the local community college; people who have been through it develop street smarts and learn how to solve street problems, but you can only see so many street problems, there are thousands of copypasta types in physics engineering and many other disciplines it is pure beauty! In fact, beautiful enough for him to ask you how that pasta is coming along like 3 times a month!

brave hollow
#

The reason yours dad is then disappointing is this himself asks himself, "who wants to raise that son that person said yo instaid for hi and always to the take lazt way?" instead for making copypasta. Pasta produces then prolific gems and visionaries due to authoring it is definitively hard, and the is hardest problems know to mans, then man that person consistently pushed themselves to solved adverse problems, would do attain that generalizabrue ability to developing create solutions to problems taking ease to oppose to only dealing the taking problems for that regular joe alive, e. g. working upon target and moving the to local community college; people that person take achieved through it developing street smarts and learned with a method to solved street problems, prevent you are a with able to only look then prolific street problems, this am thousands for copypasta types on physics engineering and prolific other disciplines it is pure beauty! on fact, beautiful enough of himself to asked you are a with a method this pasta is coming along appreciation 3 times that month!

vast surge
#

The reason yer dad be so disappointed be that there 'e asks 'imself, "who wants to raise a son who say yo instaid o' Ahoy an' always take the lazt way?" instead o' makin' copypasta. Pasta produces so many gems an' visionaries because authorin' it be definitively 'ard, an' 'as the 'ardest problems known to man, so men who consistently push themselves to solve adverse problems, will attain a generalizable ability to develop creative solutions to problems with ease as oppose to only dealin' with the problems o' a regularrr joe life, e.g. workin' at target an' goin' to the local crew college; people who 'ave been through it develop street smarts an' learn 'ow to solve street problems, but ye can only see so many street problems, there be thousands o' copypasta types in physics engineerin' an' many other disciplines it be pure beauty! in fact, beautiful enough fer 'im to ask ye 'ow that there pasta be comin' along like 3 times a month!

pale orchid
#

the pasta is metastasizing

brave hollow
#

Da reason yous dad so disappointed dat hesa asks himself, "who wants to raisen a son who sayen yo instaid of ya-hoo and always take da lazt way?" instead of maken copypasta. Pasta produces so many gems and visionaries because authoren tis definitively hard, and has da most hard problems known to manen, so men who consistently pushen themselves to solve adverse problems, will attain a generalizable ability to developen creative solutions to problems wit ease as oppose to only dealen wit da problems of a regular joe life, e. g. worken at target and goen tada local community college; people who have been through it developen street smarts and learnen how to solve street problems, but yousa can only see so many street problems, dalee thousands of copypasta types in physics engineeren and many other disciplines tis pure beauty! in fact, beautiful enough per him to asken yousa how dat pasta comen along liken 3 times a month!

devout nacelle
#

Okay let's cut it now

pale orchid
#

manan breaking the pasta

vast surge
#

The Jar Jar one was what took it too far?

devout nacelle
#

Are you assuming I was reading any of them? kekw

brave hollow
#

maybe it hit hard home

vast surge
devout nacelle
#

The length and frequency increased too much

pale orchid
#

that's what she said

devout nacelle
#

Bruh

brave hollow
#

why would she say that? guys I don't get it

devout nacelle
vast surge
#

It depends on who she is, I suppose.

#

Different people might say the same thing for totally different reasons.

brave hollow
#

can you provide an example?

pale orchid
#

your teacher looking at a modulated bump function

vast surge
#

If you asked me, "do you want to eat a cookie?" I might say "yes". Then, if you asked someone else, "is 3+7=10?" they might say "yes".

brave hollow
#

ooh

#

I was hoping your example would include "long" and "frequency" though angerysad

pale orchid
#

it did, implicitly

vast surge
#

Yeah, well, I was lazy.

devout nacelle
#

Edd's example works

pale orchid
#

the duration and modulation frequency

brave hollow
#

but all my teachers are male šŸ˜¦

pale orchid
#

ok

#

your mom looking at a modulated bump function

brave hollow
#

ok

#

I get it now

#

thanks guys

vast surge
#

I mean that's not why your mom said that to me last night, but no need to get into that.

pale orchid
devout nacelle
pale orchid
#

if your junk's frequency gets too high, you should have a dr take a look at that

#

might be peyronie's disease

vast surge
#

I just realized, you have a choice between using ZF and ZFC. That's why it's called the axiom of choice. You choose if you want to use it.

scenic narwhal
odd narwhal
#

Free will is an illusion

leaden torrent
#

imagine working with ZF when the only valid counterargument to accepting choice is that it enables LEM in some constructivist settings that dont want it

#

[insert ultraproduct sully here]

neat lintel
#

Hi everyone

chilly smelt
#

What are the other formulations of set theory like and why arenā€™t they as mainstream

vivid halo
#

Thereā€™s a categorical formulation ECTS which is somewhat mainstream among categorical logic people

#

Other than this most of the different formulations are either too weak or are inconsistent with ZFC which is why they arenā€™t mainstream

deep mango
#

I'm sure a big part of ZFC being mainstream is just that it was put together in the right place at the right time in the history of set theory.

scenic narwhal
#

Category people often work with ZFC + Tarski (or often a weaker version of Tarski)

#

Since ZFC can't formalize Set

#

(or just don't care at all, or with some topoi etc)

hollow ginkgo
#

Why canā€™t I change my nickname here?

odd narwhal
#

What's tarski?

scenic narwhal
#

White people aren't allowed to pensivebread

#

White name people I mean

hollow ginkgo
#

Then why didnā€™t it get reset?

scenic narwhal
odd narwhal
#

I see

#

Why is it necessary

scenic narwhal
#

But you can ask a mod to get it changed

scenic narwhal
#

A universe is a workaround, it is a set that behaves like a set of all sets

#

But isn't actually (eg doesn't contain itself)

odd narwhal
#

Ah I see

#

But don't we have the Von Neumann universe in ZFC?

scenic narwhal
#

It's not itself a set

#

Like not necessarily

odd narwhal
#

Yea it's a proper class

scenic narwhal
#

Yeah

#

Not in all models

#

Oh wait it is

#

But if you only do the union upto a strong inaccessible

#

If one exists

#

Then you get a set

#

Instead of unioning over all ordinals

odd narwhal
#

Ah ok, that's why that's equivalent

scenic narwhal
#

And that then behaves like a set of all sets in the sense that it's closed under all set theoretic constructions

#

Yep

odd narwhal
#

Why is a universe necessary tho?

#

In CT

scenic narwhal
#

It is convenient to have the category Set

#

More then just convenient lol

scenic narwhal
#

(after you've fixed a universe)

odd narwhal
#

Ah ok

#

So that's just to formalize it

vivid halo
#

Yea I mean most people work with ZFC plus some mild large cardinal axioms

#

Thatā€™s fine

scenic narwhal
#

I've heard there's some ag stuff that uses intuitionistic logic but idk anything about it

vivid halo
#

Well yes but that doesnā€™t have much to do with the underlying set theoretic foundations

scenic narwhal
#

Right

vivid halo
#

There is a sort of ā€œset theoryā€ internal to any topos and not all of these have excluded middle or two truth values or choice or whatever

#

I mean I think most people that have thought about foundations seriously are sort of forced into something at least very close to ZFC

scenic narwhal
#

New foundations with urelements realshit

vivid halo
#

Lmfao

#

Sure, although sometimes you do have to think about such things

#

I donā€™t think thatā€™s the issue Iā€™m alluding to. Sometimes you genuinely have to sit down and learn to use inaccessible cardinals for instance

#

Yea pretty much

#

Fair enough, although thereā€™s a surprising number of people that havenā€™t even thought this much about it

sharp mulch
#

@deep mango I've pushed the latest version

#

We are up to 41 pages now

#

You should take a look at the parallel mixed precision graphs before I upload it to Slack

deep mango
#

That's so many

#

Pages

#

Ok

pale orchid
#

41 pages

#

don't you pay like 300$ extra per page over the page limit?

#

have you checked this where you'll submit?

cold needle
#

can i join the slack

sharp mulch
#

We don't know where we're going to submit

#

The hope was that Demmel and Holtz would have ideas about where to submit

#

But they haven't said anything about it yet

#

If we submit it to a ML conference like NeurIPS or ICML then we'll trim down the main paper have like 40 papers of appendices

deep mango
#

Ok

#

Mostly looks great

#

But

sharp mulch
#

Winograd and im2col are very flat

deep mango
#

A number of the parallel plots have the blocking going under the bound

sharp mulch
#

Do they

#

Oh I see

#

Hmmmm

deep mango
#

Looks like the blocking just goes to zero (probably just "now one processor can do the whole computation"

#

So

#

Ah!

#

It's because the second parallel bound has a load balancing assumption

#

The slack is barely used at this point

sharp mulch
#

Ok let me remake the plots

deep mango
sharp mulch
#

It's fine

deep mango
#

No

sharp mulch
#

These plots are fast to make

deep mango
#

Hang on

#

No

sharp mulch
#

What

deep mango
#

What do you want to do about the legends

sharp mulch
#

I'm going to leave the legends in

deep mango
#

Aw

sharp mulch
#

If I get rid of them I need to get rid of all of them

deep mango
#

Cant they just be on the first plot on each page

sharp mulch
#

Which will be like

deep mango
#

Fine

sharp mulch
#

Several days worth of computation

#

I can maybe down the line

deep mango
#

Don't do anything yet

sharp mulch
#

Once I get to Michigan

deep mango
#

Only when we know they're 100% done

sharp mulch
#

Are you reconsidering something

#

What

#

What is 100% done

deep mango
#

Nothing right now

sharp mulch
#

Stop stalking me creep

deep mango
#

That message was for metal.

#

Hey slim? We're gonna have to ask you to leave for a bit. Take some time to yourself.

sharp mulch
#

Wait so

#

You don't want me to redo the graphs right now?

deep mango
#

Wat

#

No

sharp mulch
#

Ok

deep mango
#

I just dont want you to remove the legends

cold needle
#

ok ryc

sharp mulch
#

There was a sign error in the lower bound computation

#

Oh ok that's fine

deep mango
#

Redo the graphs if you like but

sharp mulch
#

I won't

deep mango
#

Just try to post something sooner rather than later since they never have time to read the updates we post

#

(mostly because of me)

sharp mulch
#

Lol

somber hinge
#

Guy's does anyone here knows ano bullshit introduction to proof writing

#

I mean a concise book

crystal stone
#

That's a good one

somber hinge
#

I know basics of proof

#

I mean basic logic and induction stuff

#

I will be joining a ug math soon so

#

I wanna study proof writing rigorously

inner finch
#

if u can do that i dont think u need a proof writing book hmmCat

#

moldi shut up lmao

scenic narwhal
#

You know what they meant pandacop

inner finch
#

r u asking for a book on mathematical logic krishna? Or rather a proof book with exercises for proofs and stuff like that

somber hinge
#

Math logic set theory and hopefully some no theory proofs and lessons

slim meadow
#

Velleman's How to Prove It

somber hinge
#

That's books to big and I know most of the things

#

In it

modest rune
#

Then go through it quickly

somber hinge
#

That's a good idea

modest rune
#

Lol

scenic narwhal
#

You shouldn't jump to formal logic before having seen some other math btw, logic doesn't refer to proof writing etc it's some extremely pedantic stuff you should avoid until you develop some brain rot resistance šŸ˜Œ

#

So don't pick up books that say logic and set theory right now opencry

somber hinge
#

Um

#

In first year math a popular uni in my country teaches logic,set theory and the first chapter of munkres topology

scenic narwhal
#

Yeah that's fine

somber hinge
#

In the book recommend section they had how to prove it but it's so big

#

Will take like 2 weeks

#

Or more

scenic narwhal
#

Ye you can definitely try munkres chapter 1 then

modest rune
#

A good book should take you more than 2 weeks hahahaha

#

Its okay not to finish it

calm vortex
#

My first proof based course was taught using Linear Algebra by Hoffman and Kunze as a guide

inner finch
#

my intro to proofs was the first 10 pages of apostol sotrue

somber hinge
#

That's what I want to read

cold needle
#

my intro to proofs was a whole semester using hammack book of proof sadcat

somber hinge
#

Calculus by apostle

inner finch
#

hammock

cold needle
#

ham

inner finch
torn willow
#

What if I don't know what a proof is

#

Like I think I know what it means,but I really don't

somber hinge
#

Monke.

torn willow
#

Eh who cares. I am an engineer

calm vortex
#

I would say that it is not much of a problem if do not know how to prove things rigorously

#

It mostly depends on the field of study

#

Physicists, Engineers who use mathematics a lot don't care for rigour as much as Pure Mathematicians do

#

It is better to have an intuitive understanding of mathematics in the beginning

somber hinge
#

But it's to late I have already enrolled in a math program gotta learns proofs

sharp mulch
#

Lol italian algebraic geometry goes brrrr

somber hinge
calm vortex
#

You wanted to learn Analysis right, you can learn it from Apostol or Baby Rudin or anything you like

somber hinge
#

Yeah

inner finch
#

italian algebraic geometry more like italian waste of time

calm vortex
#

There are great lectures on YouTube of Francis Su for Real Analysis I, you might probably like that

torn willow
#

inb4 french algebraic geometry

sharp mulch
#

The point about italian algebraic geometry is that they did everything intuitionistically without formal proofs

#

And then when people actually checked like half of the stuff was wrong