-- The original page was here https://web.archive.org/web/20111111034111/http://www.gdmag.com/code.htm, taken down when the magazine closed. The new page is here http ...

This course provides an introduction to central themes in the history of philosophy viewed from an ontological perspective. The course is designed to be of interest to both philosophers and those with ...

Archived as of Sep 4th, 2025: A new implementation with a more recent version of DuckDB can be found in this repo. We integrate Robust Predicate Transfer into DuckDB, when you finish installing DuckDB ...

Predicate pushdown is a widely adopted query optimization. Existing systems and prior work mostly use pattern-matching rules to decide when a predicate can be pushed through certain operators like ...

My main line of work is around the state-of-the-art SMT constraint solver Z3 (opens in new tab). Z3 was developed with Leonardo de Moura, Lev Nachmanson and Christoph Wintersteiger. Z3 is used for ...