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! :)
#blockchain#formalverification#computerscience#theoretical#mathematics

Halle Bordson
Marketing manager
Hi Abdul! Welcome to Outdefine! Thanks for sharing this. We'd love to welcome you to also write and share content here on Outdefine Hive! We will be amplifying awesome content on social media too. Awesome medium article on a topic that I don't know much about, but found interesting to read!