1. For many of the projects I work on I found myself wanting to use a relational language like Datalog to generate C source from specifications, do verification during build or maintain a task database. However pulling a…

  2. An Attack Vector No One Talks About (words.sebastian.graphics)