I'm going to be in the PRC autumn 2025, anyone can (self-)recommend people to meet up with?
(or places to visit, but I'm less interested in places)
Interests: AI, geopolitics, daygame/deliberate-getting-laid, algorithms, meditation, futurism/forecasting, building comprehensive world-models, reading, weightlifting
Algebraic derivatives living over vector spaces with tensor product would probably be the easiest thing to figure out, surely some commutative algebraists would care about such a thing
I feel like a lot of mathematicians would be interested in the fact that we know how to generalise the chain rule to non-cartesian settings using optics, if only we had examples that they'd be interested in. The first thing I can think of is trying to get a chain rule for the derivative of a function that's a stochastic process, where the value of the function and its derivative are probabilistically correlated
@Paradox oh, I meant a=>b as "a implies b"
@Paradox at least it wasn't a dream about going to the toilet
@Paradox I think prophetic dreams mught actually be preferable
More interesting life
@Paradox @cosmiccitizen posted about causation in Aristotle, which reminded me of formal causation
Under that view, a=>b and a together *cause* b, which is funny
Logical axioms form the root of a deductive "net" or directed acyclic graph, which is deductive
@Paradox a. fucking. men.
@arcana war is not about glory, it's about winning
And by Gnon would the current US army wipe the floor with these other armies
@cosmiccitizen I'm just worried I'm not developing the virtue of patience
(in this case impatience paid off, but it's not character-building)
I operate by Crocker's rules[1].