Writing a formal compiler in Rust
42 min read
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…
Exploring the next generation of financial applications with expertise in protocol design and distributed systems
Series
Tags
Latest Posts
Truebit - promise that was never delivered
18 min read
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…
GUI in Rust with iced #2: Composable Layout
Iced Basics 2 / 2
8 min read
Learn the basics on conditional rendering in iced