Hi. I mostly write about software: functional programming, concurrency, formal methods, user interface design, requirements engineering. Sometimes I write about Hegel and Marx. Have fun.