It looks like you're new here. If you want to get involved, click one of these buttons!
A few years ago I dropped out of a Phd program (math, University of Chicago) and started a career in industry. Since then I've shifted back and forth between machine learning and software engineering. These days I work with a large distributed system at a large company.
It seems unfortunate for a mathematician-turned-programmer to only remember bits of category theory from algebraic topology and other pure math classes, and know nothing of applications to e.g. computation. I'm hoping to remedy that!
I'm pretty interested in John's suggestion in the blog post that we implement some of the ideas in the course in code. If anyone can point me toward any existing implementations of anything that I should be looking at for a sense of what's been done, that would be great.
My personal website is: http://www.davidchudzicki.com/.
Comments
I can relate to this! I did a Phd in c.s., which looks like a hazy part of the past. But it's never to late to become young again...
I can relate to this! I did a Phd in c.s., which looks like a hazy part of the past. But it's never to late to become young again...:) Thanks David!
:) Thanks David!I don't know about anyone else, but I started some under https://github.com/Cobord/OpenMarkovTensorFlow
I don't know about anyone else, but I started some under https://github.com/Cobord/OpenMarkovTensorFlowIt seems worth mentioning there's an Azimuth code "organisation" github repo with some demos in various languages: //github.com/orgs/azimuth-project/teams/core/repositories (https).
It seems worth mentioning there's an Azimuth code "organisation" github repo with some demos in various languages: [[https://github.com/orgs/azimuth-project/teams/core/repositories]].FI of unknown importance. David T. and John, when trying to copy the github repo lists url I was required to change the name of Owners to something else saying something like "owners no longer have permission to grant rights" so we are no longer "Owners" but members of the suggested "Core". ;-).
FI of unknown importance. David T. and John, when trying to copy the github repo lists url I was required to change the name of Owners to something else saying something like "owners no longer have permission to grant rights" so we are no longer "Owners" but members of the suggested "Core". ;-).Hi David C., in case you're interested, I'm working on a software library for computational category theory, called Catlab. It's at an early stage--not too much actual computer algebra is implemented--but I'm already using it for some purposes in other projects.
Hi David C., in case you're interested, I'm working on a software library for computational category theory, called [Catlab](https://github.com/epatters/Catlab). It's at an early stage--not too much actual computer algebra is implemented--but I'm already using it for some purposes in other projects.Another project in this space is the proof assistant Quantomatic, written by Aleks Kissinger and other folks associated with the Universities of Oxford and Edinburgh.
Another project in this space is the proof assistant [Quantomatic](https://quantomatic.github.io/), written by Aleks Kissinger and other folks associated with the Universities of Oxford and Edinburgh.