Ruby hacker from ancient days before Rails. Still write Open Source software for fun.
Talks I've Given
Logic Programming with Ruby and Z3
Featuring Tomasz Wegrzanowski
A lot of real problems can be described by a collection of mathematical equations. From sudoku to dependency resolution to verifying correctness of processors and cryptographic protocols. Z3 is a very powerful solver for such problems, and an elegant Ruby DSL is a great interface to it.discovery maths logic-programming z3 ruby