#### Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Options

# Introduction: David Chudzicki

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/.

• Options
1.

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...

Comment Source: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...
• Options
2.

:) Thanks David!

Comment Source::) Thanks David!
• Options
3.

I don't know about anyone else, but I started some under https://github.com/Cobord/OpenMarkovTensorFlow

Comment Source:I don't know about anyone else, but I started some under https://github.com/Cobord/OpenMarkovTensorFlow
• Options
4.
edited March 2018

It 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).

Comment Source: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]]. 
• Options
5.
edited March 2018

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". ;-).

Comment Source: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". ;-).
• Options
6.

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.

Comment Source: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.
• Options
7.

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.

Comment Source: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.