This oughtn't be super surprising, even the DE comment at the end - people do just have bits of maths they gel with more than others!
Even so, CT is not easy to motivate without a lot of experience in a few specific areas of maths - it's definitely a very "meta" subject (even though a lot of these blogs pretend it's super applicable to everyday engineering) and is a very different lens from the maths taught up to that point.
I'm surprised to see no mention of topos theory in this page? The sense in which category theory is a generalisation of set theory is pretty weak imo until you bring in concepts like subobject classifiers. This isn't the only thing topoi generalise, but is a pretty significant one
I know it varies by topic, but my experience asking ChatGPT about things I already know about (eg a smattering of topics in algebra) was bad. Like, bad bad. It got the intuition completely wrong, and asking for more explanation just got you complete garbage that ignored everything except the most trivial cases. Just be careful for anything outside of a 101 class!
Not commenting on whether it's good/bad, but I think it's completely different to your examples. Both of those say "here is context of my past achievements; this is an indication that what follows may be of high absolute quality"
As opposed to the "I am N years old", which is saying "here is context, which doesn't by itself indicate achievement, which may be an indication that what follows is of high relative quality"
That's not the best way to view it. You can prove it by showing that for an n-dimensional disc, there is no contraction to its boundary; which I think is a bit more illustrative of what this FPT is doing
Absolutely. In cities which are equipped for it, the small self-driving vehicles make so much more sense, for this reason.
Starship (https://www.starship.xyz/) have been running in a big way regularly in Milton Keynes (UK) for years now; the little robots driving around are a regular feature. Seems to be expanding to Cambridge (UK) too.
I imagine US suburb design makes this less feasible (I think I read that Starship started on college campuses in the states), and that's why we don't hear so much excitement about this approach? It seems to make way more sense to me than drones, mostly for the weather issue
If anyone is yet to see it, Tantacrul (on youtube) is now deeply involved with MuseScore (UX lead or similar?); he put out an awesome vid on the design of MS4 at the beginning of the year: https://youtu.be/Qct6LKbneKQ
His video on how Sibelius' UX is a pile of shit remains one of my favourite vids on yt: https://youtu.be/dKx1wnXClcI
Weirdly I checked his channel yesterday (for the first time since many months) if there happens to be a new video! Didn't know that there will be a new Musescore release.
Even so, CT is not easy to motivate without a lot of experience in a few specific areas of maths - it's definitely a very "meta" subject (even though a lot of these blogs pretend it's super applicable to everyday engineering) and is a very different lens from the maths taught up to that point.