Louis Wasserman
Louis Wasserman
Just noticed this. Sorry, it's mostly just me, and I do very little with GitHub and Maven. Looking into it now.
I am working on getting the appropriate permissions from Sonatype, hopefully with @jamesward 's assistance.
I see the difference in bytecode, but is there a difference in benchmarks? I'd tend to expect both versions to get optimized to the same thing.
Hmmm. This feels a little weird, largely because most of our classes in `primitives` have a `checkedCast` method, and it's only `Ints` that has an equivalent in Java 8. Eh,...
It looks like you're aware of Caffeine's cache -- is there a particular reason you're not using it?
gRPC for Kotlin exerts backpressure the same way flows in general in Kotlin do: they request elements at the rate the consumer finishes with them. You can add a buffer...
I would be tempted to distinguish between these things by actually using the word `of`, e.g. `metric-space-of-isometries-Metric-Space`.
It would help, of course, if I noticed [what is already there](https://unimath.github.io/agda-unimath/commutative-algebra.gaussian-integers.html).
Calling this done, we can have other issues for more specific operations on the complex numbers.
As someone actively working on power series and polynomials right now, I'll admit I don't yet see the appeal (as compared to `N -> R`). That may change as this...