serious-discussion

[flint basin]

I am not familiar with this canadianism

but yeah americans poke fun at our superior pronunciations

[final igloo]

i agree

[alpine comet]

One of the key points in modern programming is you don't do the optimisation yourself, but let the compiler do it

unless you do extremely low latency trading, I don't think it will make a difference. New standards of C++ encourage using STL functionalities instead of doing things yourself

Yes, you should still know that loop unrolling is a thing, but no, you shouldn't be expected to do it

[jagged forge]

the compiler isn’t smart enough to do a lot of things. yes you should avoid hand-writing assembly or manually unrolling loops because the compiler will generate better assembly than you, but the compiler is not going to fix your suboptimal allocation patterns or poor choices of data structure

and to choose a good data structure you may need to be aware of cpu behavior and memory access patterns

[alpine comet]

oh, at least for C++, the compiler is much, much smarter than you'd think. It now boils down to how to write code that the compiler can easily optimise, than how to write code to fit a particular choice of CPU architecture

we've spent billions and decades into research to make compilers smarter all for a reason

[jagged forge]

yes I’m familiar with C++ and LLVM, it’s still not a panacea. auto-vectorization for example is famously fragile, and it’s actually one of the few examples where hand-written platform specific code often beats unoptimized code

but LLVM can’t fix your library that pervasively allocates everything on the heap

and it can’t fix your library that puts everything behind dynamic dispatch, which makes inlining a lot harder for the compiler to do

[alpine comet]

Lol, vectorisation is a fairly recent thing. Give it a few decades, will ya?

A better example would be if-else branch prediction. And while C++ compilers are not perfect at that, they predict the branches correctly > 90% of the time (95% iirc, but it's been a while).

[jagged forge]

branch prediction is done by the cpu, not the compiler

[alpine comet]

There's also a school favouring Rust over C++, albeit not for performance, but for code arguability

[jagged forge]

arguability? like ease of maintenance? what do you mean

[alpine comet]

My guess is in 10 years, one will need to know even less about CPU

[jagged forge]

as long as parallelism is more in demand, and cpu core counts increase, I only see the need for low level programming going up

because it will only become harder to make programs that scale properly with core count

[alpine comet]

Oops. My point stands though: back in the day, you would have needed to mind about the order at which you put the branches. Now it's less of an issue

[alpine comet]

yes, it is really in demand, but also the current research hasn't caught up with it yet. Give it a few decades for researchers to find a better way, these kinds of ad-hoc stuff will go away. We have built Assembly to avoid going back to plugboard, we're not going back on that path anytime soon.

[final igloo]

I made a virtual machine it was cool

[jagged forge]

there are methods of parallel programming today that don’t involve low-level synchronization primitives, but if you really want close to native performance you are just going to have to accept that you’re programming on a von Neumann machine

and as long as one of your competitors is willing to do the ugly, low-level work, they will have an advantage

outside of constrained or domain-specific contexts at least

[loud snow]

Most of the major is saturated with people that dont have passion

These people usually have jobs and bot everyone can work for high performance companies

[final igloo]

I’ve been thinking of the term passion

[loud snow]

So you usually get mediocre products

[final igloo]

It has almost ruined me thinking about passion because in highschool I thought I had a passion for something and then I went to university

[loud snow]

Im working for big software company now and workflows arent optimal

[final igloo]

And realized there is too much I haven’t explored to come to that consensus

[loud snow]

Passion imo is just how much time you spend thinking about a topic

[alpine comet]

a few years ago, doing ML was such a pain. Now every idiot with a couple of GPU cores can include pytorch. Yes an advantage, but I also think it will go away very soon. Unless you work in Deepmind or smth, then sure

[loud snow]

If you think about it everyday then you are probably passionate

[final igloo]

Yeah but people think about shit all the time and still don’t do it

[loud snow]

Thats not thinking about a topic

Thats thinking about thinking about a topic

Or fantasizing is a better word

[alpine comet]

There were people who wrote Assembly code to fine tune Numpy so that everyone can have it run faster on their machine

I expect the same goes for everything

[loud snow]

For what specifically in numpy?

I know its used for parallel decomposition algorithms

[final igloo]

Just be the best at what you do and even if you aren’t at least you’ll still end up in a good place

[jagged forge]

that’s because ML libraries are able to optimize extremely specific kinds of computations though. you can have ergonomic and performant code if you pay the cost of developing a platform like CUDA, torch, numpy, etc. which have had who knows how many person-years of engineering effort, low-level engineering might I add, to produce that ecosystem

[loud snow]

I dont like thst advice

[final igloo]

It’s not even advice it’s probably true almost every time

[loud snow]

I dont think it is

[alpine comet]

it's true for my circle

[final igloo]

This just seems like some outcome as in success is a function of time

[loud snow]

I did very mediocre in undergrad

I had 3.5 and graduated with honors but I could have done more

[alpine comet]

think of it like this "If you do good work, you may die. If you don't, you will die." Idk about you, but I like taking a chance

[final igloo]

Grades is not everything

[loud snow]

There is more to life than working though

[final igloo]

But idk if you learn well then grades probably follows

[jagged forge]

also this is cool, sorry i ignored u cuz I was debating

[final igloo]

It was a lot of fun

[loud snow]

Btw how did you make the vm

[jagged forge]

did you do it for fun or for school

[final igloo]

School final project

[loud snow]

Because im a mini system admin so im making vms all the time

Not developing them );

[final igloo]

I hope i like systems

But I feel like it’s very niche

Which is like good and bad

[loud snow]

In industry its the most important aspect

[final igloo]

Like I don’t think a lot of people know how to make compilers / operating systems

[alpine comet]

I agree, but a part of my enjoyable life would be to do what I want. And not doing good work most likely wouldn't allow that.

[final igloo]

But I’ve only ever really heard of compiler dev at Jane street so I’m sorta unfamiliar with what the job outcomes are for that

[jagged forge]

compilers and operating systems are pretty niche, yeah

[final igloo]

They also happen to be very difficult courses so there is that

[loud snow]

Jane street is meme

[final igloo]

I would see why someone would like to work at Jane street

[loud snow]

Idk how it started either

[alpine comet]

One guy at one firm (was it Squarepoint?) told me he had to write his own language in two weeks to demonstrate his point. And this guy got a degree in math, not even in CS.

[final igloo]

I’m actually afraid of math majors

[loud snow]

People who study formal theory are very useful in financial optimization for lots of reasons

[final igloo]

They are incredibly intelligent and walking encyclopedias and I get destroyed in almost every argument

But terrible emotional Intelligence from my experience

[loud snow]

If ur cs you should def take a class in formal languag theory

[final igloo]

What’s that

[loud snow]

Studying things like automata

[final igloo]

Oh yeah

I take that class it’s manditory

But not until the spring of my second year

[loud snow]

And language in general if im being broad

[alpine comet]

that thing is kinda a waste of time tho. The part that is needed for intro to compilers is meh and can be learned on spot.

[jagged forge]

I never completed a degree but I used a peg parser for the first time a couple months ago and now I feel like I missed out on my education lol

[final igloo]

Honesltu growing up I was taught you don’t really need to go to college#

A lot of my mentors were against it for many reasons

[alpine comet]

Folks I know don't know a lot outside Math. But they know how to learn something complicated, and how to do it fast. That's the most frightening part.

[final igloo]

Yeah once I was doing my problem set beside my math major friend and he literally solved a question I did in 4 hours in like 30 seconds#

I came into college pretty average so it’s kinda crazy always being around people way smarter than me

I probably used to be slightly bitter about it but now I’m super appreciative

[storm sage]

oh no

I hope this server changes your experience

[alpine comet]

There are guys like that. I've been to a competition recently, and there's one very arrogant guy from Bonn, that everyone felt annoyed about.

[final igloo]

Uh idk I’ve had a lot of those scenarios in college but I just ignore it

[storm sage]

That sucks, I'm sorry

[final igloo]

Idk it might be the thing when you go to nerd school

[alpine comet]

I'd say most of them are quite nice and friendly tho. Very dark humour and a bit nerdy, but I'd take that than a boring guy

[storm sage]

I apologize on behalf of all mathematics majors

[loud snow]

Not true

[storm sage]

I hope my exceeding emotional intelligence makes up for the rest of them

:p

[loud snow]

They are so useful

[final igloo]

I mean first year of college is usually pretty weird anyways, I’m hoping it just goes up

[alpine comet]

tell me one single situation where you use pumping lemma

[storm sage]

To find a theorem to present for my math undergrad research class

(True story)

[loud snow]

That isnt the point?

Those types of fallacious arguments are the worst too

[storm sage]

I love formal language theory

[alpine comet]

exactly my point, they're not useful outside the class. Most stuff I've seen in formal languages aren't used outside it.

The part that is used can be given as a crash course.

[loud snow]

I can also name lemmas?

[alpine comet]

It's one thing if you're interested in doing research on it. But a large portion of ppl don't

[loud snow]

Lemmas are named so because they are used to prove theorems

[storm sage]

Tbf I feel like the pumping lemma is intrinsically interesting

[alpine comet]

Analysis can be found in Algebra and vice versa, for example. Formal languages is like an island on its own.

[loud snow]

I dont think this is true

Dont know enough to say otherwise though

Formal language theory is used in proof verification

[storm sage]

Formal language theory is used quite a lot in linguistics

My understanding is that it's also the language of complexity theory

[alpine comet]

i'm still waiting for the day to make use of pumping lemma...

[loud snow]

That isnt how math works though?

There are lots of standalone lemmas?

It doesnt mean an entire field is useless

[storm sage]

I'm still waiting for the day to make use of quadratic reciprocity...

[loud snow]

Lol imagine saying that

[alpine comet]

ok, this has strayed too far. The original context was about compilers, and my point was it wasn't necessary to take a class on formal languages just to study compilers

what's needed can be given as a crash course

The same way you don't need a whole course on category to start alg topo.

[loud snow]

The pure side of cs is helpful.

If you are in school you might as well study the pure side of things

Like if you are doing alg top research it would be for your benefit to take a category theory course

[jagged forge]

for compilers? I feel like you kind of should know about formal languages

[loud snow]

Also parsing is the name of the game with flt

[final igloo]

how about just learn what interest you

[alpine comet]

until BNF, yes, but that's about it

[loud snow]

This isnt good advice i would say

[final igloo]

Dude listening to so many peoples advice on what I should do with my degree has fucked me hp

[alpine comet]

why on earth should I need de Brujin's automata for compilers? especially when it's an intro course

[final igloo]

Like in reality if you are a good computer scientist you should just learn fast and be flexible and be ready to adapt

If you have decent fundamentals can you not learn anytbing?

[loud snow]

What you do with a degree should be two things

Job or academics

Anything else is wrong choice

[final igloo]

What else do you do -

[loud snow]

Nothing

If you get unrelated job is an example

[final igloo]

That is still a job

[loud snow]

Rn i have unrelated job and it sucks

[final igloo]

But you can change that

[loud snow]

Im going to get related job in a year

Yeah im going back to school

[final igloo]

Congrats that’s awesome

R u doing a masters?

[loud snow]

Yeah

[alpine comet]

probably a good advice. You'll have to push harder to find your own way if it's unconventional, but you have to push hard anyway with today's job market.

[loud snow]

What you should learn should be based on goals

[final igloo]

I believe high risk is high reward for most things in my life

So I’m okay with being unconventional if I really believe it

[loud snow]

I agree with second point

[final igloo]

I wouldn’t say everyone should take high risk, I have kinda stopped saying general things like that because everyone has different lives

[loud snow]

But you should always have a plan

[alpine comet]

at least should do what pleases you. Many chose Software for the easy bucks, despite hating it. Now they're unemployed, and also wasted a few years doing what they hate. A job takes a lot of time, can't really do it without enjoying at least a part of it.

[jagged forge]

fwiw I never thought about learning in a goal-directed manner when I learned how to program as a kid, and I had very little applicable skills besides programming itself when I interviewed with my first employer

but they saw I was smart and capable and decided I was worth hiring as an intern

[loud snow]

Same here

[final igloo]

I don’t know I learned programming in highschool but going to university has improved my programming significantly

[loud snow]

Functionally all my programming knowledge comes from when I was a kid developing roblox games

[jagged forge]

bro literally me too

[loud snow]

But when you get older its not the same

When you are at work you have to learn goal oriented

[jagged forge]

yep, you have less time unfortunately

[loud snow]

And then the time you get outside of work is so limited that if you have to set learning goals it feels

Because if you dont you dont learn nuch

[jagged forge]

that’s why I’m spending my remaining cognitive energy on probability theory outside of work, and nothing else

ain’t got time to learn all of math

(but also I just like probability theory)

[loud snow]

Im going to try and do something similar but idk how it will work out

In the next 12 months Im going to try to go through the escher amann analysis trilogy and then go through modern probability by kallenberg

As a way to prepare for gradschool

[jagged forge]

nice, I’m still stuck on chapter 3 of grimmett and Stirzaker

[loud snow]

And then every now and then i just surf wikipedia or read random papers

I never heard of this book

[jagged forge]

someone in the advanced channel recommended it with like 10 other books

[loud snow]

Oh which part?

I took one grad probability course

And i really liked it

We used allan gut

[jagged forge]

this stupid combinatorics problem. 3.4 problem 9

was stuck but someone in the advanced probability stats channel pointed me in the right direction

but I just want to get past the combinatorics

[loud snow]

Its most of it though

It never completely goes away either

[jagged forge]

really? damn well good thing I’m not skipping this problem even though it’s been way too long

[loud snow]

Almost all of elementary nt is like a weird bag of tricks that seems endless

[jagged forge]

I thought maybe it goes away once you get to continuous stuff and stochastic processes

[loud snow]

Nah

[jagged forge]

welp, I will prepare myself mentally lol

[loud snow]

Im going to think of a problem rn

Imma pull up a old problem

Not exactly combinatorics but playing with indicators

Bruh

I cant find original question

[alpine comet]

that's math and theoretical cs i'd say: it boils down to what tricks you know and when to use to what.

[loud snow]

Bruh idk why its twice

[alpine comet]

combinatorics has the most of this stuff because there's no single theory

[final igloo]

Counting 💀

[loud snow]

Oh yeah

So there are mass generating functions

But then there are generating functions for recurrence relations in combinatorics

This comes up in probability

I remember doing branching processes and random walks questions

And then not knowing enough tricks to solve generating functions and then being stuck

Idk how often it shows up in stoch processes or martingale stuff

But i do know diffusion processes are general random walks

[jagged forge]

that kind of makes sense that generating functions show up tho

[loud snow]

So im guessing it shows up in some other form

[loud snow]

It gets annoying really quickly for some questions

I remember having to prove that some random walk was tight

It was an exam question and i forgot it atp

But I remember working at it for an hour and not even getting the characteristic functions

[jagged forge]

sheesh

[loud snow]

Im definitely trying to come into grad school super prepared

But idk what more I can do to impress professors

I cant post images?

[jagged forge]

You need to get the active role I guess

[loud snow]

Ill work towards it

[foggy haven]

this year for school i have algebra II and im terrible at math does anyone got any tips or like any notes

@ me if you do

[neat lintel]

Read the entire textbook.
If you don't understand something completely, stay on that topic untill you understand it completely

[neat lintel]

I want to begin self-studying some physics over my break but I haven't touched it since high school. I have done fairly rigorous single variable calculus, multivariable calculus including vector calculus, linear algebra and some differential equations (not a full class yet). In particular, Griffith's Electrodynamics is my target because I'm interested in E&M and the vector calculus looks fun and approachable. Whenever I've picked up a standard freshman book (e.g. Halliday, or Freedman and Young) I've been turned off immediately because I find introductory mechanics unbearably boring.

Can anyone else relate to this haha? Do you just grit your teeth through mechanics?

I'd just take an intro sequence up to qm and em at a local university but I can't get time off work for the labs.

[jagged forge]

what kind of stuff are they teaching you in introductory mechanics?

guess I’ll just take a peek at the authors you mentioned

[jagged forge]

I don’t really know any electrodynamics but if you’re dead set on learning some mechanics before that, maybe Lagrangian and/or Hamiltonian mechanics sounds attractive since they use multivariable calculus, which you know, and they are very elegant. it’s one of my favorite things I learned from physics, and it shows up in quantum mechanics and quantum field theory as well. though you probably need to learn some basic mechanics first before jumping into those. but it might be another worthwhile goal for you

or maybe you could just see if you could skip to electrodynamics? you’re self-studying after all, you don’t necessarily need to follow the rules right

[neat lintel]

yeah exactly. thanks for the suggestion.

[woeful delta]

My coaching module is asking us to solve schrodingers wave equation, I have no idea how to start doing so Or where to learn how to do so

[dawn solstice]

It must be in your books if they are asking you to solve it

[woeful delta]

It's not 😭

[dawn solstice]

The actual solution of wave equation is too complex

Why are they even asking you to solve it

[rocky shuttle]

just take the zero solution

[placid siren]

Hey Guys

Im back

[neat lintel]

Hey back

[placid siren]

Hi

Human?

I thought u were an alien

[placid siren]

This was my question.

I asked it yesterday

[runic raven]

Collatz conjecture is impossible

I believe

[placid siren]

Yea, that it is, but I am still trying, you know.

[runic raven]

You know when there is a problem you can kind of guess how you're going to prove it

But this is not the case

[sonic field]

in all honesty, I haven't told anyone why I've come to this conclusion, but I also feel that proving the collatz conjecture is impossible, not that it can't be proven yet.

[woven whale]

whitehead problem 2.0

[sonic field]

I was running simulations on a few different types of iterations, me and a buddy of mine, and we saw a very specific trend in the simulations regarding the primes. But I'd rather not get into that here. Plus my studies in other areas are more important right now 🙂

[runic raven]

What will happen if it is proven/disproven

[sonic field]

prestige and a million bucks. -shrugs-

[golden cliff]

Is there a million dollars for collatz?

[runic raven]

What is the 3x+1 collatz again

[golden cliff]

Yes

[sonic field]

yeh

[runic raven]

What is the collatz again

I watched a documentary about it

Still learning differential calc lol

Yall are more experienced then me I think

[sonic field]

Take a whole number greater than 2. If it's even, half it. If it's odd, multiply it by 3 and add 1 to it. The conjecture is that no matter what number you choose under these conditions, it'll always converge to 1 through this sequence.

[runic raven]

I remember now thank you

[golden cliff]

Hehe why greater than 2

[runic raven]

And you're trying to find a number greater than two (whole right) that doesn't equal 1

But I think it is very true

[sonic field]

that's just how it was phrased really. of course, if you start at 2, it'll go to 1 no matter what. If you're at 1, it gives you the 4 2 1 cycle. 0 just becomes 0.

[runic raven]

yes I remember 4 2 1

[sonic field]

yeh they've shown it with a large amount of numbers. some set of the integers is obvious. and I think (not sure) that other subsets of the positive integers has been proven? I haven't looked into it lately tho

[runic raven]

in the documentary I heard that if you are trying to disprove the ocllatz conjecture

you're stupid

[golden cliff]

I don’t think there’s any hope right now of a proof of collatz

[sonic field]

well take that with a grain of salt. no one has proven or disproven it yet.

[golden cliff]

It’s also not like an “important” conjecture lol

[sonic field]

I don't ever hear about what kind of mathematician Collatz was, if he was even one

[golden cliff]

Which is kinda why it’s not a millenium prize problem I imagine

[runic raven]

What are you guys studying right now?

[sonic field]

oh it has been taken off huh

[runic raven]

?

[golden cliff]

No it never was one

[woven whale]

it wasn't ever one

lol

[runic raven]

662

[flint basin]

afaik, it's not an important problem, moreso just something seemingly simple that we don't know how to solve

[sonic field]

oh maybe I got it mixed up with somethin else

looks like there was a bounty tho

[runic raven]

guys

What should I learn after calc

Im learning differential

then integral

then multivariable?

then partial

[golden cliff]

Wdym by “partial”

[runic raven]

partial derivatives

[woven whale]

just learn real analysis lol

[runic raven]

it doesn't make sense?!?!

[golden cliff]

That’s part of multivariable

[runic raven]

ok ok but I hav ea college book

[flint basin]

Just learn functional analysis /s

[runic raven]

Calculus James Stewart do you know about it?

[golden cliff]

True

[golden cliff]

Yeah that’s the typical book I think

[runic raven]

Yes

It talks about everything calculus right?

[golden cliff]

I mean there’s a lot of calculus in there yes

[sonic field]

are you lookin to major in mathematics?

[runic raven]

YO

WHERE IS EVERYBODY

[sonic field]

at work lol

[runic raven]

What is your job

[sonic field]

nothin special lol. I'm a walking phantom 😉

[runic raven]

?

[sonic field]

I know, mysterious right? XD

[flint basin]

same

[eager reef]

Look who’s talking

[storm sage]

LOL

[latent edge]

Impossible

[neat lintel]

$$\log_b(x) = y \leftrightarrow b^y$$ $$b> 0$$ $$b \neq 1$$

Is this the actual definition of a logarithm?

[fathom swallow]

Brandon H

[neat lintel]

what is the $$\leftrightarrow$$ even supposed to say?

[fathom swallow]

Brandon H

[neat lintel]

y = b^y ????

oh

huh

shouldn't it be

$$\log_b(x) = y \leftrightarrow b^y = x$$

[fathom swallow]

Brandon H

[river moon]

yes, log base b of x is a number y such that b^y = x

[storm sage]

I would use it as a logical connective similar to (\rightarrow) or (\land) (if you don't know what that means then dw about it)

[fathom swallow]

eulerEMILYteristic

[storm sage]

For the statement you wrote I would've used (\iff)

[fathom swallow]

eulerEMILYteristic

[blissful zenith]

$\iff$

[fathom swallow]

Schrodinger's cat

[dire kernel]

I'm looking for book recommendations of 2 different types of books (Preferably classics please!). Please ping :)

1. Educational books (classics/old) such as Plato's Republic, if you have anymore, let me know
2. Classics such as Lord of the Flies or Sherlock Holmes or The Adventures of Tom Sawyer

I'm applying to this program during the school year and I need some books to read from now to November and they apparently like books that are about society and stuff like Plato's Republic and 1984 and just overall books that are well known but also I enjoy classics. I need to be able to talk about it in person and do projects on it so I'll need to enjoy the book and I think I like classics a lot like the ones I mentioned above

If anyone has any recommendations, feel free to send them! It'll help a lot.

[neat lintel]

Jack london:

+ White fang
+ The sea wolf
+ To build a fire

Nathaniel Hawthorne:

+ The Scarlet Letter

[dire kernel]

Tyy

[neat lintel]

Please god

Someone recommend me a textbook for university physics 1

I have one by roger freedman and i haven't gotten past the first page yet

because look at this

The study of physics is also an adventure.

[solid snow]

Dont read that shit

[neat lintel]

Physics is one of the most fundamental of the sciences.

Who asked???

😭 just tell me what i need to know

[neat lintel]

what should i read?

[solid snow]

Halliday

That’s the super standard calc w/physics

[neat lintel]

calc with physics?

[solid snow]

Wait my order is backwards

Yoniw what i mean

Physics with calc

[neat lintel]

Thank you

I have "bought" the book

[solid snow]

[neat lintel]

First page of clp-2

maybe my attention span is bad

but i can't read this physics book either

it starts out with 6 paragraphs of text before any numbers

CLP only took two sentences

[solid snow]

I think so

You can skip fluff but a book still has to explain

[zealous garden]

There's only one way to multiply vectors

In particular, any useful method of vector multiplication implies a bilinear map from vectors to scalars, which reasonably extends to an inner product algebra

Which implies the geometric algebra

[vivid halo]

someday wraithlord will learn something that isn't GA, but perhaps today is not the day

[zealous garden]

I don't think it's likely ng

I will continue to make convoluted sequences of relations until the subject is GA

Tell me anything you want about lie algebras, the subject is firmly GA

LA is a subset of GA

Vector addition is a special case of conjugation with the geometric product

All manifolds are vector manifolds

Everything is a nail to a hammer

And I'm a hammer head shark

[neat lintel]

Am i insane or does this book only have answers for odd numbered questions

[flint basin]

That's pretty standard

[neat lintel]

??????????????????????????????

CLP has spoiled me it seems

[flint basin]

It's so teachers can assign the even problems without everyone having immediate access to the answers

[flat harbor]

lots of books do that so u dont get spoiled

[flint basin]

But it can still check your answers on the odd questions for practice

[haughty apex]

you want the instructor edition of the solution manual

[neat lintel]

any good university(general) physics (calculus based) textbooks?

I just want the math. I don't need hundreds of pages talking about the history of physics or what the weather is

when no beans

[proven knoll]

the young and freedman book is good actually

although the thermodynamics were confusing for me

the mechanics section of the book was good

but i cant say much for the late electromagnetism part since i havent read them yet

[solid snow]

The “that” i was referring to was the section more so than the book

[lilac trout]

HELLO

[mental stratus]

hi

[thin crater]

How wanna become a friends

[river moon]

$AXB = C \iff (B^T \otimes A) \cdot vec(X) = vec(C)$ this identity is crazy

[fathom swallow]

Transparent Elemental

[zealous garden]

what is that identity even

[river moon]

that these are the same systems of linear equations for matrix X

[zealous garden]

so AXB are matrices?

[river moon]

yes

[zealous garden]

what's vec(X)

and is that the tensor product

[river moon]

vec(X) is matrix X stacked in a single vector column-wise and that's kronecker product

[zealous garden]

so B^T otimes A is what kind of object

[river moon]

large matrix

[zealous garden]

not a higher dimensional "matrix", just large

[zealous garden]

that's what I Thought

so then the \cdot is a matrix product?

[river moon]

yes

[zealous garden]

oh matrix dot product

[river moon]

no, it's matrix product

[zealous garden]

oh

[river moon]

since vec(C) is a vector

[zealous garden]

that's what I thought then

I just suddenly remembered there being some weird matrix dot product

not the one with trace

that identity is wild

how do you derive something like that

[river moon]

I guess lots of trial and error when I was messing with AXB=C I arrived at something that looked like that, but didn't finish the computation

mine looked like a block-diagonal matrix whose diagonal blocks were identity kronecker product with rows of A

[sonic sentinel]

i used to be a good kid in school but now im not and i've never heard of anybody who went through such a progression

i mean like i was the highest-achieving and most behaved in first grade and then now i finished tenth grade average in most grades and with pretty poor behavior in school

[neat lintel]

That happens to most people

you weren't a "good kid"

[echo tundra]

don't be so condesending brandon

[neat lintel]

you were just normal

[neat lintel]

how am i condesending?

[latent edge]

It's either that or your environment just sucks

[winged berry]

i was a bad boy in first grade

but i’m mature now

💪

[echo tundra]

I'll just say that life happens to all of us. You don't need to think about it too much

[neat lintel]

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

[echo tundra]

I should have used a better word but english isn't my strong suite

[bright island]

what is this why physics in maths server

[burnt ledge]

Because physics is just geometry

[quick salmon]

I had a little question that suddenly came to my mind "Does math, change someone's behavior or attitude?"

[long matrix]

math seems irrelevant to the question

[neat lintel]

becaues the physics server doesn't do physics apparently

[winged berry]

yeah they are mean there!

like bro plz

sorry for existing

sorry for trying to learn physics

[quick salmon]

In my class in junior high school people who had the same fondness for math behaved more or less the same. (I have graduated from junior high school)

[winged berry]

i think it does

the better grade you get at math, the better grade you get at english

some weird correlation

it's actually stats

[neat lintel]

also physics is just math

For some reason physics books add hundreds of pages of text for no reason

when all that matters is 1 + 1 = 2

[burnt ledge]

Thats whwre ur wrong

Maths is just text

[lime grail]

cos theta equals what divided by what

[neat lintel]

soh cah toa

o = opposite
a = adjacent
h = hypothonuse

s = sin
c = cosine
t = tangent

sine - o h
cos - a h
tan - o a

[neat lintel]

sohcahtoa bro

[wet mortar]

I deadass forgot that was a thing

[long matrix]

[zealous garden]

Come on man

Brandon, why are you helping the cross-channel math askers

[long matrix]

its fine, he wrote it wrong cus hes an idiot

[neat lintel]

Because if you answer their questions here they don't have to ask again somewhere else

or spend 30 minutes trying to figure out what tangent is, like duck did yesterday

[long matrix]

encouraging bad posting.

[neat lintel]

what a blessing it is to not even see the messages you're replying to shuri

oh you meant cross channel like across the general channels and not "outside of help channel"

anyways i think helping him is still right

[long matrix]

It's not right in the wrong channel.

Direct them to the right place and do it if you must

[zealous garden]

Yes

Outside of help channel is bad enough, but if its simple enough whatever, asking across multiple channels is an order of magnitude worse

I can't just pretend I didn't see you then

[neat lintel]

wraithlord

let me introduce you to better discord

[woven whale]

[neat lintel]

who cares

[woven whale]

mods

if you talk about bd this server could get beemed

[neat lintel]

i don't care

[woven whale]

so true girlyboss!!!!

[zealous garden]

Based

On multiple levels

[neat lintel]

Daring for a 140k members server are we

[neat lintel]

● Do not insult, attack, troll, gaslight other people.
<@&268886789983436800>

Person insulting me for explaining sohcahtoa

They have been blocked by for months, no idea why they treat me this way

[storm sage]

uh

[long matrix]

I don't mind being told off for this, but I don't think I've been acting particularly out of line.

[storm sage]

Please don't do supercilious moderator pings, and Shuri be a bit nicer I guess

[neat lintel]

who pinged mods?

[velvet dagger]

Yeah I'm doing my specialty exam presentation Eric you can handle this. Also what you just said is about right

[odd narwhal]

I think you were out of line shuri

[velvet dagger]

Do you seem to have some particular problem with Brandon, Shuri?

Since it's evidently not the first time

[storm sage]

I do

[velvet dagger]

I mean I have assassins on the way to Brandon's place now for insulting the honor of my family but that's another story

[odd narwhal]

The loser emote and calling him an idiot was too much. I understand that you act like this towards people you like too but you need to keep in mind not everyone understands your reactions the same way

[velvet dagger]

Okay wait this is something else

You're just a dick

[long matrix]

I was referring to

sine - o h
cos - a h
tan - o a```

but yh ig, we've had problems with each other for a while

[velvet dagger]

Are you upset that sin had an e at the end?

Really?

[long matrix]

Yeah sorry @neat lintel, agree this was mean

[velvet dagger]

Anyway yeah Brandon this type of thing is more modmail than ping fwiw but in any event, hopefully this story is now done

[neat lintel]

Tried modmail I'll figure it out

[velvet dagger]

Huh

[woven whale]

you disabled your own dms

[velvet dagger]

Anyway back to my slides...

[neat lintel]

imagine if for one whole day discussion-2 was the new discussion and discussion was discussion-2

[solid yarrow]

Matrix movie idea.

[neat lintel]

hello sigma

[mental stratus]

bd?

[woven whale]

better discord

[mental stratus]

what's that

[woven whale]

discord mod

[hollow jackal]

better discord

[long matrix]

🙄

[delicate tide]

mafs

[sonic sentinel]

i was a good kid in the stereotypical sense and also i also behaved more ethically (granted most your decisions as a child don't carry much ethical weight)

[neat lintel]

so just normal

[sonic sentinel]

??

[sonic sentinel]

that's not true from my perspective, i saw most people act more and more respectfully in school as time went on and the people whos behaviour declined didn't so severely

[latent edge]

Your definition of "good kid" is subjective

Just don't worry about it that much

People change

[neat lintel]

Also why are you talking so much about the past

Your past behavior isn't making you do bad in school now

[sonic sentinel]

huh wha

t

[neat lintel]

You're talking about how you were a "good kid" who always got good grades in the past

Your past doesn't matter

If you want to figure out why you have bad grades and behave the way you do now. figure out what you're doing now

How do you feel about school now?

[sonic sentinel]

no i thinkt hat's a very controversial take

[neat lintel]

How much effort are you putting towards your studies?

[latent edge]

There is also a chance that your environment is bad

[neat lintel]

I slept the entire time in school from 1-12th grade.
I have a 4.0 gpa in college and do paid tutoring

past obviously didn't matter

I got a zero in AP Algebra

[latent edge]

My GPA during high school is literally a joke compared to college

[neat lintel]

passed calculus in the top 0.6% of test takers

[sonic sentinel]

i think schoool curriculum is important but i feel that some (but not a majority) of the work expected bys tudents is not benefecial to them

[latent edge]

This issue is more political and I don't want to talk about it

[sonic sentinel]

which issue?

[latent edge]

This

[neat lintel]

This is true

[sonic sentinel]

fair

[latent edge]

I'm with you on that tho

[neat lintel]

Is that lowering your motivation?

[sonic sentinel]

not that much

there is a big discrepancy between my beliefs and behaviour: i don't do assignments that i think would be beneficial to me

[sonic sentinel]

how does that work? you missed the exam?

AP scores are 1-5 to my knowledge

[sonic sentinel]

there are some environmental factors that could be contributing to this for example my parents were and remain very uninvolved with my school life and also i don't have a room so there isn't a good place in the apartment to study without distractions

[neat lintel]

my report card had a zero. didn't even know there was an exam because I was asleep 😭

[sonic sentinel]

bruh rbuhrbr

whyd you take the ap then

or did your parents sign you up or soemthging

[neat lintel]

I was in an AP/Stem program in middle school. but anyways

[final igloo]

can you leave an undergrad research pos if you dont like it and feel like you are getting 0 support from your advisor

this is kinda destroying my mental health

[sonic sentinel]

you sure you aren't talking about pre-ap or something?

[sonic sentinel]

i watched this video a long time ago i frgoot what it's about ill watch it agian

[neat lintel]

it might have been

[jagged forge]

I don’t remember ap algebra being a thing, though my memory is hazy

[sonic sentinel]

yeha i looekd it up there is no ap algebra

[sonic sentinel]

also im bumping this

[long matrix]

well theres literally no reason why you can't leave

but if u mean moving to another advisor

speak to uni staff surely

[sonic sentinel]

brandon add me as a friend i don't wanna flood the discussion here also you have friend request disabled

[final igloo]

how do u even word that

[long matrix]

What - as in a notice to leave?

chatgpt could honestly be some (but limited) help but yeah hmm

You could tell the truth to the university admin or whatever team

[long matrix]

And tell them exactly what you feel here

As long as they are reasonable, I think it's an acceptable reason

and they should be notified

As for the advisor themself - tbh, you don't have to interact with them if you don't want to. You tell the admin and it should get sorted.

That's my experience with unis ik, idk where u based

[final igloo]

wait fr?

who is considered admin tho

[long matrix]

Well I honestly dk how your uni works

and if u have peers whatever u can talk to thatd be best

when i say admin i mean like. Secretary kindof admin

whoever sorts the things like timetabling, etc.

===
If theres some head of department, they're also good to speak to

[hollow jackal]

dopamine talk to your advisor

you are adults

they will be able to handle honesty

[long matrix]

meh, if they dont wanna

i support that

sometimes u can just be sick of someone and dont wanna

[hollow jackal]

i dont. it’s probably a good character building moment

[long matrix]

🤨

unnecessary trauma for me.

It very much sounds like they dont wanna, to me.

[hollow jackal]

i don’t think avoiding confrontation your whole life is a good thing

[long matrix]

While this is true in an ideal world, I'm sure plenty of advisors would take it badly and so on and so on.

Depending on what they're like

[hollow jackal]

true

but i see a conversation as a way to ask for mentorship in this project, if dopamine is open to that

obviously dopamine can decide what they want

but i don’t think they should throw away the idea of speaking to the actual professor

communication is very important

[long matrix]

^ readup for another opinion, dopamine

[final igloo]

i actually dont know if i have an advisor besides the grad student im working under

i was never like formally hired and i never even got trained at the lab

[hollow jackal]

i’m talking about the person who you’re not getting mentorship from

that’s what i meant by “advisor”

[final igloo]

oh

[hollow jackal]

if you would still be willing to work with them under the right guidance, then you should consider airing your grievances

otherwise they can’t really know how you feel

and expecting them to change without your input is sort of closed-minded

[sonic sentinel]

ok i finished except the last part here are some thoughts:
(1) i don't know what he's getting at with the mansion shack analogy, building a mansion when you should be building a shack is putting effort into too big of a goal, the effort you put in school maybe in the wrong thing but the effort certainly isn't going to be useless because you had too big of a goal (2) there isn't a big mystery of "what happened" for me: from grades 2 to 4 i was in a school with little work and i was getting lots of attention from teachers, then i switched schools grade 5 until now and they had a lot of homework and i couldn't keep up and didn't get support until now (3) i am still called gifted by some students especially because i get good score's on the school's standardized tests, people who know my grades tend not to think as highly of me (4) the entire reason i wrote the original text message was because i wanted to hear if anyone else had experienced similar things. why is this sort of identification important to me? idk
TL;DR school mansiion

[hollow jackal]

i say that in the best way possible

[final igloo]

I have already messaged a few weeks ago asking if i could have more support on the project

and they sorta just said they are too busy and i should just figure it out

so this is kinda, the last towel

[long matrix]

is that more or less what they said paraphrased

or did they in nicer kinda tones

if u get my meaning.

if thats pretty much paraphrased, yeah i might not bother with them if it were me.

[hollow jackal]

i still think you should speak to them directly
going over their head will surely make them more annoyed than just sharing you want to stop working

[final igloo]

this is what they said (they are busying finishing phd)

[hollow jackal]

chances are you are not the first person to quit either. this stuff happens all the time

[final igloo]

how do i not let this discourage me

[hollow jackal]

what about it is discouraging

[final igloo]

actually nothing

i just want to leave and be happy

the only sad thing is now i dont have access to gpus

which sucks

because there is no way my school has free gpus for use that are as good

[hollow jackal]

were you using the gpus for personal things?

[final igloo]

no

but im sorta tempted to now

[hollow jackal]

that's inadvisable haha

[final igloo]

i mean my school does have some computers with gpus but my stupid student quota only allows for like 2 gb

i cant download conda or like anything

its terrible

[hollow jackal]

better than nothing lol

[final igloo]

well, it is nothing

i cant even run any model on it

[hollow jackal]

you are being given some free hardware, i wouldn't complain about that lol

[final igloo]

well i mean they couldnt give more than 2gb

since like everyone has access to the server

if it was more i gues it would be a disaster

i dont have a gpu and i just use collab

quota runs out fast

[hollow jackal]

it's free

if you have serious projects that need more than the 2gb, you could probably approach faculty/staff about that

e.g. a professor to pitch the project to, or IT staff requesting for extra gpu memory

[final igloo]

yup definitely

im not sure if that will be high priority right now so its not a big deal

i need to be on the leetcode grind

and I want to use cpp more so yeah

[long matrix]

a half-decent university should be accomodating

to students' needs regarding study

[final igloo]

i dont actually know if my school has good security

like its possible to clone id cards ez here

but i couldnt surpass ssh key which sucks

[hollow jackal]

@final igloo our conversation made me look around to see if we have anything similar at my uni
turns out we can request gpu nodes/cpu cores on a project basis

looks pretty neat

[final igloo]

oh fire

[hollow jackal]

i would assume your school would have something similar

[final igloo]

im definitely going to look into it

i kinda assumed it would be no, but i just like messing around, i guess i dont have formal projects

[hollow jackal]

yeah i don't have anything either. but now im thinking of finding some kind of project to do for the sake of using the gpus hahaha

[final igloo]

i kinda wish i had just bought a pc with a gpu

but i got my computer in hs and its apple and its good for everyhting but ml

[vast surge]

Apple computers are not great for marxism-leninism. You want something open-source, like linux, if you're doing any kind of communism at all really.

[hollow jackal]

i bought a new pc recently with enough memory to train on pretty big data sets, but i would still rather use a cluster on our network than my own pc haha

every time i start doing dev on my personal pc i just end up making a mess of it

[final igloo]

mostly all of my programming is on servers tho so its good i use linux

im not really sure if its worth me upgrading tho rn

I got my pc in 2020

and it has a lot of storage

and its still like good

also im a studen who is broke

also like the new M1s arent compatible with so many services at my school for some reason

[jagged forge]

windows subsystem for linux on a windows machine is quite good if you don’t mind Microsoft (many programmers and open-source advocates do)

[final igloo]

definitely going to do more research when i get the next pc

also like, my computer went in for repaire because i shattered the screen

and they damaged my logic board

in repair

AND my pc couldnt connect to my schools wifi it was HORRIBLE

and then they had to replace the whole internal hardware of my pc

so its actually like kinda new now lol

[hollow jackal]

i always recommend this to my cs friends

[long matrix]

bloody microsoft

and windows

taking up my fucking ram

🖕

[hollow jackal]

a lot of them prefer windows for gaming and general stability, but having a linux environment is kind of crucial

[final igloo]

no i agree with linux

i dont game thankfully

i guess i should look into setting up neovim

[jagged forge]

honestly at my company they give everyone MacBooks and they are actually decent for programming. at least for what I was doing

[hollow jackal]

my school has wpa-enterprise wifi and my raspberry pis were dying

[final igloo]

i mean i never really used neovim because you dont rlly need it on servers

[jagged forge]

the command line environment is Unix so it’s very transferable in any case

[final igloo]

is it common for internships to provide stipends for living situations

like rent for instance

i didnt really think it was a thing, but my friend interning @ reddit told me they paid for their housing

[jagged forge]

my internship paid $60k/yr so I lived good, and supposedly this is common

according to my coworkers who were the ones who decided my salary at the time

[final igloo]

did you do an internship while in school too?

[jagged forge]

yep

[final igloo]

how was that?

ive heard of some of my friends doing it, but they usually ended up doing more part time school, and fulltime work

a friend of mine is debating on taking a gap year to work

like gap year in between undergrad

[jagged forge]

well, it was during the pandemic, and I sort of surreptitiously kept doing school from Atlanta even though my uni was in Texas

but I definitely did not keep up with my school studies tbh

about a month before I got hired full time i stopped going to school

[final igloo]

I want to care more about my grades

its just like idk in highschool i kinda just did everything that interested me and i had no regrets when i left

priorities are hard to decide

i wish someone could tell me all the answers, but some things you need to figure out yourself probably

[jagged forge]

I guess the stuff you’re doing now doesn’t interest you?

I thought you said your programming was getting better from school at least

[final igloo]

well no the position im currently in is like i spend 40-50 hours on school per week

so i dont really have enough time to do things that interest me or not as much time as id like

although, this summer i focused on the concept of deep work, by basically qutting a lot of stimulation in my life, so i feel like i actually have more time to do things

like im pretty sure i had a bad social media addiction before

couldnt go without checking my phone for 30 minutes

couldnt walk without listening to music

couldnt eat without watching youtube

and idk these things 1. consume your time and 2. ruin your focus

i think you can actually do a lot in 30 minutes now

anyways now i really dont check social media, i leave my phone on airplane mode too

i have always had some sort of "passion" for dl, but a lot of people at university told me it was stupid

dl is just a black box, idk more dl slander

u should learn about pl theory! systems!

although i might actually have some interest in systems

[jagged forge]

There’s a famous paper about machine learning vs. statistics that kind of sums up my feelings about it, and it sort of became relevant again recently with the rise of deep learning

[latent edge]

I heard from my cs friend who's doing grad that dl research is very competitive

[final igloo]

everything is competitive these days

[jagged forge]

the paper argues for more machine learning methods but I think it sums up why people who think the old way are hesitant to adopt ml, because you’re giving up the act of modeling, at least directly

[latent edge]

agreed

[final igloo]

I also have my doubts about deep learning, but the conclusion ive come to is that if i have strong fundamentals (both cs and math) any field is possible to go into

[jagged forge]

dammit wish I remembered the name of the paper

[final igloo]

i want to develop better math literacy

[latent edge]

A lot of cs gangs said dl/ml is like spending hours waiting after debugging and all what you get is errors

[jagged forge]

so regular programming but 10x worse lol

[final igloo]

lol yeah sometimes

thats why i use exit() a lot

and tmux

[jagged forge]

nooo don’t use exit

[final igloo]

ahhj/

'?

[jagged forge]

how are you going to run your destructors when the stack unwinds?

(only applies to languages that aren’t c lol)

[final igloo]

idk i just run it for a few steps and then check to make sure nothing weird is happening

has worked so far

i kinda hate python now

[jagged forge]

oh you’re talking about the Python function

[final igloo]

i have never done dl in not python

dont know cuda programming

[jagged forge]

yeah obviously my bad lol

personally I use very little math in my day job, though obviously having a math background is required for deep learning

[final igloo]

yes, im required to take calc 1, 2,3 discrete math, lin alg, probability

[jagged forge]

well if you ever want to pivot into a data science role, or a quant role if u want the $$$

those will be useful

[final igloo]

honestly i do not understand how trading works

or know what it entails

i just know everyone loves jane street and i have 4 citadel shirts

[jagged forge]

me neither and my company sells data to traders

[latent edge]

Universities be like very competitive and ask for almost impossible grades and genius math skills for cs and at the end all what you do is working with spreadsheets

[final igloo]

also quant is like for very good math people

my friends told me only USAMO people do quant

and that it wouldnt work for me

[long matrix]

@fair mural ur very good

[final igloo]

im not friends with those people anymore btw

[jagged forge]

you can get non-trader roles like quant developer but it probably doesn’t require much math

[final igloo]

i aint being friends with anyone who is a dick to me

[final igloo]

compiler dev sounds cooler

[jagged forge]

how many jobs for that do you think there are

compilers are cool though

[neat lintel]

quant developer? how does that work

[final igloo]

lots at js

[neat lintel]

A quant developer creates and maintains software programs pertaining to the analysis and/or execution of trading strategies. A quant trader executes trades using or with the help of the said programs. A quant analyst designs trading models.

[frosty juniper]

Quant implies math....

[neat lintel]

I would've expected all of those three roles to be done by one person

[jagged forge]

tbh I’m not sure, my brother works at a trading firm and he mentioned they have roles called “quant engineer” and I have heard the term thrown around

but I would guess that a quant engineers maintain a platform or system that is in turn used by traders

for example, my understanding is trading firms have risk management systems that monitor trades sent by the traders and block them if they’re obviously insane

I don’t really know it in much detail, this is just stuff I’ve heard a little bit about

[neat lintel]

I hate risk management

bunch of BOZOs

[jagged forge]

like, the idea of risk management? or…

[neat lintel]

them

I've had so many winning positions closed due to "risk"

[jagged forge]

so I guess you borrowing money?

[neat lintel]

of course

[jagged forge]

yeah that’s the way the world works I guess

borrow someone else’s money, play by their rules

[neat lintel]

really sucks when they can change the rules anytime they want to

[jagged forge]

who is they, your broker?

[neat lintel]

TDAmeritrade

[jagged forge]

i see

[jagged forge]

Jane Street has some pretty unique requirements for their language lol

[final igloo]

like what]

ocaml?

[jagged forge]

functional and capable of doing hft

so of course they’re going to push the language to its limits

[final igloo]

its no problem

im not sure where ill work in the future, but im sure ill end up okay

and im very lucky that my school will most definitely provide me with a good skillset!

[jagged forge]

indeed

you’ll get good fundamentals no matter what you end up studying

and if you study dl there’ll be plenty of opportunities there I guess

[final igloo]

i heard the intro to dl classes are really bad at my school

which kinda sucks

[latent edge]

That sucks

My school wasn't versatile in math

Like they don't have functional analysis for example

Or analytic number theory

[velvet dagger]

Intro to dl?

[velvet dagger]

Ew

[latent edge]

bro proved the Riemann hypothesis that's why they didn't include it

It's very trivial

[wet mortar]

what's dl

[velvet dagger]

Less ew, except automorphic forms are cool

[latent edge]

deep learning

[velvet dagger]

Okay good I was worried it was a deez luts joke

[latent edge]

lmao

That didn't cross my mind

Oh yeah

They don't have complex analysis too

[velvet dagger]

Huh

[latent edge]

💀

[velvet dagger]

Wait I don't even know if that qualifies as a math major if you don't learn at least super basic complex analysis

[latent edge]

math majors AKA "finance majors"

cuz most of the math courses here start with the word "finance" in it

[long matrix]

"finance sucks"

[craggy gust]

Finance degree at my uni is kinda mid compared to the actuarial science & risk management degree

the FIN classes end up mostly being business administration type courses and the ASRM courses end up being lots of stochastic calculus, risk modeling, time series analysis, etc.

[dawn root]

any of yall know about this french thing called cpge ?

[pallid vector]

I do

[craggy gust]

Is that cegep or something else

[pallid vector]

I don’t think so

I don’t know what cegep is, actually

[dawn root]

it's the european nightmare club am going into next year they be having oral math tests weekly

[pallid vector]

Where are you from?

[dawn root]

am from morocco but am moving out to france next month

[pallid vector]

I see

You’re going to rock and roll in MPSI?

[dawn root]

pcsi

sadly wasnt admitted into mpsi

[pallid vector]

Both are interesting on their own

[dawn root]

thing is through highschool i didnt really have too much trouble to keep up with everything BUT am willing to go full david goggings mode in pcsi but i feel like i might fuck up

[pallid vector]

Everything is possible

What you’ve done in high school doesn’t matter anymore

[dawn root]

like how can i increase my work load endurance

without burn out

[pallid vector]

You touch grass

[dawn root]

lessgooo

[sonic field]

anyone here use anki to study?

[latent edge]

me

[sonic field]

do you like it?

this guide is making some really bold claims 👀

[latent edge]

yes

I used it to learn Japanese and to study for my physiology and anatomy classes

[sonic field]

ah ok.

i used to use study blue a while back, I found it really helpful and I like flash cards. I'll give it a shot 🙂

[latent edge]

yeah def would recommend it for memorization stuff

[sonic field]

wow, just making the sub-sections is pretty nice 👀

[compact onyx]

<@&268886789983436800> can i have accesss to algebraic geometry?

[storm sage]

#get-advanced-access

[compact onyx]

ok ty

[jagged forge]

you are not prepared for this

oh you actually posted your problem in there… I told u it wasn’t algebraic geometry bro

[compact onyx]

idk it was worth a try 😂

[storm sage]

Yeah it is not algebraic geometry xD

[jagged forge]

this is @sonic field’s fault, he gave him the wrong idea lol

[sonic field]

I said it looked like it don look at me 👀

[neat lintel]

losing my mind

[jagged forge]

y

[neat lintel]

physics

[jagged forge]

same book?

[latent edge]

what physics?

classical mechanics?

gen rel?

quan mech?

[jagged forge]

i don't think he is quite to general relativity yet

[latent edge]

damn

[final igloo]

I feel discouraged

[jagged forge]

y

[latent edge]

gamma

[neat lintel]

classical mechanics

[jagged forge]

classical mechanics is based.... once you get to lagrangians and hamiltonians

newton lagrangian

[flat harbor]

there are many more symmetries...

[blazing pawn]

i dont think i really understood relativistic mechanics very well until i saw it from the lagrangian perspective

[neat lintel]

GEODESIC SPRAY

[fiery stump]

I didnt understand it at all until I did my Astronomy final on relativity

[fiery stump]

what is that

[neat lintel]

the thing that sprays geodesics everywhere

https://tenor.com/view/cat-chasing-the-water-viralhog-cat-playing-with-water-i-want-to-get-the-water-gif-26222435

[static loom]

nice, make a math server anki deck for rote memorizing algebraic geometry 😎

[latent edge]

I like how blu just pops up when the topic turned into physics

Hamiltonian

[neat lintel]

I applied for an internship and the people actually contacted me about a interview

am i the only person weirded out by this photo?

[jagged forge]

what weirds you out about it?

[ripe dirge]

University?

Organization?

[neat lintel]

not a lot of diversity

[neat lintel]

It's a software company that works with the automotive industry

[jagged forge]

hmm u kinda right

are they just in a white area

[neat lintel]

could be

[peak tide]

surprisingly large number of women for a software company, i guess there's that

[jagged forge]

man, I knew a lot more girls back when I did music lol

[small dust]

those are just wives

[jagged forge]

yeah it does seem like a family event with all of the kids

[flat harbor]

i just do that

drift in n out

[latent edge]

[mental stratus]

blu

[neat lintel]

John 3:16 "For God So Loved The World, That He Gave His Only Son, That To Whoever Believes In Him Should Not Perish But Have Eternal Life."

[echo tundra]

Who is John

[rocky shuttle]

Doe Smith

[lilac oriole]

Agent Smith from the Matrix Trilogy Hero's Journey Series say :

John is the man first famous for saying :

Occular perceptions of gravity , math, spacetime and relativity are biased toward symmetry

Wrong bias for our definite universe

.
.
he didnt speak english though to the translation might be wrong

[lavish kayak]

It's the smell

[pallid crown]

Hi guys I was wondering if it is possible to do a second masters in computational sciences and engineering after a masters in math?

I have a masters degree in math and have been working in industry for a couple of years. I specialized in theoretical PDEs and because of my work i have became more interested in applications and would like to pursue education in this direction further. I know that schools typically dont allow students to do a second masters in a subject too similar to their first, my question is, does CSE fall into this category?

[rare sonnet]

@serene heron that’s a really big reference book you wrote in your about

[serene heron]

a lot of it I still need to rewrite/reformat because I did them ages ago

that'll be a painful week

[rare sonnet]

why did you write it?

[serene heron]

others in my year ask me for help a lot

and it's my way of revising

rewriting stuff to explain more simply, and/or collating different perspectives together

and also I look through it a lot myself, ctrl+f/using the index whenever I forget something from years ago

[fringe summit]

I see a couple pages of types involved in the cat section

[serene heron]

that chapter is for something I'm doing this year, but I have a feeling it'll be too much if I try include type theory

think I might end up saving the topos stuff to hand in for next year, and do something purely on type theory this year

[fringe summit]

I mean types stuff is kinda just category stuff in reverse

Dependent types B:A->U?

Looks like B->A in category

f^-1(a) kinda stuff

[serene heron]

yeah, it looks really interesting

I had someone lined up to run a module on homotopy type theory as well

but my department said no after I'd arranged everything

because the lecturer was from the CS department

[fringe summit]

There’s some way to make this precise, but it’s the gist

Internal logic is cats -> theories

[fringe summit]

Bruh

[fringe summit]

Going the other way is more annoying, but uhh

There’s like syntactic categories and such

[serene heron]

do you have any good references for introductions to that kind of thing

[fringe summit]

Which should give you an adjunction or equivalence with appropriate kinds of categories/theories

No

nLab probably has some sources cited

[serene heron]

yeah, I'll have a dig about

[fringe summit]

Just track down references if you don’t have a thing lined up

[serene heron]

I'm currently starting on goldblatt's topoi

[fringe summit]

Like when I found a random Russian paper on vector lattice valued measures at the heart of some families of nonstandard analysis

For some reason

[fringe summit]

Yeah idk any references unfortunately (though I’ll note that one to check later)

[serene heron]

https://projecteuclid.org/ebooks/books-by-independent-authors/Topoi-The-Categorial-Analysis-of-Logic/toc/bia/1403013939#toc-idx?c=math;idno=gold010

it's here, but all the chapters are in separate pdfs

(I don't know if you can download everything in one file on project euclid, I don't use the site much)

[fringe summit]

Are they hyperlinked?

[serene heron]

what do you mean?

they don't open in a webpage, they just go straight to download a file