Groups
Sign in
Groups
Bay Area Categories And Types
Conversations
About
Send feedback
Help
Bay Area Categories And Types
Contact owners and managers
1–30 of 142
Mark all as read
Report group
0 selected
Valeria de Paiva
,
Vlad Patryshev
2
6/23/14
Convite pra Invited Speaker FOIS LogOnto 2014?
Hi Valeria, Do you want me to announce it on BACAT meetup? Thanks, -Vlad 2014-06-23 12:06 GMT-07:00
unread,
Convite pra Invited Speaker FOIS LogOnto 2014?
Hi Valeria, Do you want me to announce it on BACAT meetup? Thanks, -Vlad 2014-06-23 12:06 GMT-07:00
6/23/14
Vlad Patryshev
3/5/13
reminder
Hi guys, In case somebody have not noticed yet: we are here: http://www.meetup.com/Bay-Area-
unread,
reminder
Hi guys, In case somebody have not noticed yet: we are here: http://www.meetup.com/Bay-Area-
3/5/13
Vlad Patryshev
10/23/12
a reminder
Hi, We are now on meetup; check it out, our next meeting is tomorrow at 3pm in Crittenden. Thanks, -
unread,
a reminder
Hi, We are now on meetup; check it out, our next meeting is tomorrow at 3pm in Crittenden. Thanks, -
10/23/12
vpatryshev
,
Raoul Duke
2
9/27/12
Announcement
next meeting
any notes, slides, videos, audio? :-) On Wed, Sep 26, 2012 at 7:00 PM, vpatryshev <vpatryshev@
unread,
Announcement
next meeting
any notes, slides, videos, audio? :-) On Wed, Sep 26, 2012 at 7:00 PM, vpatryshev <vpatryshev@
9/27/12
Vlad Patryshev
9/22/12
silicon valley codecamp Oct 6, 7
Silicon Valley Code Camp, Oct. 6,7 http://www.siliconvalley-codecamp.com/Sessions.aspx my talk
unread,
silicon valley codecamp Oct 6, 7
Silicon Valley Code Camp, Oct. 6,7 http://www.siliconvalley-codecamp.com/Sessions.aspx my talk
9/22/12
Vlad Patryshev
9/17/12
next meeting
Hi, Since we have switched to meetup, the announcement is there: http://www.meetup.com/Bay-Area-
unread,
next meeting
Hi, Since we have switched to meetup, the announcement is there: http://www.meetup.com/Bay-Area-
9/17/12
Vlad Patryshev
,
occam wonder
2
8/28/12
moving over to meetup
Great idea! On Monday, August 27, 2012, Vlad Patryshev wrote: Hi, I've just created a meetup
unread,
moving over to meetup
Great idea! On Monday, August 27, 2012, Vlad Patryshev wrote: Hi, I've just created a meetup
8/28/12
Vlad Patryshev
, …
Valeria de Paiva
6
8/27/12
next meeting
This meeting is canceled. Will have it on September 26, most probably, same time. Thanks, -Vlad On
unread,
next meeting
This meeting is canceled. Will have it on September 26, most probably, same time. Thanks, -Vlad On
8/27/12
Vlad Patryshev
7/1/12
Vladimir Voevodsky writes foundations in Coq
here: https://github.com/vladimirias/Foundations Thanks, -Vlad
unread,
Vladimir Voevodsky writes foundations in Coq
here: https://github.com/vladimirias/Foundations Thanks, -Vlad
7/1/12
Vlad Patryshev
, …
Aaron Culich
4
6/15/12
next meeting
sounds good to me. On Fri, Jun 15, 2012 at 5:22 PM, larrytheliquid <larryth...@gmail.com>
unread,
next meeting
sounds good to me. On Fri, Jun 15, 2012 at 5:22 PM, larrytheliquid <larryth...@gmail.com>
6/15/12
Vlad Patryshev
5/24/12
interesting reading on graphic languages in monoidal categories
http://arxiv.org/pdf/0908.3347v1.pdf Thanks, -Vlad
unread,
interesting reading on graphic languages in monoidal categories
http://arxiv.org/pdf/0908.3347v1.pdf Thanks, -Vlad
5/24/12
Vlad Patryshev
,
Aaron Culich
2
5/19/12
next meeting Wed. May 23 @EY
Yes, I was reading through it last night and I will be there next Wednesday with book in hand. On Fri
unread,
next meeting Wed. May 23 @EY
Yes, I was reading through it last night and I will be there next Wednesday with book in hand. On Fri
5/19/12
Vlad Patryshev
, …
David Espinosa
7
5/14/12
how about a book
> Hmm... not sure whether I remember what is it about, Jeremy Gibbons chapter. It's Chapter 5
unread,
how about a book
> Hmm... not sure whether I remember what is it about, Jeremy Gibbons chapter. It's Chapter 5
5/14/12
Vlad Patryshev
4/22/12
no meeting this month
But anyway, if somebody can give a talk re: Theorems for Free (that's Wadler), it would be great.
unread,
no meeting this month
But anyway, if somebody can give a talk re: Theorems for Free (that's Wadler), it would be great.
4/22/12
Vlad Patryshev
, …
Arthur Chan
4
4/21/12
the meeting of March 28, 2012
D00d... Arthur :: LittleBrick On Apr 21, 2012, at 6:35 PM, Jason Dusek <jason...@gmail.com>
unread,
the meeting of March 28, 2012
D00d... Arthur :: LittleBrick On Apr 21, 2012, at 6:35 PM, Jason Dusek <jason...@gmail.com>
4/21/12
Vlad Patryshev
,
larrytheliquid
2
3/28/12
topic for the next meeting
For reference: * Haskell wiki page on using Arrows: http://www.haskell.org/arrows/ * And a neat paper
unread,
topic for the next meeting
For reference: * Haskell wiki page on using Arrows: http://www.haskell.org/arrows/ * And a neat paper
3/28/12
vpatryshev
3/18/12
presheaf.com functionality update
Now you can include links to diagrams with the option of editing. <a href="http://presheaf.
unread,
presheaf.com functionality update
Now you can include links to diagrams with the option of editing. <a href="http://presheaf.
3/18/12
Vlad Patryshev
,
Dan Piponi
4
3/5/12
javascript as a category etc
Oh. You are right. That's total nonsense there. I kind of skipped too much. I asked him, but I
unread,
javascript as a category etc
Oh. You are right. That's total nonsense there. I kind of skipped too much. I asked him, but I
3/5/12
Vlad Patryshev
2/19/12
"mapreduce as a monad"
Hi, I wonder if anybody read this: www.cs.ox.ac.uk/richard.bird/online/BirdPaterson99Generalised.pdf
unread,
"mapreduce as a monad"
Hi, I wonder if anybody read this: www.cs.ox.ac.uk/richard.bird/online/BirdPaterson99Generalised.pdf
2/19/12
Vlad Patryshev
,
Aaron Culich
3
2/18/12
next meeting
Before is kind of challenging (I'm too loyal to where I am now); but after - with a big pleasure.
unread,
next meeting
Before is kind of challenging (I'm too loyal to where I am now); but after - with a big pleasure.
2/18/12
Vlad Patryshev
, …
Valeria de Paiva
6
1/30/12
a question on mathovervlow
Valeria, I'll read it, thanks a lot! And besides, good point, once we have distributed
unread,
a question on mathovervlow
Valeria, I'll read it, thanks a lot! And besides, good point, once we have distributed
1/30/12
Vlad Patryshev
1/27/12
meeting minutes, 1/25/2012
Yesterday's meeting. There were six of us. We discussed the connection between monads and
unread,
meeting minutes, 1/25/2012
Yesterday's meeting. There were six of us. We discussed the connection between monads and
1/27/12
Vlad Patryshev
1/16/12
next meeting
Hi, So, our next meeting will occur as usual in Engine Yard, 7pm, Wednesday, Jan.25; so far there are
unread,
next meeting
Hi, So, our next meeting will occur as usual in Engine Yard, 7pm, Wednesday, Jan.25; so far there are
1/16/12
Vlad Patryshev
, …
Eugene Perederey
7
1/11/12
other options?
We can consider other days as well, except Tuesdays. Thanks, -Vlad On Wed, Jan 11, 2012 at 9:34 AM,
unread,
other options?
We can consider other days as well, except Tuesdays. Thanks, -Vlad On Wed, Jan 11, 2012 at 9:34 AM,
1/11/12
James Earl Douglas
12/20/11
Re: Abridged summary of bacat@googlegroups.com - 1 Message in 1 Topic
> and let's meet next year It will be a Festivus miracle! On Tue, Dec 20, 2011 at 4:27 AM,
unread,
Re: Abridged summary of bacat@googlegroups.com - 1 Message in 1 Topic
> and let's meet next year It will be a Festivus miracle! On Tue, Dec 20, 2011 at 4:27 AM,
12/20/11
Vlad Patryshev
12/20/11
seasonal time off
Hi everybody, Obviously meeting on Christmas does not sound very categorical; so merry Christmas,
unread,
seasonal time off
Hi everybody, Obviously meeting on Christmas does not sound very categorical; so merry Christmas,
12/20/11
Vlad Patryshev
11/19/11
November meeting cancelled
Thanks to the Thanksgiving day. Thanks, -Vlad
unread,
November meeting cancelled
Thanks to the Thanksgiving day. Thanks, -Vlad
11/19/11
Vlad Patryshev
,
Valeria de Paiva
2
11/13/11
Mike Stay's slides used in the last meeting
Yay!!! Thank you Vlad and Mike for slides! Valeria On Sun, Nov 13, 2011 at 11:44 AM, Vlad Patryshev
unread,
Mike Stay's slides used in the last meeting
Yay!!! Thank you Vlad and Mike for slides! Valeria On Sun, Nov 13, 2011 at 11:44 AM, Vlad Patryshev
11/13/11
Vlad Patryshev
, …
Aaron Culich
6
10/30/11
meeting minutes
Types and logic (Curry-Howard part). Thanks, -Vlad On Sun, Oct 30, 2011 at 1:48 AM, Aaron Culich <
unread,
meeting minutes
Types and logic (Curry-Howard part). Thanks, -Vlad On Sun, Oct 30, 2011 at 1:48 AM, Aaron Culich <
10/30/11
Vlad Patryshev
10/24/11
next meeting Wednesday 10/26
Seasonal Greetings, Categorists and Typists, We are having our next meeting at 7pm in Engine Yard (
unread,
next meeting Wednesday 10/26
Seasonal Greetings, Categorists and Typists, We are having our next meeting at 7pm in Engine Yard (
10/24/11