Tomasz Wegrzanowski
Expert Overview
Things I'm Doing
Talks I've Given
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 -
Ruby+Arduino
Featuring Tomasz Wegrzanowski
Tomasz demonstrates how ruby can be used with arduino, stating that this is achieved not directly with ruby code, but it also requires a C++ driver that delivers the required data from the arduino hardware.
ruby arduino -