Chris Peikert

Results 3 issues of Chris Peikert

ALCHEMY's type families for tracking noise levels and choosing the moduli from a pool are really complicated, and tax ghc so badly that we often can't even compile. So, an...

Unboxed vectors can't be Traversable due to the Unbox constraint on the element type, but it would be very useful if there were an analogous generic traverse method: ``` traverse...

enhancement
question
design-shed

At some point we should enable Travis for continuous integration. This requires putting an appropriate `.travis.yml` file in the root of the repository. There's one in my Lol repository, but...