Piotr Zakrzewski on Data
Piotr Zakrzewski on Data
Follow
Follow
home
badges
Archive (8)
Find Legal Moves in Brass Birmingham With Logic Programming
Nov 21, 2023
·
Piotr Zakrzewski
Analysing GO code with Souffle
Nov 4, 2023
·
Piotr Zakrzewski
When to dump JSON?
Sep 29, 2021
·
Piotr Zakrzewski
Matching GPS to a road
Jun 25, 2021
·
Piotr Zakrzewski
Python Exploration with Z3
Mar 28, 2021
·
Piotr Zakrzewski
Will your PR ever be Merged?
Dec 21, 2020
·
Piotr Zakrzewski
Macrobase Diff Case Study 1: IMDB Movies
Nov 21, 2020
·
Piotr Zakrzewski
Macrobase Diff — minimal implementation
Nov 15, 2020
·
Piotr Zakrzewski