User:Newsham

I'm Tim Newsham. I work as a security consultant by day. Programming is one of my favorite hobbies. I'm from the pragmatic side of programming, having grown up with C and Unix but I have some interest in the formal, especially as it applies to computer security.

I'm working on an intro to IO and hopefully other monads. I welcome feedback and collaboration. It's here IOIntroDraft.