Is anyone watching the olympics rn?
#serious-discussion
sly thistle
modest rune
im not watching until august 3
sly thistle
The skateboarding is really interesting
sly thistle
im not watching until august 3
Isn’t that when it ends
modest rune
no
sly thistle
@modest rune rn
modest rune
shit forreal
sly thistle
Theyre surfing right now I think
Yeah
I’m watching skateboarding tho
They also have climbing as an event this olympics so that might interest you
leaden torrent
BROSKI. Say it.
sly thistle
can someone explain why broski is a word?
blazing pawn
Wait do u want exclusively battle shonen max
blazing pawn
Sports anime and things like that
like stuff targeted towards young boys
that doesnt involve battles
modest rune
as long as its not about emotions
sharp mulch
Free!
modest rune
is that an anime
odd narwhal
Watch yuri on ice
sharp mulch
Too much emotions
slim meadow
Did you ever get around to watching world trigger
blazing pawn
hunter x hunter (both), ruroni kenshin (especially the movies), samurai champloo, trigun, hajime no ippo, a few of the gundam shows, hikaru no go, macross, Digmon tamers 
Ninkuu?
blazing pawn
have u seen the 1999 version
sly thistle
Damn Ive watched 0 of those
modest rune
I've not seen Champloo
blazing pawn
its really pretty
modest rune
or hajime
slim meadow
Read the yuyu hakusho manga
blazing pawn
yyh good too
realistically speaking you honestly need to look for things mostly before 2008 and often from the late 90s and early 2000s
late 80s early 90s too but idk much shonen from that time
modest rune
i liked early naruto
but the animation feels like it got lazy
maybe i should just read naruto
blazing pawn
a lot of the cut corners and weird pacing issues in modern manga adaptations comes from the recession
and earlier than that the 1992(?) crash
Fs in chat for the mid to late 80s anime industry
modest rune
i wish i could watch just the boruto fight scenes
maybe i should just read it
and then watch the good fights
blazing pawn
Omg i forgot
the devilman ovas
from the 90s
they are literally insane but they look really good
modest rune
what about modern devilman
blazing pawn
oh its good too
the ovas are shorter and theyre basically just non stop gorgeous animation
just look at this
uh warning nudity lol
Oh also warning if you dont know for the full ovas/show there is incredibly fucked up stuff in it so like
yeah
devout nacelle
i wish i could watch just the boruto fight scenes
Bar one fight they're mostly disappointing tbh
Just aliens throwing around and absorbing colourful balls
blazing pawn
some of us are big fans of balls
neat lintel
some of us are big fans of balls
That's true
modest rune
@sharp mulch have you heard of return to player
this is like
the most blatant rip off
of anything
ive ever seen
slim meadow
pls wait for me to play 2 first lmao
blazing pawn
oh hi zoph
blazing pawn
Nice
fallen delta
how do I not rage when I get one singular question wrong on Khanacademy
I lose all of my progress and I have to start over
slim meadow
It's a doozy
leaden torrent
is good game yeah
and i like that its less "shonen-ey" than the danganronpa series
not that i dislike danganronpa's style, but it'd suck if everything spike chunsoft did was like that
since they're a fairly unique studio
(plus unlike the danganronpa series, the ending isnt an asspull exposition dump)
leaden torrent
i played part of it and dropped it, finally got around to finishing it
well by "finishing it" i mean
i almost finished it, wiped my hard drive (including game save), and watched the ending on youtube lmao
but same gist
slim meadow
Pls
Yea idk
Somnium files spoilers : ||I didn't really like most of the sonniums, felt like a lot of just guess and checking and you couldnt really logic your way to the right answer usually||
Also || the way you have to play through different timelines to unlock certain timelines is pretty unique but kinda disorientating||
leaden torrent
the last point isnt really unique among mystery VNs, but i get what youre saying yeah
and yeah the puzzle aspect isnt great imo
i still enjoyed it just from a like
idk, i like experimenting with shit and tried not to rush through them
and theyre good if youre cool with that
but certainly if you just want to solve the puzzle and move on to the next plot point Ace Attorney-style
its not a great format for that
slim meadow
Yeah I did enjoy the ending though
Also I think they're coming out with a sequel?
With mizuki as the main character?
leaden torrent
spike chunsoft games tend to have really fucking bad endings lmao
so im glad that somnium's didnt continue the trend
it didnt like, knock it out of the park, but it felt like a solid wrapup
deep mango
No like
I know what happens
Im fine with it
No more on that
Anyway I would love to relive the start of v3 again
leaden torrent
i mean normally the idea of a trial revolving around 1 gimmick like that would throw me off
but they handled it well enough
leaden torrent
||are you after my small hole too?||
leaden torrent
also the ||monokuma joined your party|| moment was funny as well
leaden torrent
with the cut-in lmao
deep mango
Honeslty ||ouma|| is just so well done and fun
I know people call him discount nagito
leaden torrent
the one thing with ouma i dont like is
deep mango
But they're really different plot wise
leaden torrent
the rest of the cast ||believed him WAYY too easily at the start of chapter 5||
leaden torrent
that was incredibly annoying
was shouting at my screen
but besides that
i do prefer him to nagito
although nagito's ||scheme|| was incredible
deep mango
Nagitos everything is wonderful
I see
That is sensible
Funhouse nagito is like
So good
leaden torrent
since he kinda just does annoying mysterious shit until ||he realizes what's going on and comes up with the plan to kill the ultimate despairs||
yeah his behaviour after he gets the dossier like
visibly changes so much
and its really interesting to see
him grapple with his entire worldview being shattered
i actually wish we saw more of the transition from ||his chapter 4 anger/despair to his chapter 5 hyperambitious violent scheme||
like it makes sense in his character but i would've liked to see exactly how that went down
deep mango
I agree, but only after the fact
The sudden change is so jarring
It just feels really good that way
deep mango
Anyway, v3 of course complelely ||bungles case 3 by not having angie's killer be different|| but for the most part I enjoy all the cases
Whereas the other games have some sloggy cases
leaden torrent
case 3 is bad in every game
deep mango
Yeah
leaden torrent
||its always the most obvious option||
deep mango
Definitely
V3 has the benefit of just
The whole setup being what it is
It's just so funny
The other two are a little less interesting
leaden torrent
i cant blame the characters for how they act in case 3 to be fair
okay the student council thing was dumb but
deep mango
Lol
leaden torrent
the ||resurrection|| shit
like that wouldve been possible in danganronpa 2 lmao
so we cant rule it out
deep mango
Sure
leaden torrent
case 1.3 was just kind of boring
case 2.3 was a little more interesting in figuring out how it was done but like
||you could process-of-elimination it before the trial even started||
||since the game drew special attention to the one room in the hospital||
the voice acting in case 2.3 was fantastic though lmao
ancient flame
I just realized, multiplication can be defined as $\ a \cdot b = \sum_{n=1}^b a \cdot 1^n$
fathom swallowBOT
gmod
leaden torrent
for natural b, sure
remove the 1^n factor though
it (a) is unnecessary and (b) makes no sense
since youre defining multiplication by using an expression that involves multiplication
sharp mulch
Just take a cold shower
leaden torrent
just bring a toaster into the shower
sharp mulch
Namington is a known troll
leaden torrent
(disclaimer: dont do this.)
ancient flame
since youre defining multiplication by using an expression that involves multipl...
oh right LMAO
I guess to correct that it could be $a \cdot b = \sum_{n=1}^b a_n$ where $b \in \mathbb{N}$ and $a_n = a_{n+1} \ \forall \ n \in \mathbb{Z}$
wtf do u mean compile error
fuck u
bitch
fathom swallowBOT
gmod
ancient flame
oh ok there we go
fathom swallowBOT
Namington
ancient flame
oh that's acceptable?
leaden torrent
you seem to think sum terms NEED to include their index variable
latent forge
just say a*b=a+… (b times)=b+…(a times)
leaden torrent
they dont
ancient flame
just say a*b=a+… (b times)=b+…(a times)
yeah but I wanted a way with more formal notation
latent forge
that is formal
latent forge
you just like big letters you liar
mortal oasis
Cold showers are the worst
ancient flame
gg
wild lantern
BIG LETTERS > small letters
astral marsh
just write $\sum_{n=1}^{b} a$
you can actually just define it as
$ab \triangleq a\sum_{n=1}^{b} 1$
fathom swallowBOT
Archsys
sharp mulch
triangle
broken delta
I've never seen that symbol used before 
I've always seen either := or = with "def" above it (and just plain = of course)
safe tusk
Holla
wild lantern
$ab \triangleq a\sum_{n=1}^{b} 1$
Isn't that circular? Aren't you using multiplication to define multiplication?
blazing pawn
I guess you can start by defining a(1) = a
wild lantern
An alternative to summation in N is to use recursion thm directly.
blazing pawn
Well
It depends on how you define R I think
with dedekind cuts its not pretty
with cauchy sequences its pretty easy
wild lantern
With dedekind cuts it's simple enough to state? It's just an inf or a sup of some set or something?
Maybe I'm crazy lol.
Yah I double checked my set theory book.
atomic cypress
Oh right, it occurs to me that this definition of multiplication is equivalent to the only way I've learned multiplication anyways, so it generalizes to Q and R in the usual ways.
I've always been surprised that Rudin goes for the Dedekind cuts in Principles, he always felt like the kinda guy who'd use Cauchy equivalences because he's big on slick constructions and proofs.
worldly solar
You can also construct the reals with decimal expansions, which makes it easy to get addition and multiplication. Of course you'll need addition and multiplication on the integers first but that's a reasonable assumption
slim meadow
I feel like dealing with the fact that decimal expansions aren't unique makes that approach more annoying
wild lantern
Integers are pretty intuitive to build up from N at least.
blazing pawn
I've always been surprised that Rudin goes for the Dedekind cuts in Principles, ...
Yeah ch 1 of rudin is... uhhh
vivid halo
I've always been surprised that Rudin goes for the Dedekind cuts in Principles, ...
yea this has always surprised me too. Dedekind cuts are alright for the reals, but are pretty restrictive...
for instance you can try to contemplate what the "correct" notion of Dedekind cuts should be in the p-adic setting...
vivid halo
for instance you can try to contemplate what the "correct" notion of Dedekind cu...
@atomic cypress if you're curious
astral marsh
Isn't that circular? Aren't you using multiplication to define multiplication?
that was the joke
atomic cypress
lol thats not a particularly obvious construction at all
vivid halo
yea it's wild haha
atomic cypress
what's the name of that theorem saying the only two nonisomorphic completions of R are the reals and the padics again?
vivid halo
Ostrowski's theorem
The statement (for Q) is that the only nontrivial absolute values on Q, up to equivalence, are the p-adic absolute values and the Archimedean absolute value
there is also the trivial absolute value, where the completion is just Q again
there's a nice way you can topologize the set of absolute values here that produces a space like this...
you can also define a structure sheaf on this space such that the adele ring of Q is a ring of germs around |.|_0...
vivid halo
atomic cypress
the structure sheaf part, topologizing part, or the p-adic dedekind part
vivid halo
why would you want to do this
which part lol
atomic cypress
PT is asking why anyone would be an algebraist
vivid halo
lmfaooo
so I mean this approach with topologizing sets of (semi)norms is very much a central approach in analytic geometry
(this is basically what Berkovich spaces are)
atomic cypress
Yeah I ran into this stuff in the teensy bit of geometric measure theory I did, I just have no idea what any of
you can also define a structure sheaf on this space such that the adele ring of Q is a ring of germs around |.|_0...
means
I should learn more algebra
vivid halo
well have you heard of adele rings?
limber perch
i’ve heard of adele
vivid halo
so the adele ring A_Q of Q is a nice way to organize all the completions of Q into a single locally compact topological ring
in such a way that Q embeds discretely
it's a subring of Rx\prod_pQ_p with a certain topology
atomic cypress
How about you tell me what a structure sheaf is
actaully never mind my brain is not ready for any geometry
vivid halo
a structure sheaf on a space gives you a way to talk about functions on that space
it's the assignment that takes an open subset U of the space to a ring of functions O(U) on U
in such a way that is compatible with how open subsets might overlap
untold sapphire
Yeah I ran into this stuff in the teensy bit of geometric measure theory I did, ...
talking to an analyst like
"Take a sheaf of Abelian groups over the manifold X"
"Can you remind me what that means?"
"Haha, yeah, sorry. Take a sheaf of Banach spaces over the manifold X."
viscid pecan
I don’t like to encourage people to apply to college or stuff along those lines until they’re absolutely confident they figured that bit of their life out with regard to career goals.
A mistake I made that I sometimes feel regretful of but it wasn’t an intentional mistake
But I think college and higher education goals are best suited for people that really know their direction in life
You don’t get infinite chances at getting the right college degree
devout nacelle
I'm personally more of a go-with-the-flow person, but I can understand not everybody can afford to take too many chances. Do you have the option to switch majors midway?
viscid pecan
Go with the flow is not good if you really arent confident about it though
Granted I’m still new to math myself, at least new to trying to seriously study math.
devout nacelle
Again it worked out fine that way for me, but my choices are driven by less pragmatism. ¯\_(ツ)_/¯
devout nacelle
I agree, maybe somewhere down the line it could bite me in the ass, but that's a problem for there and then, not something I can control now.
I also have a low threshold from what I seek, so I'll hopefully get by even when market's rough for jobs.
viscid pecan
Sounds like you are not sure if you want to invest your skillset into making a lot of money and feeling that could be a bad move on your part.
Making money doesn’t help if you don’t enjoy it.
So you have experience with this stuff your interested in?
Idk I guess there are a ton of people that will take advantage of a skill set just to make money
I just don’t relate
Tbh I still don’t know what I’m getting myself into spending all this time rn mostly studying mathematical analysis atm. All I can tell you is it’s fucking hard. I like it but also I’m really stressed tf out rn and it’s hard for me to focus on anything even if I enjoy it for as prolonged periods of time doing anything and then I need mini vacations
I’m trying to study mathematics mainly as a particular Avenue to explore insights into biological phenomena
Something most mathematicians and even physicists find to be a very hard road to tread because mostly we really don’t know why biology happened and it’s probably the most complicated phenomena out there besides trying to do all kinds of things with cosmology and astrophysics with regard to quantum dynamics
So tbh I would be considered someone trying to pursue becoming a polymath and not exactly a mathematician per se
Hahaha I had this path in mind for a few years and I’m in my early 30s
Pretty late start for me
About 5 years I guess but 5 years ago it was more broad, I was thinking about what bioinformatics was all about and wondering about getting seriously into mathematics but was not sure at the time. I finally took the plunge like last year to actually try to seriously study mathematics.
atomic cypress
@neat lintel A ton of research mathematicians, physicists, and engineers do machine learning. While I'd formally catalogue ML under "engineering mathematics" whatever the fuck that means, I'd say it almost certainly doesn't matter. Get ML pubs in, pick coursework that's ML-focused, and chill.
Unlike most of math and theoretical physics, it's ridiculously easy to publish in ML and not uncommon for competitive undergrads doing ML research to have 2-3 papers by the time they're applying for grad schools.
frozen merlin
@neat lintel not sure if someones has said this alresdy but it may be worth looking up existing researchers in your chosen field, and checking what degrees they did
next blade
@neat lintel from the way you describe it, it doesn't sound to me like the two are really all that different in terms of industry placements (which seems like is currently your end goal?) - after all, math/physics is not a degree like medicine that directly prepares you for any given career (other than academia). if academia is the goal, the more relevant question is probably which major gets you to work with which research groups in your university, what type of research they do and if it interests you and finally which of the groups are good? my guess is that if you're motivated enough, they're not going to care which of the two relatively similar majors you picked (or if they did, perhaps it won't be too difficult to change majors once this medium term goal of picking a more exact research path is clearer to you)
atomic cypress
90% of NeurIPS papers are just implementing and testing schemes.
Adapting to particular data sets or whatever.
Talk to an ML professor, they'll basically immediately get you started on something easy.
naive stirrup
atomic cypress
Is this #essays
How did Hegel respond to Kant’s skepticism—especially since Hegel accepted Kant’s Copernican revolution, or Kant’s claim that we have knowledge of the world because of what we are like, because of our reason? How, for Hegel, can we get out of our heads to see the world as it is in itself? Hegel’s answer is very close to the ancient Greek philosopher Aristotle’s response to Plato. Plato argued that we have knowledge of the world only through the Forms. The Forms are perfectly universal, rational concepts or ideas. Because the world is imperfect, however, Plato exiled the Forms to their own realm. Although things in the world get their definitions by participating in the Forms, those things are, at best, imperfect copies of the universal Forms (see, e.g., Parmenides 131–135a). The Forms are therefore not in this world, but in a separate realm of their own. Aristotle argued, however, that the world is knowable not because things in the world are imperfect copies of the Forms, but because the Forms are in things themselves as the defining essences of those things (see, e.g., De Anima [On the Soul], Book I, Chapter 1 [403a26–403b18]; Metaphysics, Book VII, Chapter 6 [1031b6–1032a5] and Chapter 8 [1033b20–1034a8]).
In a similar way, Hegel’s answer to Kant is that we can get out of our heads to see what the world is like in itself—and hence can have knowledge of the world in itself—because the very same rationality or reason that is in our heads is in the world itself. As Hegel apparently put it in a lecture, the opposition or antithesis between the subjective and objective disappears by saying, as the Ancients did,
that nous governs the world, or by our own saying that there is reason in the world, by which we mean that reason is the soul of the world, inhabits it, and is immanent in it, as it own, innermost nature, its universal. (EL-GSH Addition 1 to §24)
next blade
i think you're overthinking this right now. i suspect you'll find that rather than the exact degree programme you're in, it's the university and in particular certain professors/research groups that have a good reputation internationally
fallen delta
Higher level math tends to have less readily avaliable knowledge
so that's why I get confused on why people think a lot of kids are here
deep mango
there aren't a ton of kids in these channels
like
there are still a lot but
go use the questions channels and stuff for a little while
finite night
We're matured 😌
deep mango
and you'll see
velvet dagger
Me: I'm the most mature person there is
Also me: WHEEZE
odd narwhal
froge
thorn brook
Can I say that the sphere has a hole? Like the hole on the inside?
I know that it has genus 0 but could you say that the sphere has a hole on the inside?
deep mango
it has a 2 dimensional hole
this is captured by second homology, or by the second homotopy group (pi_2)
thorn brook
ah yes great, thank you! I wanted to include that in my talk but I didn't know if saying that the sphere has one hole actually was valid
whole copper
it also, depending on your beliefs, has a 3 dimensional hole
thorn brook
vivid halo
it's the homology that is capturing the holes here, there's too much junk going on in the homotopy groups
(alternatively you can look at rational homotopy groups and then get a reasonable answer)
thorn brook
what is homology tho
neat lintel
homo logy
odd narwhal
$\sfrac{\text{ker}(\partial_{n})}{\text{Im}(\partial_{n+1})}$ obviously
fathom swallowBOT
ShiN
neat lintel
what is homology tho <:stare:826920038623346729>
keep reading hatcher :^)
velvet dagger
Join in advanced number theory to see me work through as much of Bernstein-Gelbart as I can
light needle
Me and someone else in vc are reading through Tom deck if u wanna join toki
odd narwhal
but there's no one in vc
light needle
Oh like not rn lol
whole copper
when is pi_m(S^n) = Z
light needle
It’s v easy, u just need to compute all higher homotpy groups of sphere, a well known trivial problem obv
odd narwhal
oh lol
thorn brook
Sorry John but I don't think that I can help in the whole reading thing 
neat lintel
toki already knows H_1
neat lintel
do you know what an abelianization is
light needle
Sorry John but I don't think that I can help in the whole reading thing <:sadcat...
Sad, well if u wanna come in to see it it will be like, 6 am Cali time tomorrow
thorn brook
Okay great thank you!
thorn brook
do you know what an abelianization is
Isn't it like when you quotient out by the commutator or something? Idk lmao
light needle
Yeah commutator subgroup
light needle
This is considering H1 as Z module weak
whole copper
when is pi_m(S^n) = Z
found partial result
thorn brook
Oh okay I see! That's kind of cool I guess
I don't really know what it does tho
But I will get there I hope
whole copper
the intuition is something like this: in fundamental group "composition order matters", so that path1 compose path2 not necessarily path2 compose path1 (nonabelian-ness of pi1), but in homology, you are supposed to think of them as the same thing, "path1 + path2"
maybe thats pretty useless intuition... lol
thorn brook
oh crap, sorry for not responding
oh okay yeah I see now, that is what the abelianization is doing right?
Making a group abelian that is
Oh yeah that literally comes from the definition lmao
light needle
mhm
you can also characterize it by a universal property too, if you have a group G, then every map from G to some abelian group H factors through the abelianization of G
thorn brook
light needle
you can use this to do a meme defination of determinants since SL is commutator subgroup of GL
charred oak
sudden nebula
so, a person told me that the general solution to the differential equation ty'(t)=2y(t) was not y(t)=Ct², it's the piecewise function: Dt² for t<0 and Ct² for t>=0 for D, C arbitrary real numbers
and i was like, well wtf, you are right
it's a more general solution
so how come this is not a common way to look at general solutions?
at least
in undergrad lvl i'd say
deep mango
wat
this is like
one of the classic examples of nonuniqueness of solutions to differential equations
cold needle
mfw singularities
deep mango
ok also
important to note
the function you list is not differentiable at 0
oh wait
shit
it is
fuck
i hate nonlipschitz data
cold needle
oog
sharp mulch
So Picard-Lindelof says that you have existence and uniqueness for ODEs that satisfy a Lipschitz condition
The ODE you have does not
sudden nebula
So Picard-Lindelof says that you have existence and uniqueness for ODEs that sat...
oh you are right, i was looking at it in a more elementary way
welp
just a thought tbh
cinder zephyr
what is a class in OOP
I have heard this before
and like
I cannot wrap my head around it
is it just intro to CS?
limber perch
yea OOP is generally taught in an intro programming class
turbid basalt
its just object oriented programming
inner finch
oops
maiden lily
yeah its like intro to C++ 2
the first intro was over the basics of programming, not object oriented
this is with objects
the next is with data structures
inner finch
monkha ess
light needle
Wrong channel kek
cinder zephyr
Ah
we just call ours intro to CS II
and you do larger projects with C++
but in CS I we cover objects a good amount
basic things like polymorphism and inheritance and stuff
tho not many large coding projects
modest rune
gatekeeping the concept of project
deep mango
some projects are much better for being 20 lines
vivid halo
20 lines of code does not a project make
lol
cold needle
if you’re not doing X you’re not doing it correctly!!! get good!!!!
mortal oasis
If you don’t write your code in assembly you aren’t really a Programmer lmao. Pathetic.
timid spindle
If you don’t write your code in assembly you aren’t really a Programmer lmao. Pa...
a sophisticated switch flipper at the very least 
mortal oasis
in all seriousness though thinking the length of your code is a good thing is such a shit take like less code is nearly always better assuming its understandable
neat lintel
But what can you do in 20 lines of code?
I have had some "projects" which were like 20 lines of code
But this is stuff like scripts, little apps that do a very minor thing, etc
torn willow
Theoretically all programs can be reduced to like 10 lines
Just reference a million other files
mortal oasis
I think honestly its more that person is new to CS and someone is just being rude tbh
hoary yoke
All my code is just 1 instruction. It's not my problem if no one has yet implemented the hardware to handle my instruction set that conveniently has an opcode for exactly what I'm trying to do
timid spindle
in all seriousness though thinking the length of your code is a good thing is su...
yeah, I think there is a sweet spot somewhere in 150-200 lines
iron osprey
the point was that CS students having most of the time in uni writing a solid 20 lines of code per week is really strange and unbecoming
the problem is not with the student
timid spindle
is 20 lines to little? yeah
cinder zephyr
20 lines of code does not a project make
Yea so when I say projects I mean multiple files, test suite, and hundreds of lines
Also gatekeeping is fucking dumb
And loc is a dumb metric
whole copper
hundreds of lines of boilerplate code vs one insightful code block, who wins
bold ferry
pale orchid
that depends cuz boilerplate can run faster in some cases 😛
there are specific use cases where you'd prefer to even write a block of code several times instead of doing a loop
whole copper
for sure - just making meme about how lines of code is not a good metric
boilerplate is good, but it makes you look like you've written a lot more than you actually have... especially if the boilerplate is all generated code lol
in fact, days with a negative lines of code written are usually productive days, because it probably means been refactoring and making things smarter and better lol
neat lintel
im going into year 10 next year and what should i know in order to get ahead of everyone? im from australia
deep mango
multiplication and division
also subtraction
i knew those things in year 10 so at least you'd be ahead of me
whole copper
year 10 sounds like combinations and permutations? or triangles or something?
hollow ginkgo
And loc is a dumb metric
YES
cinder zephyr
like I run my autoformatter and my LOC goes up by 20-30 lines cause of line length stuff
hollow ginkgo
Lines?
hollow ginkgo
loc = lines of code
No
deep mango
loss of consciousness
hollow ginkgo
LoC = level of complexity
deep mango
Laxiom of Choice
cold needle
forgot what channel i was in for a second
odd narwhal
Laxiom of Choice
Lemma of CZorn
cold needle
League of Clegends
brave hollow
Lwidth of
cold needle
Lamborghini opportunistic clandestine.
deep mango
lack of courage.
cold needle
Lr Oy c
brave hollow
Lack of creativity
onyx pagoda
quick question, what does R mean here?
brave hollow
royal
cold needle
remainder...
onyx pagoda
the opposite of carry maybe?
cold needle
or RYC
onyx pagoda
remainder...
yea
deep mango
melia antiqua is a known troll
onyx pagoda
neat lintel
does anyone know what GPA you need to get into a master's program for math?
no
there are at least hundreds of such programs, and their required GPAs will all vary
that said i'd wager most places want at least a B, whatever that means
thorn brook
ahhh man the covering space stuff is bugging me so hard
I'm finding myself to be confused on like every single proof
deep mango
Did I understand a single covering space proof I ever did?
No.
Apparently it's all galois theory too
thorn brook
yeah that's the thing. I wanted to see what connection there was so I was super hyped when I got to this section but now I'm like bruh
neat lintel
that said i'd wager most places want at least a B, whatever that means
i heard that most require a 3.5+ GPA
deep mango
If hatcher does something poorly that means it doesnt deserve being understood
blazing pawn
gigabased
odd narwhal
Guess AT doesn't deserve being understood
thorn brook
yeah but maybe it's just me that's reading poorly and just not understand stuff 
blazing pawn
chapter 2 is the good chapter of hatcher
odd narwhal
Por que no los dos
blazing pawn
3.1 and 3.2 are also ok
thorn brook
The problem is you're reading hatcher
but what should I read then? I only have hatcher
blazing pawn
Just draw lots of diagrams
thorn brook
Man I want to get to chapter 2 so bad
blazing pawn
both commutative diagrams and helpful pictures
thorn brook
yeah I will keep that in mind!
blazing pawn
Like 99% of the confusing things in hatcher make sense if you draw a picture
odd narwhal
i'm not qualified enough to recommend an alternative but i've been recommended rotman, though I haven't gotten too far into it, but he teaches in a different order than hatcher
blazing pawn
tom dieck
odd narwhal
I just know I didn't get into hatcher at all and experience has been similar for people i've spoken too
to*
odd narwhal
I've heard that tom dieck goes full cat mode or something lmao
pretty much yea
He also pretty much expects that you read his book on topology
blazing pawn
Tom dieck does coverings the objectively correct way though
It makes it much easier to see the connections with sheaves
inner finch
objectively sus
blazing pawn
And also is base point independent
thorn brook
🐱 🧠
blazing pawn
idk why everyone uses van kampen to explain why fund. groupoid is good
covering theory is the much better example
I guess
I just think "it makes van kampen easier to prove"/"more natural" is a bad justification
Its fully basepoint independent in a way that actually leads to a somewhat different formulation of the theory (set valued functors) instead of just mildly adjusting a single proof
I guess the real justification for Pi_1 over pi_1 is like preserving homotopy colimits or something
which SvK falls out of
But imo i have never found the alternative proof of SvK enlightening or interesting enough to justify Pi_1 being the "better" version of pi_1
I dont disagree with that I just think the SvK proof is a kinda bad example of that
Yeah I just felt like I had no real sense that Pi_1 was nicer in some sense than pi_1 until I saw covering theory and realized it could actually lead to a formulation/series of proofs for all that stuff that are actually like
Meaningfully different
And also make the relationship to sheaves easier to see
Is this actually true? Like are there situations where it is nicer to work with pi_1 specifically?
I cant think of any off the top of my head
Mostly cause everything for pi_1 should just fall out of the theory for groupoids by taking automorphism groups though I guess the rep theory perspective works better with pi_1
Or maybe not I don't actually know any rep theory
Yeah thats what I was thinking, I havent seen anything about that but I kinda assumed someone had formulated something like that
modest rune
Fundamental groupoid is bad bc all good spaces are path connected
untold sapphire
i've tried to read Hatcher's explanation of Poincare duality a handful of times and every time it takes me at most 10 seconds to go "This was a mistake" and shut the book
inner finch
so true
untold sapphire
And also make the relationship to sheaves easier to see
I think alg top ppl occasionally use a notion of "local system" which is a slight variant of the notion of sheaf and serves much the same purpose as a sheaf. A local system is a functor from the fundamental groupoid of X into R-mod
I don't know which exactly came first but before leray invented sheaf theory people like Steenrod (?) were working out various ways of talking about cohomology w local coefficients in order to do obstruction theory
Bott and Tu's explanation of Poincare duality is pretty good btw.
Spanier's explanation of Poincare duality is for arbitrary topological manifolds, and to do this he introduces a notion of "homology tangent bundle" which is not actually a tangent bundle because you can't define tangent vectors on a topological manifold but from the perspective of homology theory looks pretty much the same. the result is a proof that has little to no intuitive content and is just a formal nightmare
(Actually tbh i do think the concept of homology tangent bundle is pretty cool but I definitely don't get Spanier's proof of poincare duality)
spanier works in slightly more generality, he proves most of the theorems for fibrations satisfying a unique path lifting property, which is nice because it introduces fibrations a bit earlier. compare this to hatcher who doesn't actually use the word cofibration until chapter 4 and until then insists on calling them "good maps" or something, also he defines them by purely point-set properties without reference to the homotopy extension property
so weird
like he introduces cofibrations but not by that name and not via the homotopy extension property, just so he can use all the good properties of cofibrations like that H(X/A) \cong H(X,A)
here's what i'm talking about. being a nonempty closed subspace which is a deformation retract of a neighborhood is equivalent to being a cofibration but instead he just calls them "good pairs", i guess because he doesn't want to get into the homotopy extension property
this was really annoying to me because i had heard people talk about cofibrations and had no idea what they were. in spite of the fact that i had been reading about them for weeks
blazing pawn
I don't know which exactly came first but before leray invented sheaf theory peo...
I think in spirit local systems came first because pi_1 emerged as complex representations before people were studying it formally and generally in topology right
I know you get nice things like locally constant shaves <=> covers which is much easier to see once you know that covers are equivalent to functors from Pi_1 into Set and also makes explicit some neat things about paths inducing maps between stalks
I have technically seen riemann hilbert but I do not understand the spirit of it I think because the defn of holomorphic connections I saw was so category brained and divorced from any geometry that it kinda meant nothing to me
Also lmfao the "good pairs" shit is so dumb
I dont know if any AT books are good at both conveying the visual intuition and the big picture formal stuff
tom dieck is really good at the latter but not at all at the former which is unfortunate
untold sapphire
well i'm talking about cohomology specifically. the correspondence between locally constant sheaves and covering spaces is really fascinating, but in spite of the fact that like, sheaves are now a fundamental part of geometry and we can see them way back through the history, the actual purpose of local systems and sheaves was to talk about doing cohomology with coefficients that could vary from point to point.
yeah Spanier and Hatcher together are like Scylla and Charybdis
you'd think you'd be able to combine them into one readable book but that's not been my experience
blazing pawn
I dunno anything about the history of local systems but pi_1 was studied for the first time in terms of complex representations in the context of ODEs, right?
untold sapphire
i have no idea. it was originally called the poincare group, and I believe poincare introduced it in his analysis situs paper, but i can't remember why
blazing pawn
riemann hilbert basically tells you that local systems = complex reps of pi_1 = linear system of holomorphic diff equations
Oh yeah no it wasnt formally defined
But I think riemann was working with stuff that ended up effectively being pi_1
in complex analysis
There is some dumb deligne meme where all of this is subsumed under GAGA I think
I wonder if theres a book/paper on the history of pi_1 pre poincare because its embedded in so much complex analysis
untold sapphire
I don't know the statement of Riemann-Hilbert
blazing pawn
I think there are like trillions of versions but it basically says if D is a connected open subset of C then local systems on D are equivalent to holomorphic connections on D
the short version is that if i take a locally free sheaf E on D and a map of sheaves Delta from E into the tensor product of E with holomorphic 1 forms
Uh and delta fulfills the leibnitz rule in more or less the sense youd expect
Then Delta can be sorta represented by a matrix of linear ODEs and Delta(f) = 0 iff f is a solution to those ODEs
so the equivalence tells you that a holomorphic connection (E, Delta) is equivalent to a locally constant sheaf is equivalent to a complex representation of pi_1
Did that make sense
I learned this out of szamuely which is probably a bad book to learn anything out of but
it covers a lot of stuff
so check out chapter 2 of that if you want the details
my explanation may have been too poor to follow
blazing pawn
a little under a year
Im going into my senior year in september
and i end at the very end of june next year
crystal stone
Man, the US system is fuckin' dumb
bronze pelican
I learned this out of szamuely which is probably a bad book to learn anything ou...
imagine reading szamuely
blazing pawn
Truly a certified szamuely moment
neat lintel
Hey how can you define interior point fir usual metric on R2
neat lintel
Like for set x^2+y^2<1
I mean for unit radius disc
We can say that there exists a r>0 such that Sr(a) is subset of our Set
we discuss here or should we move?
@odd narwhal
odd narwhal
odd narwhal
Should I try getting in contact with universities I want to apply to before admissions open? And if so how long before would be appropriate
Both for general questions about areas of research and also to maybe make connections and seem more interested ig
frail kernel
Should I try getting in contact with universities I want to apply to before admi...
why do you wanna contact them?
odd narwhal
Both for general questions about areas of research and also to maybe make connec...
well this
frail kernel
uhhhh
i doubt you'll make any connections lol
but if you have general questions then go ahead
it's best if you meet your profs in person to make some connections
odd narwhal
it's best if you meet your profs in person to make some connections
Yea that's a problem
as i'm applying internationally
frail kernel
is this masters? or undergrad
odd narwhal
PhD from undergrad
odd narwhal
First I gotta get accepted somewhere haha
frail kernel
so whats the problem
odd narwhal
well problem is meeting profs in person
other than that there's no problem, just asking questions so I can put my best foot forward
frail kernel
oh because of covid?
frail kernel
oh just go ahead then, ask if you can set up a zoom call or something
sharp mulch
You should contact professors individually and not universities as a whole
In particular, if a department lists committee assignments publicly, you should find who is on the graduate admissions committee and network with them
sharp mulch
When are you applying?
odd narwhal
if I'm gonna be applying in december of next year (To get into fall 2023)
I know i'm thinking quite far ahead but i'd like to get my foot in as early as possible
Actually I think apps most places open in september
but still
frail kernel
i'm gonna do a masters first then a phd :3
sharp mulch
You should start contacting places the autumn that you apply
frail kernel
oh i've got a question
if i go full applied maths, would it be possible for me to do astrophysics in my PHD
frail kernel
kind of stuck on maths now but for my 3rd year modules i'm picking mostly applied maths
and i potentially want to choose astrophysics for my masters
odd narwhal
You should start contacting places the autumn that you apply
So around feb?
frail kernel
this is my module list i'm taking, would this be sufficient enough for astrophys
odd narwhal
wtf is matrix analysis
frail kernel
idk
Matrix factorisations (Jordan normal form, polar decomposition, singular value decomposition etc.). Similarity classes of matrices. Hermitian matrices and positive definite matrices. Spectral theorems for normal matrices and various subclasses. Perron-Frobenius Theorem.
thats the thingy
course description
sharp mulch
You actually need to learn like
odd narwhal
just sounds like linalg 2 but without mentioning VS and LT
frail kernel
just sounds like linalg 2 but without mentioning VS and LT
i've learnt those already
frail kernel
Astrophysics
yeah the issue is i don't have any astrophysics modules...
odd narwhal
i've learnt those already
Yea I just mean all those theorems apply more generally in the context of vector spaces
frail kernel
thats why i was wondering if the jump is possible :/
sharp mulch
Grad school is not the time to learn basic astrophysics
Undergrad is the time to learn basic astrophysics
modest rune
Grad school is not the time to learn basic astrophysics
try and stop me
sharp mulch
Lol
inner finch
time for my monthly foray into anime only to become disgusted by it 
light needle
bad decision
sharp mulch
💁♂️ 🦋 is this a personality
cold needle
neat lintel
💁♂️ 🦋 is this a personality
man_tipping_hand butterfly?
sharp mulch
inner finch
so true
okay watching an anime
hopefully this is not straight up child pornography
light needle
oh god, i remember a friend made me watch an anime with her
suffice it to say i was traumatized\
by some of the erm, ages in the relationships
cold needle
i have regrets watching the first four episodes of no game no life
Especially the first episode
that was a mistake
never again
inner finch
Yeah i watched it and i waslike
bruh
who watches this shit
the anime has failed to hook me
in the first minute
neat lintel
inner finch
sharp mulch
NGNL had such a good plot
deep mango
ange
sharp mulch
Just ignore the loli that is actually several thousand years old
deep mango
inner finch
There was like no plot
frail kernel
There was like no plot
what was you watching
inner finch
okay so this mfer kid was just born
deep mango
it's in math/Mixed Precision Matmul
deep mango
inner finch
okay there is a child in the anime
this is immidiately a red flag
i dont like where this is going
inner finch
sharp mulch
ryc if the matrices are not all the same size do you just replace n^3 with mnk
brave hollow
<:monkaS:585602880434864138> <:monkaS:585602880434864138>
are you watchcing dororo?
inner finch
weeb
brave hollow
the asnwer to that was a yes or no 
inner finch
so true
brave hollow
💠
inner finch
the existance of children in anime scares the shit out of me
right im not watching this anymore
will find something childless
brave hollow
are you going to watch random anime with no children?
inner finch
are you going to watch random anime with no children?
yes.
children in anime is always a sign it's going to be creepy
inner finch
so true arch
brave hollow
children in anime is always a sign it's going to be creepy
shounen anime be like
inner finch
your brain on one game of league
astral marsh
i mean like actual ramen it isnt instant ramen
like it actually is pretty balanced of a meal
besides too much sodium
brave hollow
imagine gatekeeping actual ramen bruh
inner finch
so true
i opened this random show and it starts off with a sex scene and a womans butt
anime is not creepy at all
astral marsh
im not gatekeeping, but if you be eating instant ramen then you're just gainkeeping
brave hollow
i opened this random show and it starts off with a sex scene and a womans butt
domestic girlfriend?
inner finch
no
brave hollow
name of the show?
astral marsh
i opened this random show and it starts off with a sex scene and a womans butt
you shouldn't be on a hentai site then 
brave hollow
im not gatekeeping, but if you be eating instant ramen then you're just gainkeep...
nah in all seriousness though instant ramen is pretty bad for you
astral marsh
that is what im saying
inner finch
you shouldn't be on a hentai site then <:KEK:586240877358350341>
so true
astral marsh
sussin
brave hollow
that is what im saying
I know , I am just changing my ironic stance to unironic
inner finch
everything i do is ironic
i hide behind several layers of irony because i am spineless.
inner finch
by clicking on the anime
inner finch
how the fuck would i know
brave hollow
.-. I thought you were watching them on netflix
inner finch
no
deep mango
everything i do is ironic <:sotrue:826971355542192148> <:sotrue:8269713555421921...
so true
inner finch
im ironically friends with you
deep mango
brave hollow
ironically not being friend implying unironically being friends
I am well versed in the ways of irony , you can trust me on that
thorn brook
phd in irony be like
hollow ginkgo
I am the CEO of irony
thorn brook
deep mango
sharp mulch
ryc
I am getting negative communication costs for winograd
Do you think Demmel/Holtz will mind if I just drop it from the graphs
They probably won't notice right
Ok winograd has been murdered
No mention of it will be made
deep mango
lol
sharp mulch
Actually I maybe lied
I'm sort of pretending and I've combined your bounds with the Hoefler bounds
To get rid of the -M term
deep mango
sharp mulch
Because Demmel is going to say something reasonable like
deep mango
by the way
sharp mulch
"Do we recover the previous plots when all the precisions are equal"
deep mango
you know how our assumption is that there are M things in memory and we load T more
and in the last segment we have < T
and this causes the - M
sharp mulch
Right
deep mango
well
in the first segment we only load T things
we don't have anything initially
hmm
i want to see how that affects things
sharp mulch
sharp mulch
ryc I fixed the winograd computation
astral marsh
@brave hollow @grim token @glacial wasp
i knew
I KNEW FIORA WOULD 1V9
i always make the right bets
im built diff
grim token
Im guessing you won
grim token
It doesn't say which side won
but dam good shit
One of these days
you gotta put it all on the line
astral marsh
ah okay yeah tehy didnt give the points yet
well they did now
nah im never gonna bet all my points
i started at 100k 2 weeks ago right, when i did my first stream of t1's stream
we got up to 140k together
gentle bay
Guys can someone teach me/show me how to use GeoGebra?
astral marsh
then i had a bad streak and i went as low as 108k or so
and now im up to 160k+
thats how we roll baby
cold needle
just completed an abstract syntax tree implementation for a 5 function calculator
cursed
torn willow
What is the project about
cold needle
for undergrad data structures and algos course our final project is a low stakes for fun project where we try to achieve some task using different data structures
my group partner and i cheaped out and decided to go with expression evaluating
calculator
kekw
basically trivial but somehow they accepted the project proposal anyways
we r comparing using stack, abstract syntax tree, and priority queue
i suspect that the stack and the queue one are going to be close in runtime
and that the syntax tree is going to be slowest
we will test/time with huge data set
that's all
torn willow
Sounds cool
deep mango
cold needle
but the project is supposed to be for 3 people anyways
and we were short one so i was just like
fuck it take the chill way out
cold needle
yes
torn willow
idk if it's a good thing or a bad thing my CS degree doesn't require me to do any projects
wild lantern
Like at all?
wild lantern
That sounds pretty bad.
torn willow
Have you listened to me rant about my uni
wild lantern
Nah
torn willow
My CS teacher doesn't know basic Linear Algebra
And my math teacher doesn't know gaussian elimination
torn willow
Hello fellow asian
wild lantern
Doesn't know LA or doesn't recall LA?
torn willow
Doesn't know LA or doesn't recall LA?
Doesn't knoe
wild lantern
These seem like red flags lmao.
torn willow
Yes,and I can do nothing about it
wild lantern
Well now that I think about it I'm not so sure LA is a req for a bachelors in cs at my uni.
Pretty sure it's just calc 2 and then a couple math electives
So you could do calc 3 and ode instead
Or some other combo like combinatorics+num thry
Nah, it's def called linear algebra here
But we def have more courses in the sw eng side of things than the really strict formal cs stuff.
torn willow
Speaking of courses,Is anyone who did a masters degree eligible for a PhD anywhere?
Because the quality of a master's degree here is very questionable
Like almost all master's programs here are literally undergrad programs elsewhere
devout nacelle
and we were short one so i was just like
Short ones indeed
latent forge
@torn willow are you tokidoki?
astral marsh
@deep mango this was the best i could do
narrow rock
<@!533879085542146059> this was the best i could do
astral marsh
bruh das creepy
damn it turns out its actually pretty damn hard to digitally alter speech to sound more conventionally feminine
i mean i already knew some of the theory behind doing so physically (as in, voice training)
but yeah you can't just like
there's no dial in audacity that lets you up resonance
and so forth
wide sinew