Piotr Zakrzewski
Piotr Zakrzewski on Data

Piotr Zakrzewski on Data

Piotr Zakrzewski

Piotr Zakrzewski

3 followers

Solution Architect at Plotwise

When to dump JSON?

Sep 29, 20216 min read

Disclaimer: This is a fairly specific benchmark, it addresses only serialization performance of a single big Python object. That was the problem we...

When to dump JSON?
Matching GPS to a road
Python Exploration with Z3
Will your PR ever be Merged?
Macrobase Diff Case Study 1: IMDB Movies
Macrobase Diff — minimal implementation