Posts from '2024'
Z3 intransitive dice
Using the Z3 theorem prover in Julia to generate 'rock-paper-scissor dice'. read more →
Munipacking through the highlands
Off-road unicycle backpacking through the Scottish Highlands. read more →
Using the Z3 theorem prover in Julia to generate 'rock-paper-scissor dice'. read more →
Off-road unicycle backpacking through the Scottish Highlands. read more →