Shing Tak Lam
Shing Tak Lam
I've written up a demo of what this could look like here: https://github.com/shingtaklam1324/units-test/blob/f0c7868c875ecf0057a02dd1130a0cae2a9b0f01/src/main.rs#L20-L42 The syntax seems to be quite clean, although it may be better to choose an operator which...
@moonheart08 Are f16 used much in intermediate calculations? I know it is used commonly as a storage format, but that last time I checked this (I wrote a Pre-RFC on...
Wolfram Alpha gives the answer of Complex infinity, which I think is more mathematically accurate, but not sure of the actual implementation. In Golang's cmplx package, Complex infinity is represented...
As far as I can tell, there are (at least) two ways that this could be implemented. One is to have separate structs for each type: ```rust pub struct Cartesian...
Here's another example. The trace outputs are different, despite `e` not changing (right?). If the `tactic.exact e` line is commented out, then the two traces both output `hst ha` as...
I tried to minimise the example a bit more, didn't find a shorter example but I did find something interesting: If we switch the `attribute` line and the `instance` line,...
@TLmaK0 I think I figured out the reason for the crash https://github.com/TLmaK0/rustneat/blob/18b4fbfba6c2132f305e784ad7f4af4076c23f19/src/specie.rs#L84 This calls https://github.com/rust-lang-nursery/rand/blob/8ce74354f5fc771ac177b4a052f0b74660281cbf/src/distributions/range.rs#L59-L62 It requires that the lower bound to be less than (and **not** equal to) the...
> Can these be phrased for ordered rings? See the similar lemmas in `algebra.group_power.basic`, such as `one_add_mul_le_pow'`. The statement in `one_add_mul_le_pow'` is for a natural number exponent, but the statement...
I think proving that a convex/concave function is bounded by its tangent lines would be useful for more than just this, so I will have a look at that. My...
> Do you need these results for something in particular? I don't want to send you on a long digression if this is blocking something else. It's not blocking anything...