PZPiotr Zakrzewskiinblog.pzakrzewski.com·Nov 21, 2023 · 4 min readFind Legal Moves in Brass Birmingham With Logic ProgrammingHave you ever tried expressing board game rules in code? Does it sound a bit tedious? I bet it does, I implemented a few board game rulesets in Python and JavaScript to write a simulator or implement a version of the board game playable in a browser....00
PZPiotr Zakrzewskiinblog.pzakrzewski.com·Nov 4, 2023 · 7 min readAnalysing GO code with Soufflefunc main() { a := 1 b := a // you know what value b has without running the program // can another program know it? } When you read source code, you intuitively know what values given variables take (like in the trivial example above), ...00
PZPiotr Zakrzewskiinblog.pzakrzewski.com·Sep 29, 2021 · 6 min readWhen to dump JSON?Disclaimer: This is a fairly specific benchmark, it addresses only serialization performance of a single big Python object. That was the problem we were solving at the time at Plotwise. It might not be relevant to any other case, but you can probably...00
PZPiotr Zakrzewskiinblog.pzakrzewski.com·Jun 25, 2021 · 8 min readMatching GPS to a roadI bet you never thought about it, as the problem seems trivial. When you drive with GPS-enabled navigation in your car, how does your smartphone/car navigation know which street you are on? You yourself mostly know it, even if you could not look outs...00
PZPiotr Zakrzewskiinblog.pzakrzewski.com·Mar 28, 2021 · 7 min readPython Exploration with Z3Learning big legacy codebases is a chore. I wish there were more tools to help me learn what is going on in an existing application. There is a lot of focus on designing and building new software, but when it comes to modifying existing ones, especia...00
