Eric Wieser

Perhaps worth attempting and debugging a change like... ```diff - extra_link_args=["-Wl,-rpath,$ORIGIN/libs"], + runtime_library_dirs=["$ORIGIN/libs"], ``` _Originally posted by @eric-wieser in https://github.com/cocotb/cocotb/pull/1425#discussion_r396016693_

ENH: Allow histogramdd to work with mixed edge types

3

It would be great if one axis could be an integer while the other is a float. Supporting datetime / float axes would be handy too. Fixing this would involve...

This PR allows unfolding of monadic operations without ending up in a `simp` dead end.

unknown free variable in unreachable pattern

3

### Prerequisites Please put an X between the brackets as you perform the following steps: * [x] Check that your issue is not already filed: https://github.com/leanprover/lean4/issues * [x] Reduce the...

hack: permit `foo/bar/baz:version` in toolchain names

1

This was legal (accidentally?) in previous elan version, and let me smuggle [Bazel labels](https://bazel.build/concepts/labels) into the `lean-toolchain` files. [Look, my setup works for me. Just add an option to reenable...

Following the recommendation at https://stackoverflow.com/questions/6028000/how-to-read-a-static-file-from-inside-a-python-package/58941536#58941536. This is needed to work under various unusual python runtimes.

Remove note about "cannot find synthesization order for instance"

1

This error is no longer produced, though the footgun is still there. See [#lean4 > Is Std.Internal.IO.Async.MonadAsync.toMonad a bad instance?](https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/Is.20Std.2EInternal.2EIO.2EAsync.2EMonadAsync.2EtoMonad.20a.20bad.20instance.3F) for discussion about lean itself (ab)using this feature.