Hackpad, Hangout, and Invite for Tomorrow's Meeting

Joseph Abrahamson

unread,

Nov 27, 2015, 12:37:38 PM11/27/15

to Type Theory Study Group

Hello everyone,

We have a "special topics" meeting tomorrow on ABTs, theory and implementation. I will be having a discussion with Jon Sterling on the topic and it'd be valuable to get everyone's contributions on questions to ask and topics to discuss.

The current plan is to divide the hour long block into two pieces:

1. Discussion of implementation of ABTs, what makes that valuable and interesting

2. Discussion of new research and advanced topics in ABTs

but there is room for more vital questions on the topic to be broached as well.

I've set up a Hackpad for tomorrow's meeting and welcome contributors to provide questions to ask and answer during the session. Please feel free to contribute there to influence what we discuss. I'm also interested again in any volunteer note-takers so that more information can be preserved for later use.

So, please take a look at the Hackpad, contribute questions or comments on the meeting plan, and then join us tomorrow at 4:30 pm EST (9:30 pm GMT). I'll send out the "official" invite to the group in a moment.

- Hackpad: https://groups.google.com/forum/#!newtopic/type-theory-study-group

- Hangout: https://plus.google.com/events/coaei8qku1ligmelabgukagvbpg

See you all tomorrow,

Joseph

Claudia Doppioslash

unread,

Nov 27, 2015, 4:07:01 PM11/27/15

to Type Theory Study Group

Hi Joseph,

the link for the hackpad is wrong.

On 27 November 2015 at 17:37, Joseph Abrahamson <m...@jspha.com> wrote:

- Hackpad: https://groups.google.com/forum/#!newtopic/type-theory-study-group
- Hangout: https://plus.google.com/events/coaei8qku1ligmelabgukagvbpg

--

Claudia Doppioslash

@doppioslash

http://blog.doppioslash.com

http://www.lambdacat.com

Joseph Abrahamson

unread,

Nov 27, 2015, 4:08:10 PM11/27/15

to Type Theory Study Group

Thank you, I mispasted!

The actual link is: https://ttsg.hackpad.com/Special-Topics-on-ABTs-with-Jon-Sterling-kH1ERkAFhv2

Gary Fixler

unread,

Nov 28, 2015, 7:13:00 AM11/28/15

to Type Theory Study Group

Our Google Groups header info is now out of date (the stuff about "Next Meeting," etc.).

-g

Mark Farrell

unread,

Nov 28, 2015, 10:37:26 AM11/28/15

to Type Theory Study Group

For live communication, should still use IRC this time or will e.g. comments be enabled on Google Hangouts?

Joseph Abrahamson

unread,

Nov 28, 2015, 1:47:51 PM11/28/15

to Type Theory Study Group

I think IRC performed better last time. The comments on Google Hangouts were there, but somewhat asynchronous and so it was harder to have a good conversation.

Joseph Abrahamson

unread,

Nov 28, 2015, 3:29:39 PM11/28/15

to Type Theory Study Group

Thanks Gary, I've fixed it now

Jonathan Sterling

unread,

Nov 28, 2015, 3:30:51 PM11/28/15

to Type Theory Study Group

Joseph,

Could you send me and Darin an invite to the hangout please? Darin may show up, but no guarantees.