#serious-discussion

1 messages · Page 521 of 1

torpid hull
#

So greater the mass lower the acceleration

neat lintel
#

a = 1/(r^2)

#

ahhhh I see it now.

toxic schooner
#

what

neat lintel
#

okay I am getting stared at.

#

I got that wrong. . .

torpid hull
#

:/

neat lintel
#

Plz forgiv, I'm shaking the rust off. ^^;

toxic schooner
#

u cant say that this will be the mass and this will be the acceleration

#

ur units are totally wrong

#

a cant be 1/r^2

#

that would have units of L^-2

torpid hull
#

It would be GM/r^2

toxic schooner
#

yes

#

this would be the force

neat lintel
#

But anything to the power of a negative exponent is just the reciprocal of that exponent. . .

toxic schooner
#

or A

#

sorory a

#

im being dumb

torpid hull
#

After eliminating mass of the body

neat lintel
#

Wait.

#

But if F = GM1M2 / r^2

#

why can't we arrive to the conclusion that GM1M2 = m

#

since F = ma?

torpid hull
#

O_o

#

Why

#

Oh i think you got it wrong

#

See the force that GM1M2/r^2 give is the force that both bodies with masses M1 and M2 apply on each other

#

So you apply GM1M2/r^2 on earth and earth does the same

#

But in case of earth, Mass = Massive
So F= Massive Mass x Acceleration
Acceleration= Force/ Massive Mass
Acceleration= 0 approx

#

In your case,
Mass = low
F= Low mass x Acceleration
Acceleration= High

neat lintel
#

Ooooh, I see what I did wrong.

#

I looked at it as F = Ma and F = G M1.M2 /r^2 and therefore Ma = G M1.M2/r^2

#

I believe that is a logical fallacy if I'm not mistaken . . .

torpid hull
#

So whenever someone says what's your importance on this planet, you can proudly respond with I keep this planet at its correct place.

neat lintel
#

hey, I guess I do!

#

Now I can prove it using science.

#

So if Kanye West or any other egoist ever asks me "Who are you." I'll reply :"The man who keeps the world in place, and I can prove it using science. Can you?"

torpid hull
#

Epic comeback

torpid hull
#

Depending on what youre calculating the acceleration for

neat lintel
#

OOOOOO

torpid hull
#

The body with mass M1 or the body with mass M2

neat lintel
#

and r^2 is just the radius i.e. the mass of the object, yes?

torpid hull
#

Distance between the 2 objects

torpid hull
#

In the case above it would be radius of earth

#

Because distance is always calculated from centre of masses of the objects

neat lintel
#

You should make a math Youtube channel.

#

You would make a killing every finals week.

torpid hull
neat lintel
#

Come to think of it. . .

#

I would make a killing every finals week.

#

I know exactly where students fall short in calculus and what problems they end up botching on midterms and finals week.

#

ugh. . .But no, I'm already doing too much as it is. . .

#

And I'm balancing it so badly that I'm losing customers on all fronts.

torpid hull
#

Well you'll eventually manage.

neat lintel
#

Yeah, it's been 5 months. But, I just finished undergrad. So it's alright to screw up a little.

#

Besides, I'm moving away from dog walking as fast as I possibly can.

torpid hull
#

What's your undergrad degree

neat lintel
#

Computer Science.

#

Right now I'm on coursera learning full stack development, I learned a lot of theory but not enough application.

torpid hull
#

Good luck

neat lintel
#

Thanks!

#

I actually have a contract to fulfil to make a website.

#

Its why I'm doing full stack on coursera, you see.

torpid hull
#

Oh nice.

neat lintel
#

Guy loved my proposal, but he wants to see more websites made.

#

My contact inside and I agreed on 4 months to build some stuff.

#

I don't know HOW I'm so lucky, but somebody on Coursera made an encryption algorithm course.

#

I itemized encryption and had NO idea how I was gonna learn it. XD

torpid hull
#

Alright gotta go man

neat lintel
#

kk!

#

Thx for the expertise!

neat lintel
#

What real analysis textbook did yall like most?

neat lintel
#

I haven't gotten to Analysis yet, but everybody always recommends that Blue and Yellow one to me. You know the one.

neat lintel
#

Uhh yeahh

#

Definitely a specific one in mind right now

fair mural
#

i’m aware that it’s a joke, but it’s funny that i can think of two analysis books that fit that description off the top of my head

neat lintel
#

The blue and yellow one with the minimalist cover.

toxic schooner
#

its very nice

#

(apostols analysis, not calc)

sick burrow
#

model theory is so cursed

#

like

#

Compactness and Lowenheim-Skolem are two of the most cursed and morally false theorems I've ever encountered and they're used in like every proof

dense belfry
#

you've never been wronger gamma

#

both of those theorems are morally true

bronze pelican
#

Morally ambiguous

dense belfry
#

you just don't have the correct picture in your head probably

#

for why they're true

bronze pelican
#

The picture is ultrafilter magic

dense belfry
#

nope

#

it's sheaves

bronze pelican
dense belfry
#

you have to think about the stone space of your theory (or rather the lindenbaum tarski algebra associated to it)

sick burrow
#

I've seen the proof that compactness is just topological compactness of stone spaces if that's what you mean (though I don't remember it off the top of my head)

#

And ok maybe from the right perspective the theorems make sense. But like their consequences are so stupid

#

"Given any integer I can find a larger integer QED there exists a nonstandard model of PA" - statements dreamed up by the utterly deranged

#

What is picture that you have where these theorems make sense

dense belfry
#

The picture is FOL has limitations in it's expressibility

#

And these theorems are capturing that failure

#

You can't finitely say that a model of PA is standard is what that statement means

#

If you want logic to work how you want it to you need more expressibility

#

And there are logical systems like that

#

Lol my keyboard isn't working rn

#

I'll give more details later I guess

#

But also I'll give you a sheaf theoretic interpretation of the completeness theorem if you want

#

Because I think it's really nice

light needle
#

yes i want that

sick burrow
#

Same

light needle
#

gamma

#

u should read

#

278x with me

sick burrow
#

What's that

light needle
sick burrow
#

Ooh looks interesting

#

Not sure if I'll have the time though, at least not for a while

#

I'm doing an REU this summer and then I'll have grad school applications

light needle
#

oh i see

sick burrow
#

Oh is this like HoTT stuff

dense belfry
#

Oh that looks lit

#

Holy shit

#

How did I not know about that

sick burrow
#

I wonder if I even have the prerequisites

#

Like I don't even know what a sheaf is

dense belfry
#

They are very intuitive

#

And not as scary as you probably think

#

I'll show you some natural sheaf structures that arise in logic later

#

About to leave my house

empty stratus
empty stratus
#

(is terrified)

neat lintel
dense belfry
#

@light needle read that with me

light needle
dense belfry
#

Okay when are you free?

light needle
#

Well it’s summer so p much all the time oof

bright hill
#

(that's not exactly a lie so I haven't read any other analysis book vampysmug )

hushed turret
#

and you're on chapter 2 KEK

muted venture
#

Does anyone know any sites where i can find some 3x3 matrix problems so i can practice LU decomp?

vivid halo
#

seriously it's not that hard

fair mural
#

tell me right now then flonshed

sleek wing
#

"it's not that hard"

fair mural
#

wikipedia makes it seem otherwise

neat frost
sleek wing
#

my notes are making it seem otherwise

neat frost
#

Noted

fair mural
#

gimme those notes then

#

otherwise

fair mural
#

alggeom

sleek wing
#

it's a sheaf, quantum

#

what else would it be

vivid halo
bronze pelican
#

Quantum sheaf cohomology

fair mural
worn garnet
#

Is anyone familar with the process of academic awards ? I have like a ~2.8 yet I was given award by my math depart for academic excellence the dean called me hardworking why even bother handing me something at the point my class rank isn't even that high

limber thunder
#

it's relative to every particular prize really, there's no general criterion for "academic awards"

#

surely your department has specific criteria for that excellence award

#

either that or the dean simply has their reasons to consider you for that award

worn garnet
#

I had managed to improve over a couple of semesters I was told by my academic advisor I qualifed but like I haven't even taken any grad courses yet

#

nor have hit every undergraduate math course

limber thunder
limber thunder
#

which year are you in

worn garnet
#
  • I learn and move at a very slow pace every other person in my program is already at grad level by now
worn garnet
limber thunder
#

oh

worn garnet
#

I'll have to do summer semester and then i'lll be done

worn garnet
worn garnet
#

@limber thunder + the dean callled me a hard-working student I was told that at least in the world of physics/tcs recommendation letters that word can be a kiss of death

limber thunder
#

it might be if your grades aren't that good

#

I can't say I know much about physics academia though

#

aside from what my friends tell me at times

worn garnet
#

Yeah my scores aren't that great :\

#

I struggled : (

worn garnet
sick burrow
limber thunder
#

a sheaf is something that looks like a sheaf

sick burrow
light needle
#

I’ll explain once I get to desktop

sick burrow
#

Sure you will

fair mural
#

if something so complex sounding is actually so simple to understand just explain it yourself lol

light needle
#

i mean its not complex sounding, and no one has any obligation to explain it to you.

#

that being said ill start my explanation

fresh oriole
#

consider a topological space, and a set of all possible pairs (U, f) where U is an open set, and f is a continuous real function on U

#

all those pairs are a sheaf

light needle
#

So a sheaf is suppose to model functions that are determined "locally" on some space X

#

so something like continous functions to R would be a sheaf, as continuity is a local property.

#

Lets make the exact defintiion

#

Let $X$ be a topological space, a presheaf of abelian groups (or rings, or vector spaces, etc) on $X$ is

  1. An abelian group $F(U)$ for each open $U\subset X$

  2. For every $V\subset U$ of open sets, we have a restriction map $\rho_{UV}:F(U)\longrightarrow F(V)$

and you need $F(\varnothing) = 0$, $\rho_{UU}= id_{F(U)}$ and $\rho_{VW}\rho_{UV} = \rho_{UW}$

flat harbor
#

enumerate

light needle
#

im fixing it smh

flat harbor
#

uwu

fathom swallowBOT
#

JohnDS

light needle
#

Ok so i want you to try to interpret this rn

#

wrt what i said about modeling function spaces

#

who asked for the explanation again lol

#

@sick burrow

grizzled grove
#

F(U) has to be abelian group or it can be ring or vector space as well?

light needle
#

yeah if its a presheaf of rings it will be rings

#

and etc etc

grizzled grove
#

Why would someone attach so many rings on each open set of topological space

#

Is it like someone wants to do smooth manifolds shit?

light needle
#

well the uses of it comes in later, but roughly speaking it allows you to measure the difference between what something looks like locally vs globally

#

sheaf cohomology makes this precise but this isnt something we need to worry about rn (that one is actually hard lol)

#

for now we will just try to understand what this means

#

and why this is modeling function spaces

grizzled grove
#

Ok so the definition is not hard to understand.

#

But what's next

light needle
#

well i want you to tell me your intuition

grizzled grove
#

About what

light needle
#

what is F(U) suppose to represent, what is rho_UV suppose to represent etc

sick burrow
#

hm

grizzled grove
#

F(U) is supposed to represent locallly a structure better than the just topological space available on X

#

Second condition is just way of passing from bigger set to smaller subset etc

hushed turret
#

i mean, im kind of led on by what you said about global/local but id guess the restriction maps are a way of zooming in on what your object looks like on a smaller scale

sick burrow
#

so like would F(U) be for example continuous functions on U?

light needle
#

sure

#

so yeah like, F(U) is supposed to be some space of functions

#

and then rho_UV is supposed to be restriction in the usual sense

ancient flame
#

F U

light needle
#

and an example? let X be any top space and F(U) cont functions U->R

grizzled grove
#

But when we are doing such general definition what other options we have for F(U) except for continuous or smooth or analytic etc type funxtions

light needle
#

this is a presheaf of R-vector spaces right

sick burrow
#

right

light needle
#

the rho_UV ofc are restrictions

#

and think about why all of what i asked makes sense

#

like rho_UU=identity

#

or F(empty)=0

#

or composition working

sick burrow
#

yeah that all makes sense

grizzled grove
light needle
#

sure but it forms an R vector space under pointwise operations right

sick burrow
#

doesn't it form more than a vector space?

#

you have pointwise addition, multiplication, and composition

light needle
#

actually right its a R-algebra

#

no composition

sick burrow
#

why not?

grizzled grove
#

Okay yeah..they do have this nice structure.

light needle
#

U->R

sick burrow
#

ohh

#

right

#

obviously

light needle
#

yeah like most function spaces have some type of nice structure

#

this is what a sheaf is trying to capture and like

#

generalize

#

so we comfortable with presheaf?

grizzled grove
#

Okay you got a nice R algebra for each open set and there is some compatibility as well

light needle
#

yeah you can do the restriction of functions and this is an R-alg homomorphism

#

from F(U)->F(V) where V<= U

#

ok so so far we kinda only capture that you are some type of functions

#

we dont necessarily capture a, local property so to speak

grizzled grove
#

We don't have R alg homo yet I think

light needle
#

like continuity is special in the sense that if you know something is locally continous everywhere its globally continous right

#

and same for most of the special type of function you know probs

#

so lets try capturing this

grizzled grove
#

What is something which is locally true but not globally?

light needle
#

boundedness for example

#

if you take F(U) to be all bounded functions U->R for example

#

boundedness locally def doesnt mean boundedness globally right

grizzled grove
#

f(x)=1/x is not locally bounded right?

#

I kinda want some concrete example of this phenomemnon

#

I think orientation is not local phenomenon? Right. So we can't talk about it.

light needle
#

So let $F$ be a presheaf on $X$, and ${U_i}_{i\in I}$ an open cover of $U$, we have 2 things we want now

  1. Locality, if we have $f,g\in F(U)$ and $f|{U_i}=g|{U_i}$ for all $i$ then $f=g$ in $U$. Here $f|{U_i}$ is shorthand for $\rho{UU_i}(f)$.

  2. gluing, if we gave a collection of functions $f_i\in F(U_i)$ and we have they agree on intesections, i.e $f_i|{U_i\cap U_j} = f_j|{U_i\cap U_j}$, then there is a $f\in F(U)$ with $f|_{U_i} = f_i$ for each $i$.

fathom swallowBOT
#

JohnDS

light needle
#

ill let u guys absorb this

grizzled grove
#

This feels like some unique analytic continuation kind of stuff

light needle
sick burrow
#

is condition 1 not redundant?

#

when would that fail?

light needle
sleek wing
#

pasting theorem type beat

flat harbor
#

well definedness isnt smth u can always take for granted

grizzled grove
#

But i wonder how would we remember this definition as easily as we remember definition of group or ring

light needle
#

yeah like keep in mind while the intuition for these are a generalization of function spaces

#

these objects can be as abstract as you want

#

ok we will put a pin in the counter example for part 1 for now

#

cause i dont wanna go through my book searching for one oof

dense belfry
#

I think I can come up with one

#

One sec

light needle
#

nice

#

but is it clear how these like, describe function spaces?

#

the two sheaf conditions,

dense belfry
#

Okay so locality is a quotient condition

grizzled grove
#

No it will be clear to me if we know of some presheaf which is not a sheaf

light needle
#

try F(U) = bounded functions U->R as i said before

#

check it doesnt satisfy the gluing condition

dense belfry
#

So let's just assign to every open set the same set of global functions

#

So when you restrict to an open set, you will have many copies of the same functions

#

When you restrict in a sheaf, locality quotients the set of sections (the functions on the open set) so copies are identified

grizzled grove
light needle
#

yeah

dense belfry
#

So in particular you can just take the presheaf which assigns to each open set the set of all globally continuous functions on a manifold (in manifolds you can always extend a continuous function on an open set to the whole manifold) and interpret that set of functions as the restriction of the function to your open set

#

And that will satisfy gluing but not locality

grizzled grove
#

Well then we are kinda leaving out lot of interesting things such as bounded functions space when we go to sheaf. But Do we have a good example of something which is not a presheaf as well?

dense belfry
#

SSK do you understand my example?

#

Oh John I told you I would tell you about interpreting the completeness theorem as gluing

#

So here's the sheaf setup

light needle
#

yes but prob not today im near the end of my sleep lol

dense belfry
#

Oh okay

#

Sure

light needle
#

or near the end of my awake

#

also r @sick burrow @hushed turret still around

hushed turret
#

i am long past the time to be awake

light needle
#

fair lol

hushed turret
#

trying to make sense of this but my brain is not in gear lol sorry

grizzled grove
#

Let me try to say what i understood. You mean to say we cannot extrapolate to the full manifold? Because if we can then can we end up in two different functions?

light needle
#

but yeah like the upshot is sheaves are just generalizing what it means to be functions that can be determined locally

dense belfry
#

No I'm saying that that's just an example where locality isn't satisfied

grizzled grove
#

Locality says if equal on small parts they must be equal on whole

#

Right?

dense belfry
#

Hmm actually maybe this example doesn't work

grizzled grove
#

The point 1

dense belfry
hushed turret
#

we do a little trolling

dense belfry
#

There's a slight subtlety I have to think about here lol

light needle
#

i mean to be fair also in practice we never really worry about condition 1 lolz

#

its just condition 2

#

ok

#

my book has one

dense belfry
#

Yeah I was being silly

hushed turret
bronze pelican
#

👀

dense belfry
#

I was misparsing what locality meant in my head

#

Ah well

grizzled grove
#

I think point 1 may make difference in non nice topological spaces

bronze pelican
#

What we doing here

hushed turret
#

explaining sheaves

grizzled grove
dense belfry
#

Okay so two functions which agree on every open subset but don't agree globally

light needle
#

Suppose $X$ is a riemann surface. let $$F(U)= O^\star(U)/ exp(O(U))$$ $O^\star (U)$ is the holomorphic functions $U\longrightarrow \bC^\star$ and $O(U)$ the usual holomorphic functions

fathom swallowBOT
#

JohnDS

bronze pelican
#

A sheaf is a generalized covering space thinkies

dense belfry
light needle
#

this doesnt satisfy locality

#

you need to do some modding out ig

#

to violate condition 1

dense belfry
#

Okay here's a more trivial example

#

Like really trivial

#

One sec

light needle
#

yeah i didnt really want to go in my book cause this might have too much like

#

geo prereqs

#

oops

bronze pelican
hushed turret
grizzled grove
#

But what is a good example of not a presheaf

grizzled grove
light needle
#

its just complex exponential pointwise

bronze pelican
#

This is a pretty weird class of functions

light needle
#

its like, how far away are my functions away from having a log i guess

dense belfry
#

Okay so imagine the topological space consisting of the natural numbers plus 2 points at infinity

bronze pelican
#

Nonvanishing holomorphic functions modulo exponential of holomorphic functions

sick burrow
#

I'm around but spacing out

bronze pelican
#

Idk how to think about this

dense belfry
#

So the situation with this is I want each natural number to be an open set

bronze pelican
dense belfry
#

Hmm I should probably flesh this out before I post it

#

Lol

light needle
#

hmm good question i think this is true?

hushed turret
#

anyway im gonna go to sleep it's 1:44 AM starebleak

light needle
#

like yeah its like, integrating some closed form

hushed turret
#

gn yall

light needle
#

which is exact bc simply connected?

flat harbor
#

sweet dreems

grizzled grove
#

Are we all nocturnal humans here

pastel temple
#

not by choice, not by choice...

bronze pelican
#

This is actually an equivalent condition for the domain to be simply connected. If every nonvaninshing holomorphic function has a holomorphic logarithm

light needle
#

interesting so F is somehow measuring number of holes

bronze pelican
#

I see

dense belfry
#

Have a good night twice

light needle
#

too bad its not a sheaf we coulda done some fun stuff with it

bronze pelican
#

Its not a sheaf?

light needle
#

yeah it doesnt satisfy locality

bronze pelican
#

Then why did you mention it

#

Oh ok

light needle
#

as a counterexample to locality

bronze pelican
#

Whats locality here

light needle
#

if u agree on a open cover on U then u agree on U

bronze pelican
light needle
#

yeah this also intuitively makes sense

dense belfry
#

I cannot think about such things

light needle
#

cause having a hole is not a local property

#

right

dense belfry
grizzled grove
#

It's requiring quite geometric intution

#

But what is difference in locality and gluing

light needle
#

gluing tells you you can glue together local info, locality tells you this will be unique

grizzled grove
#

I see

dense belfry
#

Locality is saying "if a global section exists, then it agreeing with another global section on an open cover implies they are the same function", gluing says "if I have a bunch of sections defined on a cover and they agree on intersections, then there is a global section obtained from gluing things together"

grizzled grove
#

So this is sometimes called ringed space? When presheaf is tings

#

Rings

dense belfry
#

Yeah when you take values in rings

light needle
#

sure a space with a sheaf of rings is called a ringed space

bronze pelican
dense belfry
#

So in the case of logic the rings you take value in are boolean rings

light needle
#

so take a non-simply connected set and an open cover by simply connected sets

#

every f agrees on the restrictions cause they r 1 on the restriction right

#

but not every f is the same ofc

bronze pelican
#

Ohhhhh

#

f restricted to any simply connected region is the "trivial" section

grizzled grove
#

Sheaves are used in logics too?

light needle
#

yeah

bronze pelican
#

That makes a lot of sense

grizzled grove
#

I thought it's just algebraic geometry oriented

bronze pelican
#

Thanks johnDS

#

Yeah thats very not a sheaf

#

Good

light needle
#

yep

lavish isle
#

chef

bronze pelican
#

Sheaf chef

light needle
#

infact one of the fathers of like, category theory, maclane, wrote a book on using sheaves in logic

#

so it was kind of there from the get go

bronze pelican
#

Its like the opposite of a sheaf. It captures global data

light needle
#

yeah its a wierd object

dense belfry
#

So open sets get assigned to the boolean algebra of formula modulo equivalence on the set of complete theories that are described by the open set

grizzled grove
#

But ultimately aren't we just doing some sort of generalized functional analysis with abstract objects

dense belfry
#

Boolean algebras/boolean rings are exactly associative algebras over the field with 2 elements

bronze pelican
#

So long as we are talking about sheaves, I like to mention a really good example of a sheaf is a covering space

dense belfry
#

So that's what the sheaf you get is

light needle
#

oh this sounds cool emma

bronze pelican
dense belfry
#

You can also have your sheaf take values in algebras over a complete boolean algebra (which is what boolean valued models does)

light needle
#

espace etale 🙂

grizzled grove
dense belfry
#

Sections on an open set are consistent theories with respect to that open set, global sections are consistent theories

#

Completeness let's you glue locally consistent theories together to get a globally consistent theory

#

Stalks in this interpretation are just the boolean algebra 2

#

They aren't this in general though

#

Lol

#

I'll give more detail when John isn't tired

light needle
#

yeah oop

dense belfry
#

Anyway John imma hit you up for categorical logic in a couple of days I think

light needle
#

nice yeah

dense belfry
#

I also have a really cool book called toposes and local set theories

#

That we can look at a little

light needle
#

do u like the idea of reading outloud in vc, thats how i usually do this stuff, leads to richer discussions

dense belfry
#

Yeah I like that

#

I like doing math that way

grizzled grove
#

Where are number theory discussions 🧐?

bronze pelican
light needle
#

yamin i didnt get an email back from CTNT yet

bronze pelican
#

I'm waiting for my friend to get response before I make travel plans

grizzled grove
#

Is Keith conrad teaching ?

bronze pelican
#

Because he might drive me

#

Yknow they changed the date if the event

light needle
#

yeah i think so

grizzled grove
#

Nice

light needle
#

also nice ny moment

#

connecticut plane tickets cost quite a bit

#

for some reason

grizzled grove
#

Idk they will upload on yt

#

Like they did for previous

#

I watched a few lectures from 2020 version I think

light needle
#

Nice

bronze pelican
#

Yeah maybe email them asking for an update

light needle
#

Yeah I’ll do that before I go to sleep probs

still lance
#

What do you guys use to take notes with? I've been using physical journals and while they've been fine I've been accumulating a lot of them for various subjects and topics. I feel like physically writing helps me remember stuff, but I was interested in any recommendations in general or stuff related to stuff used to take notes for math. I've also had the same issue with doing problem sets which have led me to accumulate notebooks. I'm interested in any recommendations or any organizational tips.

pastel temple
#

a4 paper and lots of sheet protectors

grizzled grove
#

Scan them all and keep it in online drive

velvet dagger
#

The website still says June 6-12, when is it now?

#

Oh hmm

still lance
pastel temple
#

oh, for what you've written so far i don't know, scanning and printing them sounds inefficient but i lack sleep and i can't think of anyhting better

#

for new things that you will write from now on, having free sheets of paper that you can organize however you want is pretty convenient tho

still lance
still lance
charred mortar
#

Plane tickets in general have become far pricier

charred mortar
#

I’ve seen flights that were literally over 5x what they used to be

pastel temple
#

binder?

#

is that the name

#

these bad boys

still lance
vivid halo
still lance
vivid halo
#

yes learn latex for this

#

most people either use overleaf, which is an online latex editor, or download a latex editor to use offline

#

overleaf is kinda slow and annoying but it's nice if you have multiple people working on the same document and want stuff synched to the cloud

#

latex does have a bit of a learning curve but it's not that bad, you get good and fast with it with some practice

#

since a lot of the learning curve is just knowing what the right command is for common math symbols

still lance
# vivid halo this site helps: https://detexify.kirelabs.org/classify.html

thanks for the help
i was just wondering if you felt there was a difference in your ability to learn and grasp concepts with typing things up vs. physically writing notes
i feel like part of the reason i haven't made the jump to taking online notes was because i've had good results with writing it down although i definitelt plan to look into this and evaluate how it fits me

vivid halo
#

yeah there is definitely a difference for me

#

the main benefit of handwriting instead of typing in terms of retention is that handwriting forces you to slow down, so you're processing the information at a more reasonable rate

#

that said for most things I feel like I have to do both handwriting and typing. Usually handwriting as a first pass and then typing as a second

#

the benefit of typing things carefully in latex is it forces you to write something fairly polished and complete, with the benefit that you end up with documents that you can share with people if you finish them

#

also has the benefit of being able to edit easier

still lance
vivid halo
#

when I have to do psets I just type them up from the beginning

#

since it's a lot easier to be able to go through and edit your solutions while you're working on them

#

and yes depending on what papers/books I'm working through I'll usually handwrite notes and then type them up as a second pass

bronze pelican
#

New emote concept: blursed sully

neat frost
#

Blursed surly

charred mortar
#

blushed sully

vast surge
light needle
#

blursed i imagine

bright hill
#

Ah yes, the floor is made out of floor

unreal ore
#

69 looks nice. 420 also looks nice. But can this be called "nice"?

#

,w Famous people who born on 4/20

fathom swallowBOT
bright hill
#

bruh, prohet mohammad was born on 4/20?

#

bruh, I just noticed adolf is there too opencry

deep mango
#

napoleon

neat frost
#

Andy Circus

fair mural
brave wraith
#

this is correct right?

unreal ore
#

Yes

brave wraith
#

ok

bronze pelican
#

i like how peter scholze has his own fancams

surreal sapphire
#

wtf is this

#

this channel lmao

brave wraith
#

random question, is x log x = log x^x

#

yes right?

unreal ore
#

Yes

torpid hull
bronze pelican
# surreal sapphire this channel lmao

It's 134th Birthday anniversary of Srinivasa Ramanujan today otherwise known as National Mathematics day in India.

Instead of talking about the already well discussed and today's centre of attraction- The taxicab number 1729 , I'd like to mention few things about Ramanujan's 1916 paper " On certain Arithmetical functions " and its impact on Ma...

▶ Play video
#

I cant stop laughing

cyan goblet
#

math edits are hilarious

bronze pelican
surreal sapphire
#

why the copyright of pursuingstacks

cyan goblet
#

meme theft is no joke these days

bronze pelican
#

I cant get over "The tale of Naruto Uzumaki" played while flashing through images of Grothendeick

hushed turret
#

that is brilliant

gray loom
#

Is anyone just able to rewrite this or something

#

I have no idea how it's wrong

#

I've done all kinds of little tricks to get the numbers to match with the video that tells me the answer

#

It even tells me the formula

#

But I have no idea how it's wrong

#

It's impossible

#

I can't tell if the video is wrong and I'm just going fucking insane

#

The first selection should be .00514 but it's just not

#

And the total should just be .0255 but it is obviously not

toxic schooner
toxic schooner
#

FUCK NOOOOOOO

fair mural
#

time to delete 15 messages

toxic schooner
#

ok i have 69417 now

#

what do i do for my 69420th message (Someone ping me with something nice)

maiden nest
#

3n+1 = 1

frigid lark
#

Well I missed my 1337

surreal sapphire
#

shyshu never posting again waiting for a good 69420

sick burrow
#

Talking about mathematical logic while cuddling call that forking and spooning

bright hill
#

@toxic schooner post blushy sully

alpine kindle
#

what's up

#

gamers

bright hill
#

ally is here hype

neat lintel
hushed turret
#

hi ally
how r you

odd narwhal
neat frost
neat lintel
#

No I did that wrong. . . .

#

Fun fact : inv(log_a(b)) = b^a

#

Because logs are just the inverses of exponentials.

neat frost
#

Almost….

neat lintel
#

I haven't touched calc in awhile, but I remember that from self-study.

#

that makes no sense

#

Okay. . . .?

neat frost
neat lintel
#

Ahhh~ gotcha, misremembered.

#

Wait, I remember now.

#

@neat frost That's not quite right either.

#

I forgot the log_a(b) = y and therefore it should be b = a^y

#

Inversions are just taking the outputs and swapping them with inputs with the inverted function.

#

So if you had f(x) = log_a(x) your input is x and your output is why.

#

y*

#

meaning, the input of its inverse b^(y) gets the ouput x.

toxic schooner
#

never

#

i guess i will just do a catthink for the 69420th message

#

dont have any other ideas, and no one pinged me with a good one

surreal kindle
#

according to cnn 80% of Russias population support the assault on Ukraine

#

They must be held at gunpoint or something xd

bright hill
frigid lark
#

Maybe confess to Slurp as your 69420th message

toxic schooner
#

what

bright hill
neat lintel
neat frost
#

What does that even mean

neat lintel
#

Somebody likes you?

#

Which is. . . Good for you I guess?

neat frost
neat lintel
#

As long as the admirer isn't abhorrent, just take the free ego boost.

neat frost
#

Shyshu is too old for me anyway whatcanisay

neat lintel
#

Bad luck for Shyshu, I guess?

#

On the bright side : An older guy likes you. Good for you! (Edit: Older man sounds weird. . .)

fair mural
neat frost
frigid lark
#

what age gap is ok?

neat lintel
# frigid lark what age gap is ok?

I mean, older guys who attract younger women seem to attract specific types of younger women if Robert Greene or kidology are correct.

neat lintel
#

Okay, a movie that finally has actual code ; I'm totally watching this.

neat lintel
# fair mural

Hey, meme at my parents and aunts, they are the ones who drilled this into me. lmfao.

neat frost
#

flonshed boomer

bright hill
#

Good morning slurp

neat frost
#

Good morning DarQ, how did you sleep?

bright hill
#

I'm awake rn by sheer force of will and obscene amounts of caffeine

neat lintel
#

I'm awake because insomnia woke me up at fucking 3 am.

#

And now I'm hopped up on Vyvanse and adderal.

neat frost
bright hill
#

Sotrue

bright hill
#

Does that mean I'll be a boomer in a few days?

neat frost
#

Yesh

#

Boomer.

bright hill
#

I'm ancient

neat frost
#

Yesh

neat lintel
#

Yo, zoomer @neat frost stop overusing that term, or its eventually going to mean nothing.

neat frost
#

Don’t tell me what to do normie

#

They’re all boomers

#

And they must become self aware

neat lintel
#

Don't tell me what to tell you what to do, freak.

neat frost
#

It is my responsibility to do so

#

EXCUSE ME

neat lintel
#

WHAT!?

neat frost
#

WHAT DID YOU JUST CALL ME, NORMIE

neat lintel
#

I CALLED YOU A FREAK, FREAK.

neat frost
#

FCKIN NORMIE

bright hill
#

If we're all boomers than you're a child

neat lintel
#

HECKIN FREAK

#

HMPH

#

Also, since we're not allowed to talk about the Ukraine crisis here : https://www.youtube.com/channel/UC5_npTvQVSZ28Kc8wvffPew watch this youtube channel for updates.

#

Mr. Friedman has taught me a lot about geopolitics with this channel.

#

Though, his videos are on the lengthy side.

bright hill
#

I can live with being a boomer if slurp is a toddler.

wary relic
#

Hi, I'm writing a report about quantum computing. I know this may be a little hard to understand without context, but does the explanation/derivation that I've given here seem clear? I'm specifically referring to how the function in the power of -1 gets turned into +-

neat lintel
#

Also, whoever did that Latex should be fired, one left '(' bracket and 3 right ')' brackets???

wary relic
#

Just realised that the last line is missing the lhs

neat lintel
#

Both of them are.

#

both the top line and case 1.

wary relic
#

those are angle brackets used to indicate quantum states

#

they're basically the equivalent of vector notation

neat lintel
#

oh . . .Oh wow this is above my math skills. . .lmfao.

#

So, what class is this for?

wary relic
#

it's not a class tbh, it's my CS dissertation

neat lintel
#

Masters or PHD?

wary relic
#

which is a personal project

#

Bachelors actually xD

neat lintel
#

Wow. . .

#

Amazing. . . .

wary relic
#

thanks

neat lintel
#

Yeah, I've got some studying to do.

neat frost
#

Boomer.

bright hill
#

toddler.

neat frost
#

How's your back, old man?

bright hill
#

pretty fine, child

#

did you drink your milk?

neat frost
#

No

#

🤢

bright hill
#

you need calcium for a back as healthy as mine

neat frost
#

hmmCat no

bright hill
#

is "no" supposed to be your witty come back?

neat frost
bright hill
#

I was playing on your level catshrug

neat frost
#

hmmCat no

torn willow
bright hill
torn willow
#

Nvm it's tensor product

neat lintel
# wary relic thanks

Got a github or bitbucket to share? Can use a shot of inspiration for code, you've given me my shot for studying math believe it or not.

wary relic
#

I do but there's not much on it

neat lintel
#

Really?

wary relic
#

I do have what I'm currently working on

#

it's called shors algorithm

#

let me send you that

neat lintel
#

Aaaa~ so you're specialty is making algorithms.

#

Sure, I'd love to look at it.

pastel temple
#

speaking of algorithms

wary relic
pastel temple
#

is there a formal theory of algorithms?

wary relic
#

yes there is a somewhat formal theory

torn willow
#

Oh nice you implemented shor's

wary relic
#

haha yes

pastel temple
#

or something finer

wary relic
torn willow
#

So um so you build these quantum circuits out of quantum gates right?

wary relic
#

yes

wary relic
neat lintel
#

Is Physics, Calculus, Multivariable calculus and Linear Algebra enough of a prerequisite for studying quantum physics?

wary relic
#

CS students generally start with a topic called "Algorithms and Data Structures" and potentially cover Computability theory.

pastel temple
#

yeah i'm one such student

neat lintel
#

Oh. Forgot about that.

#

Which is ironic, because I'm good at linear algebra.

torn willow
#

LA,stats and physics should be enough

pastel temple
#

lambda calculus and turing machines are very cool but it doesn't say anything about designing algorithms like you said

wary relic
#

Complexity theory comes later, usually at Masters/PhD level, I think

torn willow
wary relic
torn willow
#

It's part of engineering more than cs

#

Although cs gives you some inbuilt algorithms

#

It's upto you to incorporate everything and make a good algorithm

neat lintel
#

There is a point where Engineering and Computer Science intersect, no?

#

Kind of like a not all humans wear sandals situation?

torn willow
#

Kind of yea

#

You have some core algorithms

#

You incorporate principles from those into your algorithm

#

I don't think you can study "how to make algorithms" ,you can however study existing algorithms and learn to reduce your problem to one that is solved

#

For example,Sorting is important because a big chunk of problems are reduced to sorting

neat lintel
pastel temple
#

aggressive common sense

torn willow
#

Sometimes,I just want to forget I do cs

#

All the good algorithms are a mix of math and ingenuity

pastel temple
#

i'm a """cs""" student but i don't feel like i can call myself that

torn willow
#

The only good parts of cs are implementing some cool thing

#

Like OSes and Networks

#

That's my opinion

waxen lily
#

counter strike student

neat lintel
#

What about making Google?

#

Or Amazon?

torn willow
#

Well, I mean that's more engineering ingenuity

#

And marketing

pastel temple
#

that's a good part of cs

torn willow
#

Studying cs won't help you design algorithms smh

#

Practicing to design algorithms will

calm frost
#

do you think that is it possible to tackle advanced probability(measure based) without having done naive version(like ross)?

neat lintel
pastel temple
#

what does amazon implement?

#

the recommender system?

neat lintel
#

Hey, to be fair? It's a GOOD assed recommended system.

wary relic
torn willow
#

Well, It matches buyers with sellers

#

The Amazon system is a lot of things

pastel temple
#

tfw dijkstra is a physics graduate or something

wary relic
#

when you look into it, most algorithms are created by mathematicians

torn willow
neat lintel
#

Aren't all algorithms literal mathematics but implemented?

torn willow
#

Ok actually physicist by training

wary relic
#

but tbh at the academic level the line between mathematics, cs, engineering and even physics can get quite blurry

#

such as for example in quantum computing

torn willow
#

Yea true

wary relic
#

worst thing about being a CS student for me is never ending impostor syndrome

torn willow
#

Why do all the cool people not have a cs degree

pastel temple
#

well

#

cool people don't need to learn javascript

torn willow
#

Everyone who is a prominent computer scientist is either an electrical engineer, mathematician or physicist by training

neat lintel
#

But then again, I'm taking a light starting job so I can study and do modeling, so. . . . .

torn willow
#

Actually, That's probably because cs is such an young field

atomic hornet
#

In theory areas ya

pastel temple
#

rename computer science to computer usage when??

neat lintel
pastel temple
#

CRUD science

torn willow
wary relic
#

personally I think CS should be split into "Applciations of Computing" and "Computer Science", or "Theoretical CS"...

torn willow
#

Like how do you optimize X query

neat lintel
#

optimize X query?

pastel temple
torn willow
#

I think FAANG work will be optimising some really specific thing

neat lintel
torn willow
#

Yea probably CRUD science

neat lintel
#

From what I understand, architects need to go through a lot of politics before they make anything (which means its going slow...LOL)

pastel temple
#

They probably still do a bunch of rnd tho

neat lintel
#

Bro, listen. . .You aren't doing RND fresh out of college.

#

Unless you're a genius, you're just NOT.

#

and even a 22 year old genius has an underdeveloped frontal lobe.

torn willow
#

What

neat lintel
#

Google it. . . .

pastel temple
#

Maybe like if you go far back enough in history to where mathematicians had the official job title of herbalist or whatever, eventually everything involved in the current cs landscape will mesh together and create math 2

neat lintel
#

You're not considered a full human before 25 for a reason.

torn willow
#

idk sounds like bullshit

wanton panther
#

its true

neat lintel
atomic hornet
#

Most people ik that got jobs at faang after college said it’s p boring

#

A few left and decided to get a phd

wanton panther
#

your fluid intelligence is still developing till the age of 25, after that it starts dropping

pastel temple
neat lintel
neat lintel
pastel temple
#

I'm almost 25 bro...

neat lintel
#

The general wisdom is at 25 you are as smart as you are going to get, and you are on the decline from there. HOWEVER . . . .

wanton panther
neat lintel
#

When you consider most CEOs or leaders of industry are old, you have to really question that.

wanton panther
pastel temple
#

I have no skills, they are all new

neat lintel
#

Now, according to this book I read : Late Boomers, a German University conducted a study in which older people were taught new things and new grey matter was formed.

#

A child can obviously learn faster than an adult, but an adult can learn without restriction as long as one keeps their emotions in check.

#

Further : There seems to be a correlation between consistently reading / learning and having a small / no decline.

wanton panther
#

hmm... i see

pastel temple
#

I mean

#

I like music

wanton panther
pastel temple
#

A lot of musicians i know developed hugely in their 40s

wary relic
#

There's a podcast run by a neuroscientist called Andrew Huberman. He talks about neuroplasticity in a few of the episodes. Highly recommend.

pastel temple
#

Well, not a lot, the best really

wary relic
#

I recall that by 25 your neuroplasticity drops drastically

neat lintel
wanton panther
neat lintel
pastel temple
#

My brain shall soon turn into an ice cube

wanton panther
neat lintel
wary relic
pastel temple
#

I've always been a terrible learner

wanton panther
neat lintel
#

Then again, that probably has more to do with my erratic sleep.

#

Calling my insurance today to go to a sleep center.

#

This sleep basically keeps me at 40% at all times.

wanton panther
#

at what time do you sleep?

neat lintel
#

I slept at 9 pm last night.

#

Woke up at 3 am today, so that means I went through a light sleep cycle for some reason.

#

Thing is : This is NOT the first time this has happened.

#

3 weeks ago, I did nothing but play Elden Ring for a week and I slept well that whole week.

#

The week after that I slept well again.

#

But I haven't really touched Elden Ring or any game since then. It's been work work work.

#

I think my body is trying to tell me to take a break? But I wanna do the sleep study just to be sure.

wanton panther
#

Hmm...stress sounds like a plausible cause

neat lintel
#

If its stress, then I need something besides gaming to de-stress.

#

Because I am NOT drinking to de-stress.

wanton panther
#

have you tried taking afternoon naps?

#

like lil power naps maybe

neat lintel
#

That's the neat part. . . .

#

My body FORCES a LOT of naps in the afternoon lately.

#

I still feel my jaw clenching unconsciously.

#

And it takes a huge bite out of my day.

#

Started meditating regularly again.

#

10 minutes Mon-Sat , 1 hour on Sunday.

wanton panther
#

does meditating help with the sleepiness?

neat lintel
#

No, that sleepiness mostly because of the Vyvanse / adderal combination pushing me to a crash.

#

When I started adderal, the daytime napping was a fucking plague.

#

12 noon - 2 pm napping until 5 or 7.

#

And if that happened? FORGET sleeping at night, lmfao.

#

And no, the stims aren't the cause of insomnia.

#

My insomnia started at 28 after I did 3 months of nofap if I'm not mistaken.

#

Maybe before that?

wanton panther
#

hmm....if the stims and the nofap are all normal to you then i'm inclined to believe it's mostly the stress that's the cause

#

like your brain just needs some rest

neat lintel
#

Probably.

#

So, I'm going to let myself game after I finish making this product for my side hustle.

#

I'm SO close to being finished and its the BEST looking thing I've ever made.

#

My customers are gonna fucking love this.

wanton panther
#

what is it?

neat lintel
#

p/m me, It's not something I can go around telling everyone about you know? (It's not illegal, before you get any ideas)

wanton panther
#

lol ok

torn willow
#

I guess toc

pastel temple
#

i'm in epic burnout-mode

#

a bit of it self-inflicted

#

i have to learn some things i don't care about but i actually WANT to learn a bunch of other things

#

but i can't, physically, do it at anything above snail pace

wanton panther
#

I've got a chem test in a week but i've been developing some major interest in psychology recently

#

it's one of the dopest things i ever learned about

pastel temple
#

like what?

wanton panther
#

like that crystallised, fluid intelligence thing I was talking about

#

that's psychology

pastel temple
#

right

wanton panther
#

and obviously there's also content about mental illnesses(which I do read up into) but I mostly want to learn more about development

#

wbu, what are the buncha things you wanna learn?

torn willow
#

Well,I had an interest in psychology until I realised it isn't very developed

#

Like I don't think theories in psychology can be held up to the same level of scrutiny as in physics or chemistry

torn willow
#

I am looking to specialise in things that I find useful tbh

wanton panther
pastel temple
wanton panther
wanton panther
torn willow
#

Well,Not really sure so I am just gonna do the basics

#

And then some graph theory

pastel temple
torn willow
#

Basics like topology and real analysis

pastel temple
#

And whatever comes after that when it's time

wanton panther
wanton panther
pastel temple
#

I believe having intuition in those two will make a lot of things easier for me

toxic schooner
toxic schooner
lilac girder
#

Hey guysss

#

How are you

graceful glade
torpid hull
graceful glade
#

Test me

torpid hull
#

Some other time

torpid hull
graceful glade
#

I'm from UK

#

Automatically +1 points for me

torpid hull
#

Well... Im Australian but I don't think that it means anything

torpid hull
graceful glade
#

Okay

#

Uk>Australia

#

Im so good at inequalities

#

y>2x+7

#

Y=mx+c

#

I've got Maths test tomorrow

torpid hull
#

@graceful glade I can see the lack of...

#

Braincells

torpid hull
bright hill
#

@neat frost you tricked me

waxen lily
torpid hull
#

Sleep time.

waxen lily
#

yessir

#

gn

toxic schooner
bright hill
#

slurp is older than I am and they were calling me a boomer opencry

toxic schooner
#

she?

bright hill
toxic schooner
bright hill
#

they said they were a girl but I'm not sure what they're pronouns are

neat lintel
bright hill
neat lintel
#

WHY IS IT SUMMER IN THE SPRING

neat frost
#

Everyone has a crush on me

#

Also youre most definitely a boomer and I most definitely am not

bright hill
#

slurp, you're a "she" right?

neat frost
#

Also you are older than me DarQ

toxic schooner
#

whats devastation in that

neat lintel
#

its hot outside

neat frost
#

fckin boomers

bright hill
toxic schooner
neat frost
bright hill
#

I'm super confused rn

neat frost
#

why

bright hill
#

slurp don't do this to me

graceful glade
#

Hi

bright hill
#

I literally have 2 brain cells left

neat frost
#

what have i done to confuse you now?

toxic schooner
neat lintel
#

slurp

#

question

graceful glade
#

Slurp

#

Question

neat frost
#

😭

bright hill
neat frost
neat lintel
#

are you unfunny on purpose ?

graceful glade
#

vaguely gestures at everything

neat frost
#

Omfg

graceful glade
#

Are you unfunny on purpose?

neat frost
#

Im leaving discord for the day

#

wtf

toxic schooner
graceful glade
#

Sorry slurp, someone had to tell u

neat frost
#

whyd you have to do me like that Galwa

toxic schooner
graceful glade
#

Slurp

#

I like your pfp

neat frost
neat lintel
#

hold on i'm joking

stark charm
toxic schooner
#

why

neat frost