Ivan Font

Independent stacks for each vim window when using GoDef

7

### Behavior When using the `go to definition` `:GoDef` feature to navigate the source code with multiple vim windows open, each window will operate on the same `:GoDefStack`. This means...

Trillian log server and signer config file does not allow comments

1

It would be great to allow comments in the config file for `trillian_log_server` and `trillian_log_signer` via the `--config` option. The library being used interprets everything as a token, even commented...

Unable to verify sha512 hash of AppImages

2

### Steps To Reproduce 1. Download latest AppImage (`Bitwarden-2022.8.1-x86_64.AppImage` at the time of this writing) and corresponding `latest-linux.yml` to verify the hash. 2. Get a sha512 hash of the AppImage...

#### Feature The `wasmtime` CLI supports the `--tcplisten` and `--listenfd` options for WASI sockets support, but the C API is missing support for these same WASI socket features. This issue...

[Bug]: System alias ll='ls -l --color=auto' with aliases completion enabled breaks bash file/directory tab completion behavior

5

### Expected behavior ```shell cd $HOME ll .bash # should show files/directories that begin with .bash ``` ### Current behavior ```shell cd $HOME ll .bash # shows all files/directories with...

Add Jupyter Notebook example for signing and verifying a model

2

Closes #169 #### Summary Help make it easier to incorporate signing and verifying models into notebooks. To test, install Jupyter Notebook and run it locally inside the `model_signing` directory containing...

**Description** A typical ML workflow for data scientists consists of using Jupyter Notebooks. As a result, it may be useful to add a notebook that demonstrates the same sign/verify flow...

Add support for using a private Sigstore stack

2

**Description** Some use-cases involve standing up a private instance of the Sigstore stack as users do not want to upload private data to the public good instance (PGI). For these...

**Description** In addition to supporting Sigstore's keyless signing use Fulcio's root key and the OIDC auth flow, we should support Sigstore's private key option for signing and uploading to a...

Considerations for using the OCI spec for signing and verifying models

9

**Question** Have we considered using the OCI spec as the format for signing and verifying models? Or perhaps consider tooling to translate between the current format in this repo and...