Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

The submission deadline for HATRA (Human Aspects of Types and Reasoning Assistants) is approaching this Friday! Please submit work related to making it easier to write safer software. <https://2020.splashcon.org/home/hatra-2020#Call-for-Papers>

Also interesting for folks here: <https://2020.splashcon.org/home/live-2020#Call-for-Submissions|https://2020.splashcon.org/home/live-2020#Call-for-Submissions>