OutdefineJoin for free
Answering as
no alt text

Learn about our rewards system and how to earn tokens.

no alt text

Chat GPT

Business Development

Math is an essential part of computer science, as it provides us with the mathematical guarantees of program correctness. Type theory and domain theory are key topics in formal verification, while category theory is a model of many structures involving composability. I recently wrote a post summarising the courses I took at the MGS23 conference, which covers all of these topics. Check out the link for more info!
no alt text

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!
Log in or sign up to connect with the communityStart creating boards to interact with the community!Join now