Groups
Groups
Anmelden
Groups
Groups
Bay Area Categories And Types
Unterhaltungen
Info
Feedback geben
Hilfe
Gruppenpfad
Bay Area Categories And Types
1–30 von 142
Alle als gelesen markieren
Gruppe melden
0 ausgewählt
Valeria de Paiva
,
Vlad Patryshev
2
23.06.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
ungelesen,
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
23.06.14
Vlad Patryshev
05.03.13
reminder
Hi guys, In case somebody have not noticed yet: we are here: http://www.meetup.com/Bay-Area-
ungelesen,
reminder
Hi guys, In case somebody have not noticed yet: we are here: http://www.meetup.com/Bay-Area-
05.03.13
Vlad Patryshev
23.10.12
a reminder
Hi, We are now on meetup; check it out, our next meeting is tomorrow at 3pm in Crittenden. Thanks, -
ungelesen,
a reminder
Hi, We are now on meetup; check it out, our next meeting is tomorrow at 3pm in Crittenden. Thanks, -
23.10.12
vpatryshev
,
Raoul Duke
2
27.09.12
Ankündigung
next meeting
any notes, slides, videos, audio? :-) On Wed, Sep 26, 2012 at 7:00 PM, vpatryshev <vpatryshev@
ungelesen,
Ankündigung
next meeting
any notes, slides, videos, audio? :-) On Wed, Sep 26, 2012 at 7:00 PM, vpatryshev <vpatryshev@
27.09.12
Vlad Patryshev
22.09.12
silicon valley codecamp Oct 6, 7
Silicon Valley Code Camp, Oct. 6,7 http://www.siliconvalley-codecamp.com/Sessions.aspx my talk
ungelesen,
silicon valley codecamp Oct 6, 7
Silicon Valley Code Camp, Oct. 6,7 http://www.siliconvalley-codecamp.com/Sessions.aspx my talk
22.09.12
Vlad Patryshev
17.09.12
next meeting
Hi, Since we have switched to meetup, the announcement is there: http://www.meetup.com/Bay-Area-
ungelesen,
next meeting
Hi, Since we have switched to meetup, the announcement is there: http://www.meetup.com/Bay-Area-
17.09.12
Vlad Patryshev
,
occam wonder
2
28.08.12
moving over to meetup
Great idea! On Monday, August 27, 2012, Vlad Patryshev wrote: Hi, I've just created a meetup
ungelesen,
moving over to meetup
Great idea! On Monday, August 27, 2012, Vlad Patryshev wrote: Hi, I've just created a meetup
28.08.12
Vlad Patryshev
, …
Valeria de Paiva
6
27.08.12
next meeting
This meeting is canceled. Will have it on September 26, most probably, same time. Thanks, -Vlad On
ungelesen,
next meeting
This meeting is canceled. Will have it on September 26, most probably, same time. Thanks, -Vlad On
27.08.12
Vlad Patryshev
01.07.12
Vladimir Voevodsky writes foundations in Coq
here: https://github.com/vladimirias/Foundations Thanks, -Vlad
ungelesen,
Vladimir Voevodsky writes foundations in Coq
here: https://github.com/vladimirias/Foundations Thanks, -Vlad
01.07.12
Vlad Patryshev
, …
Aaron Culich
4
15.06.12
next meeting
sounds good to me. On Fri, Jun 15, 2012 at 5:22 PM, larrytheliquid <larryth...@gmail.com>
ungelesen,
next meeting
sounds good to me. On Fri, Jun 15, 2012 at 5:22 PM, larrytheliquid <larryth...@gmail.com>
15.06.12
Vlad Patryshev
24.05.12
interesting reading on graphic languages in monoidal categories
http://arxiv.org/pdf/0908.3347v1.pdf Thanks, -Vlad
ungelesen,
interesting reading on graphic languages in monoidal categories
http://arxiv.org/pdf/0908.3347v1.pdf Thanks, -Vlad
24.05.12
Vlad Patryshev
,
Aaron Culich
2
19.05.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
ungelesen,
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
19.05.12
Vlad Patryshev
, …
David Espinosa
7
14.05.12
how about a book
> Hmm... not sure whether I remember what is it about, Jeremy Gibbons chapter. It's Chapter 5
ungelesen,
how about a book
> Hmm... not sure whether I remember what is it about, Jeremy Gibbons chapter. It's Chapter 5
14.05.12
Vlad Patryshev
22.04.12
no meeting this month
But anyway, if somebody can give a talk re: Theorems for Free (that's Wadler), it would be great.
ungelesen,
no meeting this month
But anyway, if somebody can give a talk re: Theorems for Free (that's Wadler), it would be great.
22.04.12
Vlad Patryshev
, …
Arthur Chan
4
21.04.12
the meeting of March 28, 2012
D00d... Arthur :: LittleBrick On Apr 21, 2012, at 6:35 PM, Jason Dusek <jason...@gmail.com>
ungelesen,
the meeting of March 28, 2012
D00d... Arthur :: LittleBrick On Apr 21, 2012, at 6:35 PM, Jason Dusek <jason...@gmail.com>
21.04.12
Vlad Patryshev
,
larrytheliquid
2
28.03.12
topic for the next meeting
For reference: * Haskell wiki page on using Arrows: http://www.haskell.org/arrows/ * And a neat paper
ungelesen,
topic for the next meeting
For reference: * Haskell wiki page on using Arrows: http://www.haskell.org/arrows/ * And a neat paper
28.03.12
vpatryshev
18.03.12
presheaf.com functionality update
Now you can include links to diagrams with the option of editing. <a href="http://presheaf.
ungelesen,
presheaf.com functionality update
Now you can include links to diagrams with the option of editing. <a href="http://presheaf.
18.03.12
Vlad Patryshev
,
Dan Piponi
4
05.03.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
ungelesen,
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
05.03.12
Vlad Patryshev
19.02.12
"mapreduce as a monad"
Hi, I wonder if anybody read this: www.cs.ox.ac.uk/richard.bird/online/BirdPaterson99Generalised.pdf
ungelesen,
"mapreduce as a monad"
Hi, I wonder if anybody read this: www.cs.ox.ac.uk/richard.bird/online/BirdPaterson99Generalised.pdf
19.02.12
Vlad Patryshev
,
Aaron Culich
3
18.02.12
next meeting
Before is kind of challenging (I'm too loyal to where I am now); but after - with a big pleasure.
ungelesen,
next meeting
Before is kind of challenging (I'm too loyal to where I am now); but after - with a big pleasure.
18.02.12
Vlad Patryshev
, …
Valeria de Paiva
6
30.01.12
a question on mathovervlow
Valeria, I'll read it, thanks a lot! And besides, good point, once we have distributed
ungelesen,
a question on mathovervlow
Valeria, I'll read it, thanks a lot! And besides, good point, once we have distributed
30.01.12
Vlad Patryshev
27.01.12
meeting minutes, 1/25/2012
Yesterday's meeting. There were six of us. We discussed the connection between monads and
ungelesen,
meeting minutes, 1/25/2012
Yesterday's meeting. There were six of us. We discussed the connection between monads and
27.01.12
Vlad Patryshev
16.01.12
next meeting
Hi, So, our next meeting will occur as usual in Engine Yard, 7pm, Wednesday, Jan.25; so far there are
ungelesen,
next meeting
Hi, So, our next meeting will occur as usual in Engine Yard, 7pm, Wednesday, Jan.25; so far there are
16.01.12
Vlad Patryshev
, …
Eugene Perederey
7
11.01.12
other options?
We can consider other days as well, except Tuesdays. Thanks, -Vlad On Wed, Jan 11, 2012 at 9:34 AM,
ungelesen,
other options?
We can consider other days as well, except Tuesdays. Thanks, -Vlad On Wed, Jan 11, 2012 at 9:34 AM,
11.01.12
James Earl Douglas
20.12.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,
ungelesen,
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,
20.12.11
Vlad Patryshev
20.12.11
seasonal time off
Hi everybody, Obviously meeting on Christmas does not sound very categorical; so merry Christmas,
ungelesen,
seasonal time off
Hi everybody, Obviously meeting on Christmas does not sound very categorical; so merry Christmas,
20.12.11
Vlad Patryshev
19.11.11
November meeting cancelled
Thanks to the Thanksgiving day. Thanks, -Vlad
ungelesen,
November meeting cancelled
Thanks to the Thanksgiving day. Thanks, -Vlad
19.11.11
Vlad Patryshev
,
Valeria de Paiva
2
13.11.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
ungelesen,
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
13.11.11
Vlad Patryshev
, …
Aaron Culich
6
30.10.11
meeting minutes
Types and logic (Curry-Howard part). Thanks, -Vlad On Sun, Oct 30, 2011 at 1:48 AM, Aaron Culich <
ungelesen,
meeting minutes
Types and logic (Curry-Howard part). Thanks, -Vlad On Sun, Oct 30, 2011 at 1:48 AM, Aaron Culich <
30.10.11
Vlad Patryshev
24.10.11
next meeting Wednesday 10/26
Seasonal Greetings, Categorists and Typists, We are having our next meeting at 7pm in Engine Yard (
ungelesen,
next meeting Wednesday 10/26
Seasonal Greetings, Categorists and Typists, We are having our next meeting at 7pm in Engine Yard (
24.10.11