Performance Hints in C++

This post tidies up the core ideas for how to think about, estimate, measure, and ship performance improvements—mainly for single-binary software (not distributed systems or ML hardware tuning).

Read more

Handling owl:sameAs via Rewriting

This post introduces an algorithm for rewriting in materialization-based OWL 2 RL systems, guaranteeing correctness, improving efficiency, and enabling effective parallelization, resulting in orders of magnitude reduction in reasoning times on practical datasets.

Read more