Z3 intransitive dice
Using the Z3 theorem prover in Julia to generate 'rock-paper-scissor dice'. 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 →
Making my own programming language, first in LabVIEW and then in Nim. read more →
Setting up the Helix editor and python-lsp-server for poetry projects. read more →
How to remove password protection from protected Excel cells using Emacs. read more →
Generating juggling patterns in Julia using graph theory. read more →
Implementing automatic differentiation in Julia using dual numbers. read more →
Debunking the Kubie 'energy saving device'. read more →