The library contains a lot of different representations of the integers: https://github.com/agda/cubical/tree/master/Cubical/HITs/Ints https://github.com/agda/cubical/tree/master/Cubical/Data/DiffI...

Problem Statement Write a script to extract zip files.

The skip-glacier-objects config is intended to skip all Glacier objects and thus should apply to both storage classes.

My timer is working, but I'd like it to show the countdown in the div id="output" of the index.html file. I don't know how to do it as clean and as easy as possibl...

Currently, when we perform unit test assertions we do something like: left = naive.stump(T, m) right = stumpy.stump(T, m) np.assert_almost_equal(left, right) However,left and right are also overloa...

Great test.

..to enable exploration with other GNPS tools For example, we can label tips with 1_flavonoids etc.

This is to avoid using to_dataframe() which can get expensive for large tables

The README suggests using the following dependencies: compile("com.newrelic.telemetry:dropwizard-metrics-newrelic:0.5.0") compile("com.newrelic.telemetry:telemetry-http-o...

Request: https://twitter.com/Venkatesh_CHN/status/1298826672485961730

This is causing issues with waiting, unexpected move requests, etc. From Silke: "I'm not sure we have a super reliable energy we get from AD: it varies from shot-to-shot. And I&amp...

Tested on windows: DCD cannot find import locations because some whitespace in location paths are not properly escaped.

We might need page where roles can be assigned/revoked. I'm thinking about use cases like handling printing permissions for tenants, or adding new admins. However, Secretary and other roles...

Require parentheses around arrow function arguments

The readme says the command is pwcli when the command is actualy hopp-cli