• personal 1
• rust 2
• iced 2
• iced-tutorial 2
• blockchain 1
• thoughts 1
• experience 1
• formal-verification 1
• compilers 1
• smart-contracts 1

personal

• Hello World! June 12, 2022

rust

• GUI in Rust with iced #2: Composable Layout June 21, 2022
• GUI in Rust with iced #1: Getting Started June 13, 2022

iced

• GUI in Rust with iced #2: Composable Layout June 21, 2022
• GUI in Rust with iced #1: Getting Started June 13, 2022

iced-tutorial

• GUI in Rust with iced #2: Composable Layout June 21, 2022
• GUI in Rust with iced #1: Getting Started June 13, 2022

blockchain

• Truebit - promise that was never delivered July 28, 2022

thoughts

• Truebit - promise that was never delivered July 28, 2022

experience

• Writing a formal compiler in Rust November 2, 2024

formal-verification

• Writing a formal compiler in Rust November 2, 2024

compilers

• Writing a formal compiler in Rust November 2, 2024

smart-contracts

• Writing a formal compiler in Rust November 2, 2024