$whoami

Tomasz Maciosowski

I’m a Haskell developer based in Canada with experience in functional programming, Haskell, Rust, C, Nix, Elm, and interest in combinatorics, dependent type theory, category theory, and formalization of mathematics in Lean 4.

Contact me

• Email ([email protected])
• Matrix (@t4ccer:matrix.org)

Notable projects

• cgt-tools - Combinatorial Game Theory framework in Rust and Python bindings with command line utilities for computing positions, genetic and exhaustive searches, tikz and graphviz figure generation.
• wai-session-redis - Redis backed wai-session backend for Haskell Web Application Interface.
• agenix.el - Transparent editing mode for agenix secrets without leaving Emacs.

Papers

Degrees are Useless in Snort When Measuring Temperature

Abstract

Snort is a two-player game played on a simple graph in which players alternately colour a vertex such that they do not colour adjacent to their opponents’ vertex. In combinatorial game theory, the temperature of a position is a measure of the urgency of moving first. It is known that the temperature of Snort in general is infinite (K_{1,n} has temperature n). We show that the temperature in addition can be infinitely larger than the degree of the board being played on. We do so by constructing a family of positions in which the temperature grows twice as fast as the degree of the board.

High Temperature Domineering Positions

Abstract

Domineering is a partizan game where two players have a collection of dominoes which they place on the grid in turn, covering up squares. One player places tiles vertically, while the other places them horizontally; the first player who cannot move loses. It has been conjectured that the highest temperature possible in Domineering is 2. We have developed a program that enables a parallel exhaustive search of Domineering positions with temperatures close to or equal to 2 to allow for analysis of such positions.