serious-discussion

[compact tartan]

disclaimer: I don't know shit about blender

[mild nebula]

I wish I had a reason to care about blender it looks real cool

[vagrant kestrel]

oo russian guy had the good tutorial

all that's left is rotation

for some reason you need 3 frames of information to make something move with physics

[summer nest]

Like mechanical only? Or can it also do electronic, heat and fluids?

[static loom]

fluids, cloth, some fire/smoke, much more

plus there are addons

going to bed but feel free to ask me whatever, used blender a lot

[vagrant kestrel]

mission complete

[summer nest]

Do we get computational results in the end of the simulation? Like CAD/CAE softwares?

[mild nebula]

Translation and rotation in 3D is a 6D system afaik

Blender doesn't do that?

[summer nest]

Ohh

Just the simulation animations I assume?

[compact tartan]

well posed boundary value problem?

[compact tartan]

damn where were you when I was making the server icon

[agile wedge]

probably also in bed

[somber aspen]

probably because parabola interpolation and gravity makes relatively small stuff go in parabolas?

[pale orchid]

any of you have any idea where to get a decently priced gpu? my matrix multiplications are getting too stronk and i don't wanna use uni infrastructure for personal stuff

[sleek wing]

lol I thought it was going to be for gaming

how big are these matrices bro on god

[pale orchid]

a couple terabytes

they have to be split up, some parts kept in storage, others computed on the fly, and then multiplied by chunks

trying to simulate and invert scattering problems in like 4 cm^2 of a material lol

[sleek wing]

jeeeeesussssss

[pale orchid]

yeah... when i split the 2D region into a 50x50 grid, the whole thing takes a few minutes

but the complexity is on the order of n^2, as one would expect, so

already for a 200x200 grid it takes a lot longer

[devout nacelle]

That's

[limpid venture]

Holy fuck

[fierce cloak]

Language.

[limpid venture]

Fuck you

[terse flax]

Language.

[limpid venture]

English

[south rain]

Japanese

[fierce cloak]

Your actions deem you as idiotic as a six year old.

[south rain]

Ban hammer when

[fierce cloak]

日本人ですか？

[limpid venture]

Only 6
That's kinda sad

I was hoping to go for 1

[neat lintel]

What does this mean? Most 6 year olds are not idiots, by definition. I am assuming you mean idiot in the clinical sense

[south rain]

分からない

[fierce cloak]

If your Japanese, you should know what that means.

[south rain]

Btw it's against the rules to speak other Language so I will stop

[fierce cloak]

Okay.

[fierce cloak]

I was meaning immaturity.

[south rain]

How do you think the reason I knew how to respond

[fierce cloak]

Ah yes.

[torn willow]

Laughs in Hindi posting

[fierce cloak]

But you said you do not understand.

[south rain]

Wakarimasen = don't understand
Wakaranai = don't know

[fierce cloak]

Yes.

Sorry, I thought you were referring to my mesage.

If it was, sorewakaranai, then it means I don't understand.

[south rain]

Native doesn't have to point out things

We know what stuff means 😄

[fierce cloak]

^_^ Not native.

Just learnt.

[south rain]

[fierce cloak]

No, not a weeb. I'm Chinese, born in Japan, lived in Japan for two years, went to China, and then came to Australia.

[south rain]

Jealousy

[fierce cloak]

Why?

[south rain]

Imagine going to many places

[fierce cloak]

But I don't remember now. Unfortunately.

[toxic schooner]

[toxic schooner]

[agile wedge]

[toxic schooner]

no

[neat lintel]

closet weeb smh

[toxic schooner]

im no weeb

i dont watch anime

[toxic schooner]

what the what

yea

so i can say

[neat lintel]

Guys

[toxic schooner]

[toxic schooner]

yea?

[neat lintel]

What's the best site/app to learn math?

I mean like

Nvm

[toxic schooner]

what kinda maths?

school? or university?

[neat lintel]

Like high school maths

Trigonometry and algebra

[toxic schooner]

Khan academy is pretty good

[neat lintel]

Do u know any other?

[toxic schooner]

Pauls online notes

they are also nice

if u want some lectures or stuff, u can try prof leonard on youtube

[neat lintel]

I see

What if I want to practice solving problems? Do you know any site/app that provides exercises?

[toxic schooner]

Pauls online notes, they have problems as well

[neat lintel]

Ah, okay thanks!

[toxic schooner]

[bold ferry]

[toxic schooner]

[neat lintel]

Thoughts?

[pale orchid]

[neat lintel]

I think the mistake is in the root

[pale orchid]

yeah an abs is missing

[neat lintel]

Ya

[pale orchid]

took a root of a square

lhs was negative

[sleek wing]

g-21 = lamba*6-28

[neat lintel]

😂 😂 😂

yea you should do more situps so that your abs are not missing

[devout nacelle]

[summer nest]

That's for legs

[neat lintel]

[pale orchid]

sit ups for legs

[sharp mulch]

[devout nacelle]

Is there any intuition behind Banach's Fixed Point Theorem?

[sharp mulch]

Umm

I think it's pretty intuitive

[deep mango]

if something makes your space smaller by a reasonable amount

then if you do it over and over

it's gonna crumple the space up onto a point

[devout nacelle]

Okay, that makes sense

[bronze pelican]

Algebraic topology

[devout nacelle]

[bronze pelican]

Nvm I had wrong thm in mind

[sharp mulch]

[bronze pelican]

I was thinking of Brouwers fixed pt thm

[willow pulsar]

take the mod after the root

[sharp mulch]

[devout nacelle]

The proof for Banach Fixed Point Theorem is really cool

[toxic schooner]

can i understand it?

[devout nacelle]

Possibly yes

Do you know when a sequence is said to be Cauchy?

[neat lintel]

no

teach me

[devout nacelle]

[sharp mulch]

[toxic schooner]

not really

[torn willow]

When 2 terms get infinitely close as you get infinitely big

That is cauchy

[toxic schooner]

[deep mango]

collatz hours

[rancid meadow]

well, at least it's controversial

which makes it fun

[sharp mulch]

"fun"

[devout nacelle]

I should probably start by definining a metric function. A metric function $d\colon X\times X\to\bR_{\geq 0}$ is a function on some set $X$ which obeys the following properties: \begin{enumerate}\item for any $x,y\in X$, $d(x,y)\geq 0$. You want your distances to be positive. Furthermore, $d(x,y)=0$ only when $x=y$, so that two points can be distinguished by assigning a nonzero distance between them.\\item for any $x,y\in X$, $d(x,y)=d(y,x)$. This is symmetry of distance.\\item for any $x,y,z\in X$, $d(x,y)\leq d(x,z)+d(z,y)$. This is your usual triangle inequality, and one way to look at it is that you're likely to cover ``more" distance if you travel from $x$ to $y$ detouring through some point $z$.\end{enumerate}

[rancid meadow]

better than you and ryc cryptically talking about your paper

[fathom swallow]

Manan.

[rancid meadow]

[sharp mulch]

How are we cryptic

[rancid meadow]

whats your paper about ange

[sharp mulch]

Communication avoiding numerical linear algebra

[devout nacelle]

@toxic schooner Does this make sense?

[toxic schooner]

oh u are defining a metric space? i k this already

[devout nacelle]

All that effort TeXing on phone

Alright, then we now move on to defining a Cauchy sequence

[rancid meadow]

you tex'd all that on a phone?

lmao

[deep mango]

[sharp mulch]

Oh Jesse

[toxic schooner]

as i always say, u have a lot of patience

XD

[rancid meadow]

could've just linked the wikipedia article tbh

[deep mango]

hey ange. did you prove section alpha charlie bravo of the paper yet? i'll work on lemma x7373737488xxhdhhHHDH.

[sharp mulch]

An important question in our field is equivalent to Hilbert's 10th problem over the rationals

Was it the 10th

Or the 9th

[rancid meadow]

this is what you guys talk about

[sharp mulch]

Or the 8th

The polynomial one

[rancid meadow]

the 10th is the computability one iirc

yes

[sharp mulch]

Yeah the 10th

Polynomials with rational coefficients

[rancid meadow]

Matiyasevich

[sharp mulch]

Scanlon was a co-author on that paper

[rancid meadow]

really?

[sharp mulch]

Yeah

[rancid meadow]

I didn't know he was

thats crazy

[deep mango]

what?

no

different paper

[sharp mulch]

https://arxiv.org/abs/1308.0068

Thomas Scanlon

There he is

[deep mango]

on the paper we're using

not on the matiyasevich paper

[sharp mulch]

Oh yeah

Not Matiyasevich

Lollllll

[rancid meadow]

oh that would have been way cooler lol

[deep mango]

yes, it would have

[sharp mulch]

[rancid meadow]

I actually don't know what Scanlon has done

I just know the broad area he works ijn

[sharp mulch]

I don't either

[dense belfry]

My advisor cares a lot about Hilbert's 10th problem over subrings of Q and over extensions of Q

He's written a couple of papers on it

[rancid meadow]

what's special about it?

[sharp mulch]

It's unsolved

[rancid meadow]

No, I mean specifically over subrings of Q

and extensions

I assume it's unsolved for various subrings and extensions

[dense belfry]

It's unsolved for most cases

Here's a talk he gave about the problem for subrings of Q if you're interested

[bronze pelican]

I'm gonna watch this

[rancid meadow]

Interesting

model theory of diffeqs?

What can you even talk about

[deep mango]

"motivic integration"

[rancid meadow]

is motivic integration the one where which word you capitalize matters? Or am I think of something else

[deep mango]

"Roughly speaking, motivic integration assigns to subsets of the arc space of an algebraic variety, a volume living in the Grothendieck ring of algebraic varieties."

[rancid meadow]

like "motivic integration" vs "Motivic integration"

[deep mango]

https://math.berkeley.edu/~scanlon/papers/scanlon_durham_motivic_integration_outsiders_tutorial.pdf

[rancid meadow]

isnt it supposed to be algebraic geometry - fields or something

i knew i read it in Hodges

what the fuck

Applications of model theory to chemical reactor design

i'm going to tell my family that my goal for grad school is reactor design.

maybe I can get a job teaching model theory to engineering students

anything but calculus

[deep mango]

ah yes. the standard model.

[rancid meadow]

https://arxiv.org/pdf/1509.02588.pdf

really

730 pages

[deep mango]

noetherianity

[rancid meadow]

and the lead author is a logician

or, first author, it's probably just alphabetical

but still

[toxic schooner]

is that a joke im too dumb to get?

i c

[sharp mulch]

Math papers are usually all in alphabetical order

[leaden torrent]

one quick trick to get more citations

change your last name to aaronson

[rancid meadow]

Are there any fields where this isn't the case?

[leaden torrent]

most fields

[rancid meadow]

really?

[leaden torrent]

math is the only one i know of that does it like this

[rancid meadow]

I thought most of STEM was alphabetical

[pale orchid]

change your name to et al

[rancid meadow]

the math world has the perfect power structure, of course

[modest rune]

is there also the reverse problem where people just get their name thrown on to papers for no reason

[leaden torrent]

that happens regardless though

[modest rune]

not so much in math i feel

idk

maybe thats naive

[sharp mulch]

Authorship order is a very big deal is most fields

Like CS, bio/medicine, etc...

More so when there is lab work involved

[rancid meadow]

CS continues to be a F-tier field

[leaden torrent]

CS paper structure is weird in general

since its conference based

[crystal stone]

REUs with 30 people papers so that every undergrad has a name on something

with 30 author papers*

[velvet dagger]

Honestly I prefer the math system lmao

I do not wanna have to worry about author order

How does CS work exactly?

[crystal stone]

They do it "by contribution"

So if you did "a lot" you're higher up

[sharp mulch]

I mean it's like conferences

You submit a paper to a conference

You present it there

Then it gets published (maybe) in conference proceedings

[rancid meadow]

how is a field conference based

what does that even mean

there are journals in CS I think?

[sharp mulch]

There are but they are much less important

[crystal stone]

I think the way in which a field can be conference based is that you don't get published unless you talk at a conference

[sharp mulch]

You want to submit to conferences

[crystal stone]

Or nobody cares if you're not going to conferences

[leaden torrent]

CS has journals but your prestige doesnt come from the journal

it comes from the conference

[rancid meadow]

interesting

there's no annals of computer science?

[sharp mulch]

No

[leaden torrent]

if a paper is only submitted in a journal, its not a particularly good paper

[modest rune]

weird

[leaden torrent]

(not that that makes it BAD, obviously any scientific contribution takes a lot of effort)

(and sometimes you just get less results than you hoped for)

[sharp mulch]

Like we are considering submitting to NeurIPS or ICML

[deep mango]

(hey ange. please type in parentheses).

[sharp mulch]

There was some discussion about cultural differences in math and cs and practical differences as well

What

Where do you want parentheses

[errant kiln]

(uwu)

[deep mango]

(hey ultra and nami, isn't this boring? lets dump this joint and go get milkshakes)

[errant kiln]

( )

[sharp mulch]

[velvet dagger]

What did you say? 👂

[sharp mulch]

[atomic hornet]

There are good math journals that accept cs related papers

Like more mathy cs

Like Combinatorics, Probability and Computing

[leaden torrent]

okay true

[atomic hornet]

But ik what you mean

[leaden torrent]

i was referring to stuff like ML

that only really gets treated as CS

[atomic hornet]

Oh ya idk ab that

Yea ur right

Ive seen this for like randomized algorithms related to combinatorics

Like property testing for graphs

[pale orchid]

ML doesn't only get treated as CS

[atomic hornet]

What do you think of data science undergrad degrees

They seem gimmicky

Id rather do math, stats or cs

[pale orchid]

the more math you get, the better

they can be ok, but the novelty of what you can do depends on how well you can code plus how much math you know

(and also on money/hardware availability)

[sharp mulch]

There is real data science that isn't ML

If you want to do high level data science then yes, a cs + stats double major is probably better

But if you want to do data science in industry, I think it's a good path

Additionally there is stuff that data science covers that neither stats or cs cover

[atomic hornet]

I like the good old days when companies trained you

You didnt need to go in already knowing stuff ab data science

Cs + stats seems better overall imo more well rounded then just basically preparing to be a data scientist for 4 years

From what ive heard you need a graduate degree and i think a person would be better off doing like cs or stats as a UG

[neat lintel]

Whatever major it is, I think it is good to take a good smattering of courses from all 3 departments math/cs/stats

[cinder zephyr]

Data Science degrees seem like a cash grab

Any sort of DS double major or minor or whatever is maybe better suited for a business major of some sort

like an Econ major or Finance or whatever

if you're math, stat, or CS, just take a couple courses that you're missing from the major that isn't yours and that'll be better

[hallow wasp]

you should refrain from calling degrees cash grabs, people with certain intentions go for certain degrees

[cinder zephyr]

no but I mean like

DS degrees seem very watered down and poorly put together and rushed as far as I can tell

like the uni is doing the cash grab

[hallow wasp]

I believe they are a culmination of a statistics and business concentration degrees

just because the curriculim is specifically curated doesnt mean it is rushed

[cinder zephyr]

the stats and CS knowledge is very watered down though

[hallow wasp]

clearly the intention of creation of the degree is profits, but their promises in teaching data analytics matches their curriciulm

[cinder zephyr]

like I've rarely seen them with specialized DS courses

Most degrees have their specialized courses

that are targeted to their majors

[hallow wasp]

most degrees have existed longer.

[cinder zephyr]

Sure maybe down the line they'll be better

but right now they don't seem curated like a proper degree

[hallow wasp]

based on what?

ive heard someone at my school make the same argument for geoinformatics or certain business concentrations or finance

[cinder zephyr]

Finance definitely has specialized courses wut

same with geoinformatics

at least from talking to people at my school

[hallow wasp]

at their conceptions they usually dont

also every data analytics degree is difference since its a new degree

so lots of colleges are slowly adapting the trend

obviously the point of degrees is profit and credentials, a data analytics degree accomplishes that just fine afaik

[sharp mulch]

Berkeley is leading the way with a new division in data science

The intro data science course is literally being copied by other schools

[hallow wasp]

thats how the trend usually goes, nothing new to see

that highlights the biggest problem with universities though

oversaturation of courses is a problem imo

colleges are well aware of it though, but its effects are disruptive to education imo

[sharp mulch]

[compact tartan]

Constellation without a Moderator

[woeful locust]

@vivid halo that was great actually
Do you have anymore bands like this?

[woeful locust]

I am talking abt the odium nostrum one btw
And do you have the lyrics of the song?

[vivid halo]

maybe Ulcerate? https://www.youtube.com/watch?v=kO5mMLJR3fU

their drummer is absolutely insane

also has a sort of similar angular guitar riffs

https://www.youtube.com/watch?v=U9GtKDhKz3Q

https://www.youtube.com/watch?v=fu7VMz6gqfI

Dodecahedron and Portal also have pretty wonky guitar riffs that are high up in the mix like this. This is a really old Portal album, some of their newer stuff is great too but this one really stands out as they don't master their bass like this anymore

[rancid meadow]

can someone explain what mathematical logic is to me

🙂

i see this phrase everywhere but i do not know

[sharp mulch]

Consider instead hot 2d anime men

[rancid meadow]

[sharp mulch]

[bronze pelican]

considerable :teppa:

[cold needle]

teppa

[leaden torrent]

wtf we had a music discussion and i missed it

why bother living

[narrow rock]

tteppa

[devout nacelle]

TTeppa.

[vivid halo]

https://www.youtube.com/watch?v=rEeV10RkMBs

second track is

[bronze pelican]

[vivid halo]

wait woAH I have not heard this old one

https://www.youtube.com/watch?v=yJrh0G43DJ0

banger

[sharp mulch]

[vagrant kestrel]

finding EP's of bands you like is fun

[vivid halo]

lmfao first few seconds of the Sweyy EP

"honey they're playing our song"

[vagrant kestrel]

[woeful locust]

@vivid halo thanks for those bands.I really thought black metal had nothing good to offer

[vivid halo]

for what it's worth this is pretty cleanly in the realm of death metal but it's definitely taking some influences from black metal

[woeful locust]

@vivid halo how were you able to find these bands?

Even metal archives seems to have only a very handful of information

[vivid halo]

mostly browsing youtube/bandcamp

Portal and Ulcerate and Dodecahedron definitely aren't too obscure as far as death metal goes I think

[blazing pawn]

youtube and bandcamp are so much better for finding music than spotify

imo

[vivid halo]

oh btw if you haven't heard the granddaddy of all technical death metal records https://www.youtube.com/watch?v=RCT8-Yzkzbs

how this was written in 1998 I have no idea

[woeful locust]

@vivid halo oh I see
I am actually very new to the death metal scene. I have only heard obituary, death, cannibal corpse and infant anhillator

[mint patio]

what do you mean by this? I haven't read Tao but I know that his book goes really slowly right?

Is that what you mean?

[vivid halo]

oh death is really good yea

[blazing pawn]

spotify doesnt even have the songs from the 1995 made for TV movie musical adaptation of bye bye birdie

smh

[vivid halo]

cannibal corpse is classical, infant annihilator is pretty meme but they have fun doing what they do I guess

[blazing pawn]

classical??

[woeful locust]

@vivid halo I was actually into prog,thrash, doom metal and thought abt giving a try

[vivid halo]

well classical as in like

they're definitely a staple of the genre

[blazing pawn]

u mean

classic

[crystal stone]

definition of exposition in writing "writing or speech primarily intended to convey information or to explain; a detailed statement or explanation; explanatory treatise"

[vivid halo]

oh sure

[blazing pawn]

[vivid halo]

I mean they are also classical if you compare them to like

wackier death metal

[blazing pawn]

eh i think classical should be more thought of as a specific era/period or alternatively specific genre

vs just like

[vivid halo]

yea fair enough

[blazing pawn]

"normal" vs "wackier" stuff

[vivid halo]

words

[woeful locust]

@vivid halo at least doom metal bands have a wikipedia page

[vivid halo]

oh yea lmfao

yea I like doom metal too have you listened to primitive man

primitive man is

[woeful locust]

@vivid halo thanks for another band suggestion

Today my lucky day

Do you listen to electric wizard?

[vivid halo]

oh hell yea

[woeful locust]

well atleast texas legalised drugs, we will see abt the murder

[vivid halo]

[woeful locust]

And my hate for black metal originated from those neo-nazi bands

[vivid halo]

oh another technical band I really like, no vocals and a really weird instrument lineup and way of writing their music

https://www.youtube.com/watch?v=Zt20Dj-DoTQ

and yea black metal (and to some extent some parts of death metal and metal as a whole) has a bit of a problem with that

[mint patio]

so he's not detailed enough/doesnt explain enough?

[vivid halo]

Behold the Arctopus is really fun because it's one of Colin Marston's four bands (he's the bassist in Gorguts as well) and he's a huge nerd so for this band they just write all their death metal on sheet music first before learning to play it

[woeful locust]

lets not forget that phil alsenmo literally did a nazi saltute

and mayhem well they..uhhh whatever

[vivid halo]

his other band Krallice is also really good https://www.youtube.com/watch?v=lJ0MyFfPsrA

oh god yea what is Varg doing these days I wonder

[last oxide]

I was expecting some deathcore vocals but they never came

[vivid halo]

I haven't run into him on the internet in a while

[woeful locust]

@last oxide poser /s

[last oxide]

so the new meta is listening to instrumental technical deathcore

[vivid halo]

oh also for like honest to god black metal not this death metal shit

I like a lot of Deadheaven, Oathbreaker is good, there's some really good EP from Tanpopo crisis that's really underrated https://tanpopocrisis.bandcamp.com/album/millennium-flower

[woeful locust]

probably browising through the /b/ boards of 4chan

[vivid halo]

I mean he's still on twitter I think

I occasionally see screenshots of his posts being made fun of?

lmfao

[last oxide]

I saw the judgement video of varg and he actually had a chad appearance

[vivid halo]

yea

he's just like

really politically insane lmfao

[last oxide]

ye

Il

Ik

[vivid halo]

[last oxide]

watched a few of his yt videos

[vivid halo]

lmfao at his SS camo truck

[last oxide]

i thought he was a redneck first time

and then I realized he was nordic

[woeful locust]

@vivid halo so basically black metal is made by incel 4chans lol

[vivid halo]

there's another pretty well known black/death metal band called deathspell omega that has a really funny political controversy like this

[last oxide]

its origins were

[vivid halo]

well not funny but like

[last oxide]

not anymore

and tbf burzum is kind of a mess

but Im also a relative BM poser
my fav band is prolly like

aquilus

[vivid halo]

supposedly the vocalist is a neo Nazi and all the other members are either Leninists or Stalinists

[last oxide]

[woeful locust]

@vivid halo why doesnt it surpise me anymore?

[vagrant kestrel]

this is how they get the death metal energy

[vivid halo]

I mean

[woeful locust]

and then we have megadeth
5000 minute guitar solo
I hate government
69420 min guitar soli

[last oxide]

"literally just outside"

[vivid halo]

oh here's a fun exercise

[last oxide]

hot take
megadeth got solo guitarrists they dont deserve

several times

[vivid halo]

listen to the first little bit of the first track of the Gorguts album and determine the time signature

all music is in 4/4 if you don't count like a fucking nerd

[last oxide]

I cant even count time signatures

[woeful locust]

i am pure mathematics enjoyer
I use cardanaltiy of the set to count lmao

[vagrant kestrel]

I failed at counting to 2 today

[last oxide]

the category of Set to count

[nimble shuttle]

time signatures are a social construct

count how you like

[last oxide]

social construct $\implies$ arbitrary

[fathom swallow]

Fryctal

[woeful locust]

@nimble shuttle we live in a society

[vagrant kestrel]

4/4 is different from 2/2 I swear

[last oxide]

eq class of time signatures

[narrow rock]

tool fans btfo

[nimble shuttle]

cut time fans vs. reading 32nd note enjoyers

[cinder zephyr]

32nd note enjoyer gang

[woeful locust]

tool fans= rick and morty fanbase of metal
Change my mind

[vagrant kestrel]

I knew a UGCT rick and morty fan

[narrow rock]

youve seen an actual ugct?

[rancid meadow]

ive never met a irl ugct

they only exist on the internet ultra

[narrow rock]

ive never met an actual ugct

[rancid meadow]

you only exist in the platonic realm

[vagrant kestrel]

diffgeo in the streets, category theory in the tweets

[rancid meadow]

that means it also exists in the platonic realm

please revoke your sully

true platonists believe that all true statements exist

I said true platonists, not fake ones

[vagrant kestrel]

aren't like 95% of mathematicians platonists

[rancid meadow]

95% of mathematicians have no opinion unless you prod them

probably

What Ann? I'm right

[vagrant kestrel]

oh an ann sully? you're so wrong

[rancid meadow]

mathematicians are formalist until you question their philosophy

[sharp mulch]

I don't think most mathematicians care tbh

[deep mango]

"don't meme at me." - Ann

[rancid meadow]

anyways speaking of the philosophy of math I read the first two pages of believing the axioms again

[sharp mulch]

There are certainly a subset who do

[rancid meadow]

it was good Ultra

I really liked those pages

[woeful locust]

@sharp mulch gotta find job involving n dimension knots first

[sharp mulch]

????

Why would I do that

[deep mango]

????

[narrow rock]

sussy baka

[reef carbon]

[rancid meadow]

guys. what is mathematical logic

[reef carbon]

amogus

[rancid meadow]

im actually trying to write down like enough so I know what to say and i cant

[sharp mulch]

Who is acting weird

Slime

[rancid meadow]

you are

[reef carbon]

wow i got meme'd at

[narrow rock]

slime

[reef carbon]

[rancid meadow]

im not acting weird

[sharp mulch]

[deep mango]

slime

[rancid meadow]

I'm acting like I normally do

[woeful locust]

@reef carbon u r a sussy baka

[sharp mulch]

susst

...

[deep mango]

bussy saka

[sharp mulch]

[reef carbon]

ok default pfp gremlin

[woeful locust]

bussy

hmmmm...

[reef carbon]

why should i give a shit about your opinion

[woeful locust]

@reef carbon mam this is wendys

[reef carbon]

[devout nacelle]

[deep mango]

hey can someone buy me wendy's thanks

[rancid meadow]

You're welcome. I'm going to try to finish more of N&N soon

I'm going to ask a serious question in #foundations now

honestly N&N is dog shit

[rancid meadow]

i mean it's probably good

[cold needle]

☑️

[rancid meadow]

but like ???

[woeful locust]

@neat lintel probably maggi robertson saying big mommy milkers

[deep mango]

finally a discussion 2 pin

[rancid meadow]

I don't know whats going on in it Ultra

[cold needle]

it took a lot of time for this pin

[rancid meadow]

all he does is talk about Nixon?

[cold needle]

hopefully namington doesn't undo this

[rancid meadow]

is it just Lecture 1

[sharp mulch]

[rancid meadow]

cause he's setting up to revolutionize analytic phil or something

call it Naming Tables

I'm waiting for the "water is h2o" line

[woeful locust]

have yall seen the thrist tweets of Lady D

[rancid meadow]

I think he thinks "water is h2o" ultra

idk i saw a tweet

[blazing pawn]

I think ive found the greatest youtube video ever made

[deep mango]

[errant rock]

[sharp mulch]

[rancid meadow]

shitty analytic philosopher

[blazing pawn]

this is a redundant sentence

[rancid meadow]

[deep mango]

"I think I'm the amphetamines have just caught up to me"

[vagrant kestrel]

[woeful locust]

https://youtu.be/_NzIrTwEDzU

[blazing pawn]

im so proud for introducing this to people

[deep mango]

not a sentence but ok 🙂

[errant rock]

i filter mommy milkers from every community i moderate

[sharp mulch]

[reef carbon]

mega milk

[deep mango]

[reef carbon]

we need a mirrored sully

no u

[sharp mulch]

Why are people like this

[cold needle]

you

Comply .

Totally.

i think we've made the convo awkward enough to kill mentions of motherly milkers.

we can progress as a society now

[deep mango]

pour yourself a tall glass of milk canada... because it's about to get spicy!

semyon dyatlov

[sharp mulch]

Have you read Omniscient Reader's Viewpoint

[deep mango]

he was at berkeley

worked with zworski a lot

now at MIT

care about microlocal / semiclassical analysis

my fist is gonna have some big results in his face

[cold needle]

woah

[deep mango]

perhaps i will feed him some stew

[woeful locust]

whoahhhhhh

knuckle totten tomato

[errant rock]

ultraproduct welcome back

oh goodnight

[cold needle]

lmfo

[deep mango]

lol

[cold needle]

rip xt

[woeful locust]

adios

[deep mango]

laughing my fucking off

yes

now i know

if ultra needs sleep

👊

it's so much later than i thought

[cold needle]

gm ultra

[errant rock]

it's the amphetamines

[sharp mulch]

slim have you considered hydration/electrolytes

[deep mango]

It's time for beddy bye

for everyone

[sharp mulch]

[cinder zephyr]

[blazing pawn]

@sharp mulch @deep mango should i cold email a professor of hebrew at berkeley

asking a question about a specific line in his translation of the bible

is this a faux pass

[leaden torrent]

what a weirdly specific question

[blazing pawn]

Its an important one

I found a paper about it

And I want to know what he thinks cause his translation is good

[leaden torrent]

if god is anything like grothendieck (and i have good reason to believe so), any translations of the bible are inherently faux pas.

[last oxide]

true

[blazing pawn]

huuuuurb

[willow pulsar]

guys fuck

[blazing pawn]

Its a good translation though because it has all the footnotes

[willow pulsar]

it started with manifold

[last oxide]

just send the email

you have nothing to lose

[blazing pawn]

Probably

whats the worst that could happen

right

[willow pulsar]

now i m deep down the rabbit hole

[blazing pawn]

I literally said this would happen

[willow pulsar]

what is a hilbert space

[leaden torrent]

[last oxide]

is that emmy

[leaden torrent]

a complete inner product space

[willow pulsar]

what is a inner product

i read the wiki def

[torn willow]

An inner product is a dot product

But general

[leaden torrent]

[willow pulsar]

ohh ok

[willow pulsar]

wow

[torn willow]

Well,you could remove the general part

[last oxide]

a way to encode angles and orthogonality between weird mathy shit

[torn willow]

All inner products are dot products in some basis

[blazing pawn]

kaze if you are genuinely interested in this stuff i recommend picking up a linear algebra textbook and reading through it

[leaden torrent]

basically a hilbert space is a space where you can do some form of sensible geometry and calculus

[blazing pawn]

artin

[vagrant kestrel]

an inner product is for making fake angles in fake spaces

[leaden torrent]

your inner product gives you geometry (through angles)

[blazing pawn]

Hi john

🫂

[leaden torrent]

being complete lets you do calculus

[light needle]

ih

[unborn trellis]

emphasis on some form

[light needle]

artin actually unironically has good exposition for LA

looking back

[last oxide]

being hausdorff lets you do anything useful

[light needle]

ok some tedious matrix memes

[willow pulsar]

recommend a beginner one, i know matrices vectors functions all that

[light needle]

but tbh useful way to htink about it

[unborn trellis]

locally compact hausdorff is where the fun begins

[torn willow]

Insel Friedberg

[last oxide]

second countable *

[unborn trellis]

who gives a shit

[last oxide]

[willow pulsar]

let me duck duck go it

[last oxide]

I do

[light needle]

path connected locally path connected semi-locally simply connected

[unborn trellis]

you can do analysis with locally compact hausdorff

[last oxide]

well
Ig regular, lindelof and hausdorff is where the fun begins

cause then partition of the unity memes

locally compact is too strong

[devout nacelle]

The first chapter is so horribly boring

[last oxide]

math is horribly boring

[unborn trellis]

LCAs

[devout nacelle]

I suggest Knapp's Basic Algebra

[light needle]

ok fair but matrix arithmetic

always boring

[vagrant kestrel]

does anyone have an example of an exciting math chapter?

[devout nacelle]

Agreed

[willow pulsar]

why did we develop concept like spaces in the first place?

[last oxide]

to encode space

[unborn trellis]

space is super general of a term

it's just good to have a setting for your theory

you want some ambient set in which to interpret your results

[last oxide]

set boring
set+thing not boring

[vagrant kestrel]

uh what was the first nonstandard metric

[willow pulsar]

right

[leaden torrent]

depends what you count as a metric

i would argue the discrete metric

[willow pulsar]

what is a metric

[leaden torrent]

since its just equality

but that feels like cheating

[last oxide]

taxicab

[vagrant kestrel]

ok not that liberal of a definition

[vagrant kestrel]

general distance

[willow pulsar]

ok

[leaden torrent]

then probably some sort of taxicab stuff yeah

[last oxide]

padic metric is obv the first nonstandard metric

[vagrant kestrel]

so like I can be close to someone in love-space

[last oxide]

[leaden torrent]

something nice and discrete at least

[willow pulsar]

then what are metric spaces

[last oxide]

set+metric

[leaden torrent]

a topological space defined by open balls in some metric

[unborn trellis]

some space in which you have a notion of distance

[willow pulsar]

lmao moment

[last oxide]

I mean

thats what it is

[unborn trellis]

(X, d)

[leaden torrent]

my undergrad topology prof used $\langle X, d \rangle$

[fathom swallow]

Namington

[last oxide]

[unborn trellis]

that's fucked up

[leaden torrent]

he didnt do it for

(X, T)

like a set X with topology T

[unborn trellis]

only pull out the angle brackets for inner products and cool stuff

[leaden torrent]

he just did it for metric spaces (X, d)

[last oxide]

just do xd

[sharp mulch]

What’s the worst that can happen

[willow pulsar]

when i searched about manifold i remember it was a part of space where closeness dosenot matter something about neighbourhood is this related?

[sharp mulch]

You get ignored?

[unborn trellis]

oh no

explaining the definition of a manifold is a can of worms

[willow pulsar]

okokk

[unborn trellis]

it's very technical

[leaden torrent]

a manifold is a space that, if you "zoom in", "behaves like" our standard geometry

[last oxide]

its just a cool enough surface in higher dimensions

thats a manifold

[blazing pawn]

Probably ange

[last oxide]

[willow pulsar]

nice

[blazing pawn]

But if i get ignored i will be really sad

[leaden torrent]

the actual definition of a manifold

is hell

but everyone has intuition for one

its i-know-it-when-i-see-it

[sharp mulch]

[willow pulsar]

lol ok

[unborn trellis]

nothing like reproving the same three facts about smoothness of pullbacks and chart compatibility 30 times

true nirvana

[last oxide]

I unironically have no problem with the manifold-surface interchange some texts do

[forest jackal]

wdym

[last oxide]

Ive seen some texts define surface like hdf + 2nd count + locally euclidean

and it seems just fine to me

[compact tartan]

<x, y> for independent tuples, <x; y(x)> for dependent tuples

[willow pulsar]

can 1+1 = 11 in some space?

[vagrant kestrel]

no

[leaden torrent]

trivial space

[willow pulsar]

ok

[willow pulsar]

lmao moment

[compact tartan]

I mean, F_3

[devout nacelle]

If you interpret + as concatenation of symbols, that should work

[forest jackal]

I am familiar with it, why?

[leaden torrent]

actually wait

its true in

[willow pulsar]

ok

[broken delta]

What does "space" mean here

[leaden torrent]

$\forall 1 \in \mathrm{Spec}(\bZ), 1+1=11$

[bronze pelican]

STOP

[torn willow]

tfw space is just a synonym for set

[fathom swallow]

Namington

[leaden torrent]

spec(X) is totally a space

it has a topology

not a hausdorff one but thats overrated

[compact tartan]

a space is a set with a notion of geometry on it

[willow pulsar]

someone explin

[vagrant kestrel]

we can't

[willow pulsar]

what is spec

[leaden torrent]

semi-sophisticated mathematical shitpost

[neat lintel]

[compact tartan]

(ask dumb questions get dumb answers)

[willow pulsar]

and how many 1s can a set have?!

[torn willow]

Tell me what notion of Geometry a plain vector space has

[leaden torrent]

either 0 or 1

spec(z) happens to have 0

[compact tartan]

translations

[leaden torrent]

hence the statement is vacuously true

[vagrant kestrel]

it's a deep axiom that you can't have more than 1 1

[forest jackal]

Yeah I have generated similar things for a talk many years ago, although using someone elses code. Can't remember what package/software I used actually.

[compact tartan]

you can make like a triangle

with the vectors you know

[willow pulsar]

wow

[forest jackal]

Haven't really incorporated technology in that way since I actually started proving theorems lol. I should though, it is great for teaching at summer schools and stuff.

[bronze pelican]

[forest jackal]

If I give a talk here at some point I would generate similar things.

[torn willow]

Sir, That's an affine space

[bronze pelican]

gomez please give a talk 🙏

[torn willow]

Plus,How would a define a triangle without a notion of an angle

[compact tartan]

you have the vector space acting on itself by translation

[blazing pawn]

[compact tartan]

angleness is defined by there being two vectors

[broken delta]

Each vector space have a "natural" affine space associated with it so it doesn't matter whether it's vector or affine

[compact tartan]

to distinguish angles however you need additional structure (inner product)

(think measurable sets vs measures)

[forest jackal]

at a less busy time maybe. I have a fair bit on my plate atm.

[willow pulsar]

i feel like a toddler here

[blazing pawn]

I have no idea how to title this email without sounding like a total crank

[nimble shuttle]

accept the crankery

[vagrant kestrel]

what are you asking about his bible translation again?

[blazing pawn]

but if it is crankery its not my crankery

Im asking about his thoughts on a paper

[compact tartan]

CONFIDENTIAL AND PRIVILEGED

[blazing pawn]

I dont know how to title emails like that

[rancid meadow]

BASED AND REDPILLED

[blazing pawn]

Thank you jesse

:jesse:

[vagrant kestrel]

just use the title of the paper you're asking about

[blazing pawn]

Ok but like what else

[vagrant kestrel]

that way it's not your words

no room for error

[blazing pawn]

Thoughts on "Are there two types of men in Leviticus 20:13?"
??

[rancid meadow]

i too vote for :jesse: emote.

[blazing pawn]

Like

Idk how to subject this without it being too wordy

[rancid meadow]

youre asking for thoughts on a phil paper?

is it their phil paper?

[blazing pawn]

No its someone elses paper

Its also not phil its biblical hermeneutics

[errant rock]

does this talk about the distinction between alpha and sigma males

[rancid meadow]

its on hiphil.com so you're wrong🙂

[blazing pawn]

Questions on Alternative Interpretations in "Are there two types of men in Leviticus 20:13?"
is this good

[rancid meadow]

that is good

[blazing pawn]

hiphil is a verb stem in hebrew

active causative action

[rancid meadow]

no. hi (space) phil

[blazing pawn]

or stem formation

ok antisemite

[vagrant kestrel]

hi phil

[blazing pawn]

pls ban jesse immediately

[rancid meadow]

nnoo

you've given mods a reason to publicly state why I'm not yellow yet.

[blazing pawn]

Jesse is silencing jewish voices on our traditions language and culture.

[willow pulsar]

whos your favourite mathematician?

[rancid meadow]

1. Me
2. Ultra
3. No one else

[blazing pawn]

Ok I sent it

[willow pulsar]

wow

[blazing pawn]

Plz plz plz pzl plz dont hate me

Please

[leaden torrent]

1. Daniel Quillen
2. Daniel Quillen
3. Daniel Quillen
4. Daniel Quillen
5. Daniel Quillen
6. Daniel Quillen
7. Daniel Quillen
8. Daniel Quillen
9. Daniel Quillen
10. Daniel Quillen

[rancid meadow]

become better.

[blazing pawn]

The guy i emailed is like 87

[rancid meadow]

are you sure he knows how to operate his email

[blazing pawn]

or 86

[signal oracle]

rip

[blazing pawn]

yea idek

he might just like not evne check it

thatd be really sad

[vagrant kestrel]

let's hope he's not cranky when he reads it

[rancid meadow]

just email someone else

[vagrant kestrel]

this is like emailing chomsky lmao

[blazing pawn]

but hes apparently not retired

[rancid meadow]

there must be more than one biblical hemerneutics schoalr in the world

[blazing pawn]

idk anyone else jesse

[rancid meadow]

you're fine then

Moth I asked for a reading course today and the guy I emailed said he was moving to a new university in the fall

[blazing pawn]

me showing up to berkeley in 2 years having successfully infected half the departments

[errant rock]

he should have stuck to linguistics

[blazing pawn]

hurb

I was not talking about chomsky

is chomsky still at MIT

[rancid meadow]

chomsky must get a lot of insane shit in his email no?

[blazing pawn]

will

[rancid meadow]

maybe he has a .edu filter

[vagrant kestrel]

oh I thought he was in arizona

[blazing pawn]

Luckily i have a .edu

thank u old high school

[rancid meadow]

fancy nyc school moment

i dont even have a .edu lmao

[blazing pawn]

thats weird

[rancid meadow]

toronto is literally a .ca

[errant rock]

now i wanna talk about politics with mr chomsky

[blazing pawn]

I think its because my school is old

[rancid meadow]

mail.utoronto.ca

[blazing pawn]

ish

[vagrant kestrel]

I thought toronto was .tor

[blazing pawn]

past a certain year they started making all the school emails .coms

[rancid meadow]

[blazing pawn]

regardless of fancyness

but our domain is still based

[errant rock]

i don't know much about chomsky besides some epic gamer takes on the cambodian genocide

which i think he recanted

[blazing pawn]

i dont either tbh

he seems kind of memey

but maybe hes actually megabrained

[astral marsh]

this would be good music for playing kogmaw

[thorn brook]

:catheart: where

[sly thistle]

what the fuck

whats wrong with edu

[astral marsh]

@fervent flame https://www.youtube.com/watch?v=djk-LBN6zlo&t=229s

[sharp mulch]

[junior jolt]

yo so

i want to investigate into a system of planets where there's the star in the middle

and then there's a binary of planets orbiting that star

but then one of those binary planets has its own binary of "moons" orbiting it

etc forever

picture incoming 1 sec

is there a name for this?

[deep mango]

A snowman?

[junior jolt]

i want to calculate the orbital path of the very last moon

[deep mango]

Looks like a sum of complex exponentials

[junior jolt]

i swear this problem has a name

[devout nacelle]

N-body problem?

[deep mango]

It's just like when they make circles spin to trace out a shape

And then call it fourier series

Even though that's stupid

[sharp mulch]

It's a Fourier series

[deep mango]

Sure it is

It's just complex valued fourier series

[junior jolt]

fair enough im just gonna do this

i was gonna do gravity

but then every body would affect every other body

[sharp mulch]

That's how gravity works

[deep mango]

I too would like to just do the n-body problem

That sounds like it would make me a lot of money

Anyway usually you're supposed to ignore that Ange

[sharp mulch]

Am I

[deep mango]

Yes. You are.

[sharp mulch]

Fascinating

I'm watching Alvin Zhou cook right now