Conversation
|
b877b46 to
f29b935
Compare
| device, as a 5 part hexadecimal string, that augments the immutable, | ||
| board serial identifier. | ||
| """ | ||
| # NVML UUIDs have a `GPU-` or `MIG-` prefix. We remove that here. |
There was a problem hiding this comment.
Strong suggestion to move this comment into the docstring, mainly so that it appears in the online documentation.
There was a problem hiding this comment.
Minor nit: It'd be nice to be consistent; or simply remove the comment (preferred).
Lower-case here:
In the upstream NVML C++ API, the UUID includes a ``gpu-`` or ``mig-``
Upper-case here:
# NVML UUIDs have a `GPU-` or `MIG-` prefix. We remove that here.
|
Generated with Cursor GPT-5.4 Extra High Fast I did not check these findings manually. (Recently such findings have become generally highly reliable.)
|
1 and 2 are good catches. 3 is word salad, but it probably makes sense to remove the gating until we understand how the API works. |
|
Using different kinds of agents seems super useful, but "fighting" surely doesn't make much sense. Maybe we should have a team discussion how we could make better use of agents. Technically, I think it'd be most efficient to have multiple agents/reviewers actively work together on a PR (e.g. these are the fixes my agent worked out in a couple minutes: commit 94677f6). That's a big shift away from traditional reviews though. |
These APIs are required by
dask-cuda.