I don’t necessarily feel super driven to toot about programming languages stuff all the time, but if anybody has questions about PL research, formal semantics, type theory, ML languages (including Rust), academic computer science, etc., I’ll always try to do my best to answer them. 😊