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 development. You also could donate a bit to sponsor events (we hold events like "Interview Workshop sponsored by Google") or even offer internships. Every bit helps.