Let's talk math!
Hi everyone! I just joined the Outdefine platform yesterday. I wanted to share some of the posts I've written on Medium. My latest post summarises the courses I took at the MGS23 conference. Type theory and domain theory are essential in formal verification. This is important when we want mathematical guarantees of our program's correctness instead of partial coverage via unit tests. Also, category theory is a model (and syntax) of many structures involving composability, so it is worth learning too. Here is the link to the medium article: https://medium.com/@haliq12/what-ive-learnt-at-midlands-graduate-school-in-the-foundations-of-computer-science-a9881e8c30eb Feel free to reach out if you'd like to talk more about it! :)