Hello - I studied Measure Theory, Stochastic Calculus and Information Theory 1985-1988 and mainly worked in financial risk management of derivatives businesses. I came across OCaml and heard about 'abstract nonsense' in about 2006 but didn't study it and am still often lost in terminology. However, Bartosz Milewski series of videos has been extremely helpful to get going. I appreciate John Baez's evangelism and his ability to link ideas from physics and other domains with interesting maths. Mike Stay's early posts demonstrating many concepts in Javascript (rather than Haskell) were also accessible. I'm interested in the Categorical point-of-view applied to convex optimisation (dual problems), time-series databases (immutable streams) and image processing (convolutional operators).

Hi everyone.

I'm a software engineer, working these days on large server systems for large clients. In the past I worked on embedded systems.

I graduated in maths and physics about thirty-seven years ago. About twenty years ago I went back to university for an MSc in computer science.

Category theory keeps on coming to my attention: there is a passage in Zen and the Art of Motorcycle Maintenance where Persig recalls repeatedly seeing references to some important area and compares it to driving along a road and repeatedly seeing signposts to some town. The message you get from this is that that town, area of study, or whatever, just might be important or at least relevant.

I tend to find that real life gets in the way of continuing study but I really do intend to keep up with this one. A hard deadline of 25th September is going to help :-)

Hi! My introduction is here.