Logs: liberachat/#haskell
| 2021-06-08 21:54:19 | <maerwald> | Athas: I work around it by doing `base < 100000` |
| 2021-06-08 21:54:34 | <Athas> | Yes, I will do so as well. |
| 2021-06-08 21:54:42 | <Athas> | Pointless busywork. |
| 2021-06-08 21:54:55 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-08 21:54:57 | <Athas> | And 'cabal check' didn't even say anything about it! |
| 2021-06-08 21:57:35 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-08 21:57:36 | × | chomwitt quits (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 250 seconds) |
| 2021-06-08 21:57:42 | → | nkpart joins (uid3844@id-3844.highgate.irccloud.com) |
| 2021-06-08 21:57:58 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-08 21:58:21 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 258 seconds) |
| 2021-06-08 21:59:18 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-08 22:01:55 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-08 22:04:06 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-06-08 22:05:27 | × | ddellacosta quits (~ddellacos@89.46.62.128) (Remote host closed the connection) |
| 2021-06-08 22:06:03 | → | ddellacosta joins (~ddellacos@89.46.62.128) |
| 2021-06-08 22:06:50 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:740c:f2c0:db49:e24b) (Quit: Leaving) |
| 2021-06-08 22:07:03 | × | dudek quits (~dudek@185.150.236.112) (Quit: Leaving) |
| 2021-06-08 22:07:11 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) (Remote host closed the connection) |
| 2021-06-08 22:07:27 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) |
| 2021-06-08 22:09:47 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-08 22:10:37 | × | ddellacosta quits (~ddellacos@89.46.62.128) (Ping timeout: 258 seconds) |
| 2021-06-08 22:13:06 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-08 22:14:27 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 258 seconds) |
| 2021-06-08 22:17:51 | × | blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Quit: WeeChat 2.8) |
| 2021-06-08 22:18:02 | × | boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed) |
| 2021-06-08 22:18:54 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-06-08 22:22:51 | × | Codaraxis quits (~Codaraxis@89.45.7.142) (Read error: Connection reset by peer) |
| 2021-06-08 22:23:03 | → | Codaraxis joins (~Codaraxis@89.45.7.142) |
| 2021-06-08 22:26:38 | × | agumonke` quits (~user@88.160.31.174) (Read error: Connection reset by peer) |
| 2021-06-08 22:27:24 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2021-06-08 22:27:43 | × | yoctocell quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Quit: Using Circe, the loveliest of all IRC clients) |
| 2021-06-08 22:27:49 | → | xkuru joins (~xkuru@user/xkuru) |
| 2021-06-08 22:28:21 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-06-08 22:28:25 | → | agumonke` joins (~user@88.160.31.174) |
| 2021-06-08 22:29:37 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2021-06-08 22:31:13 | → | xsperry joins (~as@user/xsperry) |
| 2021-06-08 22:31:17 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-06-08 22:32:09 | × | neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 245 seconds) |
| 2021-06-08 22:34:21 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-08 22:37:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-08 22:40:09 | <zwro[m]> | hi I'm on Matrix and a little confused. is this freenode or libera? |
| 2021-06-08 22:40:20 | <Cajun> | libera |
| 2021-06-08 22:40:45 | <zwro[m]> | it's libera, right? |
| 2021-06-08 22:41:01 | <geekosaur> | yes |
| 2021-06-08 22:46:06 | <zwro[m]> | thanks. I'm noticing some lag |
| 2021-06-08 22:46:48 | × | lbseale quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Changing host) |
| 2021-06-08 22:46:48 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-06-08 22:46:49 | <geekosaur> | I think the bridge is still in testing; it's laggy and it goes down fairly often |
| 2021-06-08 22:46:54 | ← | zwro[m] parts (~zwromatri@2001:470:69fc:105::1d4) () |
| 2021-06-08 22:47:05 | <geekosaur> | welp |
| 2021-06-08 22:47:25 | × | involans quits (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-06-08 22:47:45 | × | lbseale quits (~lbseale@user/ep1ctetus) (Quit: Leaving) |
| 2021-06-08 22:48:00 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-06-08 22:49:31 | × | jespada quits (~jespada@90.254.242.55) (Ping timeout: 264 seconds) |
| 2021-06-08 22:50:38 | → | jespada joins (~jespada@90.254.242.55) |
| 2021-06-08 22:52:51 | <sm[m]> | it will also sometimes stop relaying IRC to Matrix, but thankfully that doesn't seem to be affecting this channel much |
| 2021-06-08 22:54:00 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-08 22:58:31 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-06-08 22:59:52 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-08 23:01:36 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-06-08 23:05:18 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-08 23:08:15 | → | ddellacosta joins (~ddellacos@89.46.62.113) |
| 2021-06-08 23:09:32 | × | agumonke` quits (~user@88.160.31.174) (Ping timeout: 250 seconds) |
| 2021-06-08 23:11:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-06-08 23:11:49 | → | Jin63 joins (~Jin@ip-109-41-193-148.web.vodafone.de) |
| 2021-06-08 23:12:34 | × | ddellacosta quits (~ddellacos@89.46.62.113) (Ping timeout: 245 seconds) |
| 2021-06-08 23:13:38 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-08 23:16:03 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-06-08 23:16:12 | × | hexfive quits (~eric@50.35.83.177) (Client Quit) |
| 2021-06-08 23:16:49 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-rc1) |
| 2021-06-08 23:16:54 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 250 seconds) |
| 2021-06-08 23:17:59 | → | jaevanko joins (~jaevanko@2600:1700:1330:2bef:8da6:e24d:9a34:2f32) |
| 2021-06-08 23:19:02 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-06-08 23:19:09 | × | Cajun quits (~Cajun@ip98-163-211-112.no.no.cox.net) (Quit: Client closed) |
| 2021-06-08 23:24:19 | → | motherfs1 joins (~motherfsc@user/motherfsck) |
| 2021-06-08 23:26:27 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2021-06-08 23:26:38 | → | MQ-17J joins (~MQ-17J@8.21.10.116) |
| 2021-06-08 23:26:53 | → | ddellacosta joins (~ddellacos@89.46.62.50) |
| 2021-06-08 23:31:24 | × | ddellacosta quits (~ddellacos@89.46.62.50) (Ping timeout: 252 seconds) |
| 2021-06-08 23:37:31 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-06-08 23:37:52 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-08 23:38:36 | → | jamestmartin joins (james@jtmar.me) |
| 2021-06-08 23:39:00 | × | jneira quits (~jneira@166.red-81-39-172.dynamicip.rima-tde.net) (Ping timeout: 250 seconds) |
| 2021-06-08 23:41:35 | → | blankhart joins (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) |
| 2021-06-08 23:41:37 | → | autrim64[m] joins (~autrim64m@2001:470:69fc:105::16a1) |
| 2021-06-08 23:42:02 | → | fendor_ joins (~fendor@178.165.130.85.wireless.dyn.drei.com) |
| 2021-06-08 23:42:50 | Jin63 | is now known as AWizzard |
| 2021-06-08 23:42:54 | × | xkuru quits (~xkuru@user/xkuru) (Ping timeout: 250 seconds) |
| 2021-06-08 23:43:40 | → | ddellacosta joins (~ddellacos@89.46.62.58) |
| 2021-06-08 23:43:46 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 258 seconds) |
| 2021-06-08 23:44:38 | × | fendor quits (~fendor@178.115.41.96.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2021-06-08 23:47:13 | × | AWizzard quits (~Jin@ip-109-41-193-148.web.vodafone.de) (Quit: Client closed) |
| 2021-06-08 23:48:07 | <jaevanko> | Is it possible to describe a function that takes a function as an argument that has a class bound on it? For example, like this: https://gotbits.net/di.hs |
| 2021-06-08 23:48:22 | × | ddellacosta quits (~ddellacos@89.46.62.58) (Ping timeout: 258 seconds) |
| 2021-06-08 23:49:31 | → | xkuru joins (~xkuru@user/xkuru) |
| 2021-06-08 23:51:35 | <jaevanko> | Wait. That works if I add RankNTypes and jam a forall in there |
| 2021-06-08 23:51:38 | <jaevanko> | Hmm :/ |
| 2021-06-08 23:51:39 | <geekosaur> | you'd need a forall to introduce a class context in that position, otherwise you put it in the normal place |
| 2021-06-08 23:52:43 | <jaevanko> | Is GHC able to inline the definition of lift' so it doesn't have to do dynamic dispatch on the passed in function? |
| 2021-06-08 23:53:04 | <jaevanko> | I think that question was malformed |
All times are in UTC.