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

A few months ago I started learning Rust, and in the process I ended up contributing to an open source project for the first time. It turned out to be a great vehicle for learning Rust, so in this post I’d like to go over what I did and why... (more…)

dirs-sys 0.4.1 was just released and comes w/ a new dependency option-ext. I think this is a bit unfortunate due to two reasons: dependency bloat: dirs-sys is a rather low-level crate and just pull... (more…)

Rust is a programming language developed by Mozilla Research. Rust combines low-level control over performance with high-level convenience and safety guarantees. (more…)

In a previous post I implemented the game of Codenames in Rust, allowing a human player to interact with the computer playing randomly. Now let's implement a smarter computer agent, using word vectors. Word vectors (or word embeddings) are a way of conve... (more…)