Monitoring Data-Dependent Temporal Patterns
Temporal Logic can be used to express patterns in data streams. We examine variants of temporal logic where the patterns themselves depend on the data present within the stream.
IDEAS & ENGINEERING
Tech Blog
Notes on temporal logic, runtime verification, functional programming and engineering reliable systems.
Solving LinkedIn Queens with Haskell
We solve a variant of the N-Queens problem using a backtracking strategy, exploring heuristics for generating and ranking candidates and pruning the search space.
Keep calculations out of your effectful code
Function purity helps with referential transparency, testability and reasoning. This article presents a methodology for keeping effectful code clean when effects are necessary.