Herme GarcíainTowards DevA runtime inside Rust’s type systemA lot of things can be learned about a programming language by using it, even more by implementing tools for it. In this post we are going…Jan 6, 2023Jan 6, 2023
Herme GarcíainTowards DevSmart contracts: trust the code at your own risk.This post argues that the only way to create a secure and scalable framework for writing smart contracts is through the application of…Aug 28, 2022Aug 28, 2022
Herme GarcíainTowards DevRust Techniques For Compiler EngineersI love compiler engineering as much as I like programming language research and for some time now my language of choice for development is…Apr 9, 20222Apr 9, 20222
Herme GarcíainTowards DevExploiting the Rust’s type system to avoid runtime errors.As a computer scientist specialised in formal methods I love the work that is being done by in Rust to create a programming language that…Mar 6, 2022Mar 6, 2022