i'm not buying anyone ice cream moth
#serious-discussion
deep mango
astral marsh
for that matter what is soylent i just know its like a smoothie or something
deep mango
i'm sorry
rancid meadow
also heul gives you a free bottle and scoop
blazing pawn
this sounds like innuendo
pure sun
vivid halo
Herman fuel
cold needle
he fuel?
blazing pawn
i'm not buying anyone ice cream moth
: (
sharp mulch
ryc will you buy me ice cream
blazing pawn
: ((
deep mango
soylent is kind of like having a thick skim milk
blazing pawn
: (((((((((
deep mango
it's not good
modest rune
the secret ingredient if huel revealed
pure sun
moth why dont you ask me to buy you ice cream
modest rune
of
blazing pawn
u dont live in nyc
modest rune
buncho buy me icecream
pure sun
no
blazing pawn
ryc can literally buy me ice cream
deep mango
i owe ange an ice cream
sharp mulch
Yeah but I'll visit and it'll be an occasion
deep mango
and i still will not buy him ice cream
blazing pawn
you owe ME an ice cream
light needle
u dont live in nyc
ill buy u ice cream 
modest rune
wait
blazing pawn
epic
velvet dagger
Oh do you guys know Braum's?
blazing pawn
john come to nyc
velvet dagger
For ice cream?
vivid halo
remembering the time someone on AGS bought me a pizza
velvet dagger
They're p good
deep mango
ange's the one with all the disposable income
modest rune
didnt i promise to buy dinner for one of you
astral marsh
the main thing i remember about nyc is there was a good shake shack
light needle
i do plan to visit at some point to nc
deep mango
ange's buying me ice cream if he comes to NYC
sharp mulch
I got a new credit card
light needle
nyc*
sharp mulch
It is fancy
light needle
always dreamed of nyc since i was child 
blazing pawn
can colleges please stop sending me random emails
velvet dagger
can colleges please stop sending me random emails
No
modest rune
can colleges please stop sending me random emails
did you put your real email on the SAT
deep mango
it happens again for grad schools moth
cold needle
can colleges please stop sending me random emails
this will not stop until after the first year of college
deep mango
it's so bad
bronze pelican
sharp mulch
Wait I never got college emails
pure sun
i got an email in grad school asking me to apply for undergrad at the university of utah
light needle
can colleges please stop sending me random emails
the solution is to spam email the colleges as revenge
pure sun
it never stops
astral marsh
i started filtering the emails
blazing pawn
Theyve been spamming me since freshman year but now im getting multiple per day
cold needle
i unsubscribed from many
blazing pawn
mostly from ualbany and the clarkson school
deep mango
discussion-2 is so much more comfy
astral marsh
wait there's a discussion 2
deep mango
ange's talking about anime boys in discussion
errant kiln
wait there's a discussion 2
We are in discussion 2 
azure kettle
I think I forgot to check the box in the SAT that says to not share your info with unis or whatever
deep mango
when you have good facial structure and can control time
azure kettle
and I got spammed with so much shit from random christian colleges
astral marsh
yeah #discussion is just filled with weebs rn
astral marsh
and I got spammed with so much shit from random christian colleges
same
light needle
yeah same lol
astral marsh
except also other religious colleges
azure kettle
there was one in ny that was especially bad
astral marsh
i dont know why
deep mango
i mean idk
the thrill of getting a few emails from the good schools
was very satisfying
and made it worth it
rancid meadow
wow i never got an email lmao
blazing pawn
It doesnt ryc
rancid meadow
they dont want me 
blazing pawn
I have self esteem
deep mango
even though it was really annoying to get all the garbage emails
sharp mulch
blazing pawn
ange are these all ORV emotes
sharp mulch
No
deep mango
wow that's a good emote
light needle
I have self esteem
yes but always nice to have validation smh
astral marsh
i just liked getting the physical products from schools that had good graphic designers
any pamphlets or guides that were aesthetically pleasing i kept
are my orv emotes
is from MLQC
deep mango
yeah
sharp mulch
Yeah
azure kettle
yjh?
azure kettle
oh that emote
astral marsh
azure kettle
r/DisgustedAnimeGirls
velvet dagger
Yeah I got spammed so hard by colleges lmfao
pine fulcrum
If this server wanted to could a book be written? To teach math
quartz cargo
?
pine fulcrum
Everyone banding together for writing a concise yet informative mathematical text
neat lintel
about what
pine fulcrum
Just seems like there's so much brainpower here. Everyone's quite smart.
Everything
neat lintel
im sorry to dissapoint you
sleek wing
I'm doing the intro to abstract algebra section 
velvet dagger
So the problem is everyone kinda does different stuff
And coordination is hard in general
sleek wing
^
a book that taught you every single concept up to, say undergrad level would probably be tens of thousands of pages long
neat lintel
@deep mango what do you think about Hammack's Proofs book?
cold needle
i am not ryc but i did read enough of it to determine that it was okay at best
but this is how all intro proofs books are gonna be
just Okay
you do not need to waste too much time reading them
at least this book is very fast to read so it's better in a sense
nimble shuttle
why do you need a proofs book bro just figure it out
sleek wing
so true... how do you proof the proofs?? checkermate
mild nebula
The server is already a book haha. Search something you want, and you'll likely find a good convo attached to it
sleek wing
<:pandaScreams:513070256550445083> <:pandaScreams:513070256550445083> <:pandaScr...
the agony
deep mango
i look so.... different...
sharp mulch
vagrant kestrel
piss eyes piss name
sleek wing
piss eyes piss name
wtf (what the frick) rude!!!
mild nebula
sleek wing
who cares about honorable the real goal is to get into 
sleek wing
omg that's my discord status what a crazy coinkidink
vagrant kestrel
they callin me sus.,.. they makin a fuss... we playin.... among us....
sleek wing
hold on I got a better one
sharp mulch
🉐
sharp mulch
🌶️
umbral oxide
Will eat a habanero next time
Im finished with reaper hot sauces
Capsceascin galore
neat lintel
at least this book is very fast to read so it's better in a sense
so just reading it would hurt.
it's only 300 pages right?
blazing pawn
if the material is easy enough to comprehend that you can quickly read 300 pages you probably dont need to read an intro to proofs book
umbral oxide
I don't know about you, but I like math that's practical and makes things easier to visualize or explain
Pure math is a beast of its own
neat lintel
bronze pelican
I don't know about you, but I like math that's practical and makes things easier...
I agree with you
This is why number theory is the best math
umbral oxide
Most of my profs specialize in topology
static loom
ok how do you visualize fermat's little theorem
neat lintel
riemannian geometry is adjacent to general relativity and that's physics so id say it's pretty practical huh
bronze pelican
See some examples
sleek wing
spec(Z)
static loom
I mean you specifically
bronze pelican
Idek what fermat's little thm even says
static loom
wot
sleek wing
a^(p-1) = 1 mod p
static loom
thought you just said number theory is the best math because it's practical and makes things easier to visualize
umbral oxide
thought you just said number theory is the best math because it's practical and ...
I think he was trolling
bronze pelican
a^(p-1) = 1 mod p
Oh that's just order of a group
sleek wing
🤨
bronze pelican
Number theory is practical because we are intrinsically interested in number theoretic problems
As human beings
sharp mulch
light needle
Which civilization invented stats?
me
dense belfry
Stats was invented very recently
static loom
trivia: it was designed to be a palindrome to highlight its relevance to combinatorics
dense belfry
Lmao
vagrant kestrel
probability was invented in the 1700's
umbral oxide
Damn apperantly probability was introduced in 1654
umbral oxide
Probability was introduced by pascal
vagrant kestrel
ok but you have to prove pascal understood probability
umbral oxide
ok but you have to prove pascal understood probability
I'm not a necromancer
dense belfry
Yeah nevermind de Moivre was a bit later
umbral oxide
I thought accounting was stats
umbral oxide
Or a subset of it
umbral oxide
You are right
Actuaries calculate risks
Or try to predict what can happen in the future
With data given
dense belfry
Life insurance is a very interesting idea
It's the sort of thing that only makes sense on a large scale
Which I think is pretty neat
deep mango
sharp mulch
narrow rock
deep mango
narrow rock
errant kiln
narrow rock
deep mango
errant rock
why was that removed
narrow rock
rancid meadow
reinstate catlove please
cold needle
i do not think we can do that
rancid meadow
oh was it copyright?
cold needle
if it's part of the emojis we were forced to remove
cold needle
cold needle
yw
rancid meadow
it's my favourite emote
errant rock
literally 1984 
vagrant kestrel
cold needle
this is true
cold needle
cold needle
neat lintel
hallow wasp
wowww..
neat lintel
\helpppppppppppppppppppp
sharp mulch
sharp mulch
Oh no
Misato has deep-seated psychological trauma and can't perform this move
Oh they're naked again
Oh no tsundere ace is slouchy
cold needle
huh
sharp mulch
A dramatic and high-stakes anime
"I don't know how to trust anyone"
Gasp
"I'm going to trust you"
Gasp
bronze pelican
Stop watching this trash
sharp mulch
Tan-Sasa-Za-Nery
cold needle
ange did u figure out the two linearly independent solutions via power series
my class just got to power series and now i know how to extract them
lol
cold needle
ok
sharp mulch
If I keep up my pace
I'm on 3.5 on Boyce and DiPrima right now
Method of Undetermined Coefficients
Also known as
"Guessing"
bronze pelican
Method
cold needle
lmao
bronze pelican
Analysis has a lot of methods
cold needle
undetermined coefficients is so cursed
bronze pelican
They're methods and not theorems because it involves guessing
sharp mulch
Variation of parameters isn't going to be any better
cold needle
variation of paramters is a little more work most of the time
cold needle
you want to use undetermined coefficients 80 percent of the time
sharp mulch
Computational ODE is a disaster of pedagogy
cold needle
yeah
sharp mulch
It's peak "who cares"
cold needle
it's kind of horrifying how a lot of it is just
narrow rock
computational ODE is a disaster
sharp mulch
Yeah
bronze pelican
Computational ODE is a disaster of pedagogy
Make it better
sharp mulch
There have been lots of manifestos about the subject
cold needle
my professor is nice in that he spends time motivating the algorithm but in the end
i still have to memorize the algorithm
cus that's just how it is
narrow rock
write a GTM
cold needle
at least for by-hand analytical computations
narrow rock
I wonder if springer sends you a free copy
sharp mulch
bronze pelican
Graduate YouTube videos in Mathematics
cold needle
in any case angetenar undetermined coefficients is better seen as like
moving from an inhomogeneous system to another system that is homogeneous
but you have to go back and fix extra coefficients because the original inhomogeneous system can only have so many free parameters
cold needle
still yucky
sharp mulch
You have a linear differential operator
You find a basis for its null space
Then you find whatever adjustment you need to
By guessing what form the adjustment will take
narrow rock
"The lecturer at this point will warn the students that they cannot possibly understand such higher
mathematics, and will order them to take the method at face value, since “it works.” Lecturers
often raise their voices at this point, and students respond by turning to reading the school paper in
class."
cold needle
Yes.
narrow rock
depends on the topology
cold needle
"The lecturer at this point will warn the students that they cannot possibly und...
where is this from
narrow rock
the link
sharp mulch
The thing I linked
cold needle
oh ok
bronze pelican
Gian Carlo Rota is a familiar name for some reason
narrow rock
sharp mulch
Anyways
Undergrad ODE is a disaster
I don't know if there's a way to redeem it
Back to anime
It's a very dramatic moment
All the walls and floor became transparent
So they are flying
Gasp
narrow rock
narrow rock
😌
narrow rock
sharp mulch
Tsundere ace expresses positive emotion for the first time
That was a really nicely animated scene
set me back several years in my career in mathematics. However, it had a redeeming feature: it
led me to realize that I had no idea what a differential equation is. The more I teach differential
equations, the less I understand the mystery of differential equations.```I will wait several years before even thinking about an ODE book
into writing a textbook, and how negatively such an effort is rewarded. No clear-headed young
mathematician will risk ruining his or her career by writing such a book, as I did.
The sophomore course in differential equations will never be reformed. It wil```
sharp mulch
Berkeley doesn't have an intro ode class really
There's one that's taught as an upper division course
But it isn't computational in nature I don't think
Honestly
I don't even know why non-math people should be learning ODE theory
And if they are, it should be in a numerics framework
bronze pelican
At Stony Brook its called Calc 4
sharp mulch
Because that's how the ode is going to be solved
Like
ODE solvers are so good
That you can literally black-box them
With a few exceptions
Hamiltonian systems being one
Stiffness considerations being the other
bronze pelican
sharp mulch
sharp mulch
bronze pelican
Especially in intro/low level courses?
It's because of Inertia. We've always been doing this
sharp mulch
Yeah
cold needle
i still dont remember anything i learned from my first ode course
and i would like to keep it that way
azure kettle
it works because we tried it out and found it works
sharp mulch
Unless you want to start talking about spectral theory of compact self-adjoint differential operators
azure kettle
guess and hope it works is a valid strategy
bronze pelican
bronze pelican
It's really just emotions
sharp mulch
Is Sturm-Liouville theory even good for anything
bronze pelican
"All second-order linear ordinary differential equations can be reduced to this form."
I guess that's why it matters
sharp mulch
They're already linear though
thin siren
Man I was supposed to taks my Math SAT Subject Test on saturday but my test centre closed
thin siren
nope
neat lintel
Did u study for it?
thin siren
ya the whole of last month
neat lintel
It doesn't matter much anyway, just do good on ur sat math section
bronze pelican
"the one-dimensional time-independent Schrödinger equation is a S-L problem."
thin siren
It doesn't matter much anyway, just do good on ur sat math section
i already got that sorted
but the college im applying to
requires sat subject test scores
neat lintel
What did you get on the sat?
thin siren
1550
neat lintel
You have a reason for why you couldn't take it
Nice
That's a good score im sure they'll accept you unless you have a bad gpa
What is your gpa?
thin siren
high 3.9
bronze pelican
thin siren
yeah i hope they arent petty lol
sharp mulch
Time independent Schrodinger is just fancy Laplace anyways
azure kettle
hallow wasp
what is krnocker delta
i remember not understanding it in analysis
and some bs about it being a distribution not a funciton
hallow wasp
freak
sharp mulch
You're thinking about the dirac delta
$\delta_{mn}=\begin{cases}1&m=n\0&m\neq n\end{cases}$
fathom swallowBOT
Apostle of Epilogue and Eternity
sharp mulch
This is the Kronecker delta
bronze pelican
It's the indicator function of the diagonal
hallow wasp
oh
bronze pelican
hallow wasp
infinite identity matrix?
deep mango
Well you can use it with as many indices as you like I guess
So
Sure
Anyway, dirac delta is the """function""" which is infinity at 0 and 1 elsewhere
deep mango
Which just means its the measure whose mass is all concentrated at 0
No, those are a different thing
Probability distributions are not the same thing as analysis distributions
hallow wasp
they are both measures?
deep mango
In analysis, distribution means "linear functional on a space of functions"
Continuous linear functional to be exact
hallow wasp
a functional?
deep mango
Usually it means linear functional on the space of smooth compactly supported functions
Yeah just a linear map from the space to the base field
hallow wasp
can i get an example
like it takes in a point in R3
and gives something in R?
f:R^3->R is a functional?
forest jackal
No, it takes arbitrary "test functions" (smooth compactly supported functions is one example of what you take to be the test functions), and spits out real/complex numbers.
and it does so linearly and continuously.
forest jackal
a simple example is the functional $T_\psi:\phi \mapsto \int \phi\psi$ for a fixed choice of locally integrable function $\psi$.
fathom swallowBOT
gomez
hallow wasp
locally integrable?
what does locally add to it
and im assuming phi is just any function?
forest jackal
integrable over any compact set, so it might grow wildly at infinity but that is okay.
eg x^2 is a locally integrable function on R
phi is your test function, i.e. a smooth compactly supported function
because it is compactly supported, it doesn't matter if psi gets huge at infinity.
hallow wasp
smooth means infinitely differentiable?
hallow wasp
oh
locally integrable means integrable over compact sets
that makes sense now
so what makes it a functional
all those properties?
or wait the example you gave was a distribution in analysis
forest jackal
The definition of a functional on a vector space V is just a linear map T:V->F, F being the scalar field. If the vector space has a topology too (like the space of test functions does), then you usually are only interested in the continuous functionals.
The example I gave is indeed a continuous functional on the space of test functions, and so is a distribution in the sense of analysis.
And as such, we can regard the space of all distributions as containing the space of all locally integrable functions, because as we saw, every locally integrable function gave rise to a functional/distribution.
But the space of distributions is in fact much larger, and contains things that are no longer functions on R^n in any sense.
The Dirac delta is one such example.
The functional in that case is just $\phi \mapsto \phi(0)$, evaluation at $0$.
fathom swallowBOT
gomez
hallow wasp
Locally integrable means integrable over compact sets, Compactly supported means integrable over all compact set. Every locally integrable function has an obvious functional being the integral over the compact sets, and test functions are smooth compactly supported functions?
forest jackal
no, compactly supported means zero outside of a compact set.
also test functions are smooth.
so test functions are a very tiny subspace of locally integrable functions, which are in turn a tiny subspace of distributions.
hallow wasp
ohhh
ok
dirac delta isnt a test function though?
its a functional
functionals are functions too ig
forest jackal
the functional is not the integral over "the compact sets" whatever that means, the functional associated to a particular locally integrable $\psi$ is $\phi \mapsto \int_{\mathbb{R}} \phi\psi , dx$
fathom swallowBOT
gomez
hallow wasp
ok i can see that
forest jackal
I never said dirac delta is a test function, it very much isn't. I explicitly said that it is not a function on R^n.
it is a functional on the space of test functions
aka a distribution
hallow wasp
ok
and test functions are locally integrable smooth functions
which means integrable on compact sets and smooth
forest jackal
no, they are compactly supported smooth functions
hallow wasp
ahhh
forest jackal
which will also be locally integrable as a consequence.
hallow wasp
so test functions are 0 outside of compact sets and smooth
forest jackal
yes
although you can consider bigger classes of test functions, and then when you consider the space of functionals on these you get different classes of distributions
hallow wasp
woah one step at a time
forest jackal
lol
hallow wasp
why are test functions locally integrable as a result of them being compactly supported and smooth
if they evaluate to 0 outside of compact sets, can they still be 0 within them
non-zero supremum?
forest jackal
smooth means they are certainly measurable, compactly supported and continuous things are bounded, and so if they are supported in a compact set K you have $\int_\mathbb{R} |f| \leq \int_K |f| \leq m(K)\cdot \max_{K} |f| < \infty. $
hallow wasp
if its 0 doesnt that mean zero measure tho
forest jackal
what?
hallow wasp
@slim
if you take a compact set into a test function and get zero doesnt that mean zero measure?
or wait test functions arent integrals rip
forest jackal
Speak in full sentences please, I have no idea what "take a compact set into a test function" means
and what are you asking about being zero measure
neat lintel
Speak in full sentences please, I have no idea what "take a compact set into a t...
Same
hallow wasp
If you have a test function f and any compact set A and f(A)=0, does that mean its measure is zero? I think i realized my mistake though. I thought that test functions were integrals
measure of the compact sets
yea
ok
compactly supported means continuous things are bounded?
forest jackal
compactly supported continuous functions are bounded, yes.
because continuous functions are bounded on compact sets.
and outside of a fixed compact set your function is just zero
bronze pelican
At least we know the cat landed on its feet
neat lintel
bronze pelican
Universal property of cats
neat lintel
remember
sigh
Remember, topologies are just glorified semi-lattices.
If you have two semi-lattices X and Y, and a monotone function f from X to Y then an element a of X is a sufficient factor for b in Y if for any refinement of X W, refinement of Y Z and monotone function f': W -> Z that extends f, for any element w of W, w subs a => f'(w) subs b. Likewise an element a of X is a necessary factor for b in Y if for any refinement of X W, refinement of Y Z and monotone function f': W -> Z that extends f, for any element w of W, w subs a <= f'(w) subs b. An element a of X is a determining factor for b in Y if it is a necessary and sufficient factor. The map f is factorable if every element of Y has a determining factor in X. This means that there exists a function f*: Y -> X.
What it means in topology for a map F: X to Y to be continuous is that the induced map f = cl o image_F, from the closed sets of X to the closed sets of Y is a factorable map.
narrow rock
forest jackal
k
bronze pelican
Loololo
narrow rock
loololo
hallow wasp
although you can consider bigger classes of test functions, and then when you co...
Bigger classes of test functions compared to what exactly?
forest jackal
the space of smooth compactly supported functions
neat lintel
forest jackal
lol
hallow wasp
i thought test functions were exactly this
i thought test functions were smooth compactly supported functions
i know they are smooth
forest jackal
That is one possible choice, but the term is used for several different spaces depending on context.
forest jackal
no
test functions are functions on R^n
distributions are the cts functionals on the space of test functions, aka the cts dual of the space of test functions.
different classes of test functions give rise to different classes of distributions.
hallow wasp
no clue what cts dual is
forest jackal
good thing I spelled it out explicitly in the sentence then
forest jackal
the space of continuous functionals on X is the cts dual space of X, yes.
bronze pelican
I sullied it because it's not a complete sentence
forest jackal
For any topological vector space X.
hallow wasp
oh ok
topological only because its cts?
i never done nothing with topologicla vector spaces
forest jackal
yes you need a topology for "continuous" to make sense.
hallow wasp
i meant to say i never though of it more abstractly
only R^n
atm im thinking of all of these things in terms of R^n
forest jackal
It is just a vector space with a compatible topology. In basic analysis you are really working with R^n as a topological vector space, but things get a bit more complicated when you vector space is infinite dimensional, say a vector space of functions.
In this case our vector space was the smooth compactly supported functions.
Yeah but even when talking about R^n, if you want to talk about distributions you need to take the dual of the vector space of test functions on R^n.
formal dirge
Hey I have an interesting question it goes like this
As we all know that difficult times of COVID 19 is going everywhere and a medical facilities needs a instant attention
Can someone work on a formula which can distribute resources among districts based on the data such as daily cases, total active cases, recovery rates.
For this particular example consider medical facilities in form of oxygen
By this we will be able to predict the priority districts which need more attention and can save more lives.
With this we can also predict the districts which needs more vaccination to break the chain of this virus and slow down the rates of COVID cases.
forest jackal
This space of test functions is infinite dimensional.
forest jackal
cold needle
yes
hallow wasp
id naturally ask where do i learn more about this, but ive lived long enough on this god blessed server to know ill be meme linked to a popular analysis book and told to do every exercise
so ill just wikipedia each term and glance at the references every now and then if they even have them
neat lintel
Are you not supposed to do every exercise?
bronze pelican
hallow wasp
or something like that name
neat lintel
Just in analysis or any math textbook?
forest jackal
Lol. I wouldn't have offered a meme link, but I am not sure what the best thing to recommend is. I learned lots from vol1 of reed-simon, grafakos books for example.
but they will be in lots of places
hallow wasp
kreyszig?
forest jackal
they are a fundamental tool in analysis
idk if they will be in kreysig
will check
neat lintel
How do you know which are the best exercises to do?
forest jackal
kreysig is nice for some purposes, it is quite gentle
hallow wasp
calm down please
neat lintel
I'm not a woman tho
cold needle
what
neat lintel
Dammit
forest jackal
How do you know which are the best exercises to do?
the ones I don't have any idea how to do.
velvet dagger
Did someone say functional analysis?
hallow wasp
no?
neat lintel
the ones I don't have any idea how to do.
Those should be the ones u should do so u kno how to do them
hallow wasp
i never thought of topology and vector spaces together until june 3rd
velvet dagger
Oh so update on Weyl law @forest jackal: turns out my estimates were brutal for a certain zone, so I sharpened them quite a lot. And now I just need a lower bound on my stuff
hallow wasp
ok time to leave
neat lintel
Cool
velvet dagger
In particular something which was previously O(R^2) became O(R)
And another thing which was O(R^2) became O(R^{-N}) lmfao
Didn't even take that much extra work it was basically that I thought all I needed was O(R^2) and I was like pfft ez
forest jackal
lol
velvet dagger
So I was willing to throw away a lot
e.g. oh |h| = O((1+|x-R|)^{-N})? Well means it's bounded
Stuff like that
upper patrol
why is there a #serious-discussion
sharp mulch
There was a recurring issue of off-topic conversations in #math-discussion so the idea was to make a second general discussion channel to reduce congestion at peak activity hours and to make it easier to redirect conversations
inner finch
ange i would like to ban you
pale orchid
,ban Angetenar
fathom swallowBOT
agile wedge
😔
south rain
,ban @admin
fathom swallowBOT
south rain
,ban @everyone
fathom swallowBOT
south rain
hidden reef
,ban @hidden reef
fathom swallowBOT
south rain
,ban @south rain
fathom swallowBOT
fathom swallowBOT
south rain
sharp mulch
compact tartan
that's enough
deep mango
compact tartan
very cool
deep mango
ok
deep mango
compact tartan
compact tartan
thanks
leaden torrent
they changed how reacts look when you mouse over them
wtf
it doesnt show the emoji name anymore
this is a terrible change
bronze pelican
Bad
devout nacelle
On browser, it's the same way as before
sharp mulch
leaden torrent
wait hold on
it randomly went back to the old way
what the fuck
wait
let me test this
huh okay so it seems like
if the react is less than like
100ish people
it shows the old way
but if its more than that it just shows the icon?
its like its failing to load or something but the behaviour seems consistent
bizarre
probably not intentional in any case
leaden torrent
liberacord
bronze pelican
errant kiln
Discord 2, let's call it Concord.
pale orchid
discord 2. codename: datcord
reef carbon
does anyone happen to be good at Sokoban
i have a puzzle that i need pointers on
not an entire solution but like. yknow
vagrant kestrel
I am soko player
reef carbon
would you mind if i asked you for pointers on a sokoban map
vagrant kestrel
go for it
distant vortex
I thought I knew how it worked, but what are the goals?
deep mango
good lord
reef carbon
fill all goal squares
toxic schooner
this is a terrible change
its not for me
vagrant kestrel
ok I put it in a game https://www.puzzlescript.net/play.html?p=c4b23c500c7e41e5d1b5c0b766d6b1eb
distant vortex
fill all goal squares
I don't understand 👀 I thought you had to put the boxes on the red dots?
pale orchid
the boxes are the red dots in ann's drawing
vagrant kestrel
getting 12 is hard 
distant vortex
Can you push two boxes?
vagrant kestrel
no
distant vortex
vagrant kestrel
ok I think I got it, let me perform the 500 moves left
reef carbon
im kinda scared of like
accidentally making a box stuck
so im struggling to think of what to do as the first step
vagrant kestrel
I think you can ||see like 3 boxes that must be stuck||
pale orchid
by starting at the bottom, i'm pretty sure you can get a single box stuck
reef carbon
I think you can ||see like 3 boxes that must be stuck||
||which ones are those?||
vagrant kestrel
||top right 3||
reef carbon
||so you're saying i should get them stuck on purpose, ie give up trying to fill the goals with them?||
vagrant kestrel
uh oh maybe I spoke too soon
reef carbon
im having choice paralysis
vagrant kestrel
how do I get all of these 
distant vortex
Pretty sure it's impossible
reef carbon
12 targets is impossible??
distant vortex
No, I mean finishing from Plur's position
devout nacelle
How can the blocks be moved?
vagrant kestrel
I posted a game link
blue guy pushes
this is an 11 solution, so probably just 1 trick off
devout nacelle
||Is moving block c2 to e3 legal?||
vagrant kestrel
huh
devout nacelle
Unless I'm misinterpreting the game 
sharp mulch
devout nacelle
Okay let me open this on PC
neat lintel
Is it like those strength puzzles in pokemon if I'm not wrong?
devout nacelle
Touch response is horrible
vagrant kestrel
yea karaka
neat lintel
Ic
vagrant kestrel
z to undo r to restart
distant vortex
distant vortex
Lol
deep mango
oh no i see
distant vortex
ryc solved wrong one
deep mango
no it was right i think
deep mango
yeah i ||stuck 3 boxes on purpose, 2 near the start and one near the end. the 4th box i just couldn't get.|| i ||started with stuff near the bottom, pushing them in front of the lower exit of the hallway on the middle right and then using that hallway to get them into the black (which required me to get 2 of the 3 top right ones stuck|| then, i ||worked my way through the puzzle clearing out the middle area, then the one i could get on the top right, then the stuff on the top left except for one which i had to stick in a corner||
reef carbon
a sokoban puzzle im trying to solve
or rather
having ppl here try to solve
because im shit at sokoban
deep mango
it's a great puzzle
vagrant kestrel
yea ok it works
cold needle
yeah i i then, i
deep mango
i should have clarified what the spoilers were. the first one is when i got things stuck, the second spoiler is how i started, and the third spoiler is how i handled the rest
really? interesting
those are not the ones i got stuck
vagrant kestrel
sokoban with a jillion solutions, as always
deep mango
or, i guess 3 out of the 4 are
bronze pelican
Sokoban puzzles are cool
I watched my friend play helltaker and there were some sokoban puzzles in there
distant vortex
Get 16 boxes on 12 goals? 👀
umbral oxide
or, i guess 3 out of the 4 are
How do you feel about pelicans?
deep mango
not very positive
hallow wasp
imagine the 🧠
deep mango
hallow wasp
i strongly agree
orchid nova
我认为它告诉我们要继续努力，永不放弃，我认为它也告诉我们永远不要对我们所做的事情 100% 安全
hidden reef
I dont speak russian
sharp mulch
sharp mulch
thorn brook
did she seriously leave?
sharp mulch
Mirza left the server, yes
cold needle
i was Hella Asleep
toxic schooner
so i cant say
toxic schooner
i was hella high on chem
thorn brook
sharp mulch
You aren't even from California
cold needle
oh
cold needle
i didnt know that ange that is interesting
sharp mulch
Hella has existed in California English since at least the mid 1970s
thorn brook
Usually angetenar has a deep nickname, but now it's like banana
sharp mulch
"deep"
toxic schooner
i was kinda interested to know
cold needle
deep
thorn brook
idk you step inside the exam and do it I guess
sharp mulch
Weird idea of what constitutes deep
toxic schooner
idk you step inside the exam and do it I guess
I meant what its like
how hard is it
and stuff
thorn brook
Yeah I know I was joking lmao
thorn brook
Weird idea of what constitutes deep
Well you usually have like paradise of sadness or something
cold needle
pun
sharp mulch
Do you mean Paradise of Despair
thorn brook
that's deep
toxic schooner
im tired
deep mango
deep mango
thorn brook
gn!
sharp mulch
thorn brook
thorn brook
I want it too
toxic schooner
this is also nice
crystal stone
Hella originated in Oakland, CA
God I hate that word
thorn brook
I have no idea if it's an emote somewhere. But there was a guy namned gogm and he spammed this emote all the time so I used it too
toxic schooner
which one
sharp mulch
crystal stone
Anytime someone uses Hella
crystal stone
Just sounds ugly on the ear
toxic schooner
vale hare
a group is a group acting on a group
a ring is a group acting on an abelian group?
a module is a ring action on an abelian group?
vale hare
cayley i meant
dense belfry
I don't think the second one is correct
sleek wing
a ring is a monoid acting on a abelian group, a division ring is a group acting on an abelian group
dense belfry
I think that is still incorrect
vale hare
are there any cool other facts about objects arising as actions of more elementary objects?
what is a module acting on an abelian group
does that exist?
sleek wing
No, modules are defined over rings not groups
Unless you modify what the module “action” is
But then you just end up with an abelian group acting on an abelian group
thorn brook
remember, groups are just glorified magmas
neat lintel
aren't actions just functors into a category of endomorphisms?
leaden torrent
a [thing] is an endofunctor of [map] in [category]
replace thing with anything
and theres a way to make this work
sleek wing
And here we cope
leaden torrent
obligatory
vale hare
why can't you have a module action on a group?
leaden torrent
jovial ember
No a left module is a map
R (x) M -f> M where (x) is the tensor product of abelian groups such that f•(id (x) f) = f•(mu (x) id) where mu is the comultiplication (actually I think this is the multiplication map) R (x) R -> R
sleek wing
(Assuming right modules before I get called out)
sharp mulch
leaden torrent
a is a oid with one object
vale hare
i don't know tensor product or much cateogry theory
meager sonnet
Don't worry tensor products are pretty straightforward to learn
velvet dagger
A category is a categoryoid with a single object
jovial ember
leaden torrent
A category is a categoryoid with a single object
this almost works
meager sonnet
You see, a tensor is a thing that transforms like a tensor
reef carbon
a thonk is a thonkoid with a single object
meager sonnet
Category is a monoidoid
leaden torrent
if you interpret categoryoid as an (infty, 1) cat
sleek wing
Tensor product is a map of bilinear relations how tf can u have a bilinear relation on groups
leaden torrent
reef carbon
monoidoidoidoid
meager sonnet
A category is simply a representable endofunctor on the category of categories
meager sonnet
There are no set theoretic concerns in Ba Sing Se
jovial ember
It’s not set theoretic
It’s like class theoretic issues or something, I don’t get it
pale orchid
if you liked it then you should have put a ringoid
meager sonnet
There are no size issues in Ba Sing Se
jovial ember
True!
meager sonnet
I mean it is in a sense set theoretic as in the sets don't exist
Unless it's the whole cardinal thing
Mhm Grothendieck Universes mhmmhmhmm inaccessible Cardinals ok now we've solved all the size issues give the infinity, 1 megatopos of homotopy categories
jovial ember
But it’s not about sets since the things are too big to be sets anyway
meager sonnet
If we squish them down we can make them sets
reef carbon
Let $\mathfrak{W}$ be a weakly co-Yoneda anti-monomorphic strongly faithful weakly pseudo-self-coadjoint embedding of $\mathcal{C}$ in \textbf{Set}. Then it is clear that $$\coprod_{i: \mathfrak{X} \gets \delta} \log(\mathscr{T}_{g}^{\otimes}) \cong \mathfrak{cg}(\mathbb{CP}^n).$$
fathom swallowBOT
Ann
reef carbon
am i a category theorist yet 