Viewing profile — hypotext

Hi, Katherine here—we've written our own code for numerical optimization (via L-BFGS) and constraint solving (via the exterior point method).

I'd love to read a source on this! Sounds like it'd be a good addition to the repo.

Here's the full paper: http://www.cs.princeton.edu/~appel/papers/verified-hmac.pdf

You could contribute resources to Women in CS organizations at universities. I'm part of one, and we'd love to have engineers come in and give tech talks, especially about web deve…