Show newer
niplav boosted

expression of frustration about people who touch other while sleeping next to each other

Category Mech for mechanisms, and Incen for incentive-compatible mechanisms

Is this anything? (I don't know category theory)

niplav boosted

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

niplav boosted

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

Show thread
niplav boosted

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 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

niplav boosted

@niplav Mistakes are where you learn. Successes are where you celebrate.

I'm learning so much more on botched dates than smooth ones

@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)

Show older
Mastodon

a Schelling point for those who seek one