Ralph Ursprung

> This is a lightweight tokenizer. Adding all the bloat of a new plugin to support one more analyzer seems silly. Adding it to analysis-common would be much easier. i'd...

i have another example where this simplification would be useful: ```python import sympy as sym a = sym.symbols('a', real=True, positive=True, nonzero=True) b = sym.symbols('b', real=True) display(sym.Eq(2*b,0).simplify()) display(sym.Eq(2*a*b,0).simplify()) ``` currently (with...

> > when you run sym.solve(sym.Eq(2_a_b,0), b) it correctly evaluates to b=0. > > In general, isn't `solve` really the simplification function for equations, in the sense being discussed here?...

oh, hold off: what's missing here is a release of `embassy-executor`! just realised that this is also a dependency of `embassy-rp` and some of the others - it'd be a...

> To be fair this is still quite daunting. it's the same as was always done for embassy - except that it's now `cargo release $level --execute` instead of `vim...

rebased & updated the `embassy-executor` changelog to include #4266 (it's the only changelog-worthy PR merged since i created this PR here).

one thing i noticed (putting it here for a future documentation): the old client generates an `_class` field for every index generated by it. when you create an index using...

will be taken care of in #11 (which i created before dependabot had been enabled; the manual update is needed in this specific case due to the MSRV bump).

i just raised #744: it might make sense to do this disentanglement at the same time as the ROS2 upgrade (or even as a pre-requisite to it; that'd allow others...

that sounds a bit weird to have both in the same auth domain. shouldn't you then instead set up two auth domains, one for JWKS and one for the hard-coded...