Getting started with program analysis in Datalog by building a simple backwards symbolic execution engine in DDlog & Rust. (more…)

In this blog post, I want to introduce the personal note taking app that I wrote for myself. I want to highlight the use-case that I'm looking to solve, as well as the challenges that I ran into with the tech stack and how I solved them. (more…)

I am a newbie programmer, and this is my first post about my Rust programming experience. Even though I have been involved in the Rust community for a while, I am not familiar with programming in Rust. I do want to have Rust in my toolkit though, so I dec... (more…)

Rust's crates package API keys were not randomly generated and were being stored in plain text. (more…)

Rust is an amazing language. If you follow my blog activity and know me in person you might know I'm really invested in rust on the last ... (more…)