Matthew LeVan

Correct. `~+` compiles to `~> %memo.0` as stated above. On Fri, Dec 1, 2023 at 10:47 AM Edward Amsden ***@***.***> wrote: > Does ~+ not allow for other clues besides...

Is this a requirement for the Ares beta @eamsden? AFAIK no one actually uses the feature yet in Vere, and I am unaware of any immediate plans indicating otherwise.

A screenshot of what the notifications look like:

@mopfel-winrux reported the same error when running `urbit chop fakezod --loom 32` on his fresh fakezod on his RPi4B with 8GB of RAM.

My first step here will be to ensure we're configuring/compiling LMDB correctly for the `linux-aarch64` platform (after reading LMDB's docs on the same) and report back. Stay tuned.

I don't have a `linux-aarch64` at my disposal, so would either @litmus-ritten or @mopfel-winrux mind running `make test` from the `libraries/liblmdb` directory of [the LMDB repository](https://github.com/LMDB/lmdb) after cloning it and...

> I ran the `make test` and below are my results [liblmdb_test.txt](https://github.com/urbit/vere/files/10807304/liblmdb_test.txt) Looks normal/healthy to me. Will keep digging.

Update here: we're seeing failures only on *some* RPi4s, but the same number of other users (2) have been able to `chop` successfully on their RPi4s. On @mopfel-winrux's `linux-aarch64` server...

Thanks @enriqueHAS, which hardware is that?

`vere-v2.7` is running a snapshot validation function every time it takes a snapshot, which is most likely the culprit here. We are working on resolving this issue in #428.