2023/03/28

2023-03-28 00:01:22 +0200lyxia(~lyxia@poisson.chat) (Ping timeout: 252 seconds)
2023-03-28 00:01:31 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-03-28 00:01:38 +0200lyxia(~lyxia@poisson.chat)
2023-03-28 00:04:07 +0200gurkenglas(~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Ping timeout: 250 seconds)
2023-03-28 00:07:07 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-03-28 00:09:17 +0200drdo(~drdo@bl7-76-103.dsl.telepac.pt) (Remote host closed the connection)
2023-03-28 00:09:34 +0200drdo(~drdo@bl7-76-103.dsl.telepac.pt)
2023-03-28 00:13:46 +0200drdo(~drdo@bl7-76-103.dsl.telepac.pt) (Remote host closed the connection)
2023-03-28 00:14:04 +0200drdo(~drdo@bl7-76-103.dsl.telepac.pt)
2023-03-28 00:14:42 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-28 00:20:48 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds)
2023-03-28 00:22:22 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-28 00:23:53 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-28 00:35:48 +0200lxi(~quassel@2a02:2f08:4706:3500:831c:7a97:a914:e208)
2023-03-28 00:38:44 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
2023-03-28 00:38:51 +0200sefidel(~sefidel@user/sefidel) (Remote host closed the connection)
2023-03-28 00:39:25 +0200sefidel(~sefidel@user/sefidel)
2023-03-28 00:40:24 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-03-28 00:43:59 +0200thegeekinside(~thegeekin@189.141.115.134) (Ping timeout: 250 seconds)
2023-03-28 00:46:19 +0200thegeekinside(~thegeekin@189.141.115.134)
2023-03-28 00:47:36 +0200sefidel(~sefidel@user/sefidel) (Remote host closed the connection)
2023-03-28 00:48:12 +0200sefidel(~sefidel@user/sefidel)
2023-03-28 00:49:55 +0200lxi(~quassel@2a02:2f08:4706:3500:831c:7a97:a914:e208) (Ping timeout: 260 seconds)
2023-03-28 00:54:42 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-03-28 00:55:35 +0200emmanuelux_(~emmanuelu@user/emmanuelux)
2023-03-28 00:55:43 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 276 seconds)
2023-03-28 00:58:58 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds)
2023-03-28 01:08:37 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 01:15:57 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-03-28 01:18:02 +0200mauke_(~mauke@user/mauke)
2023-03-28 01:18:36 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-03-28 01:20:00 +0200mauke(~mauke@user/mauke) (Ping timeout: 255 seconds)
2023-03-28 01:20:01 +0200mauke_mauke
2023-03-28 01:27:54 +0200acidjnk(~acidjnk@p200300d6e715c485b589e2ef37717da9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2023-03-28 01:32:58 +0200sp00kins(~sp00kins@c-71-197-12-189.hsd1.va.comcast.net) (Quit: sp00kins)
2023-03-28 01:52:17 +0200nate4(~nate@98.45.169.16)
2023-03-28 01:52:37 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 01:57:21 +0200nate4(~nate@98.45.169.16) (Ping timeout: 255 seconds)
2023-03-28 01:58:56 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-03-28 01:58:56 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-03-28 01:58:56 +0200wroathe(~wroathe@user/wroathe)
2023-03-28 02:01:46 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Quit: ZNC 1.6.5 - http://znc.in)
2023-03-28 02:03:11 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
2023-03-28 02:04:26 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
2023-03-28 02:05:05 +0200ec(~ec@gateway/tor-sasl/ec)
2023-03-28 02:12:33 +0200cassiopea(~cassiopea@user/cassiopea) (Read error: Connection reset by peer)
2023-03-28 02:12:38 +0200Sauvin(~sauvin@user/Sauvin) (Read error: Connection reset by peer)
2023-03-28 02:13:06 +0200Vq(~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 255 seconds)
2023-03-28 02:13:24 +0200Sauvin(~sauvin@user/Sauvin)
2023-03-28 02:15:03 +0200Vq(~vq@90-227-192-206-no77.tbcn.telia.com)
2023-03-28 02:15:20 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
2023-03-28 02:15:26 +0200zeenk(~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!)
2023-03-28 02:16:29 +0200ec(~ec@gateway/tor-sasl/ec)
2023-03-28 02:16:56 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-28 02:22:31 +0200ddellacosta(~ddellacos@143.244.47.84)
2023-03-28 02:25:23 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 02:30:01 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-03-28 02:31:45 +0200SoTxJay(~j@2603-8081-4700-e5a1-958a-588a-b2cb-b62f.res6.spectrum.com)
2023-03-28 02:35:27 +0200SoTxJay(~j@2603-8081-4700-e5a1-958a-588a-b2cb-b62f.res6.spectrum.com) (Quit: Leaving.)
2023-03-28 02:36:06 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-03-28 02:37:07 +0200ddellacosta(~ddellacos@143.244.47.84) (Ping timeout: 276 seconds)
2023-03-28 02:37:34 +0200cassiopea(~cassiopea@user/cassiopea)
2023-03-28 02:38:54 +0200ddellacosta(~ddellacos@146.70.166.158)
2023-03-28 02:48:43 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 02:50:18 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds)
2023-03-28 02:55:23 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
2023-03-28 02:56:11 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2023-03-28 02:57:21 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-03-28 02:58:42 +0200ec(~ec@gateway/tor-sasl/ec)
2023-03-28 03:00:30 +0200dipper(~dipper@117.61.126.31)
2023-03-28 03:10:53 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-03-28 03:17:00 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-03-28 03:19:43 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-03-28 03:22:42 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78a3:fb7e:f4ce:e160)
2023-03-28 03:24:22 +0200gmg(~user@user/gehmehgeh)
2023-03-28 03:27:25 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78a3:fb7e:f4ce:e160) (Ping timeout: 260 seconds)
2023-03-28 03:27:47 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-03-28 03:32:17 +0200trev(~trev@user/trev)
2023-03-28 03:32:47 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com)
2023-03-28 03:42:00 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-03-28 03:47:50 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 03:49:59 +0200xff0x(~xff0x@2405:6580:b080:900:bb99:fb33:7ab:1c35) (Ping timeout: 264 seconds)
2023-03-28 03:52:59 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-03-28 03:58:13 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-03-28 03:58:31 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-28 04:03:08 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-28 04:04:29 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-28 04:07:48 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78a3:fb7e:f4ce:e160)
2023-03-28 04:10:51 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 04:12:48 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 255 seconds)
2023-03-28 04:20:32 +0200cheater_(~Username@user/cheater)
2023-03-28 04:20:41 +0200slack1256(~slack1256@186.11.84.131) (Ping timeout: 265 seconds)
2023-03-28 04:22:42 +0200cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2023-03-28 04:22:48 +0200cheater_cheater
2023-03-28 04:24:52 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-03-28 04:26:01 +0200smallville7123(~Android@cpe-172-193-179-86.qld.foxtel.net.au)
2023-03-28 04:26:28 +0200razetime(~Thunderbi@117.193.0.21)
2023-03-28 04:26:49 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 04:28:24 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
2023-03-28 04:29:58 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-28 04:31:05 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-28 04:31:31 +0200td_(~td@i53870929.versanet.de) (Ping timeout: 276 seconds)
2023-03-28 04:32:55 +0200td_(~td@i5387093D.versanet.de)
2023-03-28 04:33:10 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-03-28 04:37:33 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-03-28 04:44:12 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
2023-03-28 04:46:56 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-03-28 04:47:08 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-28 04:47:48 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-03-28 04:50:08 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 04:52:29 +0200jero98772(~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Remote host closed the connection)
2023-03-28 04:53:51 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-03-28 04:53:51 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-03-28 04:53:51 +0200finn_elijaFinnElija
2023-03-28 04:56:35 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 05:03:15 +0200srk-(~sorki@user/srk)
2023-03-28 05:03:18 +0200srk(~sorki@user/srk) (Read error: Connection reset by peer)
2023-03-28 05:04:40 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 276 seconds)
2023-03-28 05:06:01 +0200srk-srk
2023-03-28 05:08:59 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-03-28 05:10:16 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
2023-03-28 05:11:42 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-03-28 05:13:30 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Client Quit)
2023-03-28 05:14:53 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-03-28 05:19:24 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 05:19:34 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 05:21:45 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds)
2023-03-28 05:24:03 +0200thebinary(~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) (Read error: Connection reset by peer)
2023-03-28 05:26:11 +0200thebinary(~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a)
2023-03-28 05:31:36 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
2023-03-28 05:33:04 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-03-28 05:34:03 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Client Quit)
2023-03-28 05:35:34 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-03-28 05:42:25 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 05:43:28 +0200thebinary(~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) (Read error: Connection reset by peer)
2023-03-28 05:44:36 +0200thebinary(~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a)
2023-03-28 05:44:42 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
2023-03-28 05:46:07 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-03-28 05:47:41 +0200thebinary(~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) (Read error: Connection reset by peer)
2023-03-28 05:51:25 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 05:53:51 +0200nate4(~nate@98.45.169.16)
2023-03-28 05:53:54 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
2023-03-28 05:55:20 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-03-28 05:59:16 +0200nate4(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2023-03-28 06:06:26 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
2023-03-28 06:07:21 +0200thebinary(~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a)
2023-03-28 06:08:01 +0200thebinary(~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) (Read error: Connection reset by peer)
2023-03-28 06:08:02 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-03-28 06:08:21 +0200Guest87(~Guest87@host-92-17-23-180.as13285.net)
2023-03-28 06:09:01 +0200 <Guest87> yo are ther rules I can see anywhere
2023-03-28 06:09:18 +0200 <Guest87> For example is there a rule against finding someone I could pay for tutoring
2023-03-28 06:13:06 +0200Guest87(~Guest87@host-92-17-23-180.as13285.net) (Quit: Client closed)
2023-03-28 06:13:16 +0200Guest87(~Guest87@host-92-17-23-180.as13285.net)
2023-03-28 06:14:53 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 06:16:26 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
2023-03-28 06:16:57 +0200Guest87(~Guest87@host-92-17-23-180.as13285.net) (Client Quit)
2023-03-28 06:17:48 +0200 <sm> Guest87: probably on the haskell wiki
2023-03-28 06:17:48 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-03-28 06:18:26 +0200 <sm> nothing wrong with asking that, people sometimes ask on reddit
2023-03-28 06:25:50 +0200hrberg(~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-03-28 06:26:09 +0200hrberg(~quassel@171.79-160-161.customer.lyse.net)
2023-03-28 06:28:42 +0200Sauvin(~sauvin@user/Sauvin) (Ping timeout: 255 seconds)
2023-03-28 06:32:59 +0200Sauvin(~sauvin@user/Sauvin)
2023-03-28 06:34:22 +0200cassiopea(~cassiopea@user/cassiopea) (Ping timeout: 276 seconds)
2023-03-28 06:36:30 +0200thebinary(~thebinary@36.252.153.92)
2023-03-28 06:37:29 +0200dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net)
2023-03-28 06:39:21 +0200thebinary(~thebinary@36.252.153.92) (Read error: Connection reset by peer)
2023-03-28 06:42:32 +0200raym(~ray@user/raym) (Quit: kernel update, rebooting...)
2023-03-28 06:58:58 +0200thebinary(~thebinary@202.79.36.91)
2023-03-28 07:01:02 +0200thebinary(~thebinary@202.79.36.91) (Read error: Connection reset by peer)
2023-03-28 07:02:48 +0200thebinary(~thebinary@202.79.36.91)
2023-03-28 07:05:22 +0200thebinary(~thebinary@202.79.36.91) (Read error: Connection reset by peer)
2023-03-28 07:05:58 +0200thebinary(~thebinary@202.79.36.91)
2023-03-28 07:08:18 +0200thebinary(~thebinary@202.79.36.91) (Read error: Connection reset by peer)
2023-03-28 07:12:08 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-03-28 07:15:34 +0200thebinary(~thebinary@202.79.36.91)
2023-03-28 07:17:43 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-28 07:18:05 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-03-28 07:20:07 +0200thebinary(~thebinary@202.79.36.91) (Read error: Connection reset by peer)
2023-03-28 07:21:50 +0200thebinary(~thebinary@202.79.36.91)
2023-03-28 07:22:06 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 07:23:18 +0200thebinary(~thebinary@202.79.36.91) (Read error: Connection reset by peer)
2023-03-28 07:28:23 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-03-28 07:44:50 +0200thebinary(~thebinary@36.252.153.92)
2023-03-28 07:45:37 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 07:49:27 +0200Goodbye_Vincent(cyvahl@freakshells.net) (Quit: )
2023-03-28 07:51:57 +0200jakalx(~jakalx@base.jakalx.net)
2023-03-28 07:52:07 +0200thebinary(~thebinary@36.252.153.92) (Ping timeout: 250 seconds)
2023-03-28 07:52:37 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2023-03-28 07:52:49 +0200thebinary(~thebinary@202.79.36.252)
2023-03-28 07:56:51 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-03-28 07:57:09 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-03-28 07:57:50 +0200thebinary(~thebinary@202.79.36.252) (Read error: Connection reset by peer)
2023-03-28 07:58:13 +0200smallville7123(~Android@cpe-172-193-179-86.qld.foxtel.net.au) (Ping timeout: 276 seconds)
2023-03-28 07:59:50 +0200razetime(~Thunderbi@117.193.0.21) (Remote host closed the connection)
2023-03-28 08:00:43 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-03-28 08:01:02 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-28 08:02:35 +0200phma(~phma@2001:5b0:211f:bf8:d39e:5efa:82f0:4276) (Read error: Connection reset by peer)
2023-03-28 08:03:17 +0200michalz(~michalz@185.246.207.197)
2023-03-28 08:03:30 +0200phma(phma@2001:5b0:2144:7a98:89c3:1f46:5640:74c9)
2023-03-28 08:10:10 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8)
2023-03-28 08:10:32 +0200Goodbye_Vincent(cyvahl@freakshells.net)
2023-03-28 08:10:40 +0200echoreply(~echoreply@45.32.163.16)
2023-03-28 08:11:47 +0200Square2(~Square4@user/square)
2023-03-28 08:11:48 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2023-03-28 08:12:05 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-03-28 08:13:13 +0200coot(~coot@213.134.170.228)
2023-03-28 08:13:34 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2023-03-28 08:14:02 +0200extor(~extor@ns3018124.ip-149-202-82.eu)
2023-03-28 08:15:03 +0200thebinary(~thebinary@202.79.36.252)
2023-03-28 08:15:52 +0200akamhy(~akamhy@103.214.60.59)
2023-03-28 08:19:25 +0200Xe(~cadey@tailscale/xe) (Ping timeout: 250 seconds)
2023-03-28 08:19:27 +0200Vq(~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 265 seconds)
2023-03-28 08:20:35 +0200akamhy(~akamhy@103.214.60.59) (Quit: Leaving)
2023-03-28 08:20:54 +0200Vq(~vq@90-227-192-206-no77.tbcn.telia.com)
2023-03-28 08:26:02 +0200lottaquestions_(~nick@2607:fa49:503e:7100:e920:77a3:3674:fe18)
2023-03-28 08:26:50 +0200thebinary(~thebinary@202.79.36.252) (Read error: Connection reset by peer)
2023-03-28 08:27:26 +0200Xe(~cadey@tailscale/xe)
2023-03-28 08:27:39 +0200lottaquestions(~nick@2607:fa49:503e:7100:a22c:2ef:745f:68be) (Ping timeout: 250 seconds)
2023-03-28 08:27:50 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2023-03-28 08:30:38 +0200lottaquestions_(~nick@2607:fa49:503e:7100:e920:77a3:3674:fe18) (Client Quit)
2023-03-28 08:31:02 +0200lottaquestions_(~nick@2607:fa49:503e:7100:e920:77a3:3674:fe18)
2023-03-28 08:34:42 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-03-28 08:38:00 +0200thebinary(~thebinary@202.79.36.252)
2023-03-28 08:38:53 +0200akegalj(~akegalj@78-0-55-74.adsl.net.t-com.hr)
2023-03-28 08:41:26 +0200thebinary(~thebinary@202.79.36.252) (Read error: Connection reset by peer)
2023-03-28 08:43:38 +0200thebinary(~thebinary@202.79.36.252)
2023-03-28 08:44:59 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds)
2023-03-28 08:45:02 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 268 seconds)
2023-03-28 08:46:56 +0200Fischmiep(~Fischmiep@user/Fischmiep) (Quit: Fischmiep)
2023-03-28 08:47:05 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-03-28 08:47:59 +0200thebinary(~thebinary@202.79.36.252) (Read error: Connection reset by peer)
2023-03-28 08:49:59 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds)
2023-03-28 08:50:30 +0200thebinary(~thebinary@202.79.36.252)
2023-03-28 08:50:47 +0200chomwitt(~chomwitt@2a02:587:7a19:3600:1ac0:4dff:fedb:a3f1)
2023-03-28 08:52:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-03-28 08:52:54 +0200Fischmiep(~Fischmiep@user/Fischmiep)
2023-03-28 08:53:50 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-03-28 08:55:59 +0200thebinary(~thebinary@202.79.36.252) (Read error: Connection reset by peer)
2023-03-28 09:02:13 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2023-03-28 09:02:29 +0200hugo(znc@verdigris.lysator.liu.se)
2023-03-28 09:02:51 +0200raym(~ray@user/raym)
2023-03-28 09:02:57 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: update & reboot)
2023-03-28 09:04:14 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-03-28 09:07:01 +0200Techcable(~Techcable@user/Techcable) (Ping timeout: 240 seconds)
2023-03-28 09:08:13 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com)
2023-03-28 09:08:18 +0200Techcable(~Techcable@user/Techcable)
2023-03-28 09:11:26 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-03-28 09:14:45 +0200vglfr(~vglfr@88.155.17.226) (Ping timeout: 255 seconds)
2023-03-28 09:21:03 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:c39f:a4dc:2705:d85c)
2023-03-28 09:26:24 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds)
2023-03-28 09:26:29 +0200coot(~coot@213.134.170.228) (Quit: coot)
2023-03-28 09:28:00 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 09:32:33 +0200vglfr(~vglfr@88.155.17.226)
2023-03-28 09:32:36 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-03-28 09:32:36 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-28 09:36:40 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-03-28 09:37:14 +0200zeenk(~zeenk@2a02:2f04:a307:2300::7fe)
2023-03-28 09:38:09 +0200finnekit7(~finnekit@fsf/member/finnekit)
2023-03-28 09:38:30 +0200codolio(~dolio@130.44.134.54)
2023-03-28 09:38:55 +0200maerwald_(~maerwald@mail.hasufell.de)
2023-03-28 09:39:01 +0200tstat_(~tstat@user/tstat)
2023-03-28 09:39:01 +0200jrm2(~jrm@user/jrm)
2023-03-28 09:39:07 +0200manwithl-(manwithluc@hoeven.dossingday.ml)
2023-03-28 09:39:22 +0200acidjnk(~acidjnk@p200300d6e715c4237cfc0e66ed0018aa.dip0.t-ipconnect.de)
2023-03-28 09:39:27 +0200adium_(adium@user/adium)
2023-03-28 09:39:35 +0200thebinary(~thebinary@49.126.154.231)
2023-03-28 09:40:19 +0200dobblego(~dibblego@122-199-1-30.ip4.superloop.au)
2023-03-28 09:40:20 +0200dobblego(~dibblego@122-199-1-30.ip4.superloop.au) (Changing host)
2023-03-28 09:40:20 +0200dobblego(~dibblego@haskell/developer/dibblego)
2023-03-28 09:40:29 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-03-28 09:40:44 +0200markasoftware_(~quassel@107.161.26.124)
2023-03-28 09:41:27 +0200finstern1s(~X@23.226.237.192)
2023-03-28 09:41:32 +0200aforemny_(~aforemny@static.248.158.34.188.clients.your-server.de)
2023-03-28 09:42:21 +0200m1dnight_(~christoph@78-22-4-67.access.telenet.be)
2023-03-28 09:44:11 +0200thebinary(~thebinary@49.126.154.231) (Read error: Connection reset by peer)
2023-03-28 09:46:03 +0200Unhammer(~Unhammer@user/unhammer) (*.net *.split)
2023-03-28 09:46:03 +0200Pent(sid313808@id-313808.lymington.irccloud.com) (*.net *.split)
2023-03-28 09:46:03 +0200finsternis(~X@23.226.237.192) (*.net *.split)
2023-03-28 09:46:03 +0200arthurvl(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split)
2023-03-28 09:46:03 +0200msavoritias(cb716af6b3@irc.cheogram.com) (*.net *.split)
2023-03-28 09:46:04 +0200hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (*.net *.split)
2023-03-28 09:46:04 +0200maerwald(~maerwald@user/maerwald) (*.net *.split)
2023-03-28 09:46:04 +0200jinsl(~jinsl@2408:8207:2552:9fc0:211:32ff:fec8:6aea) (*.net *.split)
2023-03-28 09:46:04 +0200infinity0(~infinity0@pwned.gg) (*.net *.split)
2023-03-28 09:46:04 +0200markasoftware(~quassel@107.161.26.124) (*.net *.split)
2023-03-28 09:46:04 +0200dolio(~dolio@130.44.134.54) (*.net *.split)
2023-03-28 09:46:04 +0200henrytill(e0180937c3@2604:bf00:561:2000::e8c) (*.net *.split)
2023-03-28 09:46:04 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (*.net *.split)
2023-03-28 09:46:04 +0200MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99) (*.net *.split)
2023-03-28 09:46:04 +0200cpli(77fc530071@2604:bf00:561:2000::252) (*.net *.split)
2023-03-28 09:46:04 +0200m1dnight(~christoph@78-22-4-67.access.telenet.be) (*.net *.split)
2023-03-28 09:46:04 +0200lbseale_(~quassel@user/ep1ctetus) (*.net *.split)
2023-03-28 09:46:04 +0200finnekit(~finnekit@fsf/member/finnekit) (*.net *.split)
2023-03-28 09:46:05 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4) (*.net *.split)
2023-03-28 09:46:05 +0200mon_aaraj(~montchncs@2001:470:69fc:105::8e6b) (*.net *.split)
2023-03-28 09:46:05 +0200peddie(~peddie@2001:470:69fc:105::25d) (*.net *.split)
2023-03-28 09:46:05 +0200kosmikus[m](~andresloe@2001:470:69fc:105::95d) (*.net *.split)
2023-03-28 09:46:05 +0200jade[m](~jade1024t@2001:470:69fc:105::3:238b) (*.net *.split)
2023-03-28 09:46:05 +0200ormaaj(~ormaaj@user/ormaaj) (*.net *.split)
2023-03-28 09:46:05 +0200ericson2314(~ericson23@2001:470:69fc:105::70c) (*.net *.split)
2023-03-28 09:46:05 +0200jakesyl____(sid56879@id-56879.hampstead.irccloud.com) (*.net *.split)
2023-03-28 09:46:05 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) (*.net *.split)
2023-03-28 09:46:05 +0200ggranberry(sid267884@id-267884.uxbridge.irccloud.com) (*.net *.split)
2023-03-28 09:46:05 +0200farn__(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split)
2023-03-28 09:46:05 +0200pierrot(~pi@user/pierrot) (*.net *.split)
2023-03-28 09:46:05 +0200lisq(~quassel@lis.moe) (*.net *.split)
2023-03-28 09:46:05 +0200jrm(~jrm@user/jrm) (*.net *.split)
2023-03-28 09:46:05 +0200manwithluck(manwithluc@hoeven.dossingday.ml) (*.net *.split)
2023-03-28 09:46:05 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de) (*.net *.split)
2023-03-28 09:46:05 +0200tstat(~tstat@user/tstat) (*.net *.split)
2023-03-28 09:46:05 +0200aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split)
2023-03-28 09:46:05 +0200xstill_(xstill@fimu/xstill) (*.net *.split)
2023-03-28 09:46:05 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (*.net *.split)
2023-03-28 09:46:05 +0200finnekit7finnekit
2023-03-28 09:46:05 +0200dobblegodibblego
2023-03-28 09:46:06 +0200jrm2jrm
2023-03-28 09:46:06 +0200finstern1sfinsternis
2023-03-28 09:47:06 +0200lambdabot(~lambdabot@silicon.int-e.eu)
2023-03-28 09:47:06 +0200lambdabot(~lambdabot@silicon.int-e.eu) (Changing host)
2023-03-28 09:47:06 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2023-03-28 09:47:21 +0200xstill_(xstill@fimu/xstill)
2023-03-28 09:50:56 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 09:52:45 +0200cheater_(~Username@user/cheater)
2023-03-28 09:53:29 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de)
2023-03-28 09:54:41 +0200slack1256(~slack1256@181.43.58.131)
2023-03-28 09:54:59 +0200mastarija(~mastarija@2a05:4f46:e03:6000:351f:e709:d591:5e8c)
2023-03-28 09:55:01 +0200cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-28 09:55:02 +0200cheater_cheater
2023-03-28 09:55:20 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-03-28 09:55:23 +0200nate4(~nate@98.45.169.16)
2023-03-28 09:56:27 +0200chele(~chele@user/chele)
2023-03-28 10:00:22 +0200nate4(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2023-03-28 10:00:27 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-03-28 10:01:11 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-03-28 10:01:28 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-03-28 10:01:30 +0200aforemny_aforemny
2023-03-28 10:07:03 +0200slack1256(~slack1256@181.43.58.131) (Ping timeout: 268 seconds)
2023-03-28 10:09:26 +0200cpli(77fc530071@2604:bf00:561:2000::252)
2023-03-28 10:10:16 +0200ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2023-03-28 10:10:49 +0200cheater_(~Username@user/cheater)
2023-03-28 10:13:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-03-28 10:14:15 +0200cheater(~Username@user/cheater) (Ping timeout: 250 seconds)
2023-03-28 10:14:16 +0200cheater_cheater
2023-03-28 10:14:29 +0200thebinary(~thebinary@27.34.115.161)
2023-03-28 10:18:04 +0200thebinary(~thebinary@27.34.115.161) (Read error: Connection reset by peer)
2023-03-28 10:18:32 +0200thebinary(~thebinary@27.34.115.161)
2023-03-28 10:21:55 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-03-28 10:23:09 +0200thebinary(~thebinary@27.34.115.161) (Ping timeout: 255 seconds)
2023-03-28 10:23:51 +0200thebinary(~thebinary@202.79.36.6)
2023-03-28 10:27:04 +0200 <geekosaur> http://haskell.org/haskellwiki/IRC_channel re rules
2023-03-28 10:27:28 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 10:29:17 +0200 <hololeap> I've got a pretty niche problem, but there's a haskell exe I'm working on that cannot depend on anything other than the libs bundled with GHC
2023-03-28 10:29:47 +0200 <hololeap> and it's got all these funky parsing functions using ByteString representations of FilePath
2023-03-28 10:30:24 +0200 <hololeap> so I go and replace them with Strings and parsec, and the benchmark time goes from 0m6.378s to 1m22.337s
2023-03-28 10:31:02 +0200 <hololeap> here are the diffs if anyone is interested: https://github.com/hololeap/haskell-updater/pull/1/files
2023-03-28 10:31:17 +0200 <hololeap> but are those slowdowns to be expected with parsec?
2023-03-28 10:31:53 +0200 <hololeap> I haven't done any profiling yet
2023-03-28 10:32:36 +0200thebinary(~thebinary@202.79.36.6) (Ping timeout: 255 seconds)
2023-03-28 10:32:52 +0200 <maerwald[m]> hololeap: String is deprecated for filepaths
2023-03-28 10:32:53 +0200 <maerwald[m]> Use the new OsPath API
2023-03-28 10:32:54 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-03-28 10:32:55 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2023-03-28 10:33:12 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-28 10:33:14 +0200EvanR(~EvanR@user/evanr)
2023-03-28 10:33:15 +0200 <hololeap> isn't that only with ghc-9.6?
2023-03-28 10:33:53 +0200 <maerwald[m]> hololeap: filepath is reinstallable
2023-03-28 10:33:57 +0200 <maerwald[m]> Unless you depend on the ghc package
2023-03-28 10:34:15 +0200 <hololeap> right
2023-03-28 10:34:15 +0200 <geekosaur> "cannot depend on anything other than the libs bundled with GHC"
2023-03-28 10:34:36 +0200 <hololeap> yeah I won't go into the details but that's not going to be an option here
2023-03-28 10:35:35 +0200Solid(~slot@xmonad/slotThe) (ERC 5.4.1 (IRC client for GNU Emacs 30.0.50))
2023-03-28 10:35:41 +0200 <hololeap> I'm just a bit shocked by the change in performance
2023-03-28 10:35:51 +0200 <geekosaur> anyway yes, parsec is kinda slow. megaparsec is a bit better but attoparsec exists for a reason, as does flatparse
2023-03-28 10:36:27 +0200 <hololeap> that makes sense. I guess I'll have to stick with the weird ad-hoc bytestring parsers for now, because of the restrictions
2023-03-28 10:36:59 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-28 10:37:36 +0200thebinary(~thebinary@27.34.115.161)
2023-03-28 10:38:27 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-28 10:42:41 +0200thebinary(~thebinary@27.34.115.161) (Read error: Connection reset by peer)
2023-03-28 10:43:34 +0200srk(~sorki@user/srk) (Quit: ZNC 1.8.1 - https://znc.in)
2023-03-28 10:43:55 +0200srk(~sorki@user/srk)
2023-03-28 10:45:25 +0200 <maerwald[m]> hololeap: https://chrisdone.com/posts/fast-haskell-c-parsing-xml/
2023-03-28 10:45:26 +0200 <maerwald[m]> You'll never beat ByteString primitives with any parser
2023-03-28 10:46:06 +0200 <hololeap> well that explains why they did it in the first place. I was really confused by that
2023-03-28 10:48:24 +0200thebinary(~thebinary@27.34.115.161)
2023-03-28 10:49:55 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-03-28 10:50:03 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 10:52:51 +0200thebinary(~thebinary@27.34.115.161) (Ping timeout: 255 seconds)
2023-03-28 10:53:13 +0200Unhammer(~Unhammer@user/unhammer)
2023-03-28 10:53:13 +0200Pent(sid313808@id-313808.lymington.irccloud.com)
2023-03-28 10:53:13 +0200arthurvl(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net)
2023-03-28 10:53:13 +0200msavoritias(cb716af6b3@irc.cheogram.com)
2023-03-28 10:53:13 +0200hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
2023-03-28 10:53:13 +0200jinsl(~jinsl@2408:8207:2552:9fc0:211:32ff:fec8:6aea)
2023-03-28 10:53:13 +0200infinity0(~infinity0@pwned.gg)
2023-03-28 10:53:13 +0200henrytill(e0180937c3@2604:bf00:561:2000::e8c)
2023-03-28 10:53:13 +0200fluffyballoon(45ce440a48@2604:bf00:561:2000::e2)
2023-03-28 10:53:13 +0200MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99)
2023-03-28 10:53:13 +0200acertain(sid470584@2a03:5180:f:4::7:2e38)
2023-03-28 10:53:13 +0200joebe[m](~joebematr@2001:470:69fc:105::3:2c53)
2023-03-28 10:53:13 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2023-03-28 10:53:13 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4)
2023-03-28 10:53:13 +0200mon_aaraj(~montchncs@2001:470:69fc:105::8e6b)
2023-03-28 10:53:13 +0200peddie(~peddie@2001:470:69fc:105::25d)
2023-03-28 10:53:13 +0200kosmikus[m](~andresloe@2001:470:69fc:105::95d)
2023-03-28 10:53:13 +0200jade[m](~jade1024t@2001:470:69fc:105::3:238b)
2023-03-28 10:53:13 +0200ericson2314(~ericson23@2001:470:69fc:105::70c)
2023-03-28 10:53:13 +0200ormaaj(~ormaaj@user/ormaaj)
2023-03-28 10:53:13 +0200jakesyl____(sid56879@id-56879.hampstead.irccloud.com)
2023-03-28 10:53:13 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com)
2023-03-28 10:53:13 +0200pierrot(~pi@user/pierrot)
2023-03-28 10:53:13 +0200farn__(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
2023-03-28 10:53:13 +0200ggranberry(sid267884@id-267884.uxbridge.irccloud.com)
2023-03-28 10:53:13 +0200lisq(~quassel@lis.moe)
2023-03-28 10:54:06 +0200MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99) (Max SendQ exceeded)
2023-03-28 10:54:06 +0200jinsl(~jinsl@2408:8207:2552:9fc0:211:32ff:fec8:6aea) (Max SendQ exceeded)
2023-03-28 10:54:16 +0200MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99)
2023-03-28 10:54:24 +0200jinsl(~jinsl@123.117.252.229)
2023-03-28 10:55:14 +0200akegalj(~akegalj@78-0-55-74.adsl.net.t-com.hr) (Quit: leaving)
2023-03-28 10:56:24 +0200christiansen[m](~christian@2001:470:69fc:105::2:f23d) (Ping timeout: 246 seconds)
2023-03-28 10:56:24 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 246 seconds)
2023-03-28 10:56:31 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172) (Ping timeout: 240 seconds)
2023-03-28 10:56:36 +0200MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417) (Ping timeout: 252 seconds)
2023-03-28 10:56:36 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 252 seconds)
2023-03-28 10:56:36 +0200flo[m](~flosansps@2001:470:69fc:105::1:c22d) (Ping timeout: 252 seconds)
2023-03-28 10:56:36 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab) (Ping timeout: 252 seconds)
2023-03-28 10:56:42 +0200DavidDenoncin[m](~jankoj1ma@2001:470:69fc:105::238) (Ping timeout: 246 seconds)
2023-03-28 10:56:42 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Ping timeout: 246 seconds)
2023-03-28 10:56:42 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 246 seconds)
2023-03-28 10:56:42 +0200agevelt[m](~ageveltmo@2001:470:69fc:105::3:16db) (Ping timeout: 246 seconds)
2023-03-28 10:56:44 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4) (Ping timeout: 248 seconds)
2023-03-28 10:56:44 +0200mon_aaraj(~montchncs@2001:470:69fc:105::8e6b) (Ping timeout: 248 seconds)
2023-03-28 10:56:44 +0200peddie(~peddie@2001:470:69fc:105::25d) (Ping timeout: 248 seconds)
2023-03-28 10:56:44 +0200jade[m](~jade1024t@2001:470:69fc:105::3:238b) (Ping timeout: 248 seconds)
2023-03-28 10:56:44 +0200ormaaj(~ormaaj@user/ormaaj) (Ping timeout: 248 seconds)
2023-03-28 10:56:44 +0200jakesyl____(sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 248 seconds)
2023-03-28 10:56:45 +0200VOID[m](~void404ma@2001:470:69fc:105::2:c72c) (Ping timeout: 246 seconds)
2023-03-28 10:56:45 +0200JensPetersen[m](~juhp@2001:470:69fc:105::6e9) (Ping timeout: 246 seconds)
2023-03-28 10:56:56 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 260 seconds)
2023-03-28 10:56:56 +0200vladan[m](~vladanmat@2001:470:69fc:105::2:24df) (Ping timeout: 260 seconds)
2023-03-28 10:56:56 +0200tsmc[m](~tsmcmatri@2001:470:69fc:105::1:7e1) (Ping timeout: 260 seconds)
2023-03-28 10:56:56 +0200Matthew|m(~arathorn@2001:470:69fc:105::1f) (Ping timeout: 260 seconds)
2023-03-28 10:56:56 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 260 seconds)
2023-03-28 10:56:56 +0200bgamari[m](~bgamari@2001:470:69fc:105::c7b9) (Ping timeout: 260 seconds)
2023-03-28 10:56:58 +0200SeanKing[m](~seankingm@2001:470:69fc:105::cf9c) (Ping timeout: 252 seconds)
2023-03-28 10:56:58 +0200hellwolf[m](~hellwolfm@2001:470:69fc:105::3:6a4) (Ping timeout: 252 seconds)
2023-03-28 10:56:58 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f) (Ping timeout: 252 seconds)
2023-03-28 10:56:58 +0200paulapatience(~paulapati@2001:470:69fc:105::16a4) (Ping timeout: 252 seconds)
2023-03-28 10:56:58 +0200tjnhxmzhmqgytuwt(~tjnhxmzhm@2001:470:69fc:105::3:70e) (Ping timeout: 252 seconds)
2023-03-28 10:57:02 +0200std_mutex[m](~stdmutexm@2001:470:69fc:105::1:4534) (Ping timeout: 246 seconds)
2023-03-28 10:57:02 +0200teo(~teo@user/teo) (Ping timeout: 246 seconds)
2023-03-28 10:57:02 +0200zebrag[m](~inkbottle@2001:470:69fc:105::2ff5) (Ping timeout: 246 seconds)
2023-03-28 10:57:02 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds)
2023-03-28 10:57:06 +0200akadude[m](~akadudema@2001:470:69fc:105::2:5bf7) (Ping timeout: 246 seconds)
2023-03-28 10:57:06 +0200jmcantrell(~jmcantrel@user/jmcantrell) (Ping timeout: 246 seconds)
2023-03-28 10:57:06 +0200Artem[m](~artemtype@2001:470:69fc:105::75b) (Ping timeout: 246 seconds)
2023-03-28 10:57:12 +0200jesser[m](~jessermat@2001:470:69fc:105::d5ae) (Ping timeout: 264 seconds)
2023-03-28 10:57:12 +0200TheMatten[m](~thematten@2001:470:69fc:105::1:5ba1) (Ping timeout: 264 seconds)
2023-03-28 10:57:12 +0200chreekat(~chreekat@2001:470:69fc:105::16b5) (Ping timeout: 264 seconds)
2023-03-28 10:57:12 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 264 seconds)
2023-03-28 10:57:13 +0200hussam(~hussam@user/hussam) (Ping timeout: 256 seconds)
2023-03-28 10:57:13 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac) (Ping timeout: 256 seconds)
2023-03-28 10:57:13 +0200famubu[m](~famubumat@2001:470:69fc:105::1081) (Ping timeout: 256 seconds)
2023-03-28 10:57:15 +0200joebe[m](~joebematr@2001:470:69fc:105::3:2c53) (Ping timeout: 248 seconds)
2023-03-28 10:57:16 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 248 seconds)
2023-03-28 10:57:16 +0200kosmikus[m](~andresloe@2001:470:69fc:105::95d) (Ping timeout: 248 seconds)
2023-03-28 10:57:16 +0200ericson2314(~ericson23@2001:470:69fc:105::70c) (Ping timeout: 248 seconds)
2023-03-28 10:57:20 +0200ikervagyok[m](~ikervagyo@2001:470:69fc:105::2:f119) (Ping timeout: 252 seconds)
2023-03-28 10:57:20 +0200romes[m](~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 252 seconds)
2023-03-28 10:57:23 +0200oak-(~oak-@2001:470:69fc:105::fcd) (Ping timeout: 246 seconds)
2023-03-28 10:57:23 +0200fgaz(~fgaz@2001:470:69fc:105::842) (Ping timeout: 246 seconds)
2023-03-28 10:57:24 +0200nicm[m](~nicmollel@2001:470:69fc:105::1:feeb) (Ping timeout: 260 seconds)
2023-03-28 10:57:24 +0200ac(~aloiscoch@2001:470:69fc:105::65) (Ping timeout: 260 seconds)
2023-03-28 10:57:24 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 260 seconds)
2023-03-28 10:57:24 +0200daylily[m](~daylilym]@2001:470:69fc:105::3:1d06) (Ping timeout: 260 seconds)
2023-03-28 10:57:24 +0200nomagno(~nomagno@2001:470:69fc:105::c1f0) (Ping timeout: 260 seconds)
2023-03-28 10:57:27 +0200geekosaur[m](~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds)
2023-03-28 10:57:27 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 246 seconds)
2023-03-28 10:57:34 +0200FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039) (Ping timeout: 252 seconds)
2023-03-28 10:57:47 +0200maralorn(~maralorn@2001:470:69fc:105::251) (Ping timeout: 256 seconds)
2023-03-28 10:57:48 +0200cstml[m](~cstmmatri@2001:470:69fc:105::2:f76f) (Ping timeout: 264 seconds)
2023-03-28 10:57:48 +0200ongy[m](~ongymatri@2001:470:69fc:105::5018) (Ping timeout: 264 seconds)
2023-03-28 10:57:48 +0200eldritchcookie[m(~eldritchc@2001:470:69fc:105::2:d53c) (Ping timeout: 264 seconds)
2023-03-28 10:57:48 +0200remsense(~iarmatrix@2001:470:69fc:105::3:625) (Ping timeout: 264 seconds)
2023-03-28 10:57:51 +0200psydroid(~psydroid@user/psydroid) (Ping timeout: 260 seconds)
2023-03-28 10:57:52 +0200Deide(~deide@user/deide) (Ping timeout: 260 seconds)
2023-03-28 10:57:52 +0200shapr[m](~shaprcofr@2001:470:69fc:105::2:d107) (Ping timeout: 260 seconds)
2023-03-28 10:58:26 +0200Quinten[m](~quintenkd@2001:470:69fc:105::3:1b1c) (Ping timeout: 246 seconds)
2023-03-28 10:58:26 +0200foghorn(~foghorn@user/foghorn) (Ping timeout: 246 seconds)
2023-03-28 10:58:57 +0200jakesyl____(sid56879@id-56879.hampstead.irccloud.com)
2023-03-28 11:01:47 +0200 <dminuoso> I have a bunch of potentially overlapping (time) ranges, and I want to identify all gaps that exist between the outer most points.
2023-03-28 11:01:49 +0200 <dminuoso> What kind of problem is this?
2023-03-28 11:02:12 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-03-28 11:02:13 +0200 <geekosaur> sounds like an interval set problem?
2023-03-28 11:02:28 +0200 <opqdonut> interval union/intersection yeah
2023-03-28 11:02:42 +0200 <tomsmeding> or sort all of them first, then loop over the result in linear time
2023-03-28 11:03:18 +0200 <dminuoso> tomsmeding: See I dont even know how to sort intervals.
2023-03-28 11:03:33 +0200 <mauke> reminds me of the advent of code problem where I replaced Set by a hacked up RangeSet implementation and gained a massive speed-up
2023-03-28 11:03:36 +0200 <dminuoso> opqdonut: its not quite intersection, Im rather interested in where there's a lack of intersections
2023-03-28 11:03:50 +0200 <tomsmeding> dminuoso: right, I should have specified: in this case it suffices to sort on the starting time; within one particular starting time the order doesn't matter
2023-03-28 11:03:54 +0200 <opqdonut> dminuoso: yeah I was thinking of intersecting the complements or sometihng
2023-03-28 11:04:11 +0200 <dminuoso> Huh.
2023-03-28 11:04:23 +0200 <tomsmeding> actually what the algorithm would want is to get the maximum ending time of every occurring starting time, but it can handle not getting that :)
2023-03-28 11:04:25 +0200thebinary(~thebinary@27.34.115.104)
2023-03-28 11:04:27 +0200 <dminuoso> That's not too bad, if you take the complement - then any overlapping intervals can be tossed out
2023-03-28 11:04:29 +0200 <dminuoso> What remains is the gaps
2023-03-28 11:04:42 +0200 <dminuoso> That may or may not simplify the problem
2023-03-28 11:04:52 +0200 <tomsmeding> taking the complement is a really annoying operation I think
2023-03-28 11:05:03 +0200 <opqdonut> if you want to do something like this incrementally, I think some sort of interval tree structure might help
2023-03-28 11:05:17 +0200 <tomsmeding> yeah if you want incremental then use an interval set
2023-03-28 11:05:20 +0200 <opqdonut> i.e. maintain a sorted search tree of disjoint intervals, merge them when adding an interval
2023-03-28 11:05:55 +0200 <mauke> dminuoso: here's what I used for advent of code: https://paste.tomsmeding.com/354OJRCy
2023-03-28 11:06:06 +0200 <mauke> the gaps are computed via set difference from the full span
2023-03-28 11:07:38 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2023-03-28 11:10:14 +0200__monty__(~toonn@user/toonn)
2023-03-28 11:10:51 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab)
2023-03-28 11:11:09 +0200christiansen[m](~christian@2001:470:69fc:105::2:f23d)
2023-03-28 11:12:14 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-03-28 11:12:24 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2023-03-28 11:14:10 +0200 <tomsmeding> dminuoso: https://play.haskell.org/saved/Jfb5d1Wk
2023-03-28 11:15:23 +0200thebinary(~thebinary@27.34.115.104) (Ping timeout: 248 seconds)
2023-03-28 11:15:25 +0200 <dminuoso> tomsmeding: Mmm yeah Im coming down on something very similar.
2023-03-28 11:15:45 +0200chreekat(~chreekat@2001:470:69fc:105::16b5)
2023-03-28 11:15:46 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 11:16:36 +0200flo[m](~flosansps@2001:470:69fc:105::1:c22d)
2023-03-28 11:16:44 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172)
2023-03-28 11:17:12 +0200VOID[m](~void404ma@2001:470:69fc:105::2:c72c)
2023-03-28 11:20:18 +0200vglfr(~vglfr@88.155.17.226) (Ping timeout: 255 seconds)
2023-03-28 11:21:39 +0200ikervagyok[m](~ikervagyo@2001:470:69fc:105::2:f119)
2023-03-28 11:21:45 +0200MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417)
2023-03-28 11:21:48 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2023-03-28 11:22:49 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f)
2023-03-28 11:22:56 +0200tsmc[m](~tsmcmatri@2001:470:69fc:105::1:7e1)
2023-03-28 11:23:24 +0200ft(~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving)
2023-03-28 11:23:34 +0200std_mutex[m](~stdmutexm@2001:470:69fc:105::1:4534)
2023-03-28 11:24:25 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-03-28 11:24:36 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-03-28 11:25:42 +0200agevelt[m](~ageveltmo@2001:470:69fc:105::3:16db)
2023-03-28 11:25:44 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2023-03-28 11:25:45 +0200DavidDenoncin[m](~jankoj1ma@2001:470:69fc:105::238)
2023-03-28 11:26:02 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e)
2023-03-28 11:27:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-03-28 11:29:45 +0200thegeekinside(~thegeekin@189.141.115.134) (Ping timeout: 255 seconds)
2023-03-28 11:33:31 +0200acidjnk(~acidjnk@p200300d6e715c4237cfc0e66ed0018aa.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-03-28 11:35:04 +0200lbseale(~quassel@user/ep1ctetus)
2023-03-28 11:35:17 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:17 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:17 +0200christiansen[m](~christian@2001:470:69fc:105::2:f23d) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:17 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:17 +0200flo[m](~flosansps@2001:470:69fc:105::1:c22d) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:17 +0200chreekat(~chreekat@2001:470:69fc:105::16b5) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:17 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:17 +0200VOID[m](~void404ma@2001:470:69fc:105::2:c72c) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:18 +0200MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:18 +0200ikervagyok[m](~ikervagyo@2001:470:69fc:105::2:f119) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:18 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:18 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:18 +0200tsmc[m](~tsmcmatri@2001:470:69fc:105::1:7e1) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:18 +0200std_mutex[m](~stdmutexm@2001:470:69fc:105::1:4534) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:18 +0200DavidDenoncin[m](~jankoj1ma@2001:470:69fc:105::238) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:18 +0200agevelt[m](~ageveltmo@2001:470:69fc:105::3:16db) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:18 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:35:18 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e) (Quit: Bridge terminating on SIGTERM)
2023-03-28 11:38:09 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78a3:fb7e:f4ce:e160) (Remote host closed the connection)
2023-03-28 11:39:07 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 11:40:26 +0200peddie(~peddie@2001:470:69fc:105::25d)
2023-03-28 11:46:23 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2023-03-28 11:53:25 +0200vglfr(~vglfr@88.155.17.226)
2023-03-28 11:55:37 +0200fgaz(~fgaz@2001:470:69fc:105::842)
2023-03-28 11:55:37 +0200ericson2314(~ericson23@2001:470:69fc:105::70c)
2023-03-28 11:55:37 +0200famubu[m](~famubumat@2001:470:69fc:105::1081)
2023-03-28 11:55:37 +0200maralorn(~maralorn@2001:470:69fc:105::251)
2023-03-28 11:55:37 +0200sm(~sm@plaintextaccounting/sm)
2023-03-28 11:55:37 +0200nomagno(~nomagno@2001:470:69fc:105::c1f0)
2023-03-28 11:55:37 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2023-03-28 11:55:37 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e)
2023-03-28 11:55:37 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2023-03-28 11:55:37 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2023-03-28 11:55:37 +0200chreekat(~chreekat@2001:470:69fc:105::16b5)
2023-03-28 11:55:37 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2023-03-28 11:55:37 +0200jmcantrell(~jmcantrel@user/jmcantrell)
2023-03-28 11:55:37 +0200romes[m](~romesmatr@2001:470:69fc:105::2:1660)
2023-03-28 11:55:37 +0200Deide(~deide@user/deide)
2023-03-28 11:55:37 +0200ongy[m](~ongymatri@2001:470:69fc:105::5018)
2023-03-28 11:55:37 +0200TheMatten[m](~thematten@2001:470:69fc:105::1:5ba1)
2023-03-28 11:55:37 +0200JensPetersen[m](~juhp@2001:470:69fc:105::6e9)
2023-03-28 11:55:37 +0200ormaaj(~ormaaj@user/ormaaj)
2023-03-28 11:55:37 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac)
2023-03-28 11:55:37 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729)
2023-03-28 11:55:37 +0200Matthew|m(~arathorn@2001:470:69fc:105::1f)
2023-03-28 11:55:37 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2023-03-28 11:55:37 +0200akadude[m](~akadudema@2001:470:69fc:105::2:5bf7)
2023-03-28 11:55:37 +0200Quinten[m](~quintenkd@2001:470:69fc:105::3:1b1c)
2023-03-28 11:55:37 +0200Artem[m](~artemtype@2001:470:69fc:105::75b)
2023-03-28 11:55:37 +0200daylily[m](~daylilym]@2001:470:69fc:105::3:1d06)
2023-03-28 11:55:37 +0200vladan[m](~vladanmat@2001:470:69fc:105::2:24df)
2023-03-28 11:55:37 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d)
2023-03-28 11:55:37 +0200geekosaur[m](~geekosaur@xmonad/geekosaur)
2023-03-28 11:55:37 +0200cstml[m](~cstmmatri@2001:470:69fc:105::2:f76f)
2023-03-28 11:55:37 +0200SeanKing[m](~seankingm@2001:470:69fc:105::cf9c)
2023-03-28 11:55:38 +0200bgamari[m](~bgamari@2001:470:69fc:105::c7b9)
2023-03-28 11:55:38 +0200VOID[m](~void404ma@2001:470:69fc:105::2:c72c)
2023-03-28 11:55:38 +0200christiansen[m](~christian@2001:470:69fc:105::2:f23d)
2023-03-28 11:55:38 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2023-03-28 11:55:38 +0200hussam(~hussam@user/hussam)
2023-03-28 11:55:38 +0200zebrag[m](~inkbottle@2001:470:69fc:105::2ff5)
2023-03-28 11:55:38 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab)
2023-03-28 11:55:38 +0200paulapatience(~paulapati@2001:470:69fc:105::16a4)
2023-03-28 11:55:38 +0200mon_aaraj(~montchncs@2001:470:69fc:105::8e6b)
2023-03-28 11:55:38 +0200eldritchcookie[m(~eldritchc@2001:470:69fc:105::2:d53c)
2023-03-28 11:55:38 +0200tjnhxmzhmqgytuwt(~tjnhxmzhm@2001:470:69fc:105::3:70e)
2023-03-28 11:55:38 +0200foghorn(~foghorn@user/foghorn)
2023-03-28 11:55:38 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2023-03-28 11:55:38 +0200shapr[m](~shaprcofr@2001:470:69fc:105::2:d107)
2023-03-28 11:55:38 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172)
2023-03-28 11:55:38 +0200nicm[m](~nicmollel@2001:470:69fc:105::1:feeb)
2023-03-28 11:55:38 +0200agevelt[m](~ageveltmo@2001:470:69fc:105::3:16db)
2023-03-28 11:55:38 +0200DavidDenoncin[m](~jankoj1ma@2001:470:69fc:105::238)
2023-03-28 11:55:38 +0200remsense(~iarmatrix@2001:470:69fc:105::3:625)
2023-03-28 11:55:38 +0200teo1(~teo@user/teo)
2023-03-28 11:55:38 +0200std_mutex[m](~stdmutexm@2001:470:69fc:105::1:4534)
2023-03-28 11:55:38 +0200jade[m](~jade1024t@2001:470:69fc:105::3:238b)
2023-03-28 11:55:38 +0200jesser[m](~jessermat@2001:470:69fc:105::d5ae)
2023-03-28 11:55:38 +0200FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039)
2023-03-28 11:55:38 +0200hellwolf[m](~hellwolfm@2001:470:69fc:105::3:6a4)
2023-03-28 11:55:38 +0200ac(~aloiscoch@2001:470:69fc:105::65)
2023-03-28 11:55:48 +0200joebe[m](~joebematr@2001:470:69fc:105::3:2c53)
2023-03-28 11:55:49 +0200flo[m]1(~flosansps@2001:470:69fc:105::1:c22d)
2023-03-28 11:55:50 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4)
2023-03-28 11:55:50 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f)
2023-03-28 11:55:50 +0200MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417)
2023-03-28 11:55:50 +0200ikervagyok[m](~ikervagyo@2001:470:69fc:105::2:f119)
2023-03-28 11:55:50 +0200kosmikus[m](~andresloe@2001:470:69fc:105::95d)
2023-03-28 11:55:51 +0200tsmc[m](~tsmcmatri@2001:470:69fc:105::1:7e1)
2023-03-28 11:55:52 +0200oak-(~oak-@2001:470:69fc:105::fcd)
2023-03-28 12:01:38 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2023-03-28 12:04:21 +0200[_________](~oos95GWG@user/oos95GWG) (Quit: [_________])
2023-03-28 12:05:08 +0200[_________](~oos95GWG@user/oos95GWG)
2023-03-28 12:13:33 +0200thebinary(~thebinary@49.126.154.231)
2023-03-28 12:14:05 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds)
2023-03-28 12:15:01 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f) (Ping timeout: 240 seconds)
2023-03-28 12:15:01 +0200MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417) (Ping timeout: 240 seconds)
2023-03-28 12:15:01 +0200ikervagyok[m](~ikervagyo@2001:470:69fc:105::2:f119) (Ping timeout: 240 seconds)
2023-03-28 12:15:01 +0200kosmikus[m](~andresloe@2001:470:69fc:105::95d) (Ping timeout: 240 seconds)
2023-03-28 12:15:01 +0200std_mutex[m](~stdmutexm@2001:470:69fc:105::1:4534) (Ping timeout: 240 seconds)
2023-03-28 12:15:02 +0200shapr[m](~shaprcofr@2001:470:69fc:105::2:d107) (Ping timeout: 240 seconds)
2023-03-28 12:15:02 +0200SeanKing[m](~seankingm@2001:470:69fc:105::cf9c) (Ping timeout: 240 seconds)
2023-03-28 12:15:02 +0200paulapatience(~paulapati@2001:470:69fc:105::16a4) (Ping timeout: 240 seconds)
2023-03-28 12:15:02 +0200fgaz(~fgaz@2001:470:69fc:105::842) (Ping timeout: 240 seconds)
2023-03-28 12:15:04 +0200daylily[m](~daylilym]@2001:470:69fc:105::3:1d06) (Ping timeout: 252 seconds)
2023-03-28 12:15:05 +0200tjnhxmzhmqgytuwt(~tjnhxmzhm@2001:470:69fc:105::3:70e) (Ping timeout: 252 seconds)
2023-03-28 12:15:05 +0200foghorn(~foghorn@user/foghorn) (Ping timeout: 252 seconds)
2023-03-28 12:15:05 +0200eldritchcookie[m(~eldritchc@2001:470:69fc:105::2:d53c) (Ping timeout: 252 seconds)
2023-03-28 12:15:05 +0200ac(~aloiscoch@2001:470:69fc:105::65) (Ping timeout: 252 seconds)
2023-03-28 12:15:05 +0200mon_aaraj(~montchncs@2001:470:69fc:105::8e6b) (Ping timeout: 252 seconds)
2023-03-28 12:15:05 +0200jmcantrell(~jmcantrel@user/jmcantrell) (Ping timeout: 252 seconds)
2023-03-28 12:15:05 +0200Deide(~deide@user/deide) (Ping timeout: 252 seconds)
2023-03-28 12:15:05 +0200oak-(~oak-@2001:470:69fc:105::fcd) (Ping timeout: 246 seconds)
2023-03-28 12:15:05 +0200jade[m](~jade1024t@2001:470:69fc:105::3:238b) (Ping timeout: 246 seconds)
2023-03-28 12:15:06 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 246 seconds)
2023-03-28 12:15:06 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 246 seconds)
2023-03-28 12:15:06 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Ping timeout: 246 seconds)
2023-03-28 12:15:06 +0200Quinten[m](~quintenkd@2001:470:69fc:105::3:1b1c) (Ping timeout: 246 seconds)
2023-03-28 12:15:06 +0200DavidDenoncin[m](~jankoj1ma@2001:470:69fc:105::238) (Ping timeout: 246 seconds)
2023-03-28 12:15:06 +0200geekosaur[m](~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds)
2023-03-28 12:15:06 +0200vladan[m](~vladanmat@2001:470:69fc:105::2:24df) (Ping timeout: 246 seconds)
2023-03-28 12:15:09 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 248 seconds)
2023-03-28 12:15:09 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab) (Ping timeout: 248 seconds)
2023-03-28 12:15:09 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 248 seconds)
2023-03-28 12:15:09 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 248 seconds)
2023-03-28 12:15:09 +0200Artem[m](~artemtype@2001:470:69fc:105::75b) (Ping timeout: 248 seconds)
2023-03-28 12:15:09 +0200famubu[m](~famubumat@2001:470:69fc:105::1081) (Ping timeout: 248 seconds)
2023-03-28 12:15:09 +0200tsmc[m](~tsmcmatri@2001:470:69fc:105::1:7e1) (Ping timeout: 246 seconds)
2023-03-28 12:15:09 +0200jesser[m](~jessermat@2001:470:69fc:105::d5ae) (Ping timeout: 246 seconds)
2023-03-28 12:15:09 +0200nicm[m](~nicmollel@2001:470:69fc:105::1:feeb) (Ping timeout: 246 seconds)
2023-03-28 12:15:09 +0200remsense(~iarmatrix@2001:470:69fc:105::3:625) (Ping timeout: 246 seconds)
2023-03-28 12:15:09 +0200FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039) (Ping timeout: 246 seconds)
2023-03-28 12:15:09 +0200maralorn(~maralorn@2001:470:69fc:105::251) (Ping timeout: 246 seconds)
2023-03-28 12:15:09 +0200nomagno(~nomagno@2001:470:69fc:105::c1f0) (Ping timeout: 246 seconds)
2023-03-28 12:15:12 +0200hellwolf[m](~hellwolfm@2001:470:69fc:105::3:6a4) (Ping timeout: 264 seconds)
2023-03-28 12:15:12 +0200ericson2314(~ericson23@2001:470:69fc:105::70c) (Ping timeout: 264 seconds)
2023-03-28 12:15:17 +0200flo[m]1(~flosansps@2001:470:69fc:105::1:c22d) (Ping timeout: 265 seconds)
2023-03-28 12:15:17 +0200teo1(~teo@user/teo) (Ping timeout: 265 seconds)
2023-03-28 12:15:17 +0200romes[m](~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 265 seconds)
2023-03-28 12:15:17 +0200VOID[m](~void404ma@2001:470:69fc:105::2:c72c) (Ping timeout: 265 seconds)
2023-03-28 12:15:17 +0200chreekat(~chreekat@2001:470:69fc:105::16b5) (Ping timeout: 265 seconds)
2023-03-28 12:15:17 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 265 seconds)
2023-03-28 12:15:17 +0200hussam(~hussam@user/hussam) (Ping timeout: 265 seconds)
2023-03-28 12:15:17 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac) (Ping timeout: 265 seconds)
2023-03-28 12:15:19 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 265 seconds)
2023-03-28 12:15:19 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4) (Ping timeout: 260 seconds)
2023-03-28 12:15:20 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 260 seconds)
2023-03-28 12:15:20 +0200ongy[m](~ongymatri@2001:470:69fc:105::5018) (Ping timeout: 260 seconds)
2023-03-28 12:15:20 +0200christiansen[m](~christian@2001:470:69fc:105::2:f23d) (Ping timeout: 265 seconds)
2023-03-28 12:15:20 +0200cstml[m](~cstmmatri@2001:470:69fc:105::2:f76f) (Ping timeout: 265 seconds)
2023-03-28 12:15:20 +0200zebrag[m](~inkbottle@2001:470:69fc:105::2ff5) (Ping timeout: 265 seconds)
2023-03-28 12:15:20 +0200Matthew|m(~arathorn@2001:470:69fc:105::1f) (Ping timeout: 265 seconds)
2023-03-28 12:15:20 +0200ormaaj(~ormaaj@user/ormaaj) (Ping timeout: 265 seconds)
2023-03-28 12:15:25 +0200TheMatten[m](~thematten@2001:470:69fc:105::1:5ba1) (Ping timeout: 256 seconds)
2023-03-28 12:15:25 +0200agevelt[m](~ageveltmo@2001:470:69fc:105::3:16db) (Ping timeout: 256 seconds)
2023-03-28 12:15:25 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 256 seconds)
2023-03-28 12:15:25 +0200akadude[m](~akadudema@2001:470:69fc:105::2:5bf7) (Ping timeout: 256 seconds)
2023-03-28 12:15:25 +0200JensPetersen[m](~juhp@2001:470:69fc:105::6e9) (Ping timeout: 256 seconds)
2023-03-28 12:15:25 +0200peddie(~peddie@2001:470:69fc:105::25d) (Ping timeout: 256 seconds)
2023-03-28 12:15:26 +0200vglfr(~vglfr@88.155.17.226) (Ping timeout: 252 seconds)
2023-03-28 12:15:47 +0200joebe[m](~joebematr@2001:470:69fc:105::3:2c53) (Ping timeout: 264 seconds)
2023-03-28 12:15:48 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172) (Ping timeout: 264 seconds)
2023-03-28 12:15:48 +0200bgamari[m](~bgamari@2001:470:69fc:105::c7b9) (Ping timeout: 264 seconds)
2023-03-28 12:16:15 +0200thebinary(~thebinary@49.126.154.231) (Read error: Connection reset by peer)
2023-03-28 12:18:49 +0200thebinary(~thebinary@202.79.36.252)
2023-03-28 12:19:00 +0200vglfr(~vglfr@88.155.62.158)
2023-03-28 12:20:17 +0200foghorn(~foghorn@user/foghorn)
2023-03-28 12:20:24 +0200thebinary(~thebinary@202.79.36.252) (Read error: Connection reset by peer)
2023-03-28 12:20:29 +0200jmcantrell(~jmcantrel@user/jmcantrell)
2023-03-28 12:20:37 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2023-03-28 12:20:56 +0200hussam(~hussam@user/hussam)
2023-03-28 12:20:58 +0200nicm[m](~nicmollel@2001:470:69fc:105::1:feeb)
2023-03-28 12:21:17 +0200tjnhxmzhmqgytuwt(~tjnhxmzhm@2001:470:69fc:105::3:70e)
2023-03-28 12:21:21 +0200jean-paul[m](~jean-paul@2001:470:69fc:105::d1ab)
2023-03-28 12:21:25 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2023-03-28 12:21:45 +0200nomagno(~nomagno@2001:470:69fc:105::c1f0)
2023-03-28 12:21:51 +0200vladan[m](~vladanmat@2001:470:69fc:105::2:24df)
2023-03-28 12:22:09 +0200Deide(~deide@user/deide)
2023-03-28 12:22:11 +0200remsense(~iarmatrix@2001:470:69fc:105::3:625)
2023-03-28 12:22:12 +0200Artem[m](~artemtype@2001:470:69fc:105::75b)
2023-03-28 12:22:16 +0200fgaz(~fgaz@2001:470:69fc:105::842)
2023-03-28 12:23:01 +0200VOID[m](~void404ma@2001:470:69fc:105::2:c72c)
2023-03-28 12:23:03 +0200paulapatience(~paulapati@2001:470:69fc:105::16a4)
2023-03-28 12:23:05 +0200ericson2314(~ericson23@2001:470:69fc:105::70c)
2023-03-28 12:24:12 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d)
2023-03-28 12:28:22 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com)
2023-03-28 12:29:17 +0200SeanKing[m](~seankingm@2001:470:69fc:105::cf9c)
2023-03-28 12:29:46 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2023-03-28 12:29:48 +0200famubu[m](~famubumat@2001:470:69fc:105::1081)
2023-03-28 12:30:29 +0200hellwolf[m](~hellwolfm@2001:470:69fc:105::3:6a4)
2023-03-28 12:30:47 +0200daylily[m](~daylilym]@2001:470:69fc:105::3:1d06)
2023-03-28 12:31:09 +0200flo[m]1(~flosansps@2001:470:69fc:105::1:c22d)
2023-03-28 12:32:00 +0200chomwitt(~chomwitt@2a02:587:7a19:3600:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds)
2023-03-28 12:34:08 +0200phma(phma@2001:5b0:2144:7a98:89c3:1f46:5640:74c9) (Read error: Connection reset by peer)
2023-03-28 12:34:23 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 12:34:47 +0200eldritchcookie[m(~eldritchc@2001:470:69fc:105::2:d53c)
2023-03-28 12:35:06 +0200ac(~aloiscoch@2001:470:69fc:105::65)
2023-03-28 12:35:12 +0200phma(~phma@2001:5b0:210b:eef8:d9e8:208c:276f:a1fd)
2023-03-28 12:35:36 +0200mon_aaraj(~montchncs@2001:470:69fc:105::8e6b)
2023-03-28 12:37:13 +0200teo1(~teo@user/teo)
2023-03-28 12:37:21 +0200romes[m](~romesmatr@2001:470:69fc:105::2:1660)
2023-03-28 12:37:37 +0200chreekat(~chreekat@2001:470:69fc:105::16b5)
2023-03-28 12:37:47 +0200Guillaum[m](~guiboumat@2001:470:69fc:105::1:72ac)
2023-03-28 12:37:49 +0200chomwitt(~chomwitt@athedsl-346372.home.otenet.gr)
2023-03-28 12:38:17 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2023-03-28 12:38:39 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f58d:5784:9385:7747)
2023-03-28 12:40:15 +0200christiansen[m](~christian@2001:470:69fc:105::2:f23d)
2023-03-28 12:40:52 +0200oak-(~oak-@2001:470:69fc:105::fcd)
2023-03-28 12:41:44 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc)
2023-03-28 12:43:05 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:f58d:5784:9385:7747) (Ping timeout: 246 seconds)
2023-03-28 12:43:37 +0200jade[m](~jade1024t@2001:470:69fc:105::3:238b)
2023-03-28 12:43:55 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729)
2023-03-28 12:44:04 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2023-03-28 12:44:05 +0200Quinten[m](~quintenkd@2001:470:69fc:105::3:1b1c)
2023-03-28 12:44:11 +0200DavidDenoncin[m](~jankoj1ma@2001:470:69fc:105::238)
2023-03-28 12:44:36 +0200geekosaur[m](~geekosaur@xmonad/geekosaur)
2023-03-28 12:46:04 +0200gurkenglas(~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de)
2023-03-28 12:48:21 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2023-03-28 12:49:04 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4)
2023-03-28 12:51:38 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-03-28 12:51:38 +0200ongy[m](~ongymatri@2001:470:69fc:105::5018)
2023-03-28 12:51:38 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2023-03-28 12:51:48 +0200ikervagyok[m](~ikervagyo@2001:470:69fc:105::2:f119)
2023-03-28 12:51:50 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f)
2023-03-28 12:51:51 +0200MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417)
2023-03-28 12:51:52 +0200kosmikus[m](~andresloe@2001:470:69fc:105::95d)
2023-03-28 12:52:34 +0200maerwald_maerwald
2023-03-28 12:52:55 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-03-28 12:53:03 +0200maerwald(~maerwald@mail.hasufell.de) (Changing host)
2023-03-28 12:53:03 +0200maerwald(~maerwald@user/maerwald)
2023-03-28 12:53:04 +0200std_mutex[m](~stdmutexm@2001:470:69fc:105::1:4534)
2023-03-28 12:55:09 +0200shapr[m](~shaprcofr@2001:470:69fc:105::2:d107)
2023-03-28 12:56:21 +0200tsmc[m](~tsmcmatri@2001:470:69fc:105::1:7e1)
2023-03-28 12:56:32 +0200 <Hecate> @let import System.IO.Unsafe
2023-03-28 12:56:33 +0200 <lambdabot> /sandbox/tmp/.L.hs:141:1: error:
2023-03-28 12:56:33 +0200 <lambdabot> System.IO.Unsafe: Can't be safely imported!
2023-03-28 12:56:34 +0200 <lambdabot> The module itself isn't safe.
2023-03-28 12:56:37 +0200 <Hecate> hehe
2023-03-28 12:57:30 +0200jesser[m](~jessermat@2001:470:69fc:105::d5ae)
2023-03-28 12:57:30 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 12:59:45 +0200FurudeRika[m](~chitandae@2001:470:69fc:105::1:6039)
2023-03-28 13:00:07 +0200maralorn(~maralorn@2001:470:69fc:105::251)
2023-03-28 13:00:24 +0200TheMatten[m](~thematten@2001:470:69fc:105::1:5ba1)
2023-03-28 13:02:42 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 13:02:48 +0200joebe[m](~joebematr@2001:470:69fc:105::3:2c53)
2023-03-28 13:03:24 +0200xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-03-28 13:04:56 +0200zebrag[m](~inkbottle@2001:470:69fc:105::2ff5)
2023-03-28 13:05:13 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172)
2023-03-28 13:05:18 +0200cstml[m](~cstmmatri@2001:470:69fc:105::2:f76f)
2023-03-28 13:05:43 +0200ormaaj(~ormaaj@user/ormaaj)
2023-03-28 13:06:02 +0200Matthew|m(~arathorn@2001:470:69fc:105::1f)
2023-03-28 13:06:35 +0200JensPetersen[m](~juhp@2001:470:69fc:105::6e9)
2023-03-28 13:11:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-03-28 13:13:46 +0200bgamari[m](~bgamari@2001:470:69fc:105::c7b9)
2023-03-28 13:15:19 +0200peddie(~peddie@2001:470:69fc:105::25d)
2023-03-28 13:15:20 +0200akadude[m](~akadudema@2001:470:69fc:105::2:5bf7)
2023-03-28 13:15:29 +0200agevelt[m](~ageveltmo@2001:470:69fc:105::3:16db)
2023-03-28 13:15:40 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e)
2023-03-28 13:17:02 +0200thebinary(~thebinary@202.79.36.252)
2023-03-28 13:17:10 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
2023-03-28 13:20:00 +0200titiband1t(~thibaut@sunp.ient.rwth-aachen.de)
2023-03-28 13:21:02 +0200thebinary(~thebinary@202.79.36.252) (Read error: Connection reset by peer)
2023-03-28 13:24:07 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer)
2023-03-28 13:26:18 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 13:29:08 +0200 <tomsmeding> % import System.IO.Unsafe
2023-03-28 13:29:08 +0200 <yahb2> <no output>
2023-03-28 13:33:19 +0200titiband1t(~thibaut@sunp.ient.rwth-aachen.de) ()
2023-03-28 13:34:53 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-03-28 13:35:55 +0200Midjak(~Midjak@82.66.147.146)
2023-03-28 13:39:01 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 13:41:18 +0200lyle(~lyle@104.246.145.237)
2023-03-28 13:42:46 +0200thebinary(~thebinary@202.79.36.252)
2023-03-28 13:45:50 +0200thebinary(~thebinary@202.79.36.252) (Read error: Connection reset by peer)
2023-03-28 13:46:10 +0200smallville7123(~Android@cpe-172-193-178-179.qld.foxtel.net.au)
2023-03-28 13:51:14 +0200thebinary(~thebinary@202.79.36.252)
2023-03-28 13:53:03 +0200APic(apic@apic.name) (Quit: Upgrading GNU Screen)
2023-03-28 13:56:42 +0200thebinary(~thebinary@202.79.36.252) (Read error: Connection reset by peer)
2023-03-28 13:56:52 +0200nate4(~nate@98.45.169.16)
2023-03-28 14:02:06 +0200nate4(~nate@98.45.169.16) (Ping timeout: 265 seconds)
2023-03-28 14:02:17 +0200califax(~califax@user/califx) (Ping timeout: 255 seconds)
2023-03-28 14:02:29 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 14:02:41 +0200califax(~califax@user/califx)
2023-03-28 14:03:25 +0200APic(apic@apic.name)
2023-03-28 14:05:30 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-03-28 14:10:38 +0200_leo___(~emmanuelu@user/emmanuelux)
2023-03-28 14:11:24 +0200vglfr(~vglfr@88.155.62.158) (Read error: Connection reset by peer)
2023-03-28 14:12:22 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-03-28 14:12:47 +0200vglfr(~vglfr@88.155.62.158)
2023-03-28 14:14:00 +0200emmanuelux_(~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds)
2023-03-28 14:17:01 +0200jinsl(~jinsl@123.117.252.229) (Read error: Connection reset by peer)
2023-03-28 14:17:13 +0200jinsl(~jinsl@2408:8207:2552:9fc0:211:32ff:fec8:6aea)
2023-03-28 14:24:23 +0200IbizaJiang(~IbizaJian@n219078170009.netvigator.com)
2023-03-28 14:27:35 +0200 <lyle> What is a good Actor Model library for Haskell? I'm looking at https://hackage.haskell.org/package/simple-actors but already I'm getting error "No instance for (Semigroup (Behavior i))" and its last commit was in 2012.
2023-03-28 14:28:31 +0200vgtw(~vgtw@user/vgtw)
2023-03-28 14:31:06 +0200cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2023-03-28 14:35:32 +0200vgtw_(~vgtw@user/vgtw)
2023-03-28 14:35:56 +0200vgtw(~vgtw@user/vgtw) (Ping timeout: 265 seconds)
2023-03-28 14:36:20 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-03-28 14:36:56 +0200accord(uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-03-28 14:38:06 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-03-28 14:40:45 +0200cheater(~Username@user/cheater)
2023-03-28 14:41:17 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-03-28 14:42:24 +0200thebinary(~thebinary@36.252.189.254)
2023-03-28 14:42:27 +0200nschoe(~q@141.101.51.197)
2023-03-28 14:45:10 +0200thebinary(~thebinary@36.252.189.254) (Read error: Connection reset by peer)
2023-03-28 14:46:05 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2023-03-28 14:47:27 +0200thebinary(~thebinary@27.34.105.55)
2023-03-28 14:47:42 +0200thebinary(~thebinary@27.34.105.55) (Read error: Connection reset by peer)
2023-03-28 14:48:03 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 14:49:42 +0200thebinary(~thebinary@27.34.105.55)
2023-03-28 14:51:06 +0200thebinary(~thebinary@27.34.105.55) (Read error: Connection reset by peer)
2023-03-28 14:57:27 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection)
2023-03-28 14:58:27 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection)
2023-03-28 14:59:23 +0200cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-28 15:00:50 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2023-03-28 15:01:36 +0200cheater(~Username@user/cheater)
2023-03-28 15:03:35 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-03-28 15:11:19 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 15:13:42 +0200captnemo(~captnemo@193.32.127.232)
2023-03-28 15:15:12 +0200npmania(~Thunderbi@138.199.21.242)
2023-03-28 15:15:59 +0200IbizaJiang(~IbizaJian@n219078170009.netvigator.com) (Quit: Client closed)
2023-03-28 15:17:52 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-03-28 15:18:09 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc)
2023-03-28 15:24:17 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection)
2023-03-28 15:24:29 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69)
2023-03-28 15:25:17 +0200 <vlad> ?src ($)
2023-03-28 15:25:17 +0200 <lambdabot> f $ x = f x
2023-03-28 15:25:23 +0200 <vlad> ?src compare
2023-03-28 15:25:23 +0200 <lambdabot> compare x y | x == y = EQ
2023-03-28 15:25:23 +0200 <lambdabot> | x <= y = LT
2023-03-28 15:25:23 +0200 <lambdabot> | otherwise = GT
2023-03-28 15:25:46 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit)
2023-03-28 15:26:14 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69)
2023-03-28 15:26:23 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit)
2023-03-28 15:28:13 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69)
2023-03-28 15:28:23 +0200hugo(znc@verdigris.lysator.liu.se)
2023-03-28 15:28:23 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit)
2023-03-28 15:28:39 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69)
2023-03-28 15:28:42 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit)
2023-03-28 15:28:57 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69)
2023-03-28 15:29:12 +0200 <vlad> ?src compare
2023-03-28 15:29:13 +0200 <lambdabot> compare x y | x == y = EQ
2023-03-28 15:29:13 +0200 <lambdabot> | x <= y = LT
2023-03-28 15:29:13 +0200 <lambdabot> | otherwise = GT
2023-03-28 15:29:17 +0200 <vlad> ?src foldl
2023-03-28 15:29:17 +0200 <lambdabot> foldl f z [] = z
2023-03-28 15:29:17 +0200 <lambdabot> foldl f z (x:xs) = foldl f (f z x) xs
2023-03-28 15:29:25 +0200 <vlad> ?src foldr
2023-03-28 15:29:26 +0200 <lambdabot> foldr f z [] = z
2023-03-28 15:29:26 +0200 <lambdabot> foldr f z (x:xs) = f x (foldr f z xs)
2023-03-28 15:29:40 +0200 <vlad> ?src >>
2023-03-28 15:29:40 +0200 <lambdabot> m >> k = m >>= \_ -> k
2023-03-28 15:29:44 +0200 <vlad> ?src bind
2023-03-28 15:29:44 +0200 <lambdabot> Source not found. Whoa.
2023-03-28 15:29:48 +0200 <vlad> ?src
2023-03-28 15:29:48 +0200 <lambdabot> src <id>. Display the implementation of a standard function
2023-03-28 15:29:51 +0200 <vlad> ?
2023-03-28 15:29:55 +0200 <vlad> ?help
2023-03-28 15:29:55 +0200 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
2023-03-28 15:30:00 +0200 <vlad> ?list
2023-03-28 15:30:00 +0200 <lambdabot> What module? Try @listmodules for some ideas.
2023-03-28 15:30:03 +0200 <vlad> list
2023-03-28 15:30:09 +0200 <vlad> @listmodules
2023-03-28 15:30:09 +0200 <lambdabot> activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search
2023-03-28 15:30:09 +0200 <lambdabot> seen slap source spell system tell ticker todo topic type undo unlambda unmtl version where
2023-03-28 15:30:24 +0200 <vlad> ?help src
2023-03-28 15:30:24 +0200 <lambdabot> src <id>. Display the implementation of a standard function
2023-03-28 15:30:33 +0200gurkenglas(~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Ping timeout: 265 seconds)
2023-03-28 15:31:05 +0200 <int-e> vlad: you can interrogate lambdabot in private chat
2023-03-28 15:31:56 +0200 <vlad> thanks, I'm pretty much 100% new to IRC, I'll check a FAQ / how private chat works
2023-03-28 15:32:46 +0200 <vlad> found it thanks
2023-03-28 15:33:31 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-03-28 15:34:11 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-03-28 15:35:02 +0200doyougnu(~doyougnu@cpe-74-69-132-225.stny.res.rr.com)
2023-03-28 15:35:54 +0200 <geekosaur> https://github.com/geekosaur/lambdabot/blob/command-doc/doc/commands.md may also be of interest. (it's waiting to be merged)
2023-03-28 15:36:29 +0200 <vlad> is there a "code of conduct type/how to use" type of document for this channel by any chance ?
2023-03-28 15:36:46 +0200 <vlad> oh thanks for that link!
2023-03-28 15:37:00 +0200 <geekosaur> http://haskell.org/haskellwiki/IRC_channel re rules
2023-03-28 15:37:13 +0200 <vlad> great thanks
2023-03-28 15:37:23 +0200jero98772(~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb)
2023-03-28 15:37:24 +0200hugo(znc@verdigris.lysator.liu.se)
2023-03-28 15:38:33 +0200cheater_(~Username@user/cheater)
2023-03-28 15:39:44 +0200cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-28 15:39:49 +0200cheater_cheater
2023-03-28 15:41:31 +0200ddellacosta(~ddellacos@146.70.166.158) (Ping timeout: 240 seconds)
2023-03-28 15:42:09 +0200thegeekinside(~thegeekin@189.141.115.134)
2023-03-28 15:42:35 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-03-28 15:42:51 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 15:43:45 +0200ddellacosta(~ddellacos@146.70.168.100)
2023-03-28 15:44:10 +0200 <ski> vlad : additionally, "Be nice, or else!" is a dictum that's been mentioned in the past
2023-03-28 15:47:19 +0200gurkenglas(~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de)
2023-03-28 15:48:16 +0200hugo(znc@verdigris.lysator.liu.se)
2023-03-28 15:49:55 +0200captnemo(~captnemo@193.32.127.232) (Quit: WeeChat 3.8)
2023-03-28 15:50:10 +0200captnemo(~captnemo@193.32.127.232)
2023-03-28 15:50:22 +0200ddellacosta(~ddellacos@146.70.168.100) (Ping timeout: 265 seconds)
2023-03-28 15:51:12 +0200captnemo(~captnemo@193.32.127.232) (Client Quit)
2023-03-28 15:51:28 +0200captnemo(~captnemo@193.32.127.232)
2023-03-28 15:52:05 +0200ddellacosta(~ddellacos@143.244.47.84)
2023-03-28 15:56:48 +0200dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection)
2023-03-28 15:57:03 +0200 <vlad> of course ski :)
2023-03-28 16:02:59 +0200acidjnk(~acidjnk@p200300d6e715c42350de91ec0776e47b.dip0.t-ipconnect.de)
2023-03-28 16:06:07 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 16:07:30 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:c39f:a4dc:2705:d85c) (Ping timeout: 260 seconds)
2023-03-28 16:08:27 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection)
2023-03-28 16:09:13 +0200lortabac(~lortabac@37.174.21.194)
2023-03-28 16:12:08 +0200lortabac(~lortabac@37.174.21.194) (Client Quit)
2023-03-28 16:14:38 +0200gurkenglas(~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Remote host closed the connection)
2023-03-28 16:15:57 +0200abrar(~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Ping timeout: 255 seconds)
2023-03-28 16:16:21 +0200abrar(~abrar@static-108-2-152-54.phlapa.fios.verizon.net)
2023-03-28 16:16:37 +0200cheater_(~Username@user/cheater)
2023-03-28 16:18:31 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 240 seconds)
2023-03-28 16:19:55 +0200cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-28 16:20:02 +0200cheater_cheater
2023-03-28 16:21:25 +0200vlad_(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69)
2023-03-28 16:21:48 +0200vlad_(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit)
2023-03-28 16:21:58 +0200gurkenglas(~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de)
2023-03-28 16:22:10 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Quit: Leaving)
2023-03-28 16:25:59 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69)
2023-03-28 16:26:05 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-03-28 16:26:45 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit)
2023-03-28 16:27:01 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69)
2023-03-28 16:28:36 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit)
2023-03-28 16:29:06 +0200jakalx(~jakalx@base.jakalx.net) ()
2023-03-28 16:29:23 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2023-03-28 16:34:10 +0200gurkenglas(~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Ping timeout: 252 seconds)
2023-03-28 16:34:46 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69)
2023-03-28 16:34:52 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 16:34:54 +0200gurkenglas(~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de)
2023-03-28 16:35:21 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-03-28 16:35:40 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-28 16:35:55 +0200acidjnk(~acidjnk@p200300d6e715c42350de91ec0776e47b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-03-28 16:36:44 +0200jakalx(~jakalx@base.jakalx.net)
2023-03-28 16:37:20 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit)
2023-03-28 16:37:44 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-03-28 16:38:11 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
2023-03-28 16:38:21 +0200vlad(~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69)
2023-03-28 16:39:03 +0200Lord_of_Life_Lord_of_Life
2023-03-28 16:42:19 +0200ddellacosta(~ddellacos@143.244.47.84) (Quit: WeeChat 3.8)
2023-03-28 16:50:55 +0200dipper(~dipper@117.61.126.31) (Quit: Konversation terminated!)
2023-03-28 16:52:00 +0200dipper(~dipper@117.61.126.31)
2023-03-28 16:52:12 +0200ddellacosta(~ddellacos@143.244.47.71)
2023-03-28 16:58:01 +0200cheater_(~Username@user/cheater)
2023-03-28 16:58:29 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 17:00:27 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-03-28 17:00:56 +0200cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-28 17:00:57 +0200cheater_cheater
2023-03-28 17:01:51 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-03-28 17:05:40 +0200thebinary(~thebinary@49.126.93.80)
2023-03-28 17:08:15 +0200Sgeo(~Sgeo@user/sgeo)
2023-03-28 17:09:23 +0200thebinary(~thebinary@49.126.93.80) (Read error: Connection reset by peer)
2023-03-28 17:11:19 +0200thebinary(~thebinary@49.126.93.80)
2023-03-28 17:11:59 +0200gurkenglas(~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Ping timeout: 250 seconds)
2023-03-28 17:12:01 +0200Square2(~Square4@user/square) (Ping timeout: 240 seconds)
2023-03-28 17:12:43 +0200dipper(~dipper@117.61.126.31) (Ping timeout: 248 seconds)
2023-03-28 17:17:31 +0200thebinary(~thebinary@49.126.93.80) (Ping timeout: 248 seconds)
2023-03-28 17:26:29 +0200santiagopim(~user@90.167.66.131)
2023-03-28 17:32:19 +0200npmania(~Thunderbi@138.199.21.242) (Remote host closed the connection)
2023-03-28 17:32:41 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2023-03-28 17:33:32 +0200npmania(~Thunderbi@138.199.21.242)
2023-03-28 17:36:02 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-03-28 17:36:21 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-28 17:37:11 +0200nschoe(~q@141.101.51.197) (Ping timeout: 265 seconds)
2023-03-28 17:43:09 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 17:43:59 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds)
2023-03-28 17:47:18 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-03-28 17:48:11 +0200titibandit(7efad7d72e@2a00:c70:1:178:170:40:189:1) (Remote host closed the connection)
2023-03-28 17:50:10 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7)
2023-03-28 17:50:27 +0200gensyst(~gensyst@user/gensyst)
2023-03-28 17:51:08 +0200 <gensyst> Does anyone here have a working flake.nix for a simple Hello world program that works with VSCode + HLS?
2023-03-28 17:51:47 +0200 <gensyst> I'm trying but nothing works. Even when it sort of "works", cabal starts downloading things into ~/cabal/store/ghc-9.0.2/ as soon as VSCode opens a hs file - which means it doesn't work at all.
2023-03-28 17:51:59 +0200 <gensyst> The non-Flakes solution worked fine for me
2023-03-28 17:52:19 +0200thebinary(~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a)
2023-03-28 17:52:28 +0200`2jt(~user@static-64-183-27-46.ipcom.comunitel.net)
2023-03-28 17:53:24 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2023-03-28 17:57:05 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-03-28 17:58:11 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-03-28 17:58:22 +0200nate4(~nate@98.45.169.16)
2023-03-28 17:58:51 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-03-28 18:00:11 +0200`2jt(~user@static-64-183-27-46.ipcom.comunitel.net) (Ping timeout: 248 seconds)
2023-03-28 18:03:17 +0200nate4(~nate@98.45.169.16) (Ping timeout: 265 seconds)
2023-03-28 18:04:09 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2023-03-28 18:04:50 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2023-03-28 18:05:18 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) (Remote host closed the connection)
2023-03-28 18:05:41 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2023-03-28 18:06:41 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 18:07:14 +0200acidjnk(~acidjnk@p200300d6e715c44675db8bd2831b28f4.dip0.t-ipconnect.de)
2023-03-28 18:08:23 +0200thebinary(~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) (Read error: Connection reset by peer)
2023-03-28 18:08:31 +0200 <ncf> gensyst: did you follow https://nixos.org/manual/nixpkgs/unstable/#haskell-shellFor ?
2023-03-28 18:08:45 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds)
2023-03-28 18:09:05 +0200captnemo(~captnemo@193.32.127.232) (Quit: WeeChat 3.8)
2023-03-28 18:09:53 +0200gentauro(~gentauro@user/gentauro)
2023-03-28 18:10:13 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-28 18:10:58 +0200thebinary(~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a)
2023-03-28 18:11:06 +0200captnemo(~captnemo@193.32.127.232)
2023-03-28 18:12:21 +0200thebinary(~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) (Read error: Connection reset by peer)
2023-03-28 18:14:48 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-03-28 18:15:36 +0200gmg(~user@user/gehmehgeh)
2023-03-28 18:17:53 +0200cassiopea(~cassiopea@user/cassiopea)
2023-03-28 18:20:54 +0200gurkenglas(~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de)
2023-03-28 18:20:56 +0200famubu(~famubu@user/famubu)
2023-03-28 18:21:07 +0200 <famubu> Hi. I was trying to represent monomials and polynomials in haskell. I got types as `newtype Mono = Mono (Float, Int)` and `Newtype Poly = Poly [Mono]`.
2023-03-28 18:21:12 +0200 <famubu> Is it possible to have `Num` class instance for these types? The problem was that Addition for Mono returns a Poly instead of Mono.
2023-03-28 18:21:24 +0200captnemo(~captnemo@193.32.127.232) (Quit: WeeChat 3.8)
2023-03-28 18:21:31 +0200titibandit(~thibaut@sunp.ient.rwth-aachen.de)
2023-03-28 18:22:34 +0200 <geekosaur> nope
2023-03-28 18:23:59 +0200 <geekosaur> you could if you made a monomial a polynomial with list length 1, because that way they'd be the same type
2023-03-28 18:25:07 +0200 <geekosaur> :t (+)
2023-03-28 18:25:08 +0200 <lambdabot> Num a => a -> a -> a
2023-03-28 18:25:42 +0200 <geekosaur> has to be the same `a`, not different ones
2023-03-28 18:25:43 +0200econo(uid147250@user/econo)
2023-03-28 18:27:41 +0200 <eldritchcookie[m> hello if i want to make my application scriptable and do not want to create my own scripting language are there any options other than hslua or hint?
2023-03-28 18:28:34 +0200 <famubu> geekosaur: Thanks for that idea. Let me try that out.
2023-03-28 18:29:44 +0200 <davean> eldritchcookie[m: I think there are Javascript runtimes also
2023-03-28 18:29:56 +0200 <davean> and there at least WAS a python bindings
2023-03-28 18:30:55 +0200gensyst(~gensyst@user/gensyst) (Quit: Leaving)
2023-03-28 18:31:07 +0200chele(~chele@user/chele) (Remote host closed the connection)
2023-03-28 18:31:25 +0200 <eldritchcookie[m> yeah lua seems like the superior option
2023-03-28 18:32:03 +0200 <geekosaur> famubu, also are you sure you want Float there? as in C, it's fairly limited; usually you want Double
2023-03-28 18:33:17 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7)
2023-03-28 18:39:55 +0200pavonia(~user@user/siracusa)
2023-03-28 18:42:47 +0200sp00kins(~sp00kins@c-71-62-172-98.hsd1.va.comcast.net)
2023-03-28 18:43:08 +0200captnemo(~captnemo@193.32.127.232)
2023-03-28 18:44:27 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds)
2023-03-28 18:45:04 +0200 <EvanR> and I'd expect the polynomial to allow whatever "base", i.e. 3*X^2 + Y^3 + Z + 1
2023-03-28 18:45:36 +0200 <EvanR> oh that's implied I guess
2023-03-28 18:46:19 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 18:49:27 +0200captnemo(~captnemo@193.32.127.232) (Quit: WeeChat 3.8)
2023-03-28 18:53:15 +0200titibandit(~thibaut@sunp.ient.rwth-aachen.de) (Quit: leaving)
2023-03-28 18:57:40 +0200codaraxis__(~codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2023-03-28 18:58:59 +0200gurkenglas(~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Ping timeout: 260 seconds)
2023-03-28 19:00:17 +0200 <ski> univariate vs. multivariate (monomials and) polynomials
2023-03-28 19:00:48 +0200vglfr(~vglfr@88.155.62.158) (Ping timeout: 265 seconds)
2023-03-28 19:01:00 +0200 <vlad> hi, if I'm using ghc 9.2.5, how can I find the corresponding doc for the Prelude ?
2023-03-28 19:02:13 +0200 <vlad> for example here https://hackage.haskell.org/package/base-4.18.0.0/docs/Prelude.html, it points to base-4.18. How do I know which base my ghc version corresponds to ? (or am I misunderstanding how this works?)
2023-03-28 19:03:19 +0200 <gnalzo> vlad: ghc-pkg list |grep base
2023-03-28 19:03:34 +0200 <gnalzo> on cli
2023-03-28 19:03:50 +0200 <vlad> oh great thanks, noted
2023-03-28 19:04:28 +0200Guest(~Guest@137.97.127.207)
2023-03-28 19:07:43 +0200 <vlad> gnalzo++
2023-03-28 19:09:25 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 19:10:00 +0200 <geekosaur> you can also look in ghcup's list, which shows the base version corresponding to each ghc version as a tag
2023-03-28 19:12:26 +0200vglfr(~vglfr@88.155.116.129)
2023-03-28 19:13:35 +0200 <ski> (fwiw, i'm personally not a fan of karma point systems)
2023-03-28 19:13:39 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 19:14:38 +0200Guest(~Guest@137.97.127.207) (Ping timeout: 260 seconds)
2023-03-28 19:16:13 +0200 <monochrom> It's also installed along with GHC itself, at <prefix>/share/doc/ghc-9.2.5/html/libraries/index.html
2023-03-28 19:16:43 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-03-28 19:17:49 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-28 19:17:54 +0200 <monochrom> But if you disbelieve in everything non-cloud, on the cloud you can always reliably go to GHC's website, https://downloads.haskell.org/~ghc/9.2.5/docs/html/ and replace 9.2.5 with suitable version number.
2023-03-28 19:18:40 +0200 <geekosaur> https://gitlab.haskell.org/ghc/ghc/wikis/commentary/libraries/version-history
2023-03-28 19:19:03 +0200 <EvanR> ski++
2023-03-28 19:19:20 +0200 <monochrom> haha EvanR the irony
2023-03-28 19:19:25 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-28 19:19:35 +0200monochromloves ironies and puns and dad jokes etc
2023-03-28 19:21:00 +0200 <famubu> geekosaur: I didn't really get started (and doesn't yet enough to write it. Been hunting on youtube and github..). For coefficients, now I'm trying to leave it abstract. Like a `Poly a` type.
2023-03-28 19:21:53 +0200 <EvanR> instance Num a => Num (Poly a) where
2023-03-28 19:22:16 +0200 <monochrom> \∩/ so I can have complex number coefficients too
2023-03-28 19:22:26 +0200 <geekosaur> well, except that `a` here is something like `(Float, Int)`
2023-03-28 19:22:36 +0200gurkenglas(~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de)
2023-03-28 19:22:37 +0200 <EvanR> a simple fix
2023-03-28 19:22:43 +0200 <monochrom> Nah pretty sure they know to do (a, Int).
2023-03-28 19:24:02 +0200captnemo(~captnemo@193.32.127.232)
2023-03-28 19:26:50 +0200codaraxis(~codaraxis@user/codaraxis)
2023-03-28 19:27:39 +0200B-J(~BenziJuni@dsl-149-66-52.hive.is) (Ping timeout: 255 seconds)
2023-03-28 19:28:12 +0200 <EvanR> you got your complex coefficients, quaternion coefficients, matrix ceofficients, surreal number coefficients, ...
2023-03-28 19:28:38 +0200 <EvanR> Num is the gift that keeps on giving
2023-03-28 19:29:37 +0200 <EvanR> > signum (1 :+ 1)
2023-03-28 19:29:38 +0200 <lambdabot> 0.7071067811865475 :+ 0.7071067811865475
2023-03-28 19:29:58 +0200 <famubu> Yeah, had been looking at https://www.youtube.com/watch?v=NAs3ExQZUjA for polynomial representations.
2023-03-28 19:35:31 +0200slack1256(~slack1256@181.43.56.176)
2023-03-28 19:37:12 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 19:37:33 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-03-28 19:39:54 +0200kadenwolff[m](~kadenwolf@2001:470:69fc:105::1:d97f)
2023-03-28 19:40:13 +0200 <monochrom> Does it also cover using Legendre polynomials for the basis? >:)
2023-03-28 19:41:16 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-28 19:41:34 +0200 <ski> @karma- ski
2023-03-28 19:41:34 +0200 <lambdabot> You can't change your own karma, silly.
2023-03-28 19:46:57 +0200 <EvanR> Karma Is Silly --SKI
2023-03-28 19:47:15 +0200 <EvanR> (kiss principle)
2023-03-28 19:48:57 +0200 <monochrom> heh
2023-03-28 19:49:44 +0200 <geekosaur> pity you can't also rearrange it to pair with "ski"
2023-03-28 19:51:38 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 19:53:09 +0200 <tomsmeding> you can if you add a comma
2023-03-28 19:53:44 +0200 <tomsmeding> what do y'all think about this new "basic template" button that does away with the example and gets you started with a minimal file? https://play.haskell.org/
2023-03-28 19:54:24 +0200 <monochrom> kiss : skiss :: vga : svga :)
2023-03-28 19:55:17 +0200 <[exa]> tomsmeding: saves a few clicks, but maybe it might be better to start off with an empty program and have the button scream "click for a demo"
2023-03-28 19:55:27 +0200 <[exa]> tomsmeding: other than that it's <3 lovely <3
2023-03-28 19:55:37 +0200 <monochrom> Wait, every time I re-launch play.haskell.org I get a randomly chosen code example?! That's really more fun than the basic template...
2023-03-28 19:55:52 +0200 <tomsmeding> [exa]: so you mean starting with the bare-main and having the button open the random example instead?
2023-03-28 19:56:03 +0200 <geekosaur> next it'll ask chatgpt to generate a basic program for you…
2023-03-28 19:56:07 +0200 <monochrom> Although, yeah, the default should be the basic template, add a button for a random example.
2023-03-28 19:56:18 +0200 <tomsmeding> that meshes less well with the button fading away automatically, and I was so happy to not have to add yet another permanent button to the toolbar
2023-03-28 19:56:25 +0200 <tomsmeding> monochrom: yes, it's random :)
2023-03-28 19:56:32 +0200 <[exa]> tomsmeding: yeah that would be the "normal" way but now that I see you have more demos there it actually also makes sense this way :D
2023-03-28 19:56:33 +0200 <monochrom> Oh haha that's a great idea for a second button "gpt-generate"
2023-03-28 19:56:57 +0200 <tomsmeding> previously it was quicksort, top-down mergesort, or bottom-up mergesort; but then someone complained https://github.com/haskell/play-haskell/issues/25
2023-03-28 19:57:06 +0200 <tomsmeding> monochrom: lol, but no
2023-03-28 19:57:41 +0200 <tomsmeding> monochrom: so you agree with [exa] now that [exa] doesn't anymore?
2023-03-28 19:58:51 +0200cheater_(~Username@user/cheater)
2023-03-28 19:59:59 +0200 <monochrom> heh
2023-03-28 20:00:19 +0200 <monochrom> I think yes. But I also think this is a very minor thing.
2023-03-28 20:01:13 +0200cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-28 20:01:17 +0200cheater_cheater
2023-03-28 20:06:15 +0200doyougnu(~doyougnu@cpe-74-69-132-225.stny.res.rr.com) (Remote host closed the connection)
2023-03-28 20:06:51 +0200 <tomsmeding> for now I'm keeping it like this, thanks for the feedback all :)
2023-03-28 20:15:09 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 20:15:48 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2023-03-28 20:18:32 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 20:33:33 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) (Remote host closed the connection)
2023-03-28 20:41:53 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 20:49:41 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 20:51:15 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 250 seconds)
2023-03-28 20:51:55 +0200jinsun(~jinsun@user/jinsun)
2023-03-28 20:55:13 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-03-28 20:58:23 +0200vglfr(~vglfr@88.155.116.129) (Read error: Connection reset by peer)
2023-03-28 20:58:33 +0200vglfr(~vglfr@88.155.116.129)
2023-03-28 21:00:59 +0200Unhammer(~Unhammer@user/unhammer) (Ping timeout: 248 seconds)
2023-03-28 21:02:07 +0200famubu(~famubu@user/famubu) (Quit: leaving)
2023-03-28 21:02:23 +0200cheater_(~Username@user/cheater)
2023-03-28 21:03:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-03-28 21:03:48 +0200B-J(~BenziJuni@88-149-66-52.du.xdsl.is)
2023-03-28 21:05:01 +0200cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-28 21:05:09 +0200cheater_cheater
2023-03-28 21:06:18 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-03-28 21:06:37 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-28 21:07:23 +0200gurkenglas(~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Ping timeout: 248 seconds)
2023-03-28 21:09:13 +0200gurkenglas(~gurkengla@dynamic-046-114-177-038.46.114.pool.telefonica.de)
2023-03-28 21:09:50 +0200Kuttenbrunzer(~Kuttenbru@2a02:8108:8b80:1d48::6b24)
2023-03-28 21:09:52 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7)
2023-03-28 21:11:41 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-28 21:12:01 +0200 <pkal> What are the argument for using case-of instead of doing case distinction on the top level, and vice versa?
2023-03-28 21:12:53 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 21:13:01 +0200Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat)
2023-03-28 21:13:06 +0200 <jade[m]> it can be embedded in an expression
2023-03-28 21:13:23 +0200 <monochrom> personal preference and style
2023-03-28 21:13:30 +0200 <jade[m]> + pattern matches on the top level compile down to case expressions anyways
2023-03-28 21:13:37 +0200 <EvanR> you can also embed "top level" equations in an expression
2023-03-28 21:13:46 +0200 <monochrom> But yeah case-of is an expression, so more general and usable at more places.
2023-03-28 21:13:47 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 21:13:55 +0200 <EvanR> (let f A = X; f B = Y in f foo)
2023-03-28 21:14:04 +0200 <monochrom> (usually)
2023-03-28 21:14:10 +0200Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2023-03-28 21:14:24 +0200Unhammer(~Unhammer@user/unhammer)
2023-03-28 21:16:46 +0200 <pkal> I was thinking about case-of right after the = of a definition. So basically just a desuggared version of what Haskell would do with definitional case distinction (or whatever it is called)
2023-03-28 21:17:03 +0200 <EvanR> I see the opposite sometimes
2023-03-28 21:17:15 +0200santiagopim(~user@90.167.66.131) (Ping timeout: 250 seconds)
2023-03-28 21:17:24 +0200 <EvanR> wrapperFun x y z = f etc where
2023-03-28 21:17:30 +0200 <EvanR> f A = ...
2023-03-28 21:17:33 +0200 <EvanR> f B = ...
2023-03-28 21:18:31 +0200 <tomsmeding> pkal: some people like to use 'f a b = \case ...' if the interesting case splitting is only on the last argument, because this form allows you to 1. avoid having to give a name to the scrutinised argument, like with the definitional style, and 2. avoids having to repeat 'f a b'
2023-03-28 21:20:53 +0200 <monochrom> Sometimes you find yourself needing "f x = case g x of ..." which doesn't really have a better alternative.
2023-03-28 21:21:21 +0200 <tomsmeding> except for what EvanR put, of which it's subjective whether that's "better"
2023-03-28 21:21:42 +0200 <monochrom> Please don't overthink it. If there is only one way you can think of, do it. If there are more ways, just use your own aesthetics. This is a very minor thing.
2023-03-28 21:21:59 +0200 <pkal> Ok, I was afraid this was one of those things where you read one thing in an introductory book but then everyone tells you "oh nobody actually does that".
2023-03-28 21:22:12 +0200 <tomsmeding> people actively do both
2023-03-28 21:22:25 +0200 <EvanR> each time it comes up roll dice to see which way to write it
2023-03-28 21:22:29 +0200 <tomsmeding> lol
2023-03-28 21:22:42 +0200 <pkal> monochrom: don't worry, i'm reading through some code and was wondering if there was some background i didn't know ^^
2023-03-28 21:22:47 +0200 <tomsmeding> if it's this die then you're fine https://xkcd.com/221/
2023-03-28 21:22:55 +0200 <monochrom> My personal coding style guide is a PRNG. It really doesn't matter.
2023-03-28 21:23:33 +0200 <monochrom> Ugh not that PRNG heh
2023-03-28 21:25:27 +0200 <EvanR> some 4 are more random than others
2023-03-28 21:25:33 +0200 <EvanR> gotta check the source
2023-03-28 21:26:14 +0200gensyst(~gensyst@user/gensyst)
2023-03-28 21:26:35 +0200 <gensyst> ncf, well i am using shellFor yes... here's my setup: https://discourse.nixos.org/t/trying-to-get-nix-flakes-haskell-hls-vscode-to-work-but-nothing-work…
2023-03-28 21:27:25 +0200 <gensyst> TLDR (since I went away for some hours): Haskell/HLS/VSCode not working properly with nix flakes but was fine without flakes
2023-03-28 21:27:28 +0200 <gensyst> no idea why
2023-03-28 21:29:11 +0200gurkenglas(~gurkengla@dynamic-046-114-177-038.46.114.pool.telefonica.de) (Ping timeout: 265 seconds)
2023-03-28 21:33:50 +0200 <tomsmeding> % import System.Random
2023-03-28 21:33:50 +0200 <yahb2> <no output>
2023-03-28 21:33:54 +0200 <tomsmeding> % randomIO
2023-03-28 21:33:54 +0200 <yahb2> 4
2023-03-28 21:33:58 +0200 <tomsmeding> EvanR: ^
2023-03-28 21:34:47 +0200 <EvanR> seems suspicious
2023-03-28 21:34:56 +0200gurkenglas(~gurkengla@dynamic-046-114-177-038.46.114.pool.telefonica.de)
2023-03-28 21:35:41 +0200 <tomsmeding> % randomRIO (2, 10)
2023-03-28 21:35:42 +0200 <yahb2> 4
2023-03-28 21:35:47 +0200 <tomsmeding> I see nothing wrong
2023-03-28 21:36:07 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) (Remote host closed the connection)
2023-03-28 21:37:06 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 21:38:26 +0200 <ski> f (g -> ...) = ...
2023-03-28 21:39:24 +0200 <ski> pkal : sometimes one if preferable, sometimes the other. there are good arguments for both. it depends on taste, style, situation
2023-03-28 21:41:37 +0200 <ski> one argument for matching in the definiendum (left-hand side) is that (in case your defining equations are non-overlapping) each defining equation can then be read is isolation, as a true statement about the defined operation
2023-03-28 21:42:17 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 21:42:49 +0200 <ski> tomsmeding : fwiw, there's apparently also `\cases' now, for (curriedly) multiple parameters
2023-03-28 21:43:02 +0200 <tomsmeding> oh yeah that's true
2023-03-28 21:43:13 +0200ski. o O ( <https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/lambda_case.html> )
2023-03-28 21:43:33 +0200 <ski> (although, when i tried in yahb2, it seemed something wasn't working correctly there)
2023-03-28 21:43:38 +0200 <ski> % :t \cases x -> x
2023-03-28 21:43:39 +0200 <yahb2> \cases x -> x :: p1 -> p2 -> p2
2023-03-28 21:44:44 +0200 <ski> it would be nice to have guarantees under which conditions `f (g -> ...) = ...; f (g -> ...) = ...; ...' would involve only a single call to `g', rather than multiple ones
2023-03-28 21:46:06 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds)
2023-03-28 21:46:11 +0200 <tomsmeding> ski: yahb2 runs ghc 9.2.5
2023-03-28 21:46:33 +0200 <tomsmeding> perhaps they mistakenly included a buggy version of \cases in there lol
2023-03-28 21:46:43 +0200 <tomsmeding> % \case s x -> x
2023-03-28 21:46:43 +0200 <yahb2> <interactive>:242:2: error: Illegal lambda-case (use LambdaCase) ; ; <interactive>:242:7: error: Parse error in pattern: s
2023-03-28 21:46:56 +0200 <tomsmeding> noteworthy is that the buggy syntax doesn't even seem to require LambdaCase!
2023-03-28 21:47:53 +0200codaraxis(~codaraxis@user/codaraxis) (Remote host closed the connection)
2023-03-28 21:47:57 +0200codaraxis__(~codaraxis@user/codaraxis)
2023-03-28 21:49:47 +0200gurkenglas(~gurkengla@dynamic-046-114-177-038.46.114.pool.telefonica.de) (Ping timeout: 260 seconds)
2023-03-28 21:50:58 +0200 <tomsmeding> mjnw
2023-03-28 21:51:06 +0200 <tomsmeding> oops wrong window
2023-03-28 21:51:32 +0200 <ski> (also compare (view patterns, and pattern synonyms) with "Active Patterns" in F# <https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/active-patterns>, which are used to programmatically partition an input into one of several alternatives, effectively giving you a `COMPLETE' set of pattern synonyms that share common code for classifying the matched input into the partitions (pattern synonyms))
2023-03-28 21:52:44 +0200 <ski> % :t \cases x y -> x
2023-03-28 21:52:44 +0200 <yahb2> \cases x y -> x :: p1 -> p2 -> p3 -> p2
2023-03-28 21:52:45 +0200 <ski> % :t \cases x y -> y
2023-03-28 21:52:46 +0200 <yahb2> \cases x y -> y :: p1 -> p2 -> p3 -> p3
2023-03-28 21:52:49 +0200 <ski> % :t \cases -> ()
2023-03-28 21:52:49 +0200 <yahb2> \cases -> () :: p -> ()
2023-03-28 21:53:10 +0200 <tomsmeding> ski: I can reproduce in my local ghci 9.2.5
2023-03-28 21:54:06 +0200kenran(~user@user/kenran)
2023-03-28 21:54:33 +0200skinoticed `\cases', when starting to make a quasi-quoter (that parses Haskell syntax, and then does a tree-walker macro transform on the AST)
2023-03-28 21:59:35 +0200lyle(~lyle@104.246.145.237) (Quit: WeeChat 3.8)
2023-03-28 21:59:53 +0200nate4(~nate@98.45.169.16)
2023-03-28 22:04:14 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds)
2023-03-28 22:04:34 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-03-28 22:04:57 +0200nate4(~nate@98.45.169.16) (Ping timeout: 265 seconds)
2023-03-28 22:05:28 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 22:05:37 +0200aaronv(~aaronv@user/aaronv)
2023-03-28 22:05:40 +0200kenran(~user@user/kenran) (Remote host closed the connection)
2023-03-28 22:06:23 +0200ft(~ft@p3e9bc443.dip0.t-ipconnect.de)
2023-03-28 22:06:53 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 22:10:14 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-03-28 22:12:53 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-03-28 22:14:44 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-28 22:16:15 +0200mei(~mei@user/mei) (Quit: mei)
2023-03-28 22:17:47 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds)
2023-03-28 22:19:01 +0200mei(~mei@user/mei)
2023-03-28 22:19:12 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds)
2023-03-28 22:19:53 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-03-28 22:28:26 +0200captnemo(~captnemo@193.32.127.232) (Quit: WeeChat 3.8)
2023-03-28 22:29:44 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 22:29:57 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 22:31:26 +0200taupiqueur1(~taupiqueu@2a02:842a:8180:4601:fc91:cacd:bf6b:ded8)
2023-03-28 22:32:41 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-fc91-cacd-bf6b-ded8.rev.sfr.net)
2023-03-28 22:32:53 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-fc91-cacd-bf6b-ded8.rev.sfr.net) (Remote host closed the connection)
2023-03-28 22:34:40 +0200ddellacosta(~ddellacos@143.244.47.71) (Ping timeout: 248 seconds)
2023-03-28 22:36:37 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7)
2023-03-28 22:36:49 +0200ddellacosta(~ddellacos@143.244.47.84)
2023-03-28 22:41:15 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) (Ping timeout: 260 seconds)
2023-03-28 22:44:14 +0200michalz(~michalz@185.246.207.197) (Remote host closed the connection)
2023-03-28 22:44:25 +0200gensyst(~gensyst@user/gensyst) (Quit: Leaving)
2023-03-28 22:53:05 +0200lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-28 22:54:01 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 240 seconds)
2023-03-28 22:54:02 +0200tomboy65(~tomboy64@user/tomboy64)
2023-03-28 22:56:19 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-03-28 23:03:28 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-03-28 23:08:14 +0200lagash(lagash@lagash.shelltalk.net)
2023-03-28 23:09:27 +0200tomboy65(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2023-03-28 23:09:41 +0200tomboy64(~tomboy64@user/tomboy64)
2023-03-28 23:14:27 +0200captnemo(~captnemo@193.32.127.232)
2023-03-28 23:15:13 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-03-28 23:19:52 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds)
2023-03-28 23:20:19 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-28 23:20:47 +0200tomboy64(~tomboy64@user/tomboy64) (Remote host closed the connection)
2023-03-28 23:21:09 +0200tomboy64(~tomboy64@user/tomboy64)
2023-03-28 23:22:11 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-28 23:37:25 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-03-28 23:37:44 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-28 23:39:03 +0200captnemo(~captnemo@193.32.127.232) (Quit: WeeChat 3.8)
2023-03-28 23:44:56 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-03-28 23:47:22 +0200tomboy64(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2023-03-28 23:47:27 +0200tomboy65(~tomboy64@user/tomboy64)
2023-03-28 23:48:52 +0200merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds)
2023-03-28 23:56:05 +0200trev(~trev@user/trev) (Remote host closed the connection)