Hi, I'm Ray Myers of The Coding Agency. I've been developing software for 20 years and am currently into improving the programming language toolchain with formal methods. I also spend time on communication for public literacy.