There's genuinely interesting programming-language research coming out of Microsoft at the moment. Two projects caught my eye: one designed for distributed, cloud-native applications that enables deep automated code reasoning, and another — a functional language built specifically for automating program verification, covering things like correctness and security.
Originally posted on LinkedIn
