Weekly video chat - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

TheMatten

https://www.reddit.com/r/haskell/comments/g2iq3y/weekly_haskell_video_chat_group_anyone/

What do you people think? We actually have support for creating quick Jitsi conferences there

James King

Maybe have a rolling TZ for them? A leader per TZ?

tristanC

I'd be interested too :-)

TheMatten

Cool! We could maybe find some time that works for both America and Europe (is someone here in Asia?)

TheMatten

Would 4PM UTC work? that's 6PM CEST and 11AM CDT (timezones are fun ... :big_smile:)
And e.g. Friday or Saturday

James King

I'm in EST and that's usually lunch time in our house. I might be able to pop in some time between 4-5pm UTC

TheMatten

Hmm, so 5PM UTC would be better?

Avi Dessauer

@TheMatten So would the chat be hosted via zulip Jitsi? I have never used Jitsi does that compare to hangouts?

tristanC

@Avi Dessauer Not sure what is zulip Jitsi, but there is a convenient Jitsi android app in f-droid. It should also run natively in modern web brower too.

Hazem

Count me in! I prefer Jitsi over Hangouts.

@Avi Dessauer Jitsi is open source and browser based. Check out jitsi.org for more info
https://meet.jit.si/ is a free hosted instance of jitsi. I've tried it a few times so far and it works really well, including in sessions with 20+ users.

Compared to Hangouts, I think the benefits of jitsi are:

  • open source
  • more privacy
  • easy to join meetings (no need for a Google account)
Free open-source video conferencing for web & mobile. Make a call, launch on your own servers in minutes, integrate into your app, or develop something new
Join a WebRTC video conference powered by the Jitsi Videobridge
TheMatten

@Avi Dessauer Yeah - it's the simplest conference app I've ever used - you just join conference, that's all

We've tested it with few guys there before and it works fine

Avi Dessauer

Does Saturday work for people?

Avi Dessauer

Today's video chat room
See you all at 5 UTC, 1 hour from now
Click to join video call

Join a WebRTC video conference powered by the Jitsi Videobridge
James King

that was dope, friends. let's keep it up. :)

Bolt

Nooo I missed it D:

TheMatten

@Bolt We're still there, join us

Georgi Lyubenov // googleson78

meeting is still going, we're currently discussing meta about the meeting

TheMatten

I've created #VideoChat to manage future calls - if people agree, we can use it to manage all sorts of calls, not only those that are #Haskell specific

Bolt

So the gist is here: https://gist.github.com/bolt12/1c18d6f138bebc938d128a5da7348c72

I do not if it's better to open a new topic for this. so I'll just leave it here and if it has a lot of attention I'll branch it out :slight_smile:

Liquid Haskell Relational Specification with inductive matrix data type and linear map semantics. - LiquidRel.hs
Bolt

Are we chatting tomorrow?