« first day (4101 days earlier)      last day (906 days later) » 

9:00 PM
Be glad they didn't hook them up to a flip-flop
(eg if B is on it follows A; if B is off it follows what A was when B was last on)
 
I mean, I would be okay with that. I could, at least, turn on only bank B, which is what I really want.
 
(that's a D latch, Wikipedia tells me through some very confusing tables)
 
@AkivaWeinberger Lol
 
Messing around with a formula for $\sqrt{a+t\sqrt b}$
You can unnest it iff $a^2-t^2b$ is a square. Otherwise the formula splits it into two nested radicals
 
Seems like Klein 4-group Galois symmetry
 
9:05 PM
Yeah makes sense
Ted said the same thing but I didn't process it at the time
 
Ted is always on point
 
But yeah it's $\sum_\pm\sqrt{(a\pm\sqrt{a^2-t^2b})/2}$
where $\sum_\pm$ is a notation I just made up that totally should become standard
 
I am stuck on something and I don't know how to proceed
 
I can help!
But probably not with that
Just, uh, remember to stay hydrated #helping
 
It's not even very hard math, just have to find the right axioms for a certain type of argument to work
 
9:12 PM
Topology? Or something else
 
Yeah topology. Here's the simplest version of my problem
 
Hi,
I have a simple problem and I don't see where I got it wrong:
 
I have a $2$-simplex $\Delta = [v_0, v_1, v_2]$ and a homotopy of, say, maps $f_t : \{v_0\} \to X$. I would like to extend it to a homotopy $g_t : \Delta \to X$ with $g_0|[v_0] = f_0$.
Except my maps need to satisfy certain conditions
 
i like \sum_\pm
 
me too
 
9:14 PM
tangen vector $\hat t =d\vec{r}(s)/ds = d\vec{r}(\phi)/d\phi d\phi/ds$
Now d\phi/ds = \rho and in polar coordinates d\vec{r}(\phi)/d\phi=r \vec{e}_\phi
So it looks like r=\rho, since |t|=1, which is wrong
 
I think the universal case of this is $\Delta\cup I$, a triangle with a line coming out of the vertices
 
Yeah that's my picture
And I want a full prism
 
where by "universal" I mean either "limit" or "colimit" in the category theory sense (I still don't get category theory well enough to say)
Well, you're mapping into it, so colimit?
 
That's fine, me neither lol but yeah
I can get to $\Delta \cup B_\epsilon(I) \subset \Delta \times I$ where $B_\epsilon(I)$ is a little nbhd of that line in the prism
I can also get to $\Delta \cup B_\epsilon(I) \cup [v_0, v_1] \times I \cup [v_0, v_2] \times I$.
 
Wait so you're just trying to retract the prism onto a base union an edge?
 
9:19 PM
You can compose the retract with the existing map defined on $\Delta \cup I$ but then the map loses its "special properties" that I need
So I'm instead extending bit by bit
 
I'm thinking like draw the triangle on the plane and "contract" the top $t$ percent of it to a line
like you're squeezing a tube of toothpaste
 
yeah
@BalarkaSen If the retract is small like $B_\epsilon(I) \to I \cup (\Delta \cap B_\epsilon(v_0))$ then I am fine, the map doesn't lose it's property. In other words the collection of maps to $X$ which has this property is "open"
So that's why I can tiny-extend to $B_\epsilon(I)$
 
@pawel_winzig I don't fully get what's going on but is this $d/ds$ or $\partial/\partial s$
Maybe you want the multivariate chain rule, $dy/dt=\partial y/\partial u~du/dt+\partial y/\partial v~dv/dt$ or something
Nah never mind I think I misunderstood your problem @pawel_winzig
 
@BalarkaSen So now I want to get to $\Delta \cup B_\epsilon(I) \cup B_\epsilon([v_0, v_1] \times I) \cup B_\epsilon([v_0, v_2] \times I)$ but then the maps defined on $B_\epsilon([v_0, v_i] \times I)$ do not match with the map defined on $B_\epsilon(I)$ where they intersect
 
Balarka, I need pictures so much
 
9:23 PM
what was the thing where you could draw pictures live
 
@AkivaWeinberger it is rather a substitution of the parameter "length s" with "angle phi", and I'm doing a stupid mistake somewhere, but I don't see it
 
Oh that's cool. You can have a link to another person's board? @BalarkaSen
 
I think so let's see
 
The original problem is the tangent of an ellipse. Sure, I can do the direct calculation but the above one should also lead to $\vec{e}_\phi$ as the tangent vector
 
9:27 PM
but my above consideration results in r=rho, and 1/rho is the curvature
 
@Akiva There's your pic
 
I can't see anything @BalarkaSen
Oh now I see a question mark and an upside-down q mark @BalarkaSen
but I can't write anything
 
Oh probably because I put a password
The password is our favorite mathematician
 
"ted" isn't working
 
You joked about his name on twitter
 
9:32 PM
"leslie townes" isn't working either
i think this software is malfunctioning
 
LOL
 
Where do I put the password
Wait you look at my twitter?
 
Click on your name on top
Yes why not
I mean not your name but the gnome face
 
My name?
Oh found it
 
we all look at your twitter, akiva
surely you didn't think those thousands of likes were from random people
 
9:34 PM
wait who did I make fun of most recently
Klein?
 
It wasn't most recent I think
 
Oh, thousands of leslie clones, shoulda known
 
Just think about it man
 
leslietownes2395862896 liked this post
 
actually have no idea, what's the password
 
9:35 PM
S----
 
i've learned that apparently akiva has a twitter where he just trashes mathematicians left and right so often that he can't keep track of who he makes fun of
 
We'll play hangman until he figures out the password
Or someone else does
 
Not Sylow?
 
Do you think my favorite mathematician is Sylow
S---e
 
9:37 PM
SMALE
 
there's like ten of us there now
 
When did I make fun of Smale
 
spheve
 
Oh right
 
you're doing it right now
 
9:37 PM
Dude that was two months ago
 
I don't look at your twitter every day man
 
the cyberstalking is strong in this one
spheve smale, that's clever
that's praising his name
 
Drew a slice of a Mobius band with planar boundary
 
very clever
 
Hi
Goodness, what year is it, 2017?
 
9:41 PM
Why
 
Akiva, Semi, Balarka and Leaky all at the same time in chat
 
Oh right
 
Oh yeah lol
 
Wait Leaky
 
9:41 PM
Hi @Akiva, @Astyx, @Leaky, @Semiclassical, @LeakyNun
 
Hi @LeakyNun
Also everyone else
 
@BalarkaSen you pinged me twice
 
I have Twitter math friends now
and they're worse than you
 
Just finished my four-hour lab block
 
and also not friends
 
9:42 PM
Good point @LeakyNun
 
So I’m a bit beat
 
What does this notation mean? $(\hat V)[(X',j) \mapsto X'] $
 
I actually don't have a twitter but I can make one
 
Source?
 
9:43 PM
@BalarkaSen I mean if you value your soul I'd caution against it tbh
 
Seems like it’s probably “drop the last coordinate”
 
Twitter has little to no appeal to me
 
I have a Twitter , under the obvious name
 
i have multiple twitters, most of which i use for spreading rumors about joe biden's health in broken english
 
I’m more of a YT lurker tho
 
9:45 PM
yeah youtube is more of my thing
 
I’ve yet to do any content creation myself tho
No idea what I’d even do
 
there are corners of twitter that are OK but you have to block and protect a lot
 
By contrast, I stay tf away from FB
 
No way I'm joining FB
 
I’ve got an ancient account there which I don’t touch
 
9:47 PM
one time i got into a long series of replies with someone about birding stuff we had both seen, and i was going to ask if they'd read a book, and was about to hit send when i realized i was talking to the author of the book
 
I uploaded an unedited two-hour Zoom conversation to YouTube a while ago
 
@Semiclassical dunno if you know it already, but I found ScienceClic's video "Quantum field theory visualized" to be very well made
 
there are tiny moments like that amidst the catastrophe
i've never used FB either
 
@Astyx interesting
 
i mean i buy ads on FB to advertise lesliecoin but i would never get an account there
 
9:48 PM
@leslietownes If you were gonna phrase it as "I highly recommend you check out this book if you haven't" then it coulda been a positive
 
The trouble is that QFT is so much a matter of formalism more than concepts
 
it woulda been a positive, it was along the lines of "there's something like this in X book, but not quite what we're talking about"
 
So I’d have a hard time judging that video on its own terms
 
it still would have been embarrassing as they were not tweeting under a pseudonym
 
@Astyx Mais pas de Ted.
 
9:49 PM
Tu n'étais pas encore là ! :P
 
Je suis innocent!
 
anyway i demanded revisions in the second edition
 
Also there’s an argument to be made that “visualizations” have no place in genuine quantum theory
 
@Semiclassical yes, but it's still nice to have images to represent stuff
 
QFT is more “some particles go in, math happens, some particles come out”
 
9:51 PM
Quantum mechanics is just rigged Hilbert space theory done badly
 
If it isn't what's happening but still predicts what's happening then it's still useful to visualize it
 
there's a reason feynman diagrams are so popular
 
ted, you might like this. my wife is going to be out of town for all of next week. parents will no longer outnumber the munchkin.
my wife may return home to a very different child. i plan on using the geese at the duck pond as babysitters.
 
Eh. I don’t count Feynman diagrams as visualizations in the traditional sense. Physicists really don’t understand them as depicting space-time processes
 
I think the munchkin may demand social services place her in an alternative home.
 
9:54 PM
fair
 
ted, did i tell this story? the other day she held out an empty water bottle to my wife and said "do you want to fill this?" my wife said OK, sure, but was in the middle of a task. when my wife did not immediately respond, my daughter said "so do it"
 
i think she's going to be a CEO of something someday before she winds up in prison.
 
visualizations by a physicist
 
Mmm, birdtracks
 
9:55 PM
ah yes
 
you just remove that one carboxyl group and it's street legal
 
The way I’d say it is that those are pictorial but not visualizations
 
Know anything about sunset diagrams?
 
Not really, tho they make sense
 
I think you've inculcated a bit too much rudeness to parents. I would have been slapped for such behavior.
 
9:58 PM
In an intro QFT course you usually avoid diagrams with more than one loop
 
the books say she's probably not quite at the point where she can understand politeness. she can understand do and don't, but "don't say that" probably gets interpreted too literally to be instructive.
 
And sunset is two loops
 
Um, I think you've encouraged rudeness beyond what most parents would allow.
 
this is possible. apparently she's fine at day care.
we've definitely asked about this.
 
So she acts "appropriately" there and not with you two.
She's very smart.
 
10:02 PM
again, daycare to CEO to prison pipeline.
 
Yeah I think kids always go right up to the edge of what's allowed, and can tell when "what's allowed" varies based on situation
like gases filling up a container
 
I think munchkin is ready to sublimate.
I bet DogAteMy was more of a wiseguy with some people than ever with his parents.
 
she does thank us for stuff from time to time, even out of the blue. last night at dinner she thanked me for helping her with her bath on sunday. we weren't talking about baths so it felt a little bit like manipulation.
she does ask my wife for hugs as a diversionary tactic, to postpone doing something that she doesn't want to do. it's viciously effective.
 
I used to be a prick as a kid
 
gee, I'm shocked.
 
10:07 PM
@Semiclassical I'm starting my PhD and using them as a study object
 
autocorrect likes to replace "supremum" with "supermom"
 
I love it when someone who wrote garbage says "so trivial" when I inquire about it ... and, without apology, removes his post.
Damn, @Astyx has grown up fast.
 
Not faster than most here
 
Can someone help with this question: math.stackexchange.com/questions/4288406/…
 
Say I have a $1/2^n$ chance of earning $(-2)^n/n$, $~n>1$
What's my expected earnings
 
10:10 PM
@Node Is that not a question for programmers?
 
You'd think $1-\frac12+\frac13-\dotsb=\ln2$, but Riemann rearrangement says I could rearrange it to literally anything, and there's no order in the probability space
 
@Node.JS we need to know the context, as someone already asked you
 
@AkivaWeinberger so it would be undefined?
 
Yeah I guess it would be
 
@Astyx that does this mean X [ Y \mapsto Z ]
 
10:12 PM
but, like, I can program this out and simulate it
 
Right, when you define expectancy you want absolute convergence IIRC
 
You should get chaos.
 
I guess what that means is, if I track my average earnings over time, it never converges?
 
@AkivaWeinberger yeah
 
Unlike most random stuff
 
10:12 PM
the Lebesgue integral is not defined
 
Weird
So like is it a good idea or not a good idea to play this game
 
@AkivaWeinberger have you not seen Cauchy distribution
 
if my expected value could be any negative or positive number
No @LeakyNun
 
i.e. ratio of two independent standard normal variables
 
Does that also have undefined expected value?
 
10:14 PM
yeah
 
@AkivaWeinberger well the harmonic series diverges very slowly so you should not see much chaos if you program it
 
What if I take the absolute value of the ratio
 
one might expect implementation-dependent artifacts if you program it. it's not going to be able to do exact arithmetic forever.
 
Fair point. If my computer can only store $N$ different real numbers and I'm doing $\gg N$ trials it'll be weird
 
10:16 PM
pretty sure the universe will die before you can do >> N trials
 
but $N$ is really big so I don't think you'll notice it for a while
yeah
 
maybe this would make a good test of an implementation of rational arithmetic. "mine is better because it lets you win the game!"
 
So this is all related to the envelope paradox
Say we choose $X=10^n$ with probability $1/2^n$
and fill one envelope with $X$ dollars and the other $10X$ dollars
and I hand them to you and you don't know which is which
 
te doy la bienvenida al mundo de expectaciones no definidas
 
so let's call the one you open $X$ and the other envelope $Y$, which has a half chance of being $10X$ and a half chance of being $X/10$
Then $E(Y-X|X=x)>0$ no matter what $x$ is
but $E(Y-X|Y=y)<0$ no matter what $y$ is
and these expectations are defined
so if I hand you these envelopes and tell you what's in the one you chose, you'll want to switch. But if I tell you what's in the other one, you'll not want to switch. No matter what those amounts are
(assuming $x$ and $y$ are possible values I guess)
($E(Y-X|X=\$3.50)$ isn't gonna happen)
 
10:22 PM
i guess this would be an instance when math fails to approximate the real world? (you can't have that much money)
 
On the other hand, $P(Y>X|X=x)=P(Y<X|Y=y)=1/2$
Yeah $E(X)$ is infinite so I totally can't set up this game
 
sometimes we use the model so much we forgot it's just a model
 
I can tell my computer to simulate it, but after playing $\gg N$ games you'll notice the computer isn't hitting some values nearly as often as it should
wait
Here's another game. Say you start with $\$x$, $~x>0$. I offer to let you name any number $y$ in the world. I flip a coin. Heads, your money is replaced with $\$y$; tails, you lose all your money and leave with $\$0$.
Clearly playing this game twice is worse than playing it once
but you always have an infinite expected value
so does that mean there's a maximum $\$x$ at which it's no longer worth it to you to play?
Something something bounded utility
 
just pretend you're 8 years old and say you want $\infty$ dollars as $y$
 
10:38 PM
Wait this is really good
 
Hire munchkin to get what she wants.
 
@Astyx Thanks for the recommendation
 
So, Astyx, you’re ending up doing math phys?
 
 
1 hour later…
11:53 PM
sounds like astyx is doing secret work for a foreign power who intervened just in time
 

« first day (4101 days earlier)      last day (906 days later) »