talwrii

autocorr -- calculate autocorrelation

3

Add support for autocorrelation.

Walkthrough uses Isabelle when Isabelle 2015 and newer don't work

13

Proof general does not work with new version of Isabelle: * https://github.com/ProofGeneral/PG/issues/186 * https://github.com/ProofGeneral/PG/issues/66 * http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2015/000352.html And yet the documentation [walkthrough is for Isabelle](http://proofgeneral.inf.ed.ac.uk/htmlshow.php?title=Proof+General+user+manual&file=releases/ProofGeneral/doc/ProofGeneral/ProofGeneral_3.html#Walkthrough-example-in-Isabelle ) (also: https://proofgeneral.github.io/doc/userman/ProofGeneral_3/#Basic-Script-Management) Is this a...

Salmon breaks DKIM signatures

3

[DKIM](https://tools.ietf.org/html/rfc5585) is a standard for signing emails that uses DNS as a certificate store. DKIM's related standard *DMARC* may result in your mail server [silently refusing to accept email messages...

**Issue** `pip` does not run, returning an error about "Exec format error" on windows with cygwin when a virtualenv is created on a different device (in my case this was...

Referring to fields with a string in `find` does not detect typos in field names.

5

Using strings to refer to fields makes it possible to make typos: ``` class Test(Document): field = StrField() Test.find({"filed": 1}) ``` Could this be avoided in some way? One approach...

These operations are a convenient way of achieving isolation through atomicity given that transactions are discouraged in mongodb (since there appears to be no such thing as a collection-local transaction)....

On python2 errors our when output is piped to another process

2

This appears to to be a problem for python3 # Repro ``` bash --- 16-09-21T14:42:48 0 0:00 tom@laptop:/home/tom/active/sparklines (master|✔) python2 -m sparklines 1 2 3 | cat Traceback (most recent...