Currently my Windows UserName is "Ariel Lenis" (with an space) and looks like the extension is not able to work with this scenario:

Describe the solution you'd like Progress bars that show progress would be neato Additional context https://crates.io/crates/indicatif

Assistir ao vídeo da reunião com o cliente Descrição: Todos os integrantes devem estar bem instruídos quanto ao tema do projeto que será desenvolvido. Tarefas: Assistir ao vídeo da reunião. Ler a a...

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...