An introduction to Tensorflex

A tutorial explaining how Tensorflex can be used to generate predictions on saved Tensorflow graph models

A compact introduction to the P4 programming language

Using Barefoot Network's p4app tool to run (after solving) the Scrambler P4 exercise released during SIGCOMM last year

Building a speech recognition agent using CMU Sphinx

Using the CMU Sphinx/pocketsphinx speech recognition libraries to build a voice command recognition system

Hands-on with Proof Assistants:- Coq and Isabelle

Understanding the role of interactive theorem provers in formal mathematics with an example