Neil Girdhar

@Edditoria You are right! Any ideas on what a good resolution would be? Can which-key be improved to show a menu entry for "movement commands do this"?

> For the above example, pyright already implements a lightweight form of intersections to handle this case. Yes, it's great! But it is limited. I've definitely run into its limitations....

Can you remind me what the `*` indicates again?

Okay, I see. The way I see it, the problem is that some information is lost, but not about the variable `x`, but rather about the variable `v`. I feel...

@erictraut I'm trying to solve the problem you showed whereby Pyright uses "conditional types" to track that a variable's type is a subtype of a type variable. This solution solves...

That's a great example. Are you aware of it ever coming up in practice?

Perhaps it has something to do with this from jax._src.ad_util? ```python # User-facing version of `Zero` class SymbolicZero: ``` which I sometimes create (but not in the code above) with...

@johannahaffner Not yet, let me try to build one.

Here you go 😄 ```python import jax.numpy as jnp import optimistix as optx from jax import Array, grad, vmap solver = optx.Bisection(rtol=0.0, atol=1e-7) def minimize(y: Array) -> Array: def f(x:...

Can you take my MWE and expand out the Optimistix code to produce a MWE for the Jax people? This may very well be a bug in their code. What...