# tac-tics.net

Welcome!

I am tac-tics and this is my homepage. I wear many hats in my life. I am a mathematician, an educator, and a programmer. My occupation is teaching fractions to 5th graders.

I remember a day in elementary school when I looked down at my calculator and thought to myself, "I already know how to plus, minus, times, and divide. All I need to learn now is x^y, sin, cos, tan, and √ and I'll know all of mathematics." I later learned I was mistaken.

I am a proponent of functional programming. I am the author of Sudlowbot, Freenode IRC's second most awesome Haskell IRC bot. I am also interested in dependent types in programming as well as type theory as a foundation in mathematics.