Derek Elkins

Remember the pages you were on in a PDF even if the app is closed.

10

This change persists the page in a PDF to a database and then restores it when reopening a PDF. In other words, even if you completely close the app/restart your...

QLinearConv breaks when bias is a 1-D tensor

2

**Describe the bug** When `QLinearConv` is used with a 1-D bias, it is expecting the wrong shape. Specifically, given a 1x3x224x224 `x` input (NxCxHxW), a 64x3x7x7 `w` input (MxCxkHxkW) and...

Make Agda usage (or at least Agsy usage) asynchronous

1

Using something like vimproc may(?) provide a mechanism to avoid the UI becoming unresponsive for long running commands (in particular auto). Vim 8 has added some asynchronous I/O functionality, so...

I haven't tested this yet, but I suspect the server will produce a 500 error or otherwise not do the right thing when given invalid file names during upload. I...

If the UPnP public IP stuff is added, it may be worth adding support to attempt to open ports with UPnP. Alternatively, there are things like STUN. All of these...

Look for a case-insensitive match if an exact match fails. This should probably be behind a flag and interacts with wai-middleware-static.

Map Lattice

3

I may make a PR for this, but, in addition to the `Set` lattice, another natural instance is for (a wrapper around) `BTreeMap`/`HashMap`. Mathematically, functions into a lattice form a...