Jordan Barrett
Jordan Barrett
This is an (in-progress) formalisation of [arxiv:2103.08379](https://arxiv.org/abs/2103.08379). The work here builds on #672, so that will need to be merged first. Given `A : AdditiveCategory ℓ ℓ'`, we define a...
A lot of the theory of groups has been developed in `Algebra.Group`: subgroups, quotients, etc. Most of this will also apply to abelian groups. However, at present, it is quite...
The `Algebra` and `Categories` libraries are expanding, with many different authors adding new structures and instances thereof. This presents a problem of inconsistent naming between different structures and instances. @mortberg...
It would be nice to define binary (co)equalisers and pushouts in `Categories.Limits`. We should follow the template/structure that is used for `Pullback`, `BinProduct` and `BinCoproduct`.
This doesn't work at all for me. Here are my logs: ``` Run vinay0410/tectonic-action@master with: tex_path: main.tex push: no env: GITHUB_TOKEN: *** ``` ``` Compiling main.tex note: this is a...
**Is your feature request related to a problem? Please describe.** Promtail supports generating scrape targets using the K8s API (`kubernetes_sd_configs`). It can get node/pod/container names from the K8s API and...
Pebble will be used to run jujud in the `api-server` container on k8s. There is [WIP](https://github.com/canonical/pebble/pull/123) to support log forwarding to Loki in Pebble. Once both these things come together,...
I have tested this using both VSCode's `agda-mode` and the Emacs `agda-mode`, running Agda v2.6.2 on Windows 10. Here is the MWE: ```agda open import Agda.Builtin.Sigma using (Σ; _,_) data...
This library seems great (I'm sick of the confusing time.Timer API), but reading the Godoc, it doesn't seem possible to wait on this timer in a select statement. Something like...
The README says: https://github.com/mattermost/mmctl/blob/dacf19cdd5fb8d3dbc9a7daf954059ce794fa9fb/README.md?plain=1#L13-L17 However, running this command installs a very old version of mmctl (v6.4.2): ```console $ go install github.com/mattermost/mmctl/v6@master go: downloading github.com/mattermost/mmctl/v6 v6.4.2-0.20230417141347-dacf19cdd5fb ``` At the very least,...