Patrik Keller

While working on a different issue, I skimmed the following lines. The use of `LocalGet` / `LocalSet` where we want to handle global variables is almost certainly a bug. https://github.com/querycert/qcert/blob/9969786b1d72672e990a2fe54ef63ad59cec97d5/compiler/wasm/wasm_ir.ml#L261-L265...

The Wasm runtime is implemented in Assemblyscript which is a typescript variant. It might be possible to compile the Assemblyscript runtime to Javascript and reuse it for the JS backend.

When translating Imp to Webassembly, I stumbled upon a small oddity in `EJsonRuntimeOperators.v`. ``` Section Evaluation. ... | EJsonRuntimeCompare => apply_binary (fun d1 d2 => match d1, d2 with |...

Apostrophe breaks function name derivation.

4

Consider the following signature: ```ocaml module Date : sig get_day' : t -> int end ``` Using the function after deriving an implementation with gen_js_api results in an ugly runtime...

colmena apply fails when invoked from systemd unit

1

I'm calling `colmena apply` from a systemd unit and observe the following error: ``` [INFO ] Using configuration: /hive.nix [INFO ] Enumerating nodes... [ERROR] ----- [ERROR] Operation failed with error:...

Hello and thanks for your great software. I'm interested in using `colmena exec ` from other scripts. It would be helpful if colmena returned a non-zero exit code if ``...

Webassembly garbage collection is about to be released in the first browsers. This unlocks using the two competing ocaml-to-wasm compiler projects for extraction from Coq via OCaml to Wasm. https://discuss.ocaml.org/t/an-update-from-the-ocaml-wasm-organization/13114...

What is the certificate good for?

6

I found pynauty via https://stackoverflow.com/a/14574330 where somebody claims that any two isomorphic graphs yield the same certificate. Is this correct? The inverse relation (any two graphs with the same certificate...

**Describe the bug** The `.env` file may contain secrets. Its contents must remain confidential. [source](https://www.dotenv.org/docs/security/env) According to nix philosophy the nix store is not confidential. [source](https://nixos.wiki/wiki/Comparison_of_secret_managing_schemes) The devenv/dotenv integration copies...

The convert plugin does not honor the quiet option at most calls of `self._log.info()`. Perhaps I will fix this, if nobody else will.