This article presents a short extract from my BSc final year thesis which focuses on the exploration and development of the smart contract language with intrinsic functional safety and liveness guarantees, Folidity. This properties enable the compiler to formally verify a typical program in Folidity at the compile time. In this post, we explore some of the constructions of the compiler as well as my personal experience writing a toy compiler in Rust.

I had a chance to come across the project that could potentially revolutionise the cloud computing. Unfortunately, sometimes great ideas do not always get to see the world at their full capacity. This article summarises my personal findings why the Truebit did not make its way to blockchain world.

This is the next issue of my series of tutorials for iced library. Today we will learn how to do conditional rendering.

Hey rustaceans! You are here probably because you googled a tutorial for iced and did not find anything else. I feel you. Let’s get this fixed and start hacking clear GUIs in rust using iced!

Hey! I reckon this is where my life has taken me.. to start my host my own blog. We’ll see where it gets me from there.