Robert Spencer

Results 16 issues of Robert Spencer

See here: https://www.reddit.com/r/crypto/comments/7rpvur/cape_can_you_break_it/dsyx1w8/ I suggest a banner at the top of the readme explaining that this algorithm is for research and educational purposes only and that it shouldn't be used...

vulnerability

Is there a way to select the language under construction in the "Help Translate Nomie" section to be used by the app? I'm slowly going through a translation and it...

### Prerequisites * [X] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean/issues). *...

Sometimes when building AnsiStrings as an application it is useful to do it incrementally (particularly when you have formatted sections that are naturally separated). This PR implements `std::ops::Add` for AnsiString...

This layer listens for updates to span fields and registers a `TreeEvent` with the span when this occurs. This generates a `TreeEvent` rather than calling `Context::event` which is different to...

This lint checks for code that looks like ```rust let something : Vec = (0..100).map(|_| { 1 + 2 + 3 }).collect(); ``` which is more clear as ```rust let...

S-waiting-on-review

[Vega-Altair](https://altair-viz.github.io/) is a declarative graphic library. We should support it.

enhancement

[AGGrid](https://www.ag-grid.com/) is a highly flexible table and data visualisation with a high degree of interactivity. We should create a block to support this.

enhancement

We've had reports that pybloqs aren't pickle-able. We should reproduce and make sure we can do this when the contents are pickleable.

bug
more information needed

As part of a push for higher quality and more self-documenting code, we should encourage the use of typing through mypy or similar.

enhancement