Matthew Dempsky

The uncompiled component is now named just `Scroller.svelte`. Also, remove the misleading text about `index.mjs`: it's not just more efficient to use `Scroller.svelte`, but svelte-scroller no longer even builds or...

Some documentation seems to be missing updates for Yubikey 5. Examples: * https://developers.yubico.com/PIV/Introduction/Certificate_slots.html -- Mentions Yubikey 4 supports 20 "retired key management" certificate slots, and that "only" Yubikey 4 supports...

distance.Jaro("\u2639", "\u263a") returns 5/9, rather than 0

1

This seems to stem from the inconsistent use of `len(a)` and `a[ia]` (which count and access bytes, respectively) with `range a` (which iterates over runes).

proposal: spec: compile-time boolean assertions

14

I propose adding compile-time boolean assertions to Go. [I don't feel strongly about this proposal, but it seems pretty minimal; easy to implement; and to make some real world code...

VS Code warns "foundationdb/devel:centos7-latest" is unsupported Dev Container

6

1. Open foundationdb source checkout in VS Code. 2. Click "Reopen in Container". [In the popup window that mentions the Dev Container configuration.] VS Code then warns me "You are...

### Prerequisites Please put an X between the brackets as you perform the following steps: * [X] Check that your issue is not already filed: https://github.com/leanprover/lean4/issues * [X] Reduce the...