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 development. You also could donate a bit to…
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 development. You also could donate a bit to…