Newest at the top
2024-10-15 12:29:25 +0200 | <lxsameer> | merijn: those are users who joined, not online users |
2024-10-15 12:28:08 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-10-15 12:28:02 +0200 | <mreh> | There are 3k people in #haskell:matrix.org |
2024-10-15 12:27:00 +0200 | <mreh> | I should have said "Haskell space" instead of "room" I think |
2024-10-15 12:24:45 +0200 | Athas | (athas@sigkill.dk) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-10-15 12:23:42 +0200 | <mreh> | I'm pretty new to Matrix |
2024-10-15 12:23:36 +0200 | <mreh> | I don't know. I just found this page https://view.matrix.org/room/!pZFfqwPvNuLROTqRRy:matrix.org/servers |
2024-10-15 12:23:18 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2024-10-15 12:21:46 +0200 | <lxsameer> | mreh: I don't think matrix servers can federate? can they? |
2024-10-15 12:18:47 +0200 | <mreh> | matrix.org seems to have the most members in the Haskell room |
2024-10-15 12:18:31 +0200 | <mreh> | isn't it decentralised? |
2024-10-15 12:18:07 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-15 12:15:52 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-15 12:13:37 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-15 12:10:46 +0200 | <kuribas> | I understand people are moving to matrix chat. Is there a recommended server? |
2024-10-15 12:08:22 +0200 | <mreh> | it's kinda warty, but seems to be working |
2024-10-15 12:08:13 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:343c:d865:3598:6b6a) (Remote host closed the connection) |
2024-10-15 12:07:23 +0200 | <mreh> | It seems the monad under transformation of ContextT needs to be in scope (m'). That last type signature is optional. |
2024-10-15 12:06:18 +0200 | Guest74 | (~textual@129.94.128.31) |
2024-10-15 12:06:04 +0200 | <mreh> | instance HasContext ctx os m (ContextT ctx os m) where liftContextT = id :: ContextT ctx os m a -> ContextT ctx os m a |
2024-10-15 12:06:03 +0200 | <mreh> | class HasContext ctx os m' m where liftContextT :: ContextT ctx os m' a -> m a |
2024-10-15 12:05:53 +0200 | <mreh> | well ths compiles |
2024-10-15 12:05:45 +0200 | todi_away | todi |
2024-10-15 12:05:41 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-15 12:03:40 +0200 | <kuribas> | That's just a warning, it should still have worked. |
2024-10-15 12:02:07 +0200 | Guest74 | (~textual@129.94.128.31) (Client Quit) |
2024-10-15 12:01:19 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) |
2024-10-15 12:00:51 +0200 | <mreh> | yeah, I guess I had -Wno-orphans on |
2024-10-15 12:00:24 +0200 | Guest74 | (~textual@129.94.128.31) |
2024-10-15 11:58:50 +0200 | <kuribas> | Or better, wrap it in a newtype, then make your own (non orphan) instance. |
2024-10-15 11:58:32 +0200 | <kuribas> | Make your own (orphan) instance for mtl? |
2024-10-15 11:57:42 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
2024-10-15 11:57:25 +0200 | <mreh> | something like `liftContextT :: Context ctx os m' a -> m a` maybe |
2024-10-15 11:56:20 +0200 | <mreh> | `MonadIO` is a thing, so could `HasContext ctx os` be a thing? |
2024-10-15 11:55:26 +0200 | <mreh> | e.g. https://hackage.haskell.org/package/GPipe-2.2.5/docs/Graphics-GPipe-Context.html#t:ContextT <- this |
2024-10-15 11:54:49 +0200 | <mreh> | is there a way to use a library with a monad transformer without a typeclass in mtl style code? |
2024-10-15 11:53:14 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
2024-10-15 11:51:21 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-15 11:50:24 +0200 | rmca | (~rob@188.120.84.50) |
2024-10-15 11:39:16 +0200 | rosco | (~rosco@175.136.23.238) (Quit: Lost terminal) |
2024-10-15 11:38:39 +0200 | Guest74 | (~textual@129.94.128.31) |
2024-10-15 11:38:11 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-15 11:32:15 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
2024-10-15 11:29:43 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Client Quit) |
2024-10-15 11:29:18 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
2024-10-15 11:27:38 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
2024-10-15 11:26:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2024-10-15 11:22:38 +0200 | rosco | (~rosco@175.136.23.238) rosco |
2024-10-15 11:21:34 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-10-15 11:21:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |