Jason Gross

bug minimizer does not correctly handle the implicit binding of `""` to the current directory

3

I'm also not sure it matches Coq's behavior on how it binds the current directory at all / uses `Top`. @coqbot minimize ```bash #!/usr/bin/env bash mkdir foo cd foo echo...

BTW, it would be good to introduce a more general mask to all our logging functions. I wonder if there is a library that could be used to do this....

From http://dsw.users.sonic.net/delta_codecon.ppt as per https://github.com/dsw/delta/issues/1#issuecomment-2466498558 This addresses one of the two broken links in #1

I think the README should include a couple of examples for - replicating the benchmarks from the paper - using COPRA on a custom goal (being able to customize goal,...

Sorry, I don't have a reproducer here currently, but it seems worth flagging anyway

fatebook extension prevents interaction with some pages until I delete the fatebook iframe in the html

1

For example, I cannot interact with any of the user account editing in https://www.dhamma.org/en-US/account/edit unless I disable the fatebook extension (both chrome and firefox have this problem) or delete the...

[REQUEST]: API support for multiple files

1

### Is your feature request related to a problem? Please describe I would like to be able to use the API to link assembly to C so that I can...

ENH: improve `scipy.special.log_softmax` accuracy in edge cases by a factor of `2**126` to `2**1022`

25

#### Reference issue Fixes #19521 #### What does this implement/fix? By taking advantage of the fact that `x - x_max` is going to be 0 at the maximum and that...