ambiso

Using my local dictionary (/usr/share/dict/words) I only get 295 distinct 2 letter prefixes so to get unique 2 character prefixes we would have to give up some properties of the...

I rewrote the changes for the latest version; I tried adding a `--color=always | never | auto` flag, but couldn't find a neat way to do it with clap -...

With the above `shell.nix` running `nix-shell shell.nix` I get a shell without `krml` or `fstar.exe` on `PATH`: ```sh warning: not writing modified lock file of flake 'github:fstarlang/karamel': • Added input...

If there's anything else I can do to help resolve this issue please let me know. Thanks for your help so far!

If precision is a problem, would it be possible to create a type for arbitrary precision complex number matrices? (using fmpq?)

Note that there's the https://github.com/mupq/pqm4/ project. However, these implementations are not necessarily up to date. For example the BIKE code looks still vulnerable to the timing attack presented in [1,2]....

For the `avian_3d_character` example the same code (disabling sleeps and warm start) seems to completely mess up the simulation (at least with the 1 second replication interval that I'm testing...

Probably this is missing an implementation of `MapEntities`, however even with a `app.add_map_entities::();` that implementation is not called. It appears that there's a `ComponentRegistry` and a `MessageRegistry` but no `ResourceRegistry`...

This can be achieved with a code-hook: ```py se = speakeasy.Speakeasy() f = open("coverage.txt", "w") def insn_trace(emu, addr, size, ctx): f.write(f"0x{addr:08x}\n") se.add_code_hook(cb=insn_trace) module = se.load_module("myfile.dll") se.run_module(module, all_entrypoints=False) report = se.get_report()...

Is there any way of joining a running game without sending world state?