Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: event: ACT20

Topic: July 8: Industry Showcase


view this post on Zulip Paolo Perrone (Jul 02 2020 at 02:07):

Hello all! This is the thread of discussion for the industry showcase.
Date and time: Wednesday July 8, 16:40 UTC.
Zoom meeting: https://mit.zoom.us/j/7055345747
YouTube live stream: https://www.youtube.com/watch?v=jCOi0kCYCeU&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q

view this post on Zulip Paolo Perrone (Jul 08 2020 at 16:25):

15 minutes to start!

view this post on Zulip Joseph Denman (Jul 08 2020 at 16:53):

How is “content-based addressing” an improvement on and distinct from the DNS system?

view this post on Zulip Spencer Breiner (Jul 08 2020 at 17:17):

@Jelle Herold : I loved the talk, and I'm definitely stealing your sports car --> tractor analogy.

I'm wondering if the course materials for your tutorial are open/shared/editable?

view this post on Zulip Notification Bot (Jul 08 2020 at 17:43):

This topic was moved by Jules Hedges to #general: values > BAE

view this post on Zulip Maria (Jul 08 2020 at 19:47):

I was unable to attend the session; would it be possible to receive some slides?

view this post on Zulip Paolo Perrone (Jul 09 2020 at 10:43):

Hey all. The video will be publicly available as soon as I have the consent of all the speakers of the session.

view this post on Zulip Paolo Perrone (Jul 09 2020 at 18:22):

Ok, here it is: https://youtu.be/vnbDmQDvxsE

view this post on Zulip Maria (Jul 09 2020 at 21:03):

Thanks!

view this post on Zulip John Baez (Jul 09 2020 at 21:05):

Hi!