niplav @niplav@schelling.pt
- Website
- https://niplav.site/index.html
- Pronouns
- they/them
I operate by Crocker's rules[1].
Joined Aug 2021
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
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 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
Causal deductive DAG
@Paradox a. fucking. men.
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)
@Paradox i agree
... And I notice I have no idea how to escalate on a first date so a second date is in the cards bc it's either been first date - > my place or chodery or losing her after first date so far
@Paradox And I didn't think about it as a *risk*, just as an observation of "there can be powerful subagents/mesaoptimizers who can be specialized and not really expand in their domain very much"
Also, I think a lot of mental illnesses are subagents with specialized values overpowering the other subagents
(e.g. OCD as a dictatorship by a specific drive, or schizoid personality disorder as too-strong-self-protection drive)
@Paradox Oh, I was being hyperbolic
but also Ramanujan didn't seem very good at using that powerful optimizer to reach his other life goals
So there was no "infectiousness of optimization" of this subagent coming up with infinite fractions
I do think that many very smart people have strange fixations/don't really manage to attain goals of some well-balanced life
Which could be modeled as the chess-subagent overpowering the other drives
- Website
- https://niplav.site/index.html
- Pronouns
- they/them
I operate by Crocker's rules[1].
Joined Aug 2021
