![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
dmmYesterday, today, tomorrow (12 hours diff between that and US East Coast):
math.nie.edu.sg/isdt09/
math.nie.edu.sg/isdt09/programme/9th_ISDT_Program1.pdf
Free zoom; I am listening to some of this right now... Very nostalgic...
But... it's just too difficult (and they don't even seem to record).
In any case, that's the kind of "intelligent assistant" I want - a piece of software with which I could discuss a talk and a slide deck like one of those, and which would help me to understand the details of what's going on.
math.nie.edu.sg/isdt09/
math.nie.edu.sg/isdt09/programme/9th_ISDT_Program1.pdf
Free zoom; I am listening to some of this right now... Very nostalgic...
But... it's just too difficult (and they don't even seem to record).
In any case, that's the kind of "intelligent assistant" I want - a piece of software with which I could discuss a talk and a slide deck like one of those, and which would help me to understand the details of what's going on.
no subject
Date: 2022-07-05 01:42 pm (UTC)Unfortunately, almost everyone looks much older than in my memories :-(
no subject
Date: 2022-07-05 01:45 pm (UTC)I got a feeling that this kind of math, as almost any kind of math, is getting out of fashion, fast. Can't explain.
no subject
Date: 2022-07-05 02:17 pm (UTC)I remember the distinct feel in 2017 at a conference like this that I understand the talks less than before (and that I am applying much less of my (usually rather desperate) efforts to understand them better). And I remember telling myself that perhaps my interests have shifted away from this (mostly because of the discovery of DMM, but also because of me getting older and less mentally agile).
On the other hand, I did revisit "Homotopy Type Theory: Univalent Foundations of Mathematics" https://homotopytypetheory.org/book/ over the weekend, pondering whether to make a more serious attempt to finally learn it.
(In reality, I only need to acquire a better functional programming toolbox for myself, plus get more intimate with contravariance (in the first argument of functional type, implication, fuzzy partial order, quasi-metric, etc - all these are essentially the same thing in this sense), but I'd like to mate this with spaces of rays on real numbers, and multidimensional constructions based on those. Perhaps, an attempt to learn the HoTT book is an overkill for that. I am not sure...)
no subject
Date: 2022-07-05 02:28 pm (UTC)Right; hard to tell at times.