Yet another tech blog.

About me:

I am a software engineer on the East Coast.  I have a bachelor’s degree in mathematics. My technical interest (and largely the focus of this blog) is the application of mathematics, formal logic, and computer science towards the solution of real engineering problems.