I love Rust and want it to be better. The dev teams know about all issues presented. I just want to generate discussion and enthusiasm for… (more…)

We recommend upgrading to the latest Safari, Google Chrome, or Firefox. (more…)

I am tired. Today was rough. This year has been rough. Everyone around me is tired too. 2020 has been a hot mess, coming right after a not so hot 2019, and a messy 2018. It's not just you. It's everything. It's okay. (more…)

For over 7 years, Pushpin used Mongrel2 for managing HTTP and WebSocket client connections. Mongrel2 served us well during that time, requiring little mainte... (more…)

Paper Talk at POPL Technical Appendix Coq Formalization Artifact (with VM) ... (more…)