Getting started with Differentiable Datalog (DDlog) & Rust for program analysis

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

Similar

How to think about `async`/`await` in Rust

(This is a section of the lilos intro guide that people seemed to like, so to increase its visibility, I’m lifting it up into its own post and expanding it a bit. I hope this is a useful companion piece to the post on async debugging I posted this morning... (more…)

Read more »

Error Handling in Rust

Like most programming languages, Rust encourages the programmer to handle errors in a particular way. Generally speaking, error handling is divided into two broad categories: exceptions and return values. Rust opts for return values. (more…)

Read more »