Josha Dekker

extend more of the API from CountableInterFilter to CardinalInterFilter --- [](https://gitpod.io/from-referrer/)

feat : define cocountable and cocardinal filters

2

Define cocountable and cocardinal filters. Any feedback on the way these are phrased and written is more than welcome! --- [](https://gitpod.io/from-referrer/)

In sections 10.3 and onward, users are introduced to `termination_by`. I think the phrasing of this has changed recently in Lean, for example the definition of `arrayMapHelper` doesn't work for...

Section 2.4, echo command doesn't work in `zsh`

3

Please quote the text that is incorrect: ``` echo "It works!" | ./build/bin/feline ``` In what way is this incorrect? This works in `bash`, but in VS Code, the default...

Wrapping cobyla from PRIMA.jl seems to handle constraints incorrectly

2

**Describe the bug 🐞** When I'm calling cobyla through Optimization.jl (i.e. using COBYLA()), the constraints seem to be handled incorrectly: for comparison, using IPNewton() gives a totally different, better, solution....

Sampling from Distributions.product_distribution allocates (a lot)

8

Hi, I noticed that when sampling a matrix of values from a `Distributions.product_distribution`, a lot of allocations are made (in my example, more allocations than sampled values!) if I call...