Posts tagged with 'programming'
Z3 intransitive dice
Using the Z3 theorem prover in Julia to generate 'rock-paper-scissor dice'. read more →
Writing a simple lisp in LabVIEW and Nim
Making my own programming language, first in LabVIEW and then in Nim. read more →
Helix, Python, and Poetry
Setting up the Helix editor and python-lsp-server for poetry projects. read more →
Generating juggling siteswaps
Generating juggling patterns in Julia using graph theory. read more →
Automatic differentiation & dual numbers
Implementing automatic differentiation in Julia using dual numbers. read more →