2022-12-25 00:00:11 +0100 | <hololeap> | the competing libs that do similar things with no compatibility layers seems to be a constant problem with hackage/haskell. it seems like more of a social problem than a technical one, IMO |
2022-12-25 00:00:53 +0100 | <geekosaur> | I've never had trouble with mtl, but I do think as soon as you've reached for unliftio you've invited trouble in general |
2022-12-25 00:05:58 +0100 | <geekosaur> | I feel like unliftio is trying to be a general solution to a problem that has no general solution, the complexity of MonadBaseControl is proof, and mtl is an exclamation mark on the whole thing |
2022-12-25 00:07:32 +0100 | <MelMalik> | = 167 |
2022-12-25 00:12:28 +0100 | <jackdk> | I don't think that's right, because unliftio is by design less general than MonadBaseControl |
2022-12-25 00:14:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-12-25 00:14:37 +0100 | <geekosaur> | it is nevertheless hitting a form of the same problem |
2022-12-25 00:15:20 +0100 | <hololeap> | @hackage unlift-stm -- I wrote this not knowing about MonadBaseControl. I may not have written it if I had known |
2022-12-25 00:15:20 +0100 | <lambdabot> | https://hackage.haskell.org/package/unlift-stm -- I wrote this not knowing about MonadBaseControl. I may not have written it if I had known |
2022-12-25 00:19:59 +0100 | poscat | (~poscat@114.245.108.192) (Ping timeout: 264 seconds) |
2022-12-25 00:20:59 +0100 | poscat | (~poscat@114.245.108.12) |
2022-12-25 00:25:10 +0100 | <hololeap> | given the isomorphisms present in ReaderT and IdentityT, doesn't the existence of unliftio make sense? I never fully understood the other transformers that MonadBaseControl supports |
2022-12-25 00:26:29 +0100 | <hololeap> | but the fact is, this should work with monads other than IO so why not generalize it? |
2022-12-25 00:27:12 +0100 | <hololeap> | my lib that I just linked to was a lot of copy-and-paste from unliftio and replacing IO with STM |
2022-12-25 00:30:55 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2022-12-25 00:32:23 +0100 | poscat0x04 | (~poscat@2408:8206:4821:ed55:59ff:d2f4:c62a:1acc) |
2022-12-25 00:32:49 +0100 | poscat | (~poscat@114.245.108.12) (Ping timeout: 260 seconds) |
2022-12-25 00:34:11 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
2022-12-25 00:35:35 +0100 | <hololeap> | ReaderT r (t m) a ~ t (ReaderT r m) a -- and -- ReaderT r m a ~ r -> m a ~ Reader r (m a) |
2022-12-25 00:35:44 +0100 | <hololeap> | so this gives a lot of wiggle-room |
2022-12-25 00:35:48 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2022-12-25 00:36:07 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 00:36:53 +0100 | poscat0x04 | (~poscat@2408:8206:4821:ed55:59ff:d2f4:c62a:1acc) (Ping timeout: 246 seconds) |
2022-12-25 00:37:32 +0100 | poscat | (~poscat@114.245.110.107) |
2022-12-25 00:40:56 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2022-12-25 00:41:08 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
2022-12-25 00:41:36 +0100 | talismanick | (~talismani@76.133.152.122) |
2022-12-25 00:42:09 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 00:42:30 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-12-25 00:44:10 +0100 | zebrag | (~chris@user/zebrag) |
2022-12-25 00:45:48 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2022-12-25 00:46:51 +0100 | acidjnk | (~acidjnk@p200300d6e7137a38ed09692e24fc2d3d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2022-12-25 00:47:02 +0100 | MajorBiscuit | (~MajorBisc@31-23-159.netrun.cytanet.com.cy) (Quit: WeeChat 3.6) |
2022-12-25 00:47:23 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
2022-12-25 00:48:31 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 00:53:23 +0100 | cheater_ | (~Username@user/cheater) |
2022-12-25 00:56:32 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
2022-12-25 00:56:40 +0100 | cheater_ | cheater |
2022-12-25 00:58:23 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
2022-12-25 00:59:56 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 01:01:23 +0100 | acidjnk | (~acidjnk@p200300d6e7137a38ed09692e24fc2d3d.dip0.t-ipconnect.de) |
2022-12-25 01:01:39 +0100 | fizbin | (~fizbin@user/fizbin) |
2022-12-25 01:04:23 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 264 seconds) |
2022-12-25 01:05:47 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
2022-12-25 01:07:02 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2022-12-25 01:07:17 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 01:10:15 +0100 | cheater_ | (~Username@user/cheater) |
2022-12-25 01:10:18 +0100 | bjourne | (~helloman@94.191.152.96) (Read error: Connection reset by peer) |
2022-12-25 01:10:59 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
2022-12-25 01:10:59 +0100 | cheater_ | cheater |
2022-12-25 01:14:13 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
2022-12-25 01:15:10 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-12-25 01:19:21 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
2022-12-25 01:20:43 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 01:24:30 +0100 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
2022-12-25 01:28:26 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
2022-12-25 01:29:31 +0100 | pavonia | (~user@user/siracusa) |
2022-12-25 01:30:47 +0100 | acidjnk | (~acidjnk@p200300d6e7137a38ed09692e24fc2d3d.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2022-12-25 01:32:49 +0100 | fizbin | (~fizbin@user/fizbin) |
2022-12-25 01:37:19 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
2022-12-25 01:39:14 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 01:40:58 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2022-12-25 01:46:29 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
2022-12-25 01:47:26 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
2022-12-25 01:48:36 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 01:55:53 +0100 | Topsi | (~Topsi@dyndsl-095-033-229-204.ewe-ip-backbone.de) |
2022-12-25 01:56:21 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
2022-12-25 01:57:58 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 01:58:22 +0100 | P1RATEZ | (piratez@user/p1ratez) |
2022-12-25 01:59:37 +0100 | fizbin | (~fizbin@user/fizbin) (Remote host closed the connection) |
2022-12-25 01:59:56 +0100 | fizbin | (~fizbin@user/fizbin) |
2022-12-25 02:05:10 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
2022-12-25 02:05:48 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
2022-12-25 02:06:13 +0100 | calco | (~calco@47.200.15.90) (Remote host closed the connection) |
2022-12-25 02:07:19 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 02:08:35 +0100 | ft | (~ft@87.122.12.144) (Ping timeout: 260 seconds) |
2022-12-25 02:09:37 +0100 | cheater_ | (~Username@user/cheater) |
2022-12-25 02:10:20 +0100 | ft | (~ft@i59F54436.versanet.de) |
2022-12-25 02:10:52 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2022-12-25 02:12:05 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
2022-12-25 02:12:12 +0100 | cheater_ | cheater |
2022-12-25 02:16:59 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2022-12-25 02:20:22 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
2022-12-25 02:21:45 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 02:22:14 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 246 seconds) |
2022-12-25 02:28:07 +0100 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
2022-12-25 02:29:52 +0100 | P1RATEZ | (piratez@user/p1ratez) (Quit: mirc users: //timerxmas 0 0 cline $!rand(2,13) $chan $!rand($nick($chan,0),0) <- christmas lights) |
2022-12-25 02:32:49 +0100 | Guest63 | (~Guest63@240f:a1:8a75:1:74d4:db7f:5ff2:f1da) |
2022-12-25 02:33:15 +0100 | Guest63 | (~Guest63@240f:a1:8a75:1:74d4:db7f:5ff2:f1da) (Client Quit) |
2022-12-25 02:33:26 +0100 | Guest63 | (~Guest63@240f:a1:8a75:1:74d4:db7f:5ff2:f1da) |
2022-12-25 02:34:41 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 02:34:55 +0100 | Guest63 | (~Guest63@240f:a1:8a75:1:74d4:db7f:5ff2:f1da) (Client Quit) |
2022-12-25 02:35:34 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
2022-12-25 02:37:13 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 02:43:35 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
2022-12-25 02:43:49 +0100 | cheater_ | (~Username@user/cheater) |
2022-12-25 02:44:18 +0100 | thongpv | (~thongpv87@2402:9d80:3d7:f595:ec15:53b5:1365:4261) |
2022-12-25 02:44:26 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
2022-12-25 02:44:33 +0100 | cheater_ | cheater |
2022-12-25 02:45:33 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 02:45:55 +0100 | thongpv87 | (~thongpv87@2001:ee0:54a8:aee0:3ddf:576f:86ec:d738) (Ping timeout: 260 seconds) |
2022-12-25 02:47:51 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
2022-12-25 02:49:52 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2022-12-25 02:50:22 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 02:51:20 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Changing host) |
2022-12-25 02:51:20 +0100 | money_ | (~money@user/polo) |
2022-12-25 02:51:22 +0100 | money | Guest6766 |
2022-12-25 02:51:22 +0100 | money_ | money |
2022-12-25 02:52:06 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
2022-12-25 02:53:54 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 02:55:35 +0100 | money | (~money@user/polo) (Quit: late) |
2022-12-25 02:55:45 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::3ed5) (Quit: Going elsewhere) |
2022-12-25 02:59:51 +0100 | libertyprime | (~libertypr@203.96.203.167) |
2022-12-25 03:01:32 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
2022-12-25 03:03:15 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 03:09:50 +0100 | Guest6766 | money |
2022-12-25 03:10:24 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
2022-12-25 03:11:33 +0100 | Guest63 | (~Guest63@240f:a1:8a75:1:74d4:db7f:5ff2:f1da) |
2022-12-25 03:11:35 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 03:11:56 +0100 | Guest63 | (~Guest63@240f:a1:8a75:1:74d4:db7f:5ff2:f1da) (Client Quit) |
2022-12-25 03:15:34 +0100 | Topsi | (~Topsi@dyndsl-095-033-229-204.ewe-ip-backbone.de) (Ping timeout: 260 seconds) |
2022-12-25 03:17:10 +0100 | money | polo |
2022-12-25 03:20:32 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 272 seconds) |
2022-12-25 03:22:17 +0100 | n0den1te | (~~.~@2401:4900:1cc8:aa0c:b5d1:70af:4531:f1d6) |
2022-12-25 03:27:46 +0100 | n0den1te | (~~.~@2401:4900:1cc8:aa0c:b5d1:70af:4531:f1d6) () |
2022-12-25 03:31:19 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-12-25 03:31:41 +0100 | califax | (~califax@user/califx) |
2022-12-25 03:34:03 +0100 | razetime | (~quassel@49.207.230.181) |
2022-12-25 03:38:43 +0100 | money | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 03:38:44 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 03:38:53 +0100 | money | Guest4857 |
2022-12-25 03:40:10 +0100 | Guest4857 | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Changing host) |
2022-12-25 03:40:10 +0100 | Guest4857 | (~money@user/polo) |
2022-12-25 03:40:26 +0100 | Guest4857 | money |
2022-12-25 03:51:18 +0100 | money | (~money@user/polo) (Read error: Connection reset by peer) |
2022-12-25 03:51:56 +0100 | money | (~money@216-131-83-76.nyc.as62651.net) |
2022-12-25 03:51:59 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2022-12-25 03:52:12 +0100 | money | Guest311 |
2022-12-25 03:52:36 +0100 | ddellacosta | (~ddellacos@86.106.143.181) |
2022-12-25 03:52:53 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 03:53:17 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2022-12-25 03:55:37 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 03:58:11 +0100 | Guest311 | (~money@216-131-83-76.nyc.as62651.net) (Ping timeout: 256 seconds) |
2022-12-25 04:01:42 +0100 | [itchychristmas] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
2022-12-25 04:02:50 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2022-12-25 04:04:05 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2022-12-25 04:09:55 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
2022-12-25 04:12:46 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2022-12-25 04:12:46 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2022-12-25 04:12:46 +0100 | finn_elija | FinnElija |
2022-12-25 04:22:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) (Remote host closed the connection) |
2022-12-25 04:24:58 +0100 | td_ | (~td@83.135.9.19) (Ping timeout: 268 seconds) |
2022-12-25 04:26:19 +0100 | td_ | (~td@83.135.9.52) |
2022-12-25 04:32:21 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) |
2022-12-25 04:32:48 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 04:33:12 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 04:33:44 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 04:38:38 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 04:42:17 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 04:46:19 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 260 seconds) |
2022-12-25 04:49:14 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 246 seconds) |
2022-12-25 04:53:45 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) (Remote host closed the connection) |
2022-12-25 04:54:14 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 04:58:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) |
2022-12-25 04:59:26 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 04:59:58 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 05:01:39 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 05:02:11 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 05:10:43 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 05:11:15 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 05:23:26 +0100 | polo | money |
2022-12-25 05:23:26 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2022-12-25 05:25:47 +0100 | beefbambi | (~beefbambi@183.82.206.239) (Ping timeout: 248 seconds) |
2022-12-25 05:28:46 +0100 | gentauro | (~gentauro@user/gentauro) |
2022-12-25 05:30:05 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 05:33:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-12-25 05:33:58 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 05:37:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2022-12-25 05:38:58 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 268 seconds) |
2022-12-25 05:38:58 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
2022-12-25 05:43:10 +0100 | famubu | (~famubu@14.139.174.50) |
2022-12-25 06:02:11 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2022-12-25 06:03:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) (Remote host closed the connection) |
2022-12-25 06:10:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) |
2022-12-25 06:16:09 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: late) |
2022-12-25 06:18:21 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 06:20:07 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
2022-12-25 06:23:34 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Read error: Connection reset by peer) |
2022-12-25 06:23:41 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 06:32:28 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2022-12-25 06:40:01 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Read error: Connection reset by peer) |
2022-12-25 06:40:15 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 06:41:40 +0100 | fizbin | (~fizbin@user/fizbin) |
2022-12-25 06:45:03 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Read error: Connection reset by peer) |
2022-12-25 06:45:46 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 06:47:29 +0100 | libertyprime | (~libertypr@203.96.203.167) (Ping timeout: 265 seconds) |
2022-12-25 06:47:33 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 06:51:20 +0100 | lottaquestions_ | (~nick@104.221.24.83) |
2022-12-25 06:53:15 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2022-12-25 06:53:24 +0100 | lottaquestions | (~nick@2607:fa49:503e:7100:3634:992e:e32f:8e6c) (Ping timeout: 252 seconds) |
2022-12-25 06:53:34 +0100 | EvanR | (~EvanR@user/evanr) |
2022-12-25 06:55:52 +0100 | lottaquestions_ | (~nick@104.221.24.83) (Ping timeout: 272 seconds) |
2022-12-25 06:58:22 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: late) |
2022-12-25 07:06:17 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 07:07:36 +0100 | libertyprime | (~libertypr@203.96.203.167) |
2022-12-25 07:16:54 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
2022-12-25 07:23:50 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: late) |
2022-12-25 07:33:18 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 07:36:31 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 07:41:19 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2022-12-25 07:42:16 +0100 | Xeroine | (~Xeroine@user/xeroine) (Read error: Connection reset by peer) |
2022-12-25 07:43:06 +0100 | Xeroine | (~Xeroine@user/xeroine) |
2022-12-25 07:43:21 +0100 | fizbin | (~fizbin@user/fizbin) (Remote host closed the connection) |
2022-12-25 07:43:35 +0100 | fizbin | (~fizbin@user/fizbin) |
2022-12-25 07:50:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-12-25 07:59:16 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 252 seconds) |
2022-12-25 08:03:05 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: late) |
2022-12-25 08:08:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-12-25 08:09:44 +0100 | thongpv87 | (~thongpv87@123.31.184.254) |
2022-12-25 08:10:01 +0100 | thongpv | (~thongpv87@2402:9d80:3d7:f595:ec15:53b5:1365:4261) (Read error: Connection reset by peer) |
2022-12-25 08:16:44 +0100 | OscarZ_ | (~oscarz@95.175.104.82) |
2022-12-25 08:19:39 +0100 | OscarZ | (~oscarz@95.175.104.82) (Ping timeout: 248 seconds) |
2022-12-25 08:20:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-12-25 08:20:29 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2022-12-25 08:22:36 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2022-12-25 08:26:27 +0100 | <dsal> | > let baseStr digs = reverse . unfoldr (\x -> case x of 0 -> Nothing; x -> let (d,r) = x `divMod` length digs in Just (digs !! r, d)) in baseStr "0123456789ABCDEF" 12345 -- iqubic |
2022-12-25 08:26:28 +0100 | <lambdabot> | "3039" |
2022-12-25 08:26:41 +0100 | <dsal> | > let baseStr digs = reverse . unfoldr (\x -> case x of 0 -> Nothing; x -> let (d,r) = x `divMod` length digs in Just (digs !! r, d)) in baseStr "01234" 12345 |
2022-12-25 08:26:43 +0100 | <lambdabot> | "343340" |
2022-12-25 08:26:51 +0100 | <iqubic> | Yeah, that's cool. |
2022-12-25 08:28:32 +0100 | <dsal> | > let baseStr digs = reverse . unfoldr (\x -> case x of 0 -> Nothing; x -> let r = x `mod` length digs in Just (digs !! r, (d+r) `div` length digs) in baseStr "012=-" 2022 |
2022-12-25 08:28:34 +0100 | <lambdabot> | <hint>:1:147: error: parse error on input ‘in’ |
2022-12-25 08:28:38 +0100 | <dsal> | argh. |
2022-12-25 08:29:15 +0100 | <dsal> | > let baseStr digs = reverse . unfoldr (\x -> case x of 0 -> Nothing; x -> let r = x `mod` length digs in Just (digs !! r, (x+r) `div` length digs)) in baseStr "012=-" 2022 |
2022-12-25 08:29:17 +0100 | <lambdabot> | "1=11-2" |
2022-12-25 08:29:22 +0100 | <dsal> | Generalized negatives. |
2022-12-25 08:29:29 +0100 | <iqubic> | I see. |
2022-12-25 08:29:30 +0100 | <dsal> | > let baseStr digs = reverse . unfoldr (\x -> case x of 0 -> Nothing; x -> let r = x `mod` length digs in Just (digs !! r, (x+r) `div` length digs)) in baseStr "01-" 2022 |
2022-12-25 08:29:32 +0100 | <lambdabot> | "10-100-0" |
2022-12-25 08:30:30 +0100 | <dsal> | > let baseStr digs = reverse . unfoldr (\x -> case x of 0 -> Nothing; x -> let r = x `mod` length digs in Just (digs !! r, (x+r) `div` length digs)) in baseStr ['a'..'z'] 2022 |
2022-12-25 08:30:32 +0100 | <lambdabot> | "dau" |
2022-12-25 08:31:06 +0100 | <dsal> | Probably shouldn't use an even number of digits for such a thing. |
2022-12-25 08:31:36 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2022-12-25 08:34:02 +0100 | libertyprime | (~libertypr@203.96.203.167) (Ping timeout: 272 seconds) |
2022-12-25 08:35:14 +0100 | <iqubic> | Yeah, that would be ambiguous. |
2022-12-25 08:43:48 +0100 | <dsal> | > unfoldr (Just . (`divMod` 3)) a |
2022-12-25 08:43:50 +0100 | <lambdabot> | [a `div` 3,a `mod` 3 `div` 3,a `mod` 3 `mod` 3 `div` 3,a `mod` 3 `mod` 3 `mo... |
2022-12-25 08:43:57 +0100 | <dsal> | lambdabot, you crazy |
2022-12-25 08:44:23 +0100 | <iqubic> | That is a bit crazy. |
2022-12-25 08:48:02 +0100 | famubu | (~famubu@14.139.174.50) (Quit: leaving) |
2022-12-25 08:48:40 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 08:49:04 +0100 | libertyprime | (~libertypr@203.96.203.167) |
2022-12-25 08:51:06 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2022-12-25 08:51:14 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2022-12-25 08:52:19 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Changing host) |
2022-12-25 08:52:19 +0100 | money_ | (~money@user/polo) |
2022-12-25 08:57:41 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-12-25 09:00:57 +0100 | money_ | (~money@user/polo) (Quit: late) |
2022-12-25 09:14:39 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
2022-12-25 09:17:00 +0100 | cheater | (~Username@user/cheater) |
2022-12-25 09:30:37 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 09:35:57 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: late) |
2022-12-25 09:45:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2022-12-25 09:48:40 +0100 | gmg | (~user@user/gehmehgeh) |
2022-12-25 09:49:28 +0100 | igghibu | (~igghibu@178.249.211.88) |
2022-12-25 09:50:07 +0100 | cheater_ | (~Username@user/cheater) |
2022-12-25 09:53:12 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
2022-12-25 09:53:13 +0100 | cheater_ | cheater |
2022-12-25 09:56:28 +0100 | n0den1te | (~~.~@2401:4900:1cc8:aa0c:b5d1:70af:4531:f1d6) |
2022-12-25 10:06:23 +0100 | acidjnk | (~acidjnk@p200300d6e7137a38ed09692e24fc2d3d.dip0.t-ipconnect.de) |
2022-12-25 10:08:18 +0100 | razetime | (~quassel@49.207.230.181) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2022-12-25 10:09:04 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2022-12-25 10:11:34 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
2022-12-25 10:17:16 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
2022-12-25 10:19:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-12-25 10:23:52 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 10:23:58 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2022-12-25 10:28:01 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 10:28:01 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 10:28:29 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 10:30:11 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
2022-12-25 10:32:52 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Client Quit) |
2022-12-25 10:38:03 +0100 | thongpv87 | (~thongpv87@123.31.184.254) (Ping timeout: 268 seconds) |
2022-12-25 10:40:49 +0100 | cheater_ | (~Username@user/cheater) |
2022-12-25 10:41:45 +0100 | cheater__ | (~Username@user/cheater) |
2022-12-25 10:43:19 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
2022-12-25 10:43:21 +0100 | cheater__ | cheater |
2022-12-25 10:45:09 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 10:45:46 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 272 seconds) |
2022-12-25 10:53:36 +0100 | igghibu | (~igghibu@178.249.211.88) (Quit: igghibu) |
2022-12-25 10:57:26 +0100 | libertyprime | (~libertypr@203.96.203.167) (Quit: leaving) |
2022-12-25 11:00:02 +0100 | akegalj | (~akegalj@141-136-145-147.dsl.iskon.hr) |
2022-12-25 11:11:33 +0100 | thongpv87 | (~thongpv87@123.31.184.254) |
2022-12-25 11:13:45 +0100 | mastarija | (~mastarija@188.252.197.183) |
2022-12-25 11:13:52 +0100 | trev | (~trev@user/trev) |
2022-12-25 11:15:04 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
2022-12-25 11:16:02 +0100 | jargon | (~jargon@174-22-197-118.phnx.qwest.net) (Ping timeout: 246 seconds) |
2022-12-25 11:17:26 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
2022-12-25 11:22:21 +0100 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
2022-12-25 11:22:30 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
2022-12-25 11:23:52 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 11:26:51 +0100 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 265 seconds) |
2022-12-25 11:26:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-12-25 11:28:40 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-12-25 11:29:16 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
2022-12-25 11:30:36 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2022-12-25 11:33:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) (Remote host closed the connection) |
2022-12-25 11:39:06 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
2022-12-25 11:40:11 +0100 | akegalj | (~akegalj@141-136-145-147.dsl.iskon.hr) (Quit: leaving) |
2022-12-25 11:40:20 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 11:40:35 +0100 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 256 seconds) |
2022-12-25 11:43:40 +0100 | foul_owl | (~kerry@71.212.143.88) (Ping timeout: 252 seconds) |
2022-12-25 11:44:53 +0100 | coot | (~coot@213.134.171.3) |
2022-12-25 11:45:41 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 256 seconds) |
2022-12-25 11:48:19 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
2022-12-25 11:49:43 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 11:52:41 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
2022-12-25 11:52:45 +0100 | bontaq | (~user@71.27.75.65) |
2022-12-25 11:53:32 +0100 | thongpv | (~thongpv87@2001:ee0:54a8:aee0:4ea7:629b:b934:e2bd) |
2022-12-25 11:55:19 +0100 | thongpv87 | (~thongpv87@123.31.184.254) (Ping timeout: 256 seconds) |
2022-12-25 11:57:00 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 252 seconds) |
2022-12-25 11:57:22 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 11:58:59 +0100 | foul_owl | (~kerry@157.97.134.157) |
2022-12-25 12:00:32 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 12:02:01 +0100 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
2022-12-25 12:03:22 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
2022-12-25 12:04:41 +0100 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
2022-12-25 12:05:13 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2022-12-25 12:05:44 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2022-12-25 12:05:49 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 12:06:00 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Changing host) |
2022-12-25 12:06:00 +0100 | money_ | (~money@user/polo) |
2022-12-25 12:06:02 +0100 | money | Guest5570 |
2022-12-25 12:06:02 +0100 | money_ | money |
2022-12-25 12:06:38 +0100 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
2022-12-25 12:06:53 +0100 | money | (~money@user/polo) (Client Quit) |
2022-12-25 12:09:04 +0100 | Guest5570 | money |
2022-12-25 12:14:33 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
2022-12-25 12:15:26 +0100 | bontaq | (~user@71.27.75.65) (Remote host closed the connection) |
2022-12-25 12:15:33 +0100 | bontaq | (~user@71.27.75.65) |
2022-12-25 12:15:46 +0100 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Quit: WeeChat 3.7.1) |
2022-12-25 12:26:28 +0100 | acidjnk | (~acidjnk@p200300d6e7137a38ed09692e24fc2d3d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-12-25 12:28:40 +0100 | __monty__ | (~toonn@user/toonn) |
2022-12-25 12:29:53 +0100 | Guest93 | (~Guest93@2406:3400:31f:5390:5ccc:2006:64da:a7a7) |
2022-12-25 12:30:06 +0100 | mastarija | (~mastarija@188.252.197.183) (Quit: WeeChat 3.7.1) |
2022-12-25 12:31:31 +0100 | Guest93 | (~Guest93@2406:3400:31f:5390:5ccc:2006:64da:a7a7) (Client Quit) |
2022-12-25 12:32:40 +0100 | acidjnk | (~acidjnk@p200300d6e7137a38ed09692e24fc2d3d.dip0.t-ipconnect.de) |
2022-12-25 12:33:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |
2022-12-25 12:37:49 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2022-12-25 12:38:08 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Ping timeout: 260 seconds) |
2022-12-25 12:47:49 +0100 | igghibu | (~igghibu@178.249.211.88) |
2022-12-25 12:51:35 +0100 | igghibu | (~igghibu@178.249.211.88) (Client Quit) |
2022-12-25 12:52:14 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
2022-12-25 12:53:04 +0100 | witcher | (dd5f7b3c87@2604:bf00:561:2000::296) |
2022-12-25 13:07:31 +0100 | acidjnk | (~acidjnk@p200300d6e7137a38ed09692e24fc2d3d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-12-25 13:08:13 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2022-12-25 13:09:22 +0100 | n0den1te | (~~.~@2401:4900:1cc8:aa0c:b5d1:70af:4531:f1d6) (Quit: Leaving.) |
2022-12-25 13:28:38 +0100 | shamelessshill | (~shamlesss@user/shamelessshill) |
2022-12-25 13:30:25 +0100 | acidjnk | (~acidjnk@p200300d6e7137a50b86370b6e7799e22.dip0.t-ipconnect.de) |
2022-12-25 13:38:48 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 265 seconds) |
2022-12-25 13:39:00 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Read error: Connection reset by peer) |
2022-12-25 13:39:10 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 13:40:16 +0100 | tabemann__ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
2022-12-25 13:41:30 +0100 | tabemann_ | (~tabemann@2600:1700:7990:24e0:b44:a3db:aa8e:8d3c) (Ping timeout: 252 seconds) |
2022-12-25 13:43:23 +0100 | shamelessshill | (~shamlesss@user/shamelessshill) () |
2022-12-25 13:45:53 +0100 | HaskellNewb | (~HaskellNe@103.5.134.18) |
2022-12-25 13:46:40 +0100 | <HaskellNewb> | Hello, folks. |
2022-12-25 13:48:15 +0100 | <HaskellNewb> | I have worked through Graham Hutton's "Programming in Haskell" (2nd Edition) and thoroughly enjoyed it. Now, what is the next step to take? I've seen a few resources, but could not really find anything as structured or well-explained. Basically, maybe the more useful question is - to create real-world projects, what major topics need to be known |
2022-12-25 13:48:16 +0100 | <HaskellNewb> | beyond the topics covered in Hutton's book? |
2022-12-25 13:48:47 +0100 | <HaskellNewb> | (For reference, just in case, Hutton's book covers upto and including Functors, Applicatives, and Monads, no libraries, cabal, or stack, just pure ghc and ghci). |
2022-12-25 13:49:44 +0100 | gmg | (~user@user/gehmehgeh) |
2022-12-25 13:51:09 +0100 | <__monty__> | HaskellNewb: One way is to just dive in. Start writing small utility programs and gradually build up to what interests you most. Asking for advice here along the way. |
2022-12-25 13:51:31 +0100 | <HaskellNewb> | Hmmm ... that's one way to go about it indeed. |
2022-12-25 13:52:00 +0100 | <__monty__> | As for a list of books... |
2022-12-25 13:52:03 +0100 | <__monty__> | @where books |
2022-12-25 13:52:03 +0100 | <lambdabot> | https://www.extrema.is/articles/haskell-books is the best list of Haskell books. See also: LYAH, RWH, YAHT, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, FSAF, HftVB, HTAC, TwT, FoP, PFAD, WYAH, non- |
2022-12-25 13:52:03 +0100 | <lambdabot> | haskell-books |
2022-12-25 13:52:32 +0100 | <__monty__> | I'm not sure any of those really go into any depth on the available libraries though. |
2022-12-25 13:52:43 +0100 | <__monty__> | That's more something you gradually discover when you find a need. |
2022-12-25 13:52:55 +0100 | <HaskellNewb> | Thanks for the book list, __monty__ |
2022-12-25 13:53:24 +0100 | <HaskellNewb> | Just wondering - do I need something like monad transformers or plain old monad chaining works fine? |
2022-12-25 13:53:27 +0100 | <HaskellNewb> | (to begin with) |
2022-12-25 13:55:20 +0100 | <HaskellNewb> | Because I had a cursory look at it from a few blogs, and I couldn't understand any of it. The whole "lift" business, for instance. |
2022-12-25 13:55:32 +0100 | <__monty__> | I'd say they're not necessary. |
2022-12-25 13:56:35 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 264 seconds) |
2022-12-25 13:58:21 +0100 | <HaskellNewb> | Okay, thank you, __monty__! |
2022-12-25 13:58:42 +0100 | <__monty__> | The best way to understand them is to run into situations that get boilerplatey without them. |
2022-12-25 13:59:17 +0100 | <__monty__> | And then you can rewrite it with transformers and have an "Aha-Erlebnis." |
2022-12-25 13:59:52 +0100 | n0den1te | (~n0den1te@223.178.82.63) |
2022-12-25 14:00:19 +0100 | <HaskellNewb> | I hope I can reach that stage of understanding eventually! :) |
2022-12-25 14:00:32 +0100 | <__monty__> | You will, I believe in you. |
2022-12-25 14:00:58 +0100 | <HaskellNewb> | I found this small game which looks approachable enough - https://github.com/jxv/dino-rush. Maybe I'll play around with it and start getting my hands dirty! |
2022-12-25 14:01:10 +0100 | <HaskellNewb> | Hahaha, you're very kind, __monty__! :) |
2022-12-25 14:02:17 +0100 | zer0bitz | (~zer0bitz@196.244.192.61) (Read error: Connection reset by peer) |
2022-12-25 14:02:21 +0100 | jargon | (~jargon@174-22-197-118.phnx.qwest.net) |
2022-12-25 14:02:50 +0100 | HaskellNewb | (~HaskellNe@103.5.134.18) () |
2022-12-25 14:04:53 +0100 | <__monty__> | Note that graphics programming can be a bit hard to follow if you're not familiar with it and it may not be the most idiomatic Haskell. Don't let that stop you if it's of particular interest to you though. The graphics knowledge will carry over to other languages easily. |
2022-12-25 14:05:53 +0100 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-12-25 14:05:53 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-12-25 14:05:53 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2022-12-25 14:05:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Write error: Connection reset by peer) |
2022-12-25 14:05:53 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2022-12-25 14:05:53 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2022-12-25 14:05:53 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Write error: Connection reset by peer) |
2022-12-25 14:06:15 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-12-25 14:06:26 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-12-25 14:06:30 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-12-25 14:06:33 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-12-25 14:06:35 +0100 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
2022-12-25 14:06:42 +0100 | gmg | (~user@user/gehmehgeh) |
2022-12-25 14:07:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-12-25 14:10:59 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Read error: Connection reset by peer) |
2022-12-25 14:12:06 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
2022-12-25 14:13:32 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
2022-12-25 14:13:50 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 14:15:14 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Read error: Connection reset by peer) |
2022-12-25 14:15:20 +0100 | mikoto-chan | (~mikoto-ch@85-76-165-83-nat.elisa-mobile.fi) |
2022-12-25 14:15:53 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
2022-12-25 14:16:38 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
2022-12-25 14:16:57 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 14:21:32 +0100 | mikoto-chan | (~mikoto-ch@85-76-165-83-nat.elisa-mobile.fi) (Ping timeout: 246 seconds) |
2022-12-25 14:22:08 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 14:26:03 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 248 seconds) |
2022-12-25 14:40:03 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
2022-12-25 14:40:06 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 14:44:32 +0100 | ddellacosta | (~ddellacos@86.106.143.181) (Ping timeout: 272 seconds) |
2022-12-25 14:45:18 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
2022-12-25 14:52:27 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) |
2022-12-25 14:52:40 +0100 | acidjnk_new | (~acidjnk@p200300d6e7137a50c92fe420f38092bf.dip0.t-ipconnect.de) |
2022-12-25 14:55:34 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
2022-12-25 14:55:39 +0100 | acidjnk | (~acidjnk@p200300d6e7137a50b86370b6e7799e22.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2022-12-25 14:56:40 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
2022-12-25 15:08:42 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 15:16:35 +0100 | fizbin | (~fizbin@user/fizbin) |
2022-12-25 15:17:56 +0100 | mikoto-chan | (~mikoto-ch@85-76-165-83-nat.elisa-mobile.fi) |
2022-12-25 15:18:09 +0100 | ubert | (~Thunderbi@p200300ecdf264ef6fd5bc6c74ac1a6e0.dip0.t-ipconnect.de) |
2022-12-25 15:18:18 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
2022-12-25 15:19:10 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 15:25:11 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 246 seconds) |
2022-12-25 15:25:47 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 15:26:41 +0100 | fizbin | (~fizbin@user/fizbin) |
2022-12-25 15:26:53 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 15:31:04 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) |
2022-12-25 15:35:14 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
2022-12-25 15:36:57 +0100 | phma | (phma@2001:5b0:211f:688:19e1:3069:d7a4:6bdd) (Read error: Connection reset by peer) |
2022-12-25 15:42:21 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 15:44:31 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 15:47:07 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
2022-12-25 15:48:17 +0100 | mikoto-chan | (~mikoto-ch@85-76-165-83-nat.elisa-mobile.fi) (Ping timeout: 246 seconds) |
2022-12-25 15:48:38 +0100 | acidjnk_new | (~acidjnk@p200300d6e7137a50c92fe420f38092bf.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2022-12-25 15:49:22 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
2022-12-25 15:51:05 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Client Quit) |
2022-12-25 15:51:14 +0100 | mikoto-chan | (~mikoto-ch@85-76-165-83-nat.elisa-mobile.fi) |
2022-12-25 15:54:55 +0100 | phma | (phma@2001:5b0:212a:b4c8:981b:d6a4:8e9c:df66) |
2022-12-25 16:00:59 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 16:03:23 +0100 | mikoto-chan | (~mikoto-ch@85-76-165-83-nat.elisa-mobile.fi) (Ping timeout: 246 seconds) |
2022-12-25 16:03:24 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Read error: Connection reset by peer) |
2022-12-25 16:04:04 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 16:04:11 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 16:05:36 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
2022-12-25 16:11:04 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Read error: Connection reset by peer) |
2022-12-25 16:11:55 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 16:12:45 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 16:14:45 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 16:22:27 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 16:30:09 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 16:30:17 +0100 | cheater_ | (~Username@user/cheater) |
2022-12-25 16:31:17 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
2022-12-25 16:31:22 +0100 | cheater_ | cheater |
2022-12-25 16:34:38 +0100 | fr33domlover | (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
2022-12-25 16:35:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-12-25 16:36:57 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 256 seconds) |
2022-12-25 16:37:22 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |
2022-12-25 16:37:25 +0100 | fr33domlover | (~fr33domlo@towards.vision) |
2022-12-25 16:37:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-12-25 16:41:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Ping timeout: 260 seconds) |
2022-12-25 16:43:14 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
2022-12-25 16:45:36 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-12-25 16:48:02 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Read error: Connection reset by peer) |
2022-12-25 16:48:15 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 16:50:43 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 260 seconds) |
2022-12-25 16:56:14 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 16:56:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
2022-12-25 17:00:04 +0100 | oo_miguel[m] | (~oomiguelm@2001:470:69fc:105::1:5ab0) (Quit: You have been kicked for being idle) |
2022-12-25 17:01:20 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
2022-12-25 17:01:29 +0100 | thongpv | (~thongpv87@2001:ee0:54a8:aee0:4ea7:629b:b934:e2bd) (Ping timeout: 246 seconds) |
2022-12-25 17:01:41 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2022-12-25 17:08:18 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2022-12-25 17:11:03 +0100 | ubert | (~Thunderbi@p200300ecdf264ef6fd5bc6c74ac1a6e0.dip0.t-ipconnect.de) (Quit: ubert) |
2022-12-25 17:11:17 +0100 | acidjnk_new | (~acidjnk@p200300d6e7137a5055eba771b404a6a4.dip0.t-ipconnect.de) |
2022-12-25 17:11:58 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2022-12-25 17:13:26 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2022-12-25 17:13:26 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2022-12-25 17:13:26 +0100 | wroathe | (~wroathe@user/wroathe) |
2022-12-25 17:15:46 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 17:18:04 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2022-12-25 17:19:33 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-12-25 17:20:27 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
2022-12-25 17:20:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-12-25 17:21:53 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-12-25 17:22:16 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2022-12-25 17:27:28 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-12-25 17:28:02 +0100 | <rustisafungus> | happy holidays and merry christmas #haskell, may you enjoy whatever you unwrap from your monads today |
2022-12-25 17:33:15 +0100 | <hpc> | enjoy your unboxed heap under a balanced tree? :D |
2022-12-25 17:33:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |
2022-12-25 17:34:02 +0100 | <rustisafungus> | haha |
2022-12-25 17:34:12 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 17:34:18 +0100 | <rustisafungus> | are you hoping to get a transformer ? |
2022-12-25 17:34:58 +0100 | <Rembane> | https://xkcd.com/835/ :D |
2022-12-25 17:35:10 +0100 | fizbin | (~fizbin@user/fizbin) |
2022-12-25 17:38:19 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
2022-12-25 17:40:17 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Ping timeout: 246 seconds) |
2022-12-25 17:40:26 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
2022-12-25 17:41:33 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
2022-12-25 17:43:21 +0100 | n0den1te | (~n0den1te@223.178.82.63) (Quit: leaving) |
2022-12-25 17:46:01 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 17:46:31 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
2022-12-25 17:46:33 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 17:47:54 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
2022-12-25 17:48:12 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 17:48:12 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 17:49:28 +0100 | talismanick | (~talismani@76.133.152.122) (Ping timeout: 272 seconds) |
2022-12-25 17:50:44 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Read error: Connection reset by peer) |
2022-12-25 17:51:24 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 17:52:01 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2022-12-25 17:53:35 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
2022-12-25 17:54:20 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 17:55:48 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2022-12-25 17:55:59 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
2022-12-25 18:01:53 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
2022-12-25 18:04:26 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 246 seconds) |
2022-12-25 18:17:29 +0100 | fizbin_ | (~fizbin@user/fizbin) |
2022-12-25 18:17:31 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 18:20:01 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 18:21:14 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 246 seconds) |
2022-12-25 18:21:56 +0100 | fizbin_ | fizbin |
2022-12-25 18:25:51 +0100 | mikoto-chan | (~mikoto-ch@85-76-101-151-nat.elisa-mobile.fi) |
2022-12-25 18:27:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-12-25 18:28:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-12-25 18:29:30 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 18:30:22 +0100 | hgolden_ | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
2022-12-25 18:30:24 +0100 | ddellacosta | (~ddellacos@86.106.143.77) |
2022-12-25 18:31:03 +0100 | bollu | (~bollu@159.65.151.13) |
2022-12-25 18:32:16 +0100 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Ping timeout: 268 seconds) |
2022-12-25 18:32:44 +0100 | wroathe | (~wroathe@user/wroathe) |
2022-12-25 18:32:44 +0100 | <monochrom> | haha |
2022-12-25 18:38:24 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2022-12-25 18:38:38 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
2022-12-25 18:39:04 +0100 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
2022-12-25 18:39:41 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-12-25 18:42:07 +0100 | cheater | (~Username@user/cheater) |
2022-12-25 18:46:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Remote host closed the connection) |
2022-12-25 18:47:29 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 18:49:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-12-25 18:57:11 +0100 | mikoto-chan | (~mikoto-ch@85-76-101-151-nat.elisa-mobile.fi) (Ping timeout: 264 seconds) |
2022-12-25 18:57:50 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 18:58:30 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
2022-12-25 18:59:13 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 19:00:03 +0100 | econo | (uid147250@user/econo) |
2022-12-25 19:01:41 +0100 | fizbin | (~fizbin@user/fizbin) |
2022-12-25 19:02:11 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 19:03:34 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
2022-12-25 19:06:44 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 19:12:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-12-25 19:21:20 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
2022-12-25 19:23:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-12-25 19:26:56 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
2022-12-25 19:29:32 +0100 | anpad | (~pandeyan@user/anpad) (Ping timeout: 272 seconds) |
2022-12-25 19:37:05 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 19:39:15 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 19:39:28 +0100 | mikoto-chan | (~mikoto-ch@85-76-101-151-nat.elisa-mobile.fi) |
2022-12-25 19:39:47 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 19:40:32 +0100 | tomokojun | (~tomokojun@75.164.0.69) |
2022-12-25 19:46:16 +0100 | mikoto-chan | (~mikoto-ch@85-76-101-151-nat.elisa-mobile.fi) (Ping timeout: 268 seconds) |
2022-12-25 19:47:05 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |
2022-12-25 19:49:01 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 19:50:35 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2022-12-25 19:51:40 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Ping timeout: 260 seconds) |
2022-12-25 19:55:30 +0100 | Inst | (~Inst@c-98-208-218-119.hsd1.fl.comcast.net) (Read error: Connection reset by peer) |
2022-12-25 19:58:54 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
2022-12-25 20:05:05 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 20:10:52 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 20:13:16 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2022-12-25 20:14:06 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-12-25 20:17:57 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 256 seconds) |
2022-12-25 20:20:26 +0100 | Topsi | (~Topsi@dyndsl-095-033-229-002.ewe-ip-backbone.de) |
2022-12-25 20:20:51 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2022-12-25 20:21:21 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
2022-12-25 20:24:34 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |
2022-12-25 20:27:11 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 264 seconds) |
2022-12-25 20:29:08 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2022-12-25 20:29:29 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-12-25 20:32:08 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 20:44:59 +0100 | tomokojun | (~tomokojun@75.164.0.69) (Ping timeout: 260 seconds) |
2022-12-25 20:46:28 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2022-12-25 20:48:31 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 20:49:03 +0100 | acidjnk_new | (~acidjnk@p200300d6e7137a5055eba771b404a6a4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-12-25 20:51:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-12-25 20:52:57 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2022-12-25 20:54:09 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: late) |
2022-12-25 20:55:20 +0100 | Topsi | (~Topsi@dyndsl-095-033-229-002.ewe-ip-backbone.de) (Ping timeout: 268 seconds) |
2022-12-25 20:58:12 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 20:58:32 +0100 | OscarZ_ | (~oscarz@95.175.104.82) (Quit: Leaving) |
2022-12-25 20:59:32 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 21:02:01 +0100 | pavonia | (~user@user/siracusa) |
2022-12-25 21:04:07 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2022-12-25 21:07:25 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) |
2022-12-25 21:11:34 +0100 | tomokojun | (~tomokojun@75.164.0.69) |
2022-12-25 21:12:45 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2022-12-25 21:17:13 +0100 | money_ | (~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: late) |
2022-12-25 21:17:49 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 21:24:57 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Read error: Connection reset by peer) |
2022-12-25 21:25:45 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 21:27:47 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2022-12-25 21:27:47 +0100 | beefbambi | (~beefbambi@183.82.207.45) (Read error: Connection reset by peer) |
2022-12-25 21:28:55 +0100 | beefbambi | (~beefbambi@183.82.207.45) |
2022-12-25 21:29:10 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2022-12-25 21:36:50 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
2022-12-25 21:39:21 +0100 | cheater | (~Username@user/cheater) |
2022-12-25 21:41:01 +0100 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
2022-12-25 21:41:01 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Write error: Connection reset by peer) |
2022-12-25 21:41:01 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer) |
2022-12-25 21:41:01 +0100 | gmg | (~user@user/gehmehgeh) (Write error: Connection reset by peer) |
2022-12-25 21:41:01 +0100 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer) |
2022-12-25 21:41:01 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
2022-12-25 21:41:01 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer) |
2022-12-25 21:41:01 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
2022-12-25 21:41:34 +0100 | acidjnk_new | (~acidjnk@p200300d6e7137a5055eba771b404a6a4.dip0.t-ipconnect.de) |
2022-12-25 21:41:37 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-12-25 21:41:54 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
2022-12-25 21:41:55 +0100 | califax | (~califax@user/califx) |
2022-12-25 21:41:58 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-12-25 21:42:02 +0100 | gmg | (~user@user/gehmehgeh) |
2022-12-25 21:42:06 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-12-25 21:43:32 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-12-25 21:44:15 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 21:44:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-12-25 21:44:46 +0100 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
2022-12-25 21:45:38 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2022-12-25 21:45:52 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
2022-12-25 21:46:26 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-12-25 21:54:08 +0100 | johnw | (~johnw@2600:1700:cf00:db0:1909:8dee:7930:76a2) |
2022-12-25 21:54:09 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 21:54:29 +0100 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) |
2022-12-25 21:56:49 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 21:57:10 +0100 | <Umeaboy> | I think I made a boo boo in my commit and I would like some help to solve it: https://github.com/haskell/ghcup-hs/pull/730 |
2022-12-25 22:01:32 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2022-12-25 22:04:37 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
2022-12-25 22:15:46 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 22:18:11 +0100 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2022-12-25 22:18:37 +0100 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
2022-12-25 22:18:44 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 22:21:10 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2022-12-25 22:24:09 +0100 | fizbin | (~fizbin@user/fizbin) |
2022-12-25 22:28:14 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
2022-12-25 22:28:16 +0100 | Luj3 | (~Luj@2a01:e0a:5f9:9681:3ebd:6349:a3e:563d) (Quit: Ping timeout (120 seconds)) |
2022-12-25 22:28:36 +0100 | Luj3 | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
2022-12-25 22:30:42 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2022-12-25 22:32:54 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
2022-12-25 22:42:36 +0100 | fizbin | (~fizbin@user/fizbin) |
2022-12-25 22:46:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-12-25 22:46:29 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-12-25 22:52:44 +0100 | mestre | (~mestre@191.177.185.178) |
2022-12-25 22:53:19 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2022-12-25 22:59:17 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 23:00:19 +0100 | cheater_ | (~Username@user/cheater) |
2022-12-25 23:02:03 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
2022-12-25 23:02:05 +0100 | cheater_ | cheater |
2022-12-25 23:06:46 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2022-12-25 23:15:35 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Remote host closed the connection) |
2022-12-25 23:20:45 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2022-12-25 23:21:20 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
2022-12-25 23:21:20 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
2022-12-25 23:24:37 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2022-12-25 23:33:18 +0100 | freeside | (~mengwong@103.252.202.159) |
2022-12-25 23:41:12 +0100 | <geekosaur> | Umeaboy, the commit itself looks harmless as it's a doc commit. You'd have to talk to maerwald about why tests are failing |
2022-12-25 23:41:32 +0100 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) (Remote host closed the connection) |
2022-12-25 23:42:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-12-25 23:46:11 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2022-12-25 23:46:25 +0100 | anpad | (~pandeyan@user/anpad) |
2022-12-25 23:48:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-12-25 23:49:19 +0100 | adium | (adium@user/adium) (Ping timeout: 260 seconds) |
2022-12-25 23:49:49 +0100 | adium | (adium@user/adium) |
2022-12-25 23:51:26 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
2022-12-25 23:52:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |