Logs: liberachat/#haskell
| 2021-05-28 19:16:09 | <lambdabot> | m (Either e a) -> ExceptT e m a |
| 2021-05-28 19:16:22 | → | zan joins (~zan@user/zan) |
| 2021-05-28 19:16:27 | <tomsmeding> | ixlun: isn't the function you're looking for literally ExceptT |
| 2021-05-28 19:18:47 | <ixlun> | tomsmeding: Ah right, ineed it is! |
| 2021-05-28 19:19:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-28 19:19:35 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2021-05-28 19:19:45 | <ixlun> | I didn't know that you could construct ExceptT types |
| 2021-05-28 19:20:04 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-28 19:20:04 | × | connrs quits (~connrs@s1.connrs.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-28 19:20:32 | × | Xe quits (~cadey@user/xe) (Changing host) |
| 2021-05-28 19:20:32 | → | Xe joins (~cadey@tailscale/xe) |
| 2021-05-28 19:20:45 | → | connrs joins (~connrs@s1.connrs.uk) |
| 2021-05-28 19:22:25 | → | mib_fqswhk joins (a0ee4a17@ircip1.mibbit.com) |
| 2021-05-28 19:23:13 | <mib_fqswhk> | 595 users only :( I remember 1900+ users |
| 2021-05-28 19:23:27 | <mib_fqswhk> | They are lazy to come here |
| 2021-05-28 19:24:29 | <mib_fqswhk> | I bet without ITC haskell is dead because noone writes haskell outside irc |
| 2021-05-28 19:24:42 | <mib_fqswhk> | irc* |
| 2021-05-28 19:24:58 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 265 seconds) |
| 2021-05-28 19:25:34 | ← | zan parts (~zan@user/zan) (Leaving) |
| 2021-05-28 19:27:06 | → | larryba joins (~bc817c21@217.29.117.252) |
| 2021-05-28 19:27:11 | <larryba> | hi. #haskell on freenode is completely gone already? I only see ##haskell |
| 2021-05-28 19:28:38 | <boxscape> | larryba yeah it was taken over by network admins after #haskell announced the move to libera |
| 2021-05-28 19:28:50 | <larryba> | boxscape, but they it back after that, no? |
| 2021-05-28 19:28:55 | <davean> | Strictly speaking #haskell didn't announce a move to libera |
| 2021-05-28 19:28:59 | <davean> | it mearly mentioned this channel existed |
| 2021-05-28 19:29:04 | <boxscape> | okay, yes |
| 2021-05-28 19:29:22 | <boxscape> | larryba I believe old #haskell ops are ops in ##haskell now, yes |
| 2021-05-28 19:29:25 | <larryba> | #python on freenode mentions libera, and it is still going strong, 1180 users |
| 2021-05-28 19:29:46 | <larryba> | boxscape, I mean, they got OP access back on #haskell. unless the channel was taken over twice |
| 2021-05-28 19:30:07 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-05-28 19:30:22 | <boxscape> | I don't know, last I saw #haskell was invite-only |
| 2021-05-28 19:30:29 | <boxscape> | on freenode |
| 2021-05-28 19:30:46 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-05-28 19:31:22 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds) |
| 2021-05-28 19:31:30 | <larryba> | aren't ## channels allowed to advertise libera? I'm afraid that many old users, or new ones, won't know what is going on |
| 2021-05-28 19:32:02 | <larryba> | and again.. #python is advertising it |
| 2021-05-28 19:32:15 | <boxscape> | larryba https://twitter.com/kmett/status/1397352729836613633 |
| 2021-05-28 19:32:59 | <mib_fqswhk> | can I promote my telegram channel here? |
| 2021-05-28 19:33:19 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 272 seconds) |
| 2021-05-28 19:33:20 | <edwardk> | boxscape: #haskell on freenode points to ##haskell on freenode |
| 2021-05-28 19:33:28 | <geekosaur> | that was what I thought, but someone (int-e?) told me it was changed shortly before the crackdown to say we had moved |
| 2021-05-28 19:33:43 | <geekosaur> | instead of just mentioning libera |
| 2021-05-28 19:34:29 | <edwardk> | geekosaur: i was in the process of trying to get a declarative judgment of exactly what mention of other servers is allowed under the new reading of old policy, especially now that freenode has claimed new powers to force open any topic channel when they nuked everyone |
| 2021-05-28 19:34:35 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-05-28 19:34:35 | <boxscape> | edwardk Ah, I see. I usually get redirected to ##haskell the first time I join and then my client tells me it's invite-only the second time, but maybe that's a client thing |
| 2021-05-28 19:34:41 | <edwardk> | i was actively in the #freenode-policy-feedback channel |
| 2021-05-28 19:34:50 | <edwardk> | boxscape: the second time you are probably already in ##haskell, which is why |
| 2021-05-28 19:35:03 | <boxscape> | yeah |
| 2021-05-28 19:35:09 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-05-28 19:35:21 | <edwardk> | not that any of the actual feedback there was actually being filed anywhere other than /dev/null |
| 2021-05-28 19:36:22 | <larryba> | edwardk, why isn't ##haskell mentioning libera? I know there's a link that mentions it, but that requires an additional step on the users part to know about this channel |
| 2021-05-28 19:37:04 | <mib_fqswhk> | edwardk: I can feel you and I am not against you. I even dropped my freenode nickserv but tell me who is dictator? What is the difference between Ops who ban users based on their emotions and freenode that kicked the channels for promoting libera |
| 2021-05-28 19:37:08 | <edwardk> | larryba: because the advice i got from an official ircop was that any mention of libera in the topic might be bad. so i chose to solve the problem with a level of indirection |
| 2021-05-28 19:37:22 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-28 19:37:53 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-05-28 19:37:53 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-05-28 19:37:53 | → | Deide joins (~Deide@user/deide) |
| 2021-05-28 19:38:11 | <edwardk> | mib_fqswhk: i'm not going to get into a debate about if the sky is blue. |
| 2021-05-28 19:38:19 | <larryba> | edwardk, they may have loosen up that restriction since then, #python mentions libera in the topic and it was not taken over. best to double check though |
| 2021-05-28 19:39:09 | <edwardk> | larryba: i asked 3 times, got different answers. the guy who muted #freenode-policy-feedback and was actively trolling the crowd said it might be okay, the actual ircop who is the closest thing to an authority said it wasn't. |
| 2021-05-28 19:39:48 | <mib_fqswhk> | edwardk: me neither, what I am urging is people do mistakes and we shall learn to forgive and move on. You are wise to know that and forgive freenode and move on |
| 2021-05-28 19:39:51 | <davean> | ow we're arguing about if the sky is blue or it just makes the light that shines through it blue |
| 2021-05-28 19:39:54 | <geekosaur> | they did say something about having overapplied their bot initially and rolling back some channel forwards |
| 2021-05-28 19:39:55 | <edwardk> | so i'm choosing to stay on the server, help the few people who can't leave, and am willing to toe the line til there's no real excuse for freenode any more. the fact that there's 120 people left after all this. |
| 2021-05-28 19:39:56 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-05-28 19:40:17 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 272 seconds) |
| 2021-05-28 19:40:48 | <boxscape> | thanks for all the work you put into this edwardk |
| 2021-05-28 19:41:07 | <edwardk> | mib_fqswhk: you know what? i'm not. its going to take a LOT to regain any trust with me here. There comes a point where you stop listening to what someone says they are doing something for and just look at the consequences of their actions. From a "POSIWID" perspective, rasengan's takeover of freenode has been a clusterfuck, and is serving to destroy the very community he claims to stand for. |
| 2021-05-28 19:41:22 | → | dexterfoo joins (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2021-05-28 19:42:10 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 2021-05-28 19:42:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-28 19:42:56 | <mib_fqswhk> | boxscape: ?? I am not talking to you. And don't know what you are saying...can we just talk about haskell which is much better than freenode vs libera. Community will eventually grow and people know how to join the community |
| 2021-05-28 19:43:11 | <larryba> | edwardk, btw, does #haskell still exist, or is it gone completely? |
| 2021-05-28 19:43:39 | <boxscape> | mib_fqswhk that's fine, what I said wasn't directed at you either. |
| 2021-05-28 19:43:52 | <larryba> | not sure what "points to ##haskell" means. was it pointed to ##haskell by you or other OPs? |
| 2021-05-28 19:44:00 | <jumper149> | Hi, I am personally a fan of the monad-control package, but due to the simplified subsumption coming with ghc-9.0.1 the function `defaultLiftWith2` doesn't work anymore. |
| 2021-05-28 19:44:29 | <jumper149> | I have already tried around quite a bit, but I can't seem to find a way to define that function using ghc-9.0.1 |
| 2021-05-28 19:44:30 | <edwardk> | #haskell exists as a forward to ##haskell at this time. this is arguably a better thing from a straddling the inconsistencies of freenode policies perspective, as primary channels will get forwarded to secondary channels, and freenode has not yet claimed the ability to unilaterally claim those secondary ## channels for 60 days |
| 2021-05-28 19:44:35 | <davean> | ghc-9.0.1 has been out for ages |
| 2021-05-28 19:44:47 | <edwardk> | it was originally pointed by them. we left the forwarding in place once we gained access to ##haskell |
| 2021-05-28 19:45:02 | <edwardk> | because if we _did_ want to play those games with topics like you propose we'd have firmer grounding |
| 2021-05-28 19:45:20 | <edwardk> | we've chosen not to thus far |
| 2021-05-28 19:45:53 | <boxscape> | jumper149 hmm in most cases from what I've seen eta expanding should be enough to get things to work with simplified subsumption, though if you've tried that, I don't know |
| 2021-05-28 19:46:03 | <cdsmith> | <jumper149 "Hi, I am personally a fan of the"> I didn't look into this particular case, but the typical answer to this problem is eta expansion. Does that not work here? |
| 2021-05-28 19:46:37 | <jumper149> | This is the best I came up with: https://github.com/jumper149/blucontrol/blob/6e9ee452281afbf00783c013c268f8cf26ea8377/src/Blucontrol/Recolor/X.hs#L36 |
| 2021-05-28 19:47:16 | <jumper149> | But when changing the type from the explicit transformer, it doesn't work anymore' |
| 2021-05-28 19:47:24 | → | Franciman joins (~francesco@host-80-180-196-134.pool80180.interbusiness.it) |
| 2021-05-28 19:47:26 | <Franciman> | Hi all |
| 2021-05-28 19:47:29 | → | Guest9 joins (~Guest9@103.240.169.6) |
| 2021-05-28 19:47:37 | <Franciman> | I am using the type level == operator |
| 2021-05-28 19:47:40 | <edwardk> | there's different reasons to consider both names. #haskell is a primary org channel, but they closed it and redirected. fine. ##haskell is a 'topic' channel. having a primary place to talk about haskell without an org affiliation? actually that sounds about like the right summary of the status quo on that server. |
| 2021-05-28 19:48:06 | <sm[m]> | +1 |
| 2021-05-28 19:48:24 | <sm[m]> | how's the user count over there now edwardk, dropping at all ? |
| 2021-05-28 19:48:34 | <boxscape> | jumper149 not sure if this will work but can you try defaultLiftWith2' f = RecolorXT $ liftWith $ \run -> liftWith $ \run' -> f $ \x -> (run' . run . unRecolorXT) x |
| 2021-05-28 19:48:38 | <edwardk> | so ##haskell is a 'subtle' way of saying this isn't an official channel, its there though, and people can talk. |
| 2021-05-28 19:48:44 | <edwardk> | sm[m]: 120ish at last check. |
| 2021-05-28 19:48:45 | → | ralu joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2021-05-28 19:48:47 | → | Giorgio[m] joins (~marinelli@2001:470:69fc:105::2d8) |
| 2021-05-28 19:48:49 | <boxscape> | jumper149 (the only change being the lambda at the end) |
| 2021-05-28 19:48:59 | <Franciman> | I have a problem with == at type level and types with parameters |
All times are in UTC.