4 Jan 2024 |
sm | Ah. We had nothing matching hackage/cabal's active room, so I felt mirroring that would be a good start. And I felt one room would be more likely to get traction and bring users and maintainers together. | 07:18:09 |
sm | eg Mike Pilgrem and chreekat. Maybe you'd like to raise it over there ? | 07:18:39 |
Jens Petersen | Yeah, I think I mumbled something.... but I suppose I could articulate it more - harder to change these things after the fact though :) | 07:27:58 |
Jens Petersen | (I guess my thinking is more like "too many chefs" - or rather "ownership": if the topic becomes too broad then noone really has responsibility, but like I say it is a balance - all too many rooms and channels) | 07:30:00 |
Jens Petersen | We also have a Slack channel... | 07:30:11 |
Jens Petersen | * (I guess my thinking is more like "too many chefs" - or rather "ownership": if the topic becomes too broad then noone really has responsibility, but like I say it is a balance - also too many rooms and channels) | 07:30:41 |
Jens Petersen | And Happy New Year | 07:31:06 |
sm | happy new year! | 07:32:00 |
sm | yes there's a other channels, which AFAICT nobody knew about or used. Nobody was talking about stack/stackage on IRC or matrix, where most haskell chat is happening. I managed to interested Mike in matrix room and it has been working quite well I think | 07:33:28 |
sm | it does link to the slack rooms in topic at least | 07:34:16 |
sm | * yes there's a other channels, which AFAICT nobody knew about or used. Nobody was talking about stack/stackage on IRC or matrix, where most haskell chat is happening. I managed to interest Mike in the matrix room and it has been working quite well I think | 07:34:34 |
sm | if stackage maintainers need a separate room for their work, by all means make it, but personally I'd kick it off in the existing room for more synergy, attracting contributors etc | 07:36:24 |
sm | * yes there's other channels, which AFAICT nobody knew about or used. Nobody was talking about stack/stackage on IRC or matrix, where most haskell chat is happening. I managed to interest Mike in the matrix room and it has been working quite well I think | 07:36:38 |
sm | I might be seeing it wrong | 07:37:48 |
sm | and there's no problem rearranging rooms to better fit the need. I would just say let's discuss that over in the stackage room, where the relevant folks are | 07:47:40 |
sm | * and there's no problem rearranging rooms to better fit the need. I would just say let's discuss that over in the stackage room, where some more relevant folks are | 07:48:14 |
sm | * and there's no problem rearranging rooms to better fit the need. I would just say let's discuss that over in the stackage room, where some other relevant folks are | 07:48:20 |
sm | (afk) | 07:49:09 |
sm | * and there's no problem rearranging rooms to better fit the need. I would just say let's discuss that over in the stack and stackage room, where there's more stack/stackage folks | 07:58:43 |
chreekat | Just sending this to acknowledge the messages here - will continue in the other room | 11:29:57 |
20 Jan 2024 |
| silent_water changed their display name from therivercass to silent_water. | 17:27:14 |
27 Jan 2024 |
| @phosphordisplay:matrix.org joined the room. | 23:20:27 |
6 Feb 2024 |
| @phosphordisplay:matrix.org left the room. | 07:49:58 |
10 Feb 2024 |
| Sanchayan joined the room. | 07:31:22 |
12 Feb 2024 |
janus.troelsen | In reply to @simonmic:matrix.org Thanks @thekyriarchy , I have added the snowdrift and purescript rooms to Haskell Projects space In that case might also want to add #idris:neverending.party | 03:56:51 |
sm | janus.troelsen: is idris still a haskell project ? https://github.com/idris-lang/Idris2 doesn't mention it | 03:58:48 |
janus.troelsen | I suppose not, since Idris2 was previously written in Idris1. I had forgotten that about PureScript. | 04:11:17 |
janus.troelsen | I thought it was getting added just because it is similar to Haskell, but I realize now that it is because it is itself a Haskell project. | 04:11:44 |
sm | Yeah. Is idris 2 self hosting, with a little C to bootstrap it ? | 04:12:39 |
peddie | a bit OT but isn't it bootstrapped in scheme or racket or something? | 04:22:22 |