An overview various effect systems and using them for error handling. With dialogue that will 30-40 minutes.
I have real world examples of fused-effects and mtl (if needed). @TheMatten could you show an example of polysemy. And if anyone who is not in zulip has an example they will also get an opportunity to show it.
Is there interest in a continued conversation about Generics for the general?
What else belongs in the general this week? Devops, category theory, etc..
We have 45 minutes to fill.
30 minutes for topics brought up during the meeting.
We also need a moderator. I volunteer to moderate the session, but only as a back-up moderator in case no one else volunteers. Ideally it would be nice to have a new moderator each time so please feel free to step up if you're interested)
Also I really liked Avi's proposed docket style + time management during the session last week. We finished on time and covered the proposed topics, and that was a good feeling :D
@Avi Dessauer Sorry I think I phrased things the wrong way. I definitely enjoy moderating and would love to moderate tomorrow (if everyone is fine with that). I was trying to emphasize that I didn't want to take up the spot of anyone one else who was looking forward to moderate.
I think it's good to encourage and prioritize new volunteers for two reasons:
1- Learning from diverse moderation styles
2- Improving the bus factor for the weekly meeting
@Bolt : No worries!
I agree with @TheMatten that there is plenty to discuss about the linked topic. Tentatively, I propose this docket:
10 minutes: Greeting / Warming Up
45 minutes Discussion Topic: Growing the Haskell Community - Part II
15 minutes: Identifying leftover points for further discussion (via Zulip or future sessions)
45 minutes: ??? (We need a topic to fill this slot)
15 minutes: Identifying leftover points for further discussion (via Zulip or future sessions)
End of the formal session-
After-Party:
No moderation. Open discussion for anyone interested in staying.
With all the discussion on growing the Haskell community, might it be worth coming up with some sort of action plan we can take to help contribute? I know we all have lives and all that, but there are a lot of us even amongst these video calls - we could probably make a dent in something if we're working together on it
@Vance Palacio Great suggestion! We should absolutely discuss this tomorrow.
I really liked this part:
I know we all have lives and all that, but there are a lot of us
It's still not clear to me whether "a lot" of people who want to work on this. I think many are busy and can't commit even if they're interested in solving this problem.
What we can do is brainstorm ideas for concrete actionable small tasks for busy people who want to take action in growing the community, but don't have a lot of time to spend on this. If there is enough interest, I think we can achieve noticeable results with good coordination.
For what it's worth, due to our discussions so far, I started working on a solo project to help with growing the Haskell community and I think I can put in a lot of time into it during the upcoming months. I going to focus on contributing to Haskell awareness + education.
If anyone else is interested in attacking this problem (growing Haskell's community) from a totally different angle, I can suggest the following based on the above discussions:
Improving the state of documentation, especially for commonly used stuff
Improving the state of tooling
Any other idea along the lines of making Haskell feel less painful to use on a daily basis
As far as documentation is concerned, that's a main goal behind https://haskell.zettel.page/ - but right now it is just me writing to it sporadically. But it'd be great to have others (I can give direct commit access to master which gets deployed instantly)
@Hazem Im really interested in the theory of learning in general. If you're working on bolstering the learning resources of Haskell, I'd be happy to help
Quick note: I think we should consider moving the comments about growing the Haskell Community to the relevant thread (I just realized we're in VideoChat General). Let's continue the discussion there
@Avi Dessauer hey Avi, you mentioned in the previous video chat about a new module system proposal for haskell, could you send me a link for that? I looked around but couldn't find anything
Oh, I forgot to mention - the other benefit (aside from type sharing) of writing frontend in Haskell is that you get to use most Haskell libraries. For eg Taut uses the pagination library
This proposal suggests a conceptual reinterpretation to make modules first-class citizens in the module system. This then unlocks a number of further improvements straightforwardly.
This is not nea...
What do we want on the docket this week?
I can talk about the current state of hie, ghcide and how to install/use them with cabal and stack. @Asad Saeeduddin Would you be willing to talk about Monoidal categories and monoidal functors?
I successfully got ghcide working with VS code (guess it is time to move from Emacs), using these instructions https://github.com/obsidiansystems/obelisk#experimental-ghcide-support ... it is really fun to develop full-stack apps with IDE support (without writing a line of JavaScript :P )
We need a topic agenda for this week's video meeting (May 16th). Please post your suggested topics below and I'll pick the most mentioned ones for discussion. If anyone would like to give a talk on any FP topic, they will be given priority.
Note: Last week, we didn't have enough time to start discussing Polysemy, which was suggested by @Sridhar Ratnakumar. If there is interest in Polysemy for discussion this week, please post the specific topics of interest.
When it comes to polysemy, we could maybe talk about original motivation, create some simple example, mention some differences with other libraries and talk about it's future
I can talk about the internals of polysemy, including the weave abstraction that the library is based upon, what it lets us do, and what it keeps us from doing.
@Reed Mullanix Want to talk about Tactics together? The mechanism is inherently connected toweave, so it's a good opportunity for me to talk about why Tactics is the way it is.
Great! It looks like Polysemy will be the main topic for this session. I therefore suggest the following:
First 30 minutes: @TheMatten would you be willing to give a brief casual intro to Polysemy, along with the points you suggested (quoted below)?
we could maybe talk about original motivation, create some simple example, mention some differences with other libraries and talk about it's future
15 minutes: Q/A about the introductory talk
45 minutes: A talk or discussion about specific polysemy topics (tactics, Polysemy internals, weave abstraction, any other topic). @Love Waern (King of the Homeless) and @Reed Mullanix I don't know if you are coordinating a talk. If that doesn't work we can still have a discussion about these topics. It doesn't have to be in a talk format.
Reed and I have not coordinated a talk. My plan was that I'd discuss polysemy internals first, since it leads nicely into talking about why Tactics is the way it is, but doing that may take longer than than the allotted time, so perhaps it's better that @Reed Mullanix starts with Tactics, and then I talk as much about the internals as I have time for.
Become a patron of Csaba Hruska today:
Read 6 posts by Csaba Hruska and get access to exclusive
content and experiences on the world’s largest membership
platform for artists and creators.
@Pawel Szulc we meet every week on Satruday at 5PM UTC. We post the jitsi link in this thread before every meeting.
Usually the meeting is a discussion of the topics we propose in the meeting agenda, and sometimes we have moderated presentations whenever anyone is interested in presenting a topic.
Of course, anyone interested in Haskell/FP is welcome to join!
Having a mechanical backup to a digital control system is just good FMEA. This sort of thing is part of engineering standards even for stuff like cars.
Maybe the conditions for space craft are sufficiently different that the engineering team at SpaceX felt comfortable with touch screen controls but the Navy accident report cited touch screen controls as a factor in a fatal collision.
I don't think they're going to be that fancy during Artemis - I mean, maybe it's just SpaceX and NASA/older companies are going to be more conservative
slightly off-topic from this weeks meetup, but there is this thing - https://www.calla.chat/
that can allow for "breaking off into smaller more focused groups"
Voice chat with an RPG map. Volume scales with distance from other users. Walk around, talk to folks, have private conversations by huddling in a corner, or drop in on other conversations. Ideal for meetups!
I am fine if we make Nix discussion in a weekday but let's meet this weekend at least for 30 mins, we didn't meet for two or three weeks and if we keep skipping the initiative may die.
Anyway it's up to you but I don't want to see this meetup die, although I don't contribute but I learn a lot :slight_smile:
This is a proposal for adding primops for capturing slices of the RTS stack to improve the performance of algebraic effect systems, which require delimited continuations.
Rendered
I'd be happy to attend the Continuation study if it is still on going, or just chat about random things if you are up for that too :-) Anyone interested?
@Ahmad Abdelwahed sorry, I don't feel well and I completely forgot about - I could join e.g. tomorrow if you want to continue this weekend :slight_smile:
Ahmad Abdelwahed sorry, I don't feel well and I completely forgot about - I could join e.g. tomorrow if you want to continue this weekend :slight_smile:
@TheMatten No worries at all I hope you fell better soon, tomorrow will be difficult let's meet next Saturday and stay safe my friend :blush:
Okay guys, last week we didn't have any call - I wonder whether we would be interested in having some sort of sync call tomorrow, discussing future direction of #VideoChat, maybe proposing some more fixed format that would allow people to join topics they're interested in
BTW, if anyone's interested, I think I could host BigBlueButton instance - at least to try out whether it would be good fit for us
Oops, forgot to mention result of discussion with @Bolt:sweat_smile: @all few questions about future meetings on #VideoChat:
is there some alternative to Jitsi that you would like to try? (e.g. BigBlueButton - personally I prefer FOSS options, because they should be more transparent and possibly could be easily self-hosted if needed)
is there some other time during the week that would work for more people?
would it make sense to switch e.g. to 2 meetings per month, or maybe 1?
for those that were less active in last weeks - is there some possible change that would make it easier / more interesting for you to join? Or is it simply that you currently have other priorities, but you plan to join meetings again once they're over?
Sorry for mentioning all of you, but recently it was harder to get some feedback and I want to make sure that everyone is up-to-date :smile:
Umm, we can chat about it in a while. It would be cool see a demo of how things look, say in PureScript side. I can show the dev experience of Cerveau.
Generally this may be a good approach to these video chats: 5 mins of some awesome demo, followed by casual chat about it, and other topics as attention takes us.
Also, maybe we should advertise it outside of Zulip, like on Twitter. Like, a tweet that reads "In about a hour, we are gonna demo $foo and talk about stuff. Here's a link to Jitsi if you feel like joining"
And ... maybe we should create a neuron site for these little video chats. Record what was talked about briefly (like a paragraph or two, with links to $foo, etc.)
We could talk about that a little bit! :smile:
Ok :thumbs_up:
My presence on social networks is limited to Reddit - we could post to Slack though if you want
I would like to join more often but the timezone difference means it's the middle of my day on Saturday. Whether I'm available is changes with the wind on the weekends in the afternoons. I'm not sure what an optimal time is but perhaps stretching it to two groups with a shared message history would be possible to get around this sort of issue. :thinking:
Just to clarify: 5 PM PST (I think)
EDIT: I was wrong. It is 5 PM UTC, see below
Hmm, isn't it UTC?
It was utc
Im in cest and it started at 7 pm for me
Thanks for the correction! I updated the comment :thumbs_up:
I volunteer to moderate the general this week.
Proposed docket.
An overview various effect systems and using them for error handling. With dialogue that will 30-40 minutes.
I have real world examples of fused-effects and mtl (if needed). @TheMatten could you show an example of polysemy. And if anyone who is not in zulip has an example they will also get an opportunity to show it.
Is there interest in a continued conversation about Generics for the general?
What else belongs in the general this week? Devops, category theory, etc..
We have 45 minutes to fill.
30 minutes for topics brought up during the meeting.
15 minutes is a lotted to wrapping up.
Thoughts?
What time is the kick off tomorrow? I might try join :)
5pm UTC
Click to join video call
Any suggestions for tomorrow's agenda?
We also need a moderator. I volunteer to moderate the session, but only as a back-up moderator in case no one else volunteers. Ideally it would be nice to have a new moderator each time so please feel free to step up if you're interested)
Also I really liked Avi's proposed docket style + time management during the session last week. We finished on time and covered the proposed topics, and that was a good feeling :D
I guess there's still interest in topics around Growing the Haskell Community
@Hazem I enjoy moderation, if your not interested.
Unfortunately my setup is not very stable (sometimes the connection fails) so I don't feel like I should moderate
@Avi Dessauer Sorry I think I phrased things the wrong way. I definitely enjoy moderating and would love to moderate tomorrow (if everyone is fine with that). I was trying to emphasize that I didn't want to take up the spot of anyone one else who was looking forward to moderate.
I think it's good to encourage and prioritize new volunteers for two reasons:
1- Learning from diverse moderation styles
2- Improving the bus factor for the weekly meeting
@Bolt : No worries!
I agree with @TheMatten that there is plenty to discuss about the linked topic. Tentatively, I propose this docket:
No moderation. Open discussion for anyone interested in staying.
Any suggestions are welcome.
Sounds good
Topic suggestion: how about Haskell for scripting as opposed to Bash/Python/Ruby scripts?
#!/usr/bin/env stack
with stack script andchmod +x program.hs
Awesome! Here is the updated docket:
After-Party:
No moderation. Open discussion for anyone interested in staying.
See you all tomorrow at 5 PM UTC
With all the discussion on growing the Haskell community, might it be worth coming up with some sort of action plan we can take to help contribute? I know we all have lives and all that, but there are a lot of us even amongst these video calls - we could probably make a dent in something if we're working together on it
I can give a quick demo of obelisk. 10 mins maybe. Just to get someone excited.
@Vance Palacio Great suggestion! We should absolutely discuss this tomorrow.
I really liked this part:
It's still not clear to me whether "a lot" of people who want to work on this. I think many are busy and can't commit even if they're interested in solving this problem.
What we can do is brainstorm ideas for concrete actionable small tasks for busy people who want to take action in growing the community, but don't have a lot of time to spend on this. If there is enough interest, I think we can achieve noticeable results with good coordination.
For what it's worth, due to our discussions so far, I started working on a solo project to help with growing the Haskell community and I think I can put in a lot of time into it during the upcoming months. I going to focus on contributing to Haskell awareness + education.
If anyone else is interested in attacking this problem (growing Haskell's community) from a totally different angle, I can suggest the following based on the above discussions:
Improving the state of documentation, especially for commonly used stuff
Improving the state of tooling
Any other idea along the lines of making Haskell feel less painful to use on a daily basis
@Sridhar Ratnakumar Awesome! I'll update the docket accordingly
As far as documentation is concerned, that's a main goal behind https://haskell.zettel.page/ - but right now it is just me writing to it sporadically. But it'd be great to have others (I can give direct commit access to
master
which gets deployed instantly)Just send me your GitHub user name and I'll add you.
@Hazem Im really interested in the theory of learning in general. If you're working on bolstering the learning resources of Haskell, I'd be happy to help
Quick note: I think we should consider moving the comments about growing the Haskell Community to the relevant thread (I just realized we're in VideoChat General). Let's continue the discussion there
Is it possible to move comments between threads on Zulip?
No, but you can put a link like I just did in the new topic.
So video call in 2 hours? We should create a google calendar.
https://meet.jit.si/HaskellZulip
Live now
what are we talking about
Todays' docket: https://funprog.zulipchat.com/#narrow/stream/234801-VideoChat/topic/General/near/196023759
The app used in obelisk demo: https://github.com/srid/Taut
@Avi Dessauer hey Avi, you mentioned in the previous video chat about a new module system proposal for haskell, could you send me a link for that? I looked around but couldn't find anything
https://github.com/ghc-proposals/ghc-proposals/pull/321#pullrequestreview-383356128
Oh, I forgot to mention - the other benefit (aside from type sharing) of writing frontend in Haskell is that you get to use most Haskell libraries. For eg Taut uses the pagination library
https://github.com/ghc-proposals/ghc-proposals/pull/205
https://github.com/ghc-proposals/ghc-proposals/pull/295
What do we want on the docket this week?
I can talk about the current state of hie, ghcide and how to install/use them with cabal and stack.
@Asad Saeeduddin Would you be willing to talk about Monoidal categories and monoidal functors?
Sure, I'll prep some notes. When is this again?
5pm UTC, 1pm est
So we have two presentations things on docket.
Does anyone have topic they would like us all to have conversation about?
Polysemy ?
Sounds good.
Click to join video call
The LSP demo was inspiring, thank you! Where was the
gen-hie
tool to populate the hie.yaml coming from?https://github.com/Avi-D-coder/implicit-hie
I successfully got ghcide working with VS code (guess it is time to move from Emacs), using these instructions https://github.com/obsidiansystems/obelisk#experimental-ghcide-support ... it is really fun to develop full-stack apps with IDE support (without writing a line of JavaScript :P )
Hi all,
We need a topic agenda for this week's video meeting (May 16th). Please post your suggested topics below and I'll pick the most mentioned ones for discussion. If anyone would like to give a talk on any FP topic, they will be given priority.
Note: Last week, we didn't have enough time to start discussing Polysemy, which was suggested by @Sridhar Ratnakumar. If there is interest in Polysemy for discussion this week, please post the specific topics of interest.
Thanks!
If you all want, I can talk about tactics
When it comes to
polysemy
, we could maybe talk about original motivation, create some simple example, mention some differences with other libraries and talk about it's futureMaybe give a small and intuitive explaination of what's going inside of
polysemy
!Pinging @Sandy Maguire, @Georgi Lyubenov // googleson78, @Love Waern (King of the Homeless)
I can talk about the internals of polysemy, including the
weave
abstraction that the library is based upon, what it lets us do, and what it keeps us from doing.@Reed Mullanix Want to talk about
Tactics
together? The mechanism is inherently connected toweave
, so it's a good opportunity for me to talk about whyTactics
is the way it is.Great! It looks like Polysemy will be the main topic for this session. I therefore suggest the following:
First 30 minutes: @TheMatten would you be willing to give a brief casual intro to Polysemy, along with the points you suggested (quoted below)?
15 minutes: Q/A about the introductory talk
45 minutes: A talk or discussion about specific polysemy topics (tactics, Polysemy internals, weave abstraction, any other topic). @Love Waern (King of the Homeless) and @Reed Mullanix I don't know if you are coordinating a talk. If that doesn't work we can still have a discussion about these topics. It doesn't have to be in a talk format.
Any suggestions are welcome!
Reed and I have not coordinated a talk. My plan was that I'd discuss polysemy internals first, since it leads nicely into talking about why
Tactics
is the way it is, but doing that may take longer than than the allotted time, so perhaps it's better that @Reed Mullanix starts withTactics
, and then I talk as much about the internals as I have time for.What's the correct link?
We're starting in 30 minutes. I'll post the today's jitsi link in a bit
The link for today's meeting: https://meet.jit.si/ZulipFP
Hey all, sorry I missed this, wasn't feeling super great :(
@Reed Mullanix Hmm, that's pity - you can still join though if you want :slight_smile:
How would people feel about a more conversational chat this week?
What would you all like to talk about?
IMO verbal conversations are hard to hold effectively with more than 3 or 4 participants at a time
With large groups it'll feel more like a moderated panel discussion than a chat style conversation
to be clear I'm not opposing attempts to give it a try
Well tomorrows going to be very relaxed, basically after part for the whole thing. If anyone want to suggest topics you can do it now or during.
I think this might be interesting for a brief discussion:
https://www.patreon.com/csaba_hruska
It seems like there was recent progress: https://twitter.com/csaba_hruska/status/1262882474419421184
Whole STG compilation can reduce the application binary size significantly! (~30%) I've compiled Idris1 via vanilla GHC and my STG compiler. Idris test suite passed => no miscompilation https://twitter.com/csaba_hruska/status/1262882474419421184/photo/1
- Csaba Hruska (@csaba_hruska)I am not knowledgeable at all about this, but I'd love to listen to people talk about it :P
https://www.reddit.com/r/haskell/comments/goujh7/the_haskell_video_chat_is_looking_for_someone_to/
how would you folks want this to happen?
I think separate call could be good idea, because there's potentially a lot to show/talk about, plus time for questions
Click to join video call
I've been kicking myself for missing the last few of these. I hope to make it out to the next one.
Same, I wish some of them were recorded!
Anyone interested in a specific topic tomorrow?
I'm thinking the effects are useless thread would be an interesting conversation.
For the most part I expect it to be mostly after party. 5PM UTC.
Click to join video call
Hey guys, unfortunately I won't be able to come today, but I wish you much fun in the meeting!
wait, so you meet each week?
@Pawel Szulc we meet every week on Satruday at 5PM UTC. We post the jitsi link in this thread before every meeting.
Usually the meeting is a discussion of the topics we propose in the meeting agenda, and sometimes we have moderated presentations whenever anyone is interested in presenting a topic.
Of course, anyone interested in Haskell/FP is welcome to join!
What topics are planned today?
We could talk about ZuriHac and if everyone is attending, what projects are everyone interested in, idk :p
Is there a link for today? Will the meeting be postponed?
It should start in 30 minutes at the usual time
Oh right! I forgot I'm on UTC-1
Click to join video call
To that SpaceX touchscreen displays topic: https://www.reddit.com/r/spacex/comments/gxb7j1/we_are_the_spacex_software_team_ask_us_anything/ft68jpb?utm_source=share&utm_medium=web2x
So apparently they had backup system (physical buttons) in case their "webapp" fails :big_smile:
TheMatten said:
That's what I was trying to say. They also talked about it briefly on the launch day live stream. :)
Having a mechanical backup to a digital control system is just good FMEA. This sort of thing is part of engineering standards even for stuff like cars.
:100:, it's just that it feels like sort of necessity for their SW stack...
The other bit I mentioned: https://www.theverge.com/2019/8/11/20800111/us-navy-uss-john-s-mccain-crash-ntsb-report-touchscreen-mechanical-controls
Maybe the conditions for space craft are sufficiently different that the engineering team at SpaceX felt comfortable with touch screen controls but the Navy accident report cited touch screen controls as a factor in a fatal collision.
Which is probably why they have physical controls for all of the touch screen ones on Dragon. :)
I don't think they're going to be that fancy during Artemis - I mean, maybe it's just SpaceX and NASA/older companies are going to be more conservative
This week there will be no video chat due to https://zfoh.ch/zurihac2020/.
No meetup today?
Click to join video call
Hmm, I won't be able to join tomorrow - when is "Nix" topic planned?
Anyone mind skipping this week?
I don't mind at all
Anyone interested in meetup this week? I would propose Nix and Continuations as possible topics
That would be cool. I keep hearing about nix but every time I read a tutorial it's like... monad tutorials. I'd be down.
Yas! I'm in!
Okay, pinging others originally interested in those topics: @Sridhar Ratnakumar @Matthias Putz @Hazem @Chris Wendt @Asad Saeeduddin @Avi Dessauer @Fintan Halpenny @tristanC @Pawel Szulc @Domen Kožar @Ahmad Abdelwahed @Vance Palacio
slightly off-topic from this weeks meetup, but there is this thing - https://www.calla.chat/
that can allow for "breaking off into smaller more focused groups"
Cute!
I'm happy to talk about Nix+Haskell, but let's find a good date. I'd prefer during the week rather than the weekend.
I'm okay with basically any day next week
I've got a birthday party to go to this weekend so won't make it :sad:️
During the week might be doable for me :blush:
Sure, fine by me!
I am fine if we make Nix discussion in a weekday but let's meet this weekend at least for 30 mins, we didn't meet for two or three weeks and if we keep skipping the initiative may die.
Anyway it's up to you but I don't want to see this meetup die, although I don't contribute but I learn a lot :slight_smile:
One idea - because Nix is probably going to take longer time, we could talk about Continuations + random topics today
Okay, pinging others interested in Continuations: @Avi Dessauer @Vance Palacio @Hazem
Click to join video call
@Ahmad Abdelwahed here's the link: https://gitlab.com/snippets/1994955
Thanks @TheMatten it was an interesting session, I will go through the code and study it.
Updated snippet with some changes - I've tidied it up a little bit
I wish I could have joined you the last times, but I got too busy with real life. Are we having a meetup today?
Personally I'm interested
We could possibly continue with native continuations if anyone's interested - pinging @Ahmad Abdelwahed
I will be there :blush:
Click to join video call
Thanks again @TheMatten and @Ahmad Abdelwahed for the lesson, it was very instructive! Take care :-)
Native continuations proposal: https://github.com/ghc-proposals/ghc-proposals/pull/313
I'll update original snippet on Gitlab once I tidy it up a little bit
Thanks @TheMatten for your explanation and patience
I've updated the snippet with stuff from last call: https://gitlab.com/snippets/1994955
I'd be happy to attend the Continuation study if it is still on going, or just chat about random things if you are up for that too :-) Anyone interested?
For example, I've been working on quite a bit of on-boarding materials lately and I'd be interested to talk about Haskell learning experience.
I am in
@TheMatten are you going to make it today?
Well I'm here for the next hour or so: https://meet.jit.si/ZulipFP
@Ahmad Abdelwahed sorry, I don't feel well and I completely forgot about - I could join e.g. tomorrow if you want to continue this weekend :slight_smile:
TheMatten said:
@TheMatten No worries at all I hope you fell better soon, tomorrow will be difficult let's meet next Saturday and stay safe my friend :blush:
Anyone wants to discuss https://haskell.love here? I can't get mic in https://spatial.chat to work personally
It works only Chrome (or Chromium I guess)
Yeah, seems like it - solved it quickly with https://ungoogled-software.github.io/ungoogled-chromium-binaries/releases/appimage/64bit/83.0.4103.97-1.1
@Ahmad Abdelwahed are you interested in call today? :smile:
Hi @TheMatten thanks for asking but I am not feeling well today, I won't be able to make it
Ok, NP :smile:
@TheMatten you want to meet today?
I should manage to join today - if not on 5PM UTC, then slightly later
@Sridhar Ratnakumar Maybe we could talk about Neuron (templates) too if you're interested
TheMatten said:
sure - what time?
We usually start calls at 5PM UTC - we'll probably first talk with Ahmad about continuations, so we could discuss Neuron sligthly later
Click to join video call
Okay guys, last week we didn't have any call - I wonder whether we would be interested in having some sort of sync call tomorrow, discussing future direction of #VideoChat, maybe proposing some more fixed format that would allow people to join topics they're interested in
BTW, if anyone's interested, I think I could host BigBlueButton instance - at least to try out whether it would be good fit for us
Oh, and I guess we completely forgot about planned Nix topic - @Pawel Szulc @Domen Kožar are you still interested? :smile:
I am!
@Bolt so I should setup BBB and we would have (at least quick) call at e.g. 6 PM UTC?
Sure, just need to know the day beforehand
What about tomorrow?
Tomorrow I'm not sure if I'm able to be at home by 6pm UTC
Okay, no problem - I guess 5PM somewhere throughout next week would work for me
Okay!
Would this Saturday at 5PM UTC be okay?
Am only available Sunday D:
Ok, no problem :smile:
Thanks!
@Bolt give me a few minutes
Sure!
join the meeting
Oops, forgot to mention result of discussion with @Bolt :sweat_smile:
@all few questions about future meetings on #VideoChat:
Sorry for mentioning all of you, but recently it was harder to get some feedback and I want to make sure that everyone is up-to-date :smile:
I personally prefer adhoc impromptu meetups.
BTW, anyone interested in call today?
Topic? I'm unavailable for about an hour.
I don't have anything prepared, but I would be happy to discuss e.g. Haskell client-side web dev
Though I guess it would make sense to give people time to prepare something, so maybe we should just try it next time
Umm, we can chat about it in a while. It would be cool see a demo of how things look, say in PureScript side. I can show the dev experience of Cerveau.
Generally this may be a good approach to these video chats: 5 mins of some awesome demo, followed by casual chat about it, and other topics as attention takes us.
Also, maybe we should advertise it outside of Zulip, like on Twitter. Like, a tweet that reads "In about a hour, we are gonna demo $foo and talk about stuff. Here's a link to Jitsi if you feel like joining"
(Twitter is good for impromptu mini-messaging like this I'd imagine?)
And ... maybe we should create a neuron site for these little video chats. Record what was talked about briefly (like a paragraph or two, with links to $foo, etc.)
Sounds good - I'm just not sure if I have usable demo of PS to show right now :sweat_smile:
I once briefly tried using PureScript (but went back to reflex), and wrote about it here: https://www.srid.ca/2015401.html
This was when I was trying to figure out tech stack for Cerveau!
So in about 15 mins? You have a twitter account? I can post the Jitsi link.
We could talk about that a little bit! :smile:
Ok :thumbs_up:
My presence on social networks is limited to Reddit - we could post to Slack though if you want
13:30 EST (in 9 mins)?
https://meet.jit.si/funprog
Would 13:45 work?
You can post that on Slack. Yea :45 works
Ok, thanks
https://twitter.com/sridca/status/1302296870065180672
Impromptu casual video chat on #Haskell frontend development, demos, etc. in about 20 minutes. At 13h45 EST https://meet.jit.si/funprog https://funprog.zulipchat.com/#narrow/stream/234801-VideoChat/topic/General
- Sridhar Ratnakumar (@sridca)@Sridhar Ratnakumar thanks for quick introduction to Reflex - I must say you've got me interested :smile:
Missed that due to timezone. Is recording available somewhere?
Sorry, was out of the house all day today. Anyone interested in doing one tomorrow?
@Rizary no, but we can consider something like that in the future if it would help
@Asad Saeeduddin If we have some topic, I would be interested :smile:
I would like to join more often but the timezone difference means it's the middle of my day on Saturday. Whether I'm available is changes with the wind on the weekends in the afternoons. I'm not sure what an optimal time is but perhaps stretching it to two groups with a shared message history would be possible to get around this sort of issue. :thinking: