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

We use our security observability agent, ingraind, to monitor our daily Zoom "standup" meeting, and decided to analyse the results in this blog post. (more…)

A friend's Docker container was exiting with Error: NotPresent and no other information. I embarked on a deep dive for an ultimately simple cause. (more…)

Flexible and modular framework for different NP-Problems with different solvers - c410-f3r/mop... (more…)

Welcome to the fifteenth post in my long-running “How to speed up the Rust compiler” series, and the first in 2023. (more…)