Mathematician (with master thesis about Atiyah-Hirzebruch-sequences and Postinkov systems). Since then worked within IT projects for 20 years. Last 10 years as teacher at Universities for applied sciences mainly on economics mathematics. Now retired. Interested in System Dynamics, simulation and Causal Loop Diagrams (CLD) and Archetypes. I'm trying to understand CLD in a categorial manner.
I’m interested in expanding the intersection of functional programming and machine learning.
Changing the units is an isometry so it's pretty straight forward.
Introduction: Peter Goodall Hi Everyone, I'm a long-time developer and application architect. Spent several decades as a Smalltalk engineer, also did some serious Occam II, and some recent work on applications of Formal Concept Analysis. Have been enjoying the Sydney Type Theory Meetup for more than a year. Tinkering with Haskell, Idris, and Pharo Smalltalk. I'm likely to volunteer to build a import/export for SVG into Pharo's bloc vector graphics system.
Interested in practical applications of Category Theory - In particular I'd like to be able to understand, critique and apply Conal Elliot's "Compiling to Categories" http://conal.net/papers/compiling-to-categories/ - I have would liket to tray to apply it to my SVG I/O application.
Welcome! I have yet to write my intro, but it's going to be similar to yours.
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 all, i'm from Singapore and a practitioner of functional programming in Scala most of the time as its my day job; i try to practice my haskell whenever i can over the weekends. My twitter handle is RaymondTayBL and you can visit my github (if you are interested, that is) at github.com/raymondtay