2022/10/23

2022-10-23 00:01:21 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-10-23 00:01:26 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-23 00:02:42 +0200ddellacosta(~ddellacos@static-198-44-136-122.cust.tzulo.com) (Ping timeout: 250 seconds)
2022-10-23 00:03:19 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-10-23 00:05:01 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 00:05:50 +0200libertyprime(~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz)
2022-10-23 00:07:02 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-10-23 00:10:57 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-10-23 00:12:40 +0200acidjnk_new(~acidjnk@p54ad5adb.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-10-23 00:15:16 +0200axeman(~quassel@2a02:8109:a380:78:9f8:88b5:58b5:d2f3) (Ping timeout: 250 seconds)
2022-10-23 00:16:02 +0200danza(~francesco@151.47.244.161) (Ping timeout: 260 seconds)
2022-10-23 00:18:23 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 272 seconds)
2022-10-23 00:18:57 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 00:19:14 +0200finsternis(~X@23.226.237.192) (Read error: Connection reset by peer)
2022-10-23 00:20:01 +0200ddellaco1(~ddellacos@89.46.62.208)
2022-10-23 00:20:50 +0200ddellacosta(~ddellacos@143.244.47.100) (Read error: Connection reset by peer)
2022-10-23 00:24:47 +0200ddellaco1(~ddellacos@89.46.62.208) (Ping timeout: 260 seconds)
2022-10-23 00:26:20 +0200ddellaco1(~ddellacos@86.106.143.78)
2022-10-23 00:29:34 +0200danza(~francesco@151.35.229.54)
2022-10-23 00:32:20 +0200ddellaco1(~ddellacos@86.106.143.78) (Ping timeout: 276 seconds)
2022-10-23 00:33:39 +0200ddellaco1(~ddellacos@89.45.224.156)
2022-10-23 00:40:47 +0200ddellaco1(~ddellacos@89.45.224.156) (Ping timeout: 276 seconds)
2022-10-23 00:40:58 +0200axeman(~quassel@2a02:8109:a380:78:74ba:3d8f:a5d1:3e54)
2022-10-23 00:46:36 +0200nate2(~nate@98.45.169.16)
2022-10-23 00:47:42 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2022-10-23 00:50:15 +0200caryhartline(~caryhartl@2600:1700:2d0:8d30:1de3:eafb:1234:ef2b)
2022-10-23 00:56:09 +0200titibandit(~titibandi@xdsl-78-34-208-230.nc.de) (Remote host closed the connection)
2022-10-23 01:02:23 +0200redmp(~redmp@mobile-166-137-178-163.mycingular.net)
2022-10-23 01:05:13 +0200birdgoose(~birdgoose@151.210.175.160)
2022-10-23 01:06:27 +0200Lycurgus(~juan@user/Lycurgus)
2022-10-23 01:14:23 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-10-23 01:19:40 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130)
2022-10-23 01:23:48 +0200birdgoose(~birdgoose@151.210.175.160) (Quit: Iridium IRC Client)
2022-10-23 01:24:15 +0200nate2(~nate@98.45.169.16) (Ping timeout: 272 seconds)
2022-10-23 01:30:08 +0200Guest1(~Guest1@91.100.100.200.generic-hostname.arrownet.dk)
2022-10-23 01:31:48 +0200bob(~bob@91.100.100.200.generic-hostname.arrownet.dk)
2022-10-23 01:34:17 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) (Remote host closed the connection)
2022-10-23 01:39:43 +0200Guest1(~Guest1@91.100.100.200.generic-hostname.arrownet.dk) (Quit: Client closed)
2022-10-23 01:41:59 +0200bob(~bob@91.100.100.200.generic-hostname.arrownet.dk) ()
2022-10-23 01:43:46 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8)
2022-10-23 01:44:06 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org)
2022-10-23 01:46:02 +0200axeman(~quassel@2a02:8109:a380:78:74ba:3d8f:a5d1:3e54) (Ping timeout: 272 seconds)
2022-10-23 01:53:27 +0200mmhat(~mmh@p200300f1c7337734ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7)
2022-10-23 01:53:28 +0200Tuplanolla(~Tuplanoll@91-159-68-210.elisa-laajakaista.fi) (Quit: Leaving.)
2022-10-23 01:54:59 +0200haritz(~hrtz@user/haritz) (Remote host closed the connection)
2022-10-23 01:59:17 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-10-23 01:59:51 +0200zebrag(~chris@user/zebrag)
2022-10-23 02:01:47 +0200jludwig(~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in)
2022-10-23 02:03:31 +0200redmp(~redmp@mobile-166-137-178-163.mycingular.net) (Ping timeout: 272 seconds)
2022-10-23 02:05:38 +0200thyriaen(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Quit: Leaving)
2022-10-23 02:08:09 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-10-23 02:09:39 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 248 seconds)
2022-10-23 02:09:47 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 02:10:32 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-10-23 02:12:09 +0200ksu(~ksu@user/prtr) (Ping timeout: 255 seconds)
2022-10-23 02:12:26 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 02:12:34 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-10-23 02:13:05 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 276 seconds)
2022-10-23 02:14:23 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 276 seconds)
2022-10-23 02:16:47 +0200danza(~francesco@151.35.229.54) (Read error: Connection reset by peer)
2022-10-23 02:17:49 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-10-23 02:20:41 +0200ksu(~ksu@user/prtr)
2022-10-23 02:21:03 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com)
2022-10-23 02:24:13 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-10-23 02:25:19 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-10-23 02:26:25 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 02:30:07 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-10-23 02:33:04 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds)
2022-10-23 02:33:37 +0200danza(~francesco@151.35.229.54)
2022-10-23 02:36:39 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 02:38:16 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds)
2022-10-23 02:38:44 +0200ddellacosta(~ddellacos@89.45.224.65)
2022-10-23 02:38:45 +0200nate2(~nate@98.45.169.16)
2022-10-23 02:40:38 +0200TonyStone(~TonyStone@74.76.51.197) (Remote host closed the connection)
2022-10-23 02:42:56 +0200TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-10-23 02:49:33 +0200Topsi(~Topsi@dyndsl-095-033-094-034.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2022-10-23 02:51:46 +0200pgray_(~pgray@c-24-143-114-36.customer.broadstripe.net) (Quit: pgray_)
2022-10-23 02:53:00 +0200ddellacosta(~ddellacos@89.45.224.65) (Ping timeout: 250 seconds)
2022-10-23 02:54:37 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds)
2022-10-23 02:55:22 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 02:55:50 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) (Remote host closed the connection)
2022-10-23 02:56:48 +0200ec(~ec@gateway/tor-sasl/ec)
2022-10-23 02:59:56 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 250 seconds)
2022-10-23 03:00:21 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 03:03:14 +0200talismanick(~talismani@76.133.152.122)
2022-10-23 03:06:51 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 272 seconds)
2022-10-23 03:08:40 +0200ddellacosta(~ddellacos@89.45.224.39)
2022-10-23 03:10:23 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-10-23 03:13:27 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2022-10-23 03:14:01 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-10-23 03:16:32 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-10-23 03:16:49 +0200king_gs(~Thunderbi@187.201.131.180)
2022-10-23 03:18:02 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-10-23 03:18:15 +0200ddellacosta(~ddellacos@89.45.224.39) (Ping timeout: 272 seconds)
2022-10-23 03:18:15 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 03:20:00 +0200ddellacosta(~ddellacos@89.45.224.78)
2022-10-23 03:20:22 +0200finsternis(~X@23.226.237.192)
2022-10-23 03:21:44 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 03:26:29 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds)
2022-10-23 03:31:26 +0200Feuermagier_(~Feuermagi@84.17.49.85)
2022-10-23 03:32:54 +0200redmp(~redmp@mobile-166-137-178-167.mycingular.net)
2022-10-23 03:33:02 +0200Kaipei(~Kaiepi@108.175.84.104) (Ping timeout: 276 seconds)
2022-10-23 03:33:27 +0200jludwig(~justin@li657-110.members.linode.com)
2022-10-23 03:34:20 +0200Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 276 seconds)
2022-10-23 03:36:45 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2022-10-23 03:39:19 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-10-23 03:40:25 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 03:44:59 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit)
2022-10-23 03:45:00 +0200beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 250 seconds)
2022-10-23 03:46:47 +0200king_gs(~Thunderbi@187.201.131.180) (Read error: Connection reset by peer)
2022-10-23 03:47:08 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 03:47:19 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0)
2022-10-23 03:50:05 +0200caryhartline(~caryhartl@2600:1700:2d0:8d30:1de3:eafb:1234:ef2b) (Quit: caryhartline)
2022-10-23 03:55:20 +0200causal(~user@50.35.83.177)
2022-10-23 03:56:20 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8)
2022-10-23 04:00:36 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) (Ping timeout: 250 seconds)
2022-10-23 04:02:35 +0200ddellacosta(~ddellacos@89.45.224.78) (Ping timeout: 272 seconds)
2022-10-23 04:04:20 +0200ddellacosta(~ddellacos@static-198-44-136-90.cust.tzulo.com)
2022-10-23 04:06:59 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-10-23 04:09:17 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 04:10:12 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8)
2022-10-23 04:11:26 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 250 seconds)
2022-10-23 04:13:21 +0200danza(~francesco@151.35.229.54) (Read error: Connection reset by peer)
2022-10-23 04:14:02 +0200td_(~td@83.135.9.28) (Ping timeout: 260 seconds)
2022-10-23 04:15:48 +0200td_(~td@83.135.9.27)
2022-10-23 04:16:27 +0200libertyprime(~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Quit: leaving)
2022-10-23 04:17:30 +0200ddellacosta(~ddellacos@static-198-44-136-90.cust.tzulo.com) (Ping timeout: 250 seconds)
2022-10-23 04:18:59 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-23 04:19:40 +0200ddellacosta(~ddellacos@89.45.224.156)
2022-10-23 04:24:00 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds)
2022-10-23 04:25:30 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-10-23 04:25:30 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-10-23 04:25:30 +0200wroathe(~wroathe@user/wroathe)
2022-10-23 04:26:39 +0200ddellacosta(~ddellacos@89.45.224.156) (Ping timeout: 272 seconds)
2022-10-23 04:26:50 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-10-23 04:26:51 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-10-23 04:27:59 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 04:28:35 +0200danza(~francesco@151.34.178.230)
2022-10-23 04:30:22 +0200c209e6dc-4d76-47(~aditya@2601:249:4300:1296:195:dac6:592c:a55a)
2022-10-23 04:30:34 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-10-23 04:30:41 +0200 <c209e6dc-4d76-47> has anyone used haskell-hood recently, I was trying to write some code using it
2022-10-23 04:30:45 +0200 <c209e6dc-4d76-47> Hugs.Observe
2022-10-23 04:30:59 +0200 <c209e6dc-4d76-47> https://hackage.haskell.org/package/hood
2022-10-23 04:33:37 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 272 seconds)
2022-10-23 04:35:19 +0200ddellacosta(~ddellacos@86.106.143.234)
2022-10-23 04:39:24 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-10-23 04:40:08 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-10-23 04:41:11 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-10-23 04:41:56 +0200ddellacosta(~ddellacos@86.106.143.234) (Ping timeout: 276 seconds)
2022-10-23 04:43:39 +0200ddellacosta(~ddellacos@86.106.143.169)
2022-10-23 04:43:57 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-23 04:51:05 +0200mvk(~mvk@2607:fea8:5ce3:8500::a80f)
2022-10-23 04:54:17 +0200ddellacosta(~ddellacos@86.106.143.169) (Ping timeout: 260 seconds)
2022-10-23 04:55:57 +0200ddellacosta(~ddellacos@89.46.62.221)
2022-10-23 04:56:29 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-10-23 05:00:25 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 05:01:14 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-23 05:01:17 +0200zmt00(~zmt00@user/zmt00)
2022-10-23 05:03:26 +0200ddellacosta(~ddellacos@89.46.62.221) (Ping timeout: 250 seconds)
2022-10-23 05:04:44 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds)
2022-10-23 05:05:37 +0200ddellacosta(~ddellacos@89.45.224.156)
2022-10-23 05:10:21 +0200ddellacosta(~ddellacos@89.45.224.156) (Ping timeout: 272 seconds)
2022-10-23 05:11:57 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 05:19:20 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 05:19:43 +0200Guest8493(~l@93-103-228-248.dynamic.t-2.net)
2022-10-23 05:21:12 +0200Guest8493(~l@93-103-228-248.dynamic.t-2.net) (Client Quit)
2022-10-23 05:21:54 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2022-10-23 05:25:33 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 272 seconds)
2022-10-23 05:25:57 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 05:26:39 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-10-23 05:26:57 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-23 05:28:55 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 05:33:20 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 250 seconds)
2022-10-23 05:35:16 +0200ddellacosta(~ddellacos@86.106.143.221)
2022-10-23 05:39:05 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-10-23 05:39:50 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-10-23 05:50:26 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-10-23 05:51:42 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 05:52:26 +0200c209e6dc-4d76-47(~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!)
2022-10-23 05:54:44 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 276 seconds)
2022-10-23 05:56:02 +0200ddellacosta(~ddellacos@86.106.143.221) (Ping timeout: 276 seconds)
2022-10-23 05:57:36 +0200ddellacosta(~ddellacos@89.45.224.117)
2022-10-23 05:58:39 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-10-23 05:59:05 +0200dsrt^(~dsrt@c-76-17-6-165.hsd1.ga.comcast.net)
2022-10-23 06:01:02 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 06:01:16 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-10-23 06:03:33 +0200ddellacosta(~ddellacos@89.45.224.117) (Ping timeout: 272 seconds)
2022-10-23 06:04:56 +0200ddellacosta(~ddellacos@89.45.224.208)
2022-10-23 06:06:02 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-23 06:07:09 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-10-23 06:08:15 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 06:09:51 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 06:11:47 +0200redmp(~redmp@mobile-166-137-178-167.mycingular.net) (Ping timeout: 272 seconds)
2022-10-23 06:13:03 +0200redmp(~redmp@mobile-166-170-43-255.mycingular.net)
2022-10-23 06:13:37 +0200ddellacosta(~ddellacos@89.45.224.208) (Ping timeout: 260 seconds)
2022-10-23 06:15:16 +0200ddellacosta(~ddellacos@89.45.224.65)
2022-10-23 06:21:26 +0200ddellacosta(~ddellacos@89.45.224.65) (Ping timeout: 250 seconds)
2022-10-23 06:23:36 +0200ddellacosta(~ddellacos@89.45.224.39)
2022-10-23 06:31:10 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-10-23 06:41:32 +0200ddellacosta(~ddellacos@89.45.224.39) (Ping timeout: 276 seconds)
2022-10-23 06:42:55 +0200ddellacosta(~ddellacos@86.106.143.247)
2022-10-23 06:44:50 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds)
2022-10-23 06:46:56 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 06:48:31 +0200nate2(~nate@98.45.169.16) (Ping timeout: 272 seconds)
2022-10-23 06:52:31 +0200HackingSpring(~haru@201-27-75-20.dsl.telesp.net.br) (Remote host closed the connection)
2022-10-23 06:56:11 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 07:04:46 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds)
2022-10-23 07:11:35 +0200mvk(~mvk@2607:fea8:5ce3:8500::a80f) (Ping timeout: 272 seconds)
2022-10-23 07:14:51 +0200nate2(~nate@98.45.169.16)
2022-10-23 07:16:06 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 07:21:13 +0200moneyGuest2631
2022-10-23 07:21:14 +0200ddellacosta(~ddellacos@86.106.143.247) (Ping timeout: 250 seconds)
2022-10-23 07:22:58 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds)
2022-10-23 07:23:15 +0200ddellacosta(~ddellacos@86.106.143.156)
2022-10-23 07:26:37 +0200Feuermagier_(~Feuermagi@84.17.49.85) (Quit: Leaving)
2022-10-23 07:27:44 +0200ddellacosta(~ddellacos@86.106.143.156) (Ping timeout: 250 seconds)
2022-10-23 07:29:34 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 07:33:32 +0200nate2(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2022-10-23 07:33:32 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds)
2022-10-23 07:39:22 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 260 seconds)
2022-10-23 07:41:14 +0200ddellacosta(~ddellacos@89.46.62.182)
2022-10-23 07:42:24 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com)
2022-10-23 07:43:59 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-10-23 07:45:05 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 07:52:26 +0200ddellacosta(~ddellacos@89.46.62.182) (Ping timeout: 250 seconds)
2022-10-23 07:54:32 +0200ddellacosta(~ddellacos@89.45.224.221)
2022-10-23 07:56:43 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2022-10-23 07:58:49 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 08:00:32 +0200Neuromancer(~Neuromanc@user/neuromancer)
2022-10-23 08:00:40 +0200ddellacosta(~ddellacos@89.45.224.221) (Ping timeout: 250 seconds)
2022-10-23 08:02:51 +0200ddellacosta(~ddellacos@89.45.224.143)
2022-10-23 08:06:02 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 276 seconds)
2022-10-23 08:15:47 +0200ddellacosta(~ddellacos@89.45.224.143) (Ping timeout: 276 seconds)
2022-10-23 08:17:11 +0200ddellacosta(~ddellacos@89.45.224.182)
2022-10-23 08:21:28 +0200ddellacosta(~ddellacos@89.45.224.182) (Ping timeout: 250 seconds)
2022-10-23 08:21:31 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-10-23 08:22:42 +0200lechner(lechner@debian/lechner) (Quit: WeeChat 3.5)
2022-10-23 08:23:31 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 08:25:39 +0200lechner(lechner@debian/lechner)
2022-10-23 08:29:13 +0200mixfix41(~sdenynine@user/mixfix41)
2022-10-23 08:29:20 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 08:31:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-23 08:32:02 +0200danza(~francesco@151.34.178.230) (Ping timeout: 276 seconds)
2022-10-23 08:34:17 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds)
2022-10-23 08:37:14 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 276 seconds)
2022-10-23 08:38:51 +0200ddellacosta(~ddellacos@89.45.224.221)
2022-10-23 08:42:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-23 08:45:00 +0200danza(~francesco@151.47.17.54)
2022-10-23 08:47:02 +0200ddellacosta(~ddellacos@89.45.224.221) (Ping timeout: 250 seconds)
2022-10-23 08:49:11 +0200ddellacosta(~ddellacos@89.45.224.130)
2022-10-23 08:53:08 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 08:54:47 +0200ddellacosta(~ddellacos@89.45.224.130) (Ping timeout: 276 seconds)
2022-10-23 08:56:31 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 08:58:21 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds)
2022-10-23 08:59:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-23 09:01:21 +0200Kaipei(~Kaiepi@108.175.84.104)
2022-10-23 09:03:14 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 276 seconds)
2022-10-23 09:04:51 +0200ddellacosta(~ddellacos@89.45.224.169)
2022-10-23 09:09:44 +0200ddellacosta(~ddellacos@89.45.224.169) (Ping timeout: 276 seconds)
2022-10-23 09:11:11 +0200ddellacosta(~ddellacos@static-198-44-136-58.cust.tzulo.com)
2022-10-23 09:18:20 +0200gmg(~user@user/gehmehgeh)
2022-10-23 09:21:45 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) (Remote host closed the connection)
2022-10-23 09:30:48 +0200redmp(~redmp@mobile-166-170-43-255.mycingular.net) (Ping timeout: 250 seconds)
2022-10-23 09:35:43 +0200ddellacosta(~ddellacos@static-198-44-136-58.cust.tzulo.com) (Ping timeout: 272 seconds)
2022-10-23 09:37:33 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 09:40:32 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 09:43:02 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 260 seconds)
2022-10-23 09:43:53 +0200ddellacosta(~ddellacos@89.45.224.100)
2022-10-23 09:45:22 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-23 09:48:17 +0200ddellacosta(~ddellacos@89.45.224.100) (Ping timeout: 260 seconds)
2022-10-23 09:49:44 +0200titibandit(~titibandi@xdsl-78-34-208-230.nc.de)
2022-10-23 09:50:13 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 09:51:17 +0200boxscape_(~boxscape_@81.191.27.107) (Ping timeout: 244 seconds)
2022-10-23 09:51:34 +0200zeenk(~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494)
2022-10-23 09:52:11 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-10-23 09:55:59 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 272 seconds)
2022-10-23 09:57:33 +0200ddellacosta(~ddellacos@89.46.62.247)
2022-10-23 09:58:39 +0200acidjnk_new(~acidjnk@p200300d6e7137a6870d7973616f09967.dip0.t-ipconnect.de)
2022-10-23 10:02:16 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 10:04:08 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net)
2022-10-23 10:05:00 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-23 10:05:01 +0200nate2(~nate@98.45.169.16)
2022-10-23 10:05:23 +0200Tuplanolla(~Tuplanoll@91-159-68-210.elisa-laajakaista.fi)
2022-10-23 10:05:29 +0200ddellacosta(~ddellacos@89.46.62.247) (Ping timeout: 272 seconds)
2022-10-23 10:06:54 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 10:08:53 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 276 seconds)
2022-10-23 10:08:56 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds)
2022-10-23 10:10:11 +0200nate2(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2022-10-23 10:12:34 +0200razetime(~quassel@49.207.192.79)
2022-10-23 10:13:42 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds)
2022-10-23 10:14:37 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 10:16:36 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds)
2022-10-23 10:16:43 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2022-10-23 10:16:59 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 258 seconds)
2022-10-23 10:19:55 +0200gmg(~user@user/gehmehgeh)
2022-10-23 10:22:13 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8)
2022-10-23 10:23:31 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Quit: king_gs)
2022-10-23 10:26:23 +0200talismanick(~talismani@76.133.152.122) (Ping timeout: 272 seconds)
2022-10-23 10:27:16 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) (Ping timeout: 272 seconds)
2022-10-23 10:40:44 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 276 seconds)
2022-10-23 10:42:14 +0200ddellacosta(~ddellacos@86.106.143.91)
2022-10-23 10:43:43 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection)
2022-10-23 10:43:45 +0200mmhat(~mmh@p200300f1c7307630ee086bfffe095315.dip0.t-ipconnect.de)
2022-10-23 10:44:10 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-23 10:44:34 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-10-23 10:45:41 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-23 10:47:12 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-10-23 10:49:49 +0200ddellacosta(~ddellacos@86.106.143.91) (Ping timeout: 272 seconds)
2022-10-23 10:51:33 +0200ddellacosta(~ddellacos@static-198-44-136-58.cust.tzulo.com)
2022-10-23 10:51:35 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 10:56:59 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 276 seconds)
2022-10-23 10:57:05 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0)
2022-10-23 10:57:24 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-10-23 10:59:11 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-10-23 11:01:27 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds)
2022-10-23 11:03:31 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-10-23 11:08:25 +0200xff0x(~xff0x@2405:6580:b080:900:4f5c:e38d:5cfe:423) (Remote host closed the connection)
2022-10-23 11:08:43 +0200xff0x(~xff0x@2405:6580:b080:900:5aef:465a:6bf7:395b)
2022-10-23 11:13:08 +0200ccapndave(~ccapndave@2a02:1210:2cef:7300:a5e7:7c1b:f8fb:2e8f)
2022-10-23 11:14:45 +0200ubert1(~Thunderbi@178.115.71.141.wireless.dyn.drei.com)
2022-10-23 11:17:08 +0200ubert(~Thunderbi@91.141.38.108.wireless.dyn.drei.com) (Ping timeout: 276 seconds)
2022-10-23 11:17:08 +0200ubert1ubert
2022-10-23 11:20:20 +0200ccapndave(~ccapndave@2a02:1210:2cef:7300:a5e7:7c1b:f8fb:2e8f) (Quit: Textual IRC Client: www.textualapp.com)
2022-10-23 11:21:28 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 11:27:52 +0200axeman(~quassel@2a02:8109:a380:78:b129:3043:924a:45dd)
2022-10-23 11:30:09 +0200Vajb(~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer)
2022-10-23 11:30:44 +0200Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi)
2022-10-23 11:30:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-23 11:36:41 +0200Guest2631polo
2022-10-23 11:39:09 +0200Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-10-23 11:39:14 +0200ddellacosta(~ddellacos@static-198-44-136-58.cust.tzulo.com) (Ping timeout: 276 seconds)
2022-10-23 11:40:48 +0200axeman(~quassel@2a02:8109:a380:78:b129:3043:924a:45dd) (Ping timeout: 250 seconds)
2022-10-23 11:40:53 +0200ddellacosta(~ddellacos@89.45.224.130)
2022-10-23 11:43:47 +0200razetime(~quassel@49.207.192.79) (Ping timeout: 276 seconds)
2022-10-23 11:46:00 +0200Vajb(~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57)
2022-10-23 11:46:23 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 276 seconds)
2022-10-23 11:51:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-23 11:52:30 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-10-23 11:55:52 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-10-23 11:57:42 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-10-23 12:05:13 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-10-23 12:07:43 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 12:08:31 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2022-10-23 12:10:14 +0200jakalx(~jakalx@base.jakalx.net)
2022-10-23 12:19:32 +0200razetime(~quassel@49.207.192.79)
2022-10-23 12:25:10 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130)
2022-10-23 12:29:17 +0200danza(~francesco@151.47.17.54) (Read error: Connection reset by peer)
2022-10-23 12:37:32 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-10-23 12:41:01 +0200jakalx(~jakalx@base.jakalx.net)
2022-10-23 12:41:30 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds)
2022-10-23 12:43:22 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-10-23 12:43:35 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 276 seconds)
2022-10-23 12:43:55 +0200danza(~francesco@151.35.225.15)
2022-10-23 12:49:18 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-10-23 12:56:19 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 12:59:51 +0200darkstardevx(~darkstard@50.126.124.156) (Remote host closed the connection)
2022-10-23 13:00:37 +0200darkstardevx(~darkstard@50.126.124.156)
2022-10-23 13:05:30 +0200[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2022-10-23 13:05:44 +0200[Leary](~Leary]@user/Leary/x-0910699)
2022-10-23 13:09:07 +0200mmhat(~mmh@p200300f1c7307630ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1)
2022-10-23 13:25:20 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8)
2022-10-23 13:29:34 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) (Ping timeout: 250 seconds)
2022-10-23 13:32:05 +0200axeman(~quassel@2a02:8109:a380:78:22eb:d1aa:6219:6805)
2022-10-23 13:37:39 +0200danza(~francesco@151.35.225.15) (Read error: Connection reset by peer)
2022-10-23 13:41:29 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-10-23 13:46:31 +0200ddellacosta(~ddellacos@89.45.224.130) (Ping timeout: 272 seconds)
2022-10-23 13:46:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-23 13:48:12 +0200ddellacosta(~ddellacos@89.45.224.65)
2022-10-23 13:48:25 +0200titibandit(~titibandi@xdsl-78-34-208-230.nc.de) (Ping timeout: 272 seconds)
2022-10-23 13:50:28 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-10-23 13:52:48 +0200danza(~francesco@151.34.191.244)
2022-10-23 13:55:44 +0200acidjnk_new(~acidjnk@p200300d6e7137a6870d7973616f09967.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2022-10-23 14:01:38 +0200ddellacosta(~ddellacos@89.45.224.65) (Ping timeout: 250 seconds)
2022-10-23 14:02:27 +0200titibandit(~titibandi@xdsl-87-78-36-34.nc.de)
2022-10-23 14:03:31 +0200ddellacosta(~ddellacos@89.45.224.208)
2022-10-23 14:06:31 +0200nate2(~nate@98.45.169.16)
2022-10-23 14:07:16 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-23 14:08:44 +0200ddellacosta(~ddellacos@89.45.224.208) (Ping timeout: 276 seconds)
2022-10-23 14:09:51 +0200ddellacosta(~ddellacos@89.45.224.100)
2022-10-23 14:11:26 +0200coot(~coot@213.134.171.3)
2022-10-23 14:11:59 +0200nate2(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2022-10-23 14:13:28 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net)
2022-10-23 14:14:37 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Quit: king_gs)
2022-10-23 14:14:52 +0200king_gs(~Thunderbi@187.201.131.180)
2022-10-23 14:15:01 +0200ddellacosta(~ddellacos@89.45.224.100) (Ping timeout: 272 seconds)
2022-10-23 14:15:50 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-10-23 14:16:10 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 14:18:58 +0200 <geekosaur> @tell c209e6dc-4d76-47> hood is badly bitrotted, and I would expect the Hugs.* modules to only work with Hugs, not GHC
2022-10-23 14:18:58 +0200 <lambdabot> Consider it noted.
2022-10-23 14:19:14 +0200 <geekosaur> @tell c209e6dc-4d76-47 hood is badly bitrotted, and I would expect the Hugs.* modules to only work with Hugs, not GHC
2022-10-23 14:19:15 +0200 <lambdabot> Consider it noted.
2022-10-23 14:20:16 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 250 seconds)
2022-10-23 14:23:02 +0200dsrt^(~dsrt@c-76-17-6-165.hsd1.ga.comcast.net) (Ping timeout: 276 seconds)
2022-10-23 14:23:44 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds)
2022-10-23 14:23:52 +0200ddellacosta(~ddellacos@86.106.143.117)
2022-10-23 14:26:03 +0200poloGuest1119
2022-10-23 14:28:17 +0200ddellacosta(~ddellacos@86.106.143.117) (Ping timeout: 260 seconds)
2022-10-23 14:28:32 +0200acidjnk(~acidjnk@p200300d6e7137a6881cc9f6a6a8f07a5.dip0.t-ipconnect.de)
2022-10-23 14:28:59 +0200jtomas(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net)
2022-10-23 14:30:12 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-10-23 14:32:07 +0200`2jt(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 272 seconds)
2022-10-23 14:33:34 +0200coot(~coot@213.134.171.3) (Quit: coot)
2022-10-23 14:35:24 +0200king_gs(~Thunderbi@187.201.131.180) (Read error: Connection reset by peer)
2022-10-23 14:35:53 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0)
2022-10-23 14:37:37 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 260 seconds)
2022-10-23 14:37:55 +0200zeenk(~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!)
2022-10-23 14:39:32 +0200ddellacosta(~ddellacos@89.45.224.78)
2022-10-23 14:45:03 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-23 14:45:50 +0200ddellacosta(~ddellacos@89.45.224.78) (Ping timeout: 250 seconds)
2022-10-23 14:47:51 +0200ddellacosta(~ddellacos@89.45.224.221)
2022-10-23 14:52:22 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-10-23 14:59:16 +0200ddellacosta(~ddellacos@89.45.224.221) (Ping timeout: 250 seconds)
2022-10-23 15:02:54 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-10-23 15:05:12 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 264 seconds)
2022-10-23 15:05:55 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-10-23 15:06:03 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Remote host closed the connection)
2022-10-23 15:08:57 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-10-23 15:15:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-23 15:16:41 +0200arahael(~arahael@14-202-55-135.tpgi.com.au) (Ping timeout: 260 seconds)
2022-10-23 15:17:23 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-10-23 15:18:23 +0200titibandit(~titibandi@xdsl-87-78-36-34.nc.de) (Quit: Leaving.)
2022-10-23 15:19:18 +0200random-jellyfish(~random-je@user/random-jellyfish)
2022-10-23 15:20:23 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2022-10-23 15:22:54 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal)
2022-10-23 15:24:03 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Remote host closed the connection)
2022-10-23 15:24:22 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0)
2022-10-23 15:24:40 +0200king_gs(~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Client Quit)
2022-10-23 15:38:08 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-10-23 15:39:44 +0200acidjnk(~acidjnk@p200300d6e7137a6881cc9f6a6a8f07a5.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2022-10-23 15:41:45 +0200phma(~phma@host-67-44-208-165.hnremote.net) (Read error: Connection reset by peer)
2022-10-23 15:42:30 +0200phma(phma@2001:5b0:211b:8ac8:bff1:e65f:43d1:3dd5)
2022-10-23 15:46:30 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 250 seconds)
2022-10-23 15:48:54 +0200cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2022-10-23 15:49:30 +0200boxscape_(~boxscape_@81.191.27.107)
2022-10-23 15:52:01 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-10-23 15:52:33 +0200jakalx(~jakalx@base.jakalx.net)
2022-10-23 15:52:55 +0200Guest1119(sid532813@user/polo) ()
2022-10-23 15:59:19 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 16:07:27 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-10-23 16:15:57 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-10-23 16:16:15 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 272 seconds)
2022-10-23 16:16:49 +0200jakalx(~jakalx@base.jakalx.net)
2022-10-23 16:17:15 +0200jtomas(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 272 seconds)
2022-10-23 16:17:56 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-10-23 16:25:10 +0200dsrt^(~dsrt@c-76-17-6-165.hsd1.ga.comcast.net)
2022-10-23 16:27:08 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-23 16:28:01 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8)
2022-10-23 16:29:28 +0200chomwitt(~chomwitt@2a02:587:dc10:8200:1ac0:4dff:fedb:a3f1)
2022-10-23 16:30:52 +0200coot(~coot@213.134.171.3)
2022-10-23 16:32:26 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) (Ping timeout: 250 seconds)
2022-10-23 16:32:32 +0200monochrom(trebla@216.138.220.146) (Ping timeout: 260 seconds)
2022-10-23 16:33:02 +0200axeman(~quassel@2a02:8109:a380:78:22eb:d1aa:6219:6805) (Ping timeout: 276 seconds)
2022-10-23 16:39:29 +0200axeman(~quassel@2a02:8109:a380:78:b56d:ab19:e64e:a8d7)
2022-10-23 16:45:01 +0200coot(~coot@213.134.171.3) (Quit: coot)
2022-10-23 16:53:48 +0200dsrt^(~dsrt@c-76-17-6-165.hsd1.ga.comcast.net) (Remote host closed the connection)
2022-10-23 17:01:02 +0200beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-23 17:02:40 +0200titibandit(~titibandi@xdsl-87-78-36-34.nc.de)
2022-10-23 17:02:50 +0200titibandit(~titibandi@xdsl-87-78-36-34.nc.de) (Remote host closed the connection)
2022-10-23 17:03:24 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2022-10-23 17:04:12 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-23 17:05:07 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-10-23 17:08:42 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 260 seconds)
2022-10-23 17:12:05 +0200random-jellyfish(~random-je@user/random-jellyfish) (Quit: Client closed)
2022-10-23 17:13:07 +0200monochrom(trebla@216.138.220.146)
2022-10-23 17:13:20 +0200cheater(~Username@user/cheater)
2022-10-23 17:14:31 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 272 seconds)
2022-10-23 17:14:53 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8)
2022-10-23 17:20:14 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-10-23 17:20:29 +0200acidjnk(~acidjnk@p200300d6e7137a39185a556c4ffa1a9f.dip0.t-ipconnect.de)
2022-10-23 17:24:24 +0200nisstyre(wes@2600:3c00::f03c:91ff:fe69:7f3d) (Changing host)
2022-10-23 17:24:24 +0200nisstyre(wes@user/nisstyre)
2022-10-23 17:24:32 +0200rburkholder(~blurb@96.45.2.121)
2022-10-23 17:34:45 +0200nate2(~nate@98.45.169.16)
2022-10-23 17:36:25 +0200boxscape_(~boxscape_@81.191.27.107) (Remote host closed the connection)
2022-10-23 17:37:31 +0200danza(~francesco@151.34.191.244) (Read error: Connection reset by peer)
2022-10-23 17:45:09 +0200boxscape_(~boxscape_@81.191.27.107)
2022-10-23 17:52:31 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-10-23 17:52:42 +0200jakalx(~jakalx@base.jakalx.net)
2022-10-23 17:52:50 +0200danza(~francesco@151.37.234.17)
2022-10-23 18:02:23 +0200nate2(~nate@98.45.169.16) (Ping timeout: 272 seconds)
2022-10-23 18:13:24 +0200axeman(~quassel@2a02:8109:a380:78:b56d:ab19:e64e:a8d7) (Ping timeout: 272 seconds)
2022-10-23 18:17:01 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-10-23 18:17:01 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-10-23 18:17:02 +0200wroathe(~wroathe@user/wroathe)
2022-10-23 18:20:46 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 250 seconds)
2022-10-23 18:25:47 +0200danza(~francesco@151.37.234.17) (Read error: Connection reset by peer)
2022-10-23 18:27:32 +0200__monty__(~toonn@user/toonn)
2022-10-23 18:29:27 +0200nate2(~nate@98.45.169.16)
2022-10-23 18:34:50 +0200polo(sid532813@user/polo)
2022-10-23 18:38:32 +0200nate2(~nate@98.45.169.16) (Ping timeout: 250 seconds)
2022-10-23 18:40:49 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 18:42:47 +0200danza(~francesco@151.37.234.17)
2022-10-23 18:54:29 +0200ezzieygu1wuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2022-10-23 18:56:39 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2022-10-23 19:03:16 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-10-23 19:12:35 +0200euandreh(~euandreh@179.214.113.107) (Quit: WeeChat 3.6)
2022-10-23 19:19:26 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 276 seconds)
2022-10-23 19:25:22 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 19:27:34 +0200econo(uid147250@user/econo)
2022-10-23 19:35:44 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds)
2022-10-23 19:40:31 +0200razetime(~quassel@49.207.192.79) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-10-23 19:43:08 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 19:45:26 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 276 seconds)
2022-10-23 19:46:48 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-23 19:47:57 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-23 19:49:45 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130)
2022-10-23 19:50:53 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 19:51:20 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-10-23 19:52:18 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 19:57:35 +0200acidjnk(~acidjnk@p200300d6e7137a39185a556c4ffa1a9f.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-10-23 19:57:54 +0200acidjnk(~acidjnk@p200300d6e7137a39185a556c4ffa1a9f.dip0.t-ipconnect.de)
2022-10-23 19:59:01 +0200monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2022-10-23 20:00:17 +0200wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-10-23 20:01:34 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-10-23 20:01:34 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-10-23 20:01:34 +0200wroathe(~wroathe@user/wroathe)
2022-10-23 20:01:56 +0200mmatt21e(~mmatt21e@98.27.13.138)
2022-10-23 20:02:56 +0200danza(~francesco@151.37.234.17) (Read error: Connection reset by peer)
2022-10-23 20:03:17 +0200mmatt21e(~mmatt21e@98.27.13.138) ()
2022-10-23 20:03:59 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 272 seconds)
2022-10-23 20:09:03 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds)
2022-10-23 20:11:09 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
2022-10-23 20:13:34 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-10-23 20:13:50 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-10-23 20:19:38 +0200danza(~francesco@151.37.234.17)
2022-10-23 20:20:03 +0200hrberg(~quassel@171.79-160-161.customer.lyse.net)
2022-10-23 20:20:37 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 20:21:01 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com)
2022-10-23 20:21:58 +0200hrberg(~quassel@171.79-160-161.customer.lyse.net) (Client Quit)
2022-10-23 20:22:17 +0200hrberg(~quassel@171.79-160-161.customer.lyse.net)
2022-10-23 20:22:54 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 20:26:47 +0200danza(~francesco@151.37.234.17) (Read error: Connection reset by peer)
2022-10-23 20:27:35 +0200michalz(~michalz@185.246.207.221)
2022-10-23 20:27:44 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 250 seconds)
2022-10-23 20:27:49 +0200AlexZenon(~alzenon@178.34.162.124) (Ping timeout: 246 seconds)
2022-10-23 20:28:20 +0200Alex_test(~al_test@178.34.162.124) (Ping timeout: 252 seconds)
2022-10-23 20:30:50 +0200poloGuest7754
2022-10-23 20:32:15 +0200mmhat(~mmh@p200300f1c7307630ee086bfffe095315.dip0.t-ipconnect.de)
2022-10-23 20:32:16 +0200talismanick(~talismani@2601:644:9380:5c00::2c58)
2022-10-23 20:32:35 +0200Alex_test(~al_test@178.34.162.124)
2022-10-23 20:32:48 +0200AlexZenon(~alzenon@178.34.162.124)
2022-10-23 20:33:00 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-10-23 20:33:56 +0200 <talismanick> Is `ghcup compile hls --git-ref master --ghc 9.2.4 -- -fbrittany` the correct command to rebuild the language server with the Brittany plugin enabled?
2022-10-23 20:36:09 +0200nate2(~nate@98.45.169.16)
2022-10-23 20:36:15 +0200Guest6(~Guest6@2a01cb0408ee9900a77feef9a14c5040.ipv6.abo.wanadoo.fr)
2022-10-23 20:36:51 +0200 <Guest6> Hello o/ If somebody has the time and the knowledges to help me, i encounter an issue :
2022-10-23 20:36:59 +0200 <Guest6>  I have a test suite that run in hspec-wai : https://github.com/hspec/hspec-wai#readme
2022-10-23 20:37:05 +0200 <Guest6>  In one of my test, i would like to make a regular assertation (hspec Expectation: https://hackage.haskell.org/package/hspec-expectations-0.8.2/docs/Test-Hspec-Expectations.html#v:s…), but it dont compile as a WaiExpectation is expected. How can i turn an Expectation into a WaiExpectation ?
2022-10-23 20:38:13 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 20:40:27 +0200nate2(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-10-23 20:40:27 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 260 seconds)
2022-10-23 20:42:56 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2022-10-23 20:43:19 +0200danza(~francesco@151.37.234.17)
2022-10-23 20:44:31 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 272 seconds)
2022-10-23 20:48:26 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 20:49:29 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-10-23 20:52:51 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-10-23 20:53:23 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 272 seconds)
2022-10-23 20:53:55 +0200Guest8464(~Guest84@194.5.53.76)
2022-10-23 20:54:16 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-10-23 20:54:41 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-10-23 20:55:15 +0200Guest8464(~Guest84@194.5.53.76) (Client Quit)
2022-10-23 20:56:30 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-10-23 20:56:45 +0200jakalx(~jakalx@base.jakalx.net)
2022-10-23 20:57:11 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 20:59:24 +0200talismanick(~talismani@2601:644:9380:5c00::2c58) (Remote host closed the connection)
2022-10-23 21:01:38 +0200ddellacosta(~ddellacos@89.45.224.143)
2022-10-23 21:03:16 +0200Guest16(~Guest16@p200300ef971835b5517f7031904fbb79.dip0.t-ipconnect.de)
2022-10-23 21:05:01 +0200 <Guest16> If Data.Text is an Array internally why is indexing a Char O(n)?
2022-10-23 21:05:54 +0200 <c_wraith> Guest16: because it's UTF-8
2022-10-23 21:06:00 +0200 <geekosaur> because a char is not guaranteed to be one cell
2022-10-23 21:06:08 +0200 <c_wraith> (or if you're on older versions, UTF-16)
2022-10-23 21:06:24 +0200 <Guest16> So it has to traverse the whole array understand where the n-th Char starts?
2022-10-23 21:06:33 +0200 <geekosaur> yes
2022-10-23 21:06:43 +0200 <[exa]> Guest16: sad truth about variable-length encodings, yes
2022-10-23 21:06:54 +0200 <Guest16> got it, thanks
2022-10-23 21:06:59 +0200 <c_wraith> Well. It has to traverse some prefix of the array.
2022-10-23 21:07:04 +0200 <c_wraith> But that could be up to the whole thing
2022-10-23 21:08:29 +0200 <Guest16> How do other languages handle this? Do they use a fixed-length encoding?
2022-10-23 21:08:32 +0200 <[exa]> Guest16: you might want to go with something like Vector Char or so. Also, I didn't check but I'd expect there might even be better structures for that
2022-10-23 21:08:37 +0200monochrom(trebla@216.138.220.146)
2022-10-23 21:09:21 +0200 <[exa]> Guest16: depends a lot on the language. For example Julia does: "ě"[2] => ERROR: StringIndexError: invalid index [2], valid nearby indices [1]=>'ě', [3]=>'ě'
2022-10-23 21:10:07 +0200 <Guest16> that's not good
2022-10-23 21:10:21 +0200Guest6(~Guest6@2a01cb0408ee9900a77feef9a14c5040.ipv6.abo.wanadoo.fr) (Quit: Client closed)
2022-10-23 21:10:26 +0200 <[exa]> not sure if it's better or worse than the silent ignorance of many other languages :D
2022-10-23 21:11:13 +0200 <c_wraith> java has different methods for returning a 16-bit char vs a 32-bit codepoint. the former is O(1), the latter O(n)
2022-10-23 21:11:14 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 276 seconds)
2022-10-23 21:11:35 +0200 <geekosaur> C/C++ will happily give you an internal byte without any warning
2022-10-23 21:11:35 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-23 21:11:41 +0200 <c_wraith> this matches up with Java using a utf-16 representation
2022-10-23 21:11:59 +0200 <[exa]> parseltongue indexes by byte too
2022-10-23 21:12:08 +0200 <Guest16> String really are more dangerous than I thought.
2022-10-23 21:12:40 +0200 <[exa]> Guest16: btw what's your usecase? there might be ways around
2022-10-23 21:13:24 +0200 <c_wraith> I laugh when people mock languages for having a lot of String types, because... it turns out you need a lot of String types if you want to write correct and efficient software
2022-10-23 21:13:48 +0200 <Guest16> exa: exercises like isPalindrome
2022-10-23 21:14:06 +0200 <c_wraith> exercises like that only make sense in a couple languages anyway
2022-10-23 21:14:21 +0200 <c_wraith> you never see someone talk about Arabic palindromes
2022-10-23 21:15:22 +0200 <c_wraith> if you're doing palindromes, you might as well specify you're only using a subset of ASCII. maybe 32-126.
2022-10-23 21:16:21 +0200 <Guest16> Is it a good idea to "Data.Vector.fromList str" and then operate on the Char Vector? I pay O(n) upfront but if it's safer.
2022-10-23 21:17:25 +0200 <[exa]> Guest16: that's actually a good exercise for Text.foldr'
2022-10-23 21:18:34 +0200 <[exa]> Guest16: anyway yeah if you _really_ need to randomly index stuff, converting to Vector is okay and the O(n) doesn't really hurt because you usually already paid the O(n) for loading the string.
2022-10-23 21:20:07 +0200 <[exa]> (there might be a packed variant of the Vector for chars)
2022-10-23 21:20:35 +0200 <tomsmeding> yeah, Char is Storable
2022-10-23 21:20:46 +0200 <Guest16> Does packed mean strict or no indirection?
2022-10-23 21:20:56 +0200 <tomsmeding> both
2022-10-23 21:21:07 +0200 <tomsmeding> but you can't get "no indirection" without "strict"
2022-10-23 21:21:24 +0200 <tomsmeding> https://hackage.haskell.org/package/vector-0.13.0.0/docs/Data-Vector-Storable.html
2022-10-23 21:22:07 +0200 <tomsmeding> a normal vector from Data.Vector still has a pointer to the heap element in each cell; a Data.Vector.Storable vector stores everything in one single byte buffer
2022-10-23 21:23:20 +0200 <[exa]> single byte?
2022-10-23 21:23:27 +0200 <tomsmeding> associativity
2022-10-23 21:23:29 +0200 <tomsmeding> single (byte buffer)
2022-10-23 21:23:32 +0200 <tomsmeding> not (single byte) buffer
2022-10-23 21:23:33 +0200 <tomsmeding> ;)
2022-10-23 21:23:54 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-10-23 21:23:55 +0200 <c_wraith> be careful with thinking Storable vectors are automatically efficient. you often end up calling functions that do a lot of marshalling and unmarshalling that... reapplies indirections.
2022-10-23 21:23:59 +0200 <[exa]> ok I got worried. :D
2022-10-23 21:24:11 +0200 <tomsmeding> [exa]: in your Julia example, how can indices 1 and 3 both yield ě
2022-10-23 21:24:28 +0200 <[exa]> tomsmeding: ě is 2 bytes, and the indexes........start at 1
2022-10-23 21:24:42 +0200 <tomsmeding> yeah but how can index 3 yield the same thing
2022-10-23 21:24:51 +0200 <[exa]> oh what wait
2022-10-23 21:24:57 +0200 <[exa]> my other ě disappeared
2022-10-23 21:25:06 +0200 <tomsmeding> oh the string had length 2? lol
2022-10-23 21:25:07 +0200 <[exa]> it was "ěěěěěěě"[2]
2022-10-23 21:25:10 +0200 <tomsmeding> :')
2022-10-23 21:25:17 +0200 <tomsmeding> right that makes more sense
2022-10-23 21:25:21 +0200 <[exa]> yap, sorry
2022-10-23 21:25:38 +0200 <[exa]> (strings are dangerous, disappear without warning)
2022-10-23 21:26:09 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 21:27:11 +0200 <Guest16> tomsmeding: How do I if GHC puts something on the stack or heap. Is it in the report?
2022-10-23 21:27:15 +0200 <Guest16> know
2022-10-23 21:27:58 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds)
2022-10-23 21:29:18 +0200pavonia(~user@user/siracusa)
2022-10-23 21:29:29 +0200Topsi(~Topsi@dyndsl-037-138-064-075.ewe-ip-backbone.de)
2022-10-23 21:29:30 +0200 <tomsmeding> Guest16: no, the report only says something about what the code should mean, not how the language should be implemented
2022-10-23 21:30:09 +0200 <tomsmeding> but in general, "unboxed" means that there is no separate heap allocation
2022-10-23 21:30:29 +0200 <tomsmeding> and the documentation here at the top shows the general interpretations of the various kinds of vectors https://hackage.haskell.org/package/vector
2022-10-23 21:32:27 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-23 21:32:55 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-23 21:37:14 +0200axeman(~quassel@2a02:8109:a380:78:66cd:7495:6f15:164c)
2022-10-23 21:39:44 +0200 <geekosaur> also "stack" isn't really a thing in GHC. there's a pattern matching stack, and there's a stack for FFI calls, but in general you don't have stuff on a stack like you would in other languages
2022-10-23 21:40:28 +0200 <geekosaur> evaluation of lazy languages follows a very different pattern than you're used to
2022-10-23 21:40:53 +0200danza(~francesco@151.37.234.17) (Ping timeout: 272 seconds)
2022-10-23 21:42:09 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 272 seconds)
2022-10-23 21:45:32 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 21:51:02 +0200rockystone(~rocky@user/rockymarine)
2022-10-23 21:53:20 +0200danza(~francesco@151.43.90.41)
2022-10-23 21:55:07 +0200 <isamiamsam> what hackage library data structure could i use to represent a non-empty sequence plus a valid index (iterator) into it?
2022-10-23 21:55:42 +0200 <c_wraith> What operations do you want to support efficiently?
2022-10-23 21:56:33 +0200 <isamiamsam> just iterate through in a loop (so find successor plus find beginning would be good)
2022-10-23 21:56:33 +0200boxscape_(~boxscape_@81.191.27.107) (Remote host closed the connection)
2022-10-23 21:57:02 +0200boxscape_(~boxscape_@81.191.27.107)
2022-10-23 21:57:31 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-23 21:59:07 +0200 <c_wraith> do you care about making updates to it?
2022-10-23 21:59:12 +0200 <isamiamsam> no
2022-10-23 22:00:42 +0200 <c_wraith> Then... doesn't Data.List.NonEmpty do the job already?
2022-10-23 22:01:28 +0200 <c_wraith> (just keep the original around for when you need to go back to the beginning)
2022-10-23 22:02:11 +0200 <isamiamsam> does that support indexes that are guaranteed valid?
2022-10-23 22:02:25 +0200 <c_wraith> it has a head that's guaranteed to be present
2022-10-23 22:02:37 +0200 <c_wraith> that's the distinguished element
2022-10-23 22:07:02 +0200 <isamiamsam> hm. well yes it does do the job i had in mind actually. since the list doesn't actually get updated i don't need the explicit index i was thinking of originally. i guess i'm still curious if there's something else that does support that though
2022-10-23 22:07:18 +0200 <c_wraith> Oh, there are things that do. But why pay for complexity you don't need?
2022-10-23 22:07:57 +0200 <isamiamsam> i guess i just want to know how to avoid !! should the temptation ever arise
2022-10-23 22:08:00 +0200 <[exa]> isamiamsam: if you want fast indexing, you can go either Vector (forget about inserting/removing elements but indexes are O(1)) or Data.Seq (everything is O(log(n))-ish)
2022-10-23 22:08:39 +0200 <[exa]> also Data.Seq is nicely implemented in a way that operations on either end are veeeeery close to O(1)
2022-10-23 22:10:00 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 250 seconds)
2022-10-23 22:27:05 +0200birdgoose(~birdgoose@2406:e003:1d87:6601:ab94:dfbf:27e4:e79e)
2022-10-23 22:29:01 +0200 <cheater> hello
2022-10-23 22:30:13 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2022-10-23 22:31:14 +0200birdgoose(~birdgoose@2406:e003:1d87:6601:ab94:dfbf:27e4:e79e) (Ping timeout: 250 seconds)
2022-10-23 22:31:15 +0200 <geekosaur> hello
2022-10-23 22:33:27 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 272 seconds)
2022-10-23 22:34:51 +0200 <cheater> what's the current nice way to read stuff line by line from stdin? the lines aren't long, but there might be a bunch of them. i don't want them to hang around for the remainder of my program's runtime.
2022-10-23 22:35:46 +0200 <geekosaur> the way you read them isn't going to affect that. what you do with them after reading will.
2022-10-23 22:35:46 +0200nate2(~nate@98.45.169.16)
2022-10-23 22:36:12 +0200 <geekosaur> getLine is the usual way to read line by line
2022-10-23 22:36:53 +0200 <cheater> hrm, that's right
2022-10-23 22:37:24 +0200 <cheater> i want to parse the lines into strings, ints, and the likes.
2022-10-23 22:39:00 +0200 <geekosaur> I'd generally write some kind of parser in that case. many people use megaparsec, but there's been a lot of discussion of flatparse in here of late
2022-10-23 22:39:29 +0200 <cheater> yeah, i'd use that. however, it's csv, so i'm thinking there should be a lib for that. i'll look that up.
2022-10-23 22:40:04 +0200 <c_wraith> cassava is the csv library I see mentioned most
2022-10-23 22:40:53 +0200underdas(~seb@2620:0:5301:2101:55f6:3d38:6a53:b591)
2022-10-23 22:42:55 +0200 <cheater> yeah, i think i've used that one before. thanks
2022-10-23 22:44:56 +0200 <underdas> So, I'm trying to start a new project by following Write Yourself a Scheme in 48 Hours (the original), but wanted to use Cabal, and Megaparsec instead of Parsec
2022-10-23 22:45:04 +0200 <underdas> I see there's a build depends, like this:
2022-10-23 22:45:23 +0200 <underdas> build-depends: base ^>=4.17.0.0
2022-10-23 22:45:45 +0200 <underdas> But, how would you add more? It doesn't seem structured for a list? Sorry for the basic question lol
2022-10-23 22:45:56 +0200 <underdas> Currentl reading the cabal docs atm, but it seems unclear to me
2022-10-23 22:46:04 +0200 <underdas> Although very detailed in other respects
2022-10-23 22:47:02 +0200tomboy64(~tomboy64@user/tomboy64)
2022-10-23 22:49:34 +0200tog(~tog@196.sub-75-245-142.myvzw.com)
2022-10-23 22:50:49 +0200mmhat(~mmh@p200300f1c7307630ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-10-23 22:52:46 +0200birdgoose(~birdgoose@151.210.175.160)
2022-10-23 22:52:56 +0200 <codolio> It is a list.
2022-10-23 22:53:42 +0200 <codolio> Here's a slightly more complicated one: https://github.com/haskell/vector/blob/master/vector/vector.cabal#L142
2022-10-23 22:54:21 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds)
2022-10-23 22:54:26 +0200codoliodolio
2022-10-23 22:54:37 +0200axeman(~quassel@2a02:8109:a380:78:66cd:7495:6f15:164c) (Ping timeout: 272 seconds)
2022-10-23 22:55:38 +0200 <underdas> Thanks for the example. It's clear. So, to add a package, would you just go to Hackage, find the current version, and add it to the build-depends list?
2022-10-23 22:56:00 +0200 <dolio> Yeah.
2022-10-23 22:56:26 +0200 <underdas> That makes sense, then, thanks
2022-10-23 22:58:29 +0200chomwitt(~chomwitt@2a02:587:dc10:8200:1ac0:4dff:fedb:a3f1) (Ping timeout: 276 seconds)
2022-10-23 23:01:24 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2022-10-23 23:04:57 +0200mmhat(~mmh@p200300f1c7307610ee086bfffe095315.dip0.t-ipconnect.de)
2022-10-23 23:05:34 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 23:07:10 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-10-23 23:07:47 +0200birdgoose(~birdgoose@151.210.175.160) (Quit: Iridium IRC Client)
2022-10-23 23:08:00 +0200birdgoose(~birdgoose@151.210.175.160)
2022-10-23 23:08:02 +0200underdas(~seb@2620:0:5301:2101:55f6:3d38:6a53:b591) (Quit: Leaving)
2022-10-23 23:10:22 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds)
2022-10-23 23:10:22 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Ping timeout: 260 seconds)
2022-10-23 23:13:59 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-10-23 23:22:46 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-23 23:23:47 +0200rockystone(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-10-23 23:25:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-23 23:27:10 +0200zebrag(~chris@user/zebrag)
2022-10-23 23:31:38 +0200ddellacosta(~ddellacos@89.45.224.143) (Ping timeout: 276 seconds)
2022-10-23 23:32:06 +0200Tuplanolla(~Tuplanoll@91-159-68-210.elisa-laajakaista.fi) (Quit: Leaving.)
2022-10-23 23:38:29 +0200axeman(~quassel@2a02:8109:a380:78:55ee:b3a8:1110:20bb)
2022-10-23 23:41:28 +0200mastarija(~mastarija@2a05:4f46:e03:6000:1c72:188f:b3b3:3a5b)
2022-10-23 23:42:35 +0200 <mastarija> In Diagrams library, how can place a diagram in a fixed size box and align my diagrams bounding box to the top left corner of my fixed size box?
2022-10-23 23:43:34 +0200birdgoose(~birdgoose@151.210.175.160) (Quit: Iridium IRC Client)
2022-10-23 23:43:45 +0200birdgoose(~birdgoose@151.210.175.160)
2022-10-23 23:44:02 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 250 seconds)
2022-10-23 23:44:51 +0200crns(~netcrns@user/crns) (Quit: man)
2022-10-23 23:45:11 +0200crns(~netcrns@p4ff5e713.dip0.t-ipconnect.de)
2022-10-23 23:45:11 +0200crns(~netcrns@p4ff5e713.dip0.t-ipconnect.de) (Changing host)
2022-10-23 23:45:11 +0200crns(~netcrns@user/crns)
2022-10-23 23:50:30 +0200tomboy64(~tomboy64@user/tomboy64)
2022-10-23 23:59:51 +0200wonko(~wjc@2a0e:1c80:2:0:45:15:19:130)
2022-10-23 23:59:58 +0200The_Guest67(~The_Guest@62.231.72.228)
2022-10-23 23:59:59 +0200The_Guest67(~The_Guest@62.231.72.228) ()