roconnor

ykman openpgp set-pin-retries 3 0 3 isn't allowed

6

- YubiKey Manager (ykman) version: 3.1.2 - How was it installed?: From source - Operating system and version: NixOS 21.03pre269343 - YubiKey model and version: Nano 5.2.6 - Bug description...

https://github.com/HigherOrderCO/HVM/blob/a015e25445449da42528a239e13c402abcffaf4c/src/runtime/base/memory.rs#L1-L34 The above comment describes the interpretation of 64-bit `Ptr` values. In particular, it says that a tag value of `0` means `DP0`. https://github.com/HigherOrderCO/HVM/blob/a015e25445449da42528a239e13c402abcffaf4c/src/runtime/base/memory.rs#L40 Under `DP0`, the first and second...

Incorrect diagram for Example 8.7.16

1

I don't know anything about CW complexes but I think the diagram should have the left hand arrow in the pushout being `pr₁ : S₁ × 𝕊⁰ → S₁`, and...