Piotr Zakrzewski
Piotr Zakrzewski on Data

Piotr Zakrzewski on Data

Archive

When to dump JSON?
Sep 29, 2021 · by Piotr Zakrzewski

Matching GPS to a road
Jun 25, 2021 · by Piotr Zakrzewski

Python Exploration with Z3
Mar 28, 2021 · by Piotr Zakrzewski

Will your PR ever be Merged?
Dec 21, 2020 · by Piotr Zakrzewski

Macrobase Diff Case Study 1: IMDB Movies
Nov 21, 2020 · by Piotr Zakrzewski

Macrobase Diff — minimal implementation
Nov 15, 2020 · by Piotr Zakrzewski