HI everyone, I am a software engineer from Uruguay, doing a master of research in Syndey @ Macquarie Uni. Will be working on formal verification of web assembly, which looks quite promising, in particular for the speed improvements it has to offer.
I am passionate about programming languages, design patterns and software architecture.
Found this resource on Twitter and seen many useful articles and links and did not doubt in joining the community.
While studying I also work for Udacity as an android mentor and reviewer, which is an amazing experience to help students doing this online courses, which by the way, I truly recommend.
I will share some of the progress on the web assembly verification for those interested and thank you all for your articles, keep up the good work!
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
HI everyone, I am a software engineer from Uruguay, doing a master of research in Syndey @ Macquarie Uni. Will be working on formal verification of web assembly, which looks quite promising, in particular for the speed improvements it has to offer.
I am passionate about programming languages, design patterns and software architecture.
Found this resource on Twitter and seen many useful articles and links and did not doubt in joining the community.
While studying I also work for Udacity as an android mentor and reviewer, which is an amazing experience to help students doing this online courses, which by the way, I truly recommend.
I will share some of the progress on the web assembly verification for those interested and thank you all for your articles, keep up the good work!