| 2022-10-23 00:01:47 +0000 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2022-10-23 00:03:31 +0000 | redmp | (~redmp@mobile-166-137-178-163.mycingular.net) (Ping timeout: 272 seconds) |
| 2022-10-23 00:05:38 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2022-10-23 00:08:09 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-23 00:09:39 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 248 seconds) |
| 2022-10-23 00:09:47 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 00:10:32 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-23 00:12:09 +0000 | ksu | (~ksu@user/prtr) (Ping timeout: 255 seconds) |
| 2022-10-23 00:12:26 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-23 00:12:34 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-23 00:13:05 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2022-10-23 00:14:23 +0000 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 276 seconds) |
| 2022-10-23 00:16:47 +0000 | danza | (~francesco@151.35.229.54) (Read error: Connection reset by peer) |
| 2022-10-23 00:17:49 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-23 00:20:41 +0000 | ksu | (~ksu@user/prtr) |
| 2022-10-23 00:21:03 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-10-23 00:24:13 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-23 00:25:19 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-23 00:26:25 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 00:30:07 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-10-23 00:33:04 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds) |
| 2022-10-23 00:33:37 +0000 | danza | (~francesco@151.35.229.54) |
| 2022-10-23 00:36:39 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 00:38:16 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-10-23 00:38:44 +0000 | ddellacosta | (~ddellacos@89.45.224.65) |
| 2022-10-23 00:38:45 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-10-23 00:40:38 +0000 | TonyStone | (~TonyStone@74.76.51.197) (Remote host closed the connection) |
| 2022-10-23 00:42:56 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-10-23 00:49:33 +0000 | Topsi | (~Topsi@dyndsl-095-033-094-034.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-10-23 00:51:46 +0000 | pgray_ | (~pgray@c-24-143-114-36.customer.broadstripe.net) (Quit: pgray_) |
| 2022-10-23 00:53:00 +0000 | ddellacosta | (~ddellacos@89.45.224.65) (Ping timeout: 250 seconds) |
| 2022-10-23 00:54:37 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-10-23 00:55:22 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-23 00:55:50 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) (Remote host closed the connection) |
| 2022-10-23 00:56:48 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-10-23 00:59:56 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 250 seconds) |
| 2022-10-23 01:00:21 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-23 01:03:14 +0000 | talismanick | (~talismani@76.133.152.122) |
| 2022-10-23 01:06:51 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 272 seconds) |
| 2022-10-23 01:08:40 +0000 | ddellacosta | (~ddellacos@89.45.224.39) |
| 2022-10-23 01:10:23 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-10-23 01:13:27 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2022-10-23 01:14:01 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-10-23 01:16:32 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-10-23 01:16:49 +0000 | king_gs | (~Thunderbi@187.201.131.180) |
| 2022-10-23 01:18:02 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-23 01:18:15 +0000 | ddellacosta | (~ddellacos@89.45.224.39) (Ping timeout: 272 seconds) |
| 2022-10-23 01:18:15 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 01:20:00 +0000 | ddellacosta | (~ddellacos@89.45.224.78) |
| 2022-10-23 01:20:22 +0000 | finsternis | (~X@23.226.237.192) |
| 2022-10-23 01:21:44 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 01:26:29 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-23 01:31:26 +0000 | Feuermagier_ | (~Feuermagi@84.17.49.85) |
| 2022-10-23 01:32:54 +0000 | redmp | (~redmp@mobile-166-137-178-167.mycingular.net) |
| 2022-10-23 01:33:02 +0000 | Kaipei | (~Kaiepi@108.175.84.104) (Ping timeout: 276 seconds) |
| 2022-10-23 01:33:27 +0000 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-10-23 01:34:20 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 276 seconds) |
| 2022-10-23 01:36:45 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-10-23 01:39:19 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-23 01:40:25 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 01:44:59 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit) |
| 2022-10-23 01:45:00 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 250 seconds) |
| 2022-10-23 01:46:47 +0000 | king_gs | (~Thunderbi@187.201.131.180) (Read error: Connection reset by peer) |
| 2022-10-23 01:47:08 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 01:47:19 +0000 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) |
| 2022-10-23 01:50:05 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:1de3:eafb:1234:ef2b) (Quit: caryhartline) |
| 2022-10-23 01:55:20 +0000 | causal | (~user@50.35.83.177) |
| 2022-10-23 01:56:20 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) |
| 2022-10-23 02:00:36 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) (Ping timeout: 250 seconds) |
| 2022-10-23 02:02:35 +0000 | ddellacosta | (~ddellacos@89.45.224.78) (Ping timeout: 272 seconds) |
| 2022-10-23 02:04:20 +0000 | ddellacosta | (~ddellacos@static-198-44-136-90.cust.tzulo.com) |
| 2022-10-23 02:06:59 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-23 02:09:17 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 02:10:12 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) |
| 2022-10-23 02:11:26 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 250 seconds) |
| 2022-10-23 02:13:21 +0000 | danza | (~francesco@151.35.229.54) (Read error: Connection reset by peer) |
| 2022-10-23 02:14:02 +0000 | td_ | (~td@83.135.9.28) (Ping timeout: 260 seconds) |
| 2022-10-23 02:15:48 +0000 | td_ | (~td@83.135.9.27) |
| 2022-10-23 02:16:27 +0000 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Quit: leaving) |
| 2022-10-23 02:17:30 +0000 | ddellacosta | (~ddellacos@static-198-44-136-90.cust.tzulo.com) (Ping timeout: 250 seconds) |
| 2022-10-23 02:18:59 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-23 02:19:40 +0000 | ddellacosta | (~ddellacos@89.45.224.156) |
| 2022-10-23 02:24:00 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 2022-10-23 02:25:30 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-23 02:25:30 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-23 02:25:30 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-23 02:26:39 +0000 | ddellacosta | (~ddellacos@89.45.224.156) (Ping timeout: 272 seconds) |
| 2022-10-23 02:26:50 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-10-23 02:26:51 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-23 02:27:59 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-23 02:28:35 +0000 | danza | (~francesco@151.34.178.230) |
| 2022-10-23 02:30:22 +0000 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-10-23 02:30:34 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-23 02:30:41 +0000 | <c209e6dc-4d76-47> | has anyone used haskell-hood recently, I was trying to write some code using it |
| 2022-10-23 02:30:45 +0000 | <c209e6dc-4d76-47> | Hugs.Observe |
| 2022-10-23 02:30:59 +0000 | <c209e6dc-4d76-47> | https://hackage.haskell.org/package/hood |
| 2022-10-23 02:33:37 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 272 seconds) |
| 2022-10-23 02:35:19 +0000 | ddellacosta | (~ddellacos@86.106.143.234) |
| 2022-10-23 02:39:24 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-23 02:40:08 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-10-23 02:41:11 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-23 02:41:56 +0000 | ddellacosta | (~ddellacos@86.106.143.234) (Ping timeout: 276 seconds) |
| 2022-10-23 02:43:39 +0000 | ddellacosta | (~ddellacos@86.106.143.169) |
| 2022-10-23 02:43:57 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-23 02:51:05 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a80f) |
| 2022-10-23 02:54:17 +0000 | ddellacosta | (~ddellacos@86.106.143.169) (Ping timeout: 260 seconds) |
| 2022-10-23 02:55:57 +0000 | ddellacosta | (~ddellacos@89.46.62.221) |
| 2022-10-23 02:56:29 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-23 03:00:25 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 03:01:14 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-23 03:01:17 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-10-23 03:03:26 +0000 | ddellacosta | (~ddellacos@89.46.62.221) (Ping timeout: 250 seconds) |
| 2022-10-23 03:04:44 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds) |
| 2022-10-23 03:05:37 +0000 | ddellacosta | (~ddellacos@89.45.224.156) |
| 2022-10-23 03:10:21 +0000 | ddellacosta | (~ddellacos@89.45.224.156) (Ping timeout: 272 seconds) |
| 2022-10-23 03:11:57 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-23 03:19:20 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 03:19:43 +0000 | Guest8493 | (~l@93-103-228-248.dynamic.t-2.net) |
| 2022-10-23 03:21:12 +0000 | Guest8493 | (~l@93-103-228-248.dynamic.t-2.net) (Client Quit) |
| 2022-10-23 03:21:54 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2022-10-23 03:25:33 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 272 seconds) |
| 2022-10-23 03:25:57 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-23 03:26:39 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-23 03:26:57 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-10-23 03:28:55 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 03:33:20 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 250 seconds) |
| 2022-10-23 03:35:16 +0000 | ddellacosta | (~ddellacos@86.106.143.221) |
| 2022-10-23 03:39:05 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-10-23 03:39:50 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-23 03:50:26 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-23 03:51:42 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 03:52:26 +0000 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-10-23 03:54:44 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 276 seconds) |
| 2022-10-23 03:56:02 +0000 | ddellacosta | (~ddellacos@86.106.143.221) (Ping timeout: 276 seconds) |
| 2022-10-23 03:57:36 +0000 | ddellacosta | (~ddellacos@89.45.224.117) |
| 2022-10-23 03:58:39 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-23 03:59:05 +0000 | dsrt^ | (~dsrt@c-76-17-6-165.hsd1.ga.comcast.net) |
| 2022-10-23 04:01:02 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 04:01:16 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-10-23 04:03:33 +0000 | ddellacosta | (~ddellacos@89.45.224.117) (Ping timeout: 272 seconds) |
| 2022-10-23 04:04:56 +0000 | ddellacosta | (~ddellacos@89.45.224.208) |
| 2022-10-23 04:06:02 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-10-23 04:07:09 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-23 04:08:15 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 04:09:51 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-23 04:11:47 +0000 | redmp | (~redmp@mobile-166-137-178-167.mycingular.net) (Ping timeout: 272 seconds) |
| 2022-10-23 04:13:03 +0000 | redmp | (~redmp@mobile-166-170-43-255.mycingular.net) |
| 2022-10-23 04:13:37 +0000 | ddellacosta | (~ddellacos@89.45.224.208) (Ping timeout: 260 seconds) |
| 2022-10-23 04:15:16 +0000 | ddellacosta | (~ddellacos@89.45.224.65) |
| 2022-10-23 04:21:26 +0000 | ddellacosta | (~ddellacos@89.45.224.65) (Ping timeout: 250 seconds) |
| 2022-10-23 04:23:36 +0000 | ddellacosta | (~ddellacos@89.45.224.39) |
| 2022-10-23 04:31:10 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-10-23 04:41:32 +0000 | ddellacosta | (~ddellacos@89.45.224.39) (Ping timeout: 276 seconds) |
| 2022-10-23 04:42:55 +0000 | ddellacosta | (~ddellacos@86.106.143.247) |
| 2022-10-23 04:44:50 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds) |
| 2022-10-23 04:46:56 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 04:48:31 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-10-23 04:52:31 +0000 | HackingSpring | (~haru@201-27-75-20.dsl.telesp.net.br) (Remote host closed the connection) |
| 2022-10-23 04:56:11 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 05:04:46 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds) |
| 2022-10-23 05:11:35 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a80f) (Ping timeout: 272 seconds) |
| 2022-10-23 05:14:51 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-10-23 05:16:06 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 05:21:13 +0000 | money | Guest2631 |
| 2022-10-23 05:21:14 +0000 | ddellacosta | (~ddellacos@86.106.143.247) (Ping timeout: 250 seconds) |
| 2022-10-23 05:22:58 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds) |
| 2022-10-23 05:23:15 +0000 | ddellacosta | (~ddellacos@86.106.143.156) |
| 2022-10-23 05:26:37 +0000 | Feuermagier_ | (~Feuermagi@84.17.49.85) (Quit: Leaving) |
| 2022-10-23 05:27:44 +0000 | ddellacosta | (~ddellacos@86.106.143.156) (Ping timeout: 250 seconds) |
| 2022-10-23 05:29:34 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-23 05:33:32 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-10-23 05:33:32 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2022-10-23 05:39:22 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 260 seconds) |
| 2022-10-23 05:41:14 +0000 | ddellacosta | (~ddellacos@89.46.62.182) |
| 2022-10-23 05:42:24 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-10-23 05:43:59 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-23 05:45:05 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 05:52:26 +0000 | ddellacosta | (~ddellacos@89.46.62.182) (Ping timeout: 250 seconds) |
| 2022-10-23 05:54:32 +0000 | ddellacosta | (~ddellacos@89.45.224.221) |
| 2022-10-23 05:56:43 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2022-10-23 05:58:49 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 06:00:32 +0000 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2022-10-23 06:00:40 +0000 | ddellacosta | (~ddellacos@89.45.224.221) (Ping timeout: 250 seconds) |
| 2022-10-23 06:02:51 +0000 | ddellacosta | (~ddellacos@89.45.224.143) |
| 2022-10-23 06:06:02 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 276 seconds) |
| 2022-10-23 06:15:47 +0000 | ddellacosta | (~ddellacos@89.45.224.143) (Ping timeout: 276 seconds) |
| 2022-10-23 06:17:11 +0000 | ddellacosta | (~ddellacos@89.45.224.182) |
| 2022-10-23 06:21:28 +0000 | ddellacosta | (~ddellacos@89.45.224.182) (Ping timeout: 250 seconds) |
| 2022-10-23 06:21:31 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-10-23 06:22:42 +0000 | lechner | (lechner@debian/lechner) (Quit: WeeChat 3.5) |
| 2022-10-23 06:23:31 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-23 06:25:39 +0000 | lechner | (lechner@debian/lechner) |
| 2022-10-23 06:29:13 +0000 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-10-23 06:29:20 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 06:31:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-23 06:32:02 +0000 | danza | (~francesco@151.34.178.230) (Ping timeout: 276 seconds) |
| 2022-10-23 06:34:17 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-23 06:37:14 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 276 seconds) |
| 2022-10-23 06:38:51 +0000 | ddellacosta | (~ddellacos@89.45.224.221) |
| 2022-10-23 06:42:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-23 06:45:00 +0000 | danza | (~francesco@151.47.17.54) |
| 2022-10-23 06:47:02 +0000 | ddellacosta | (~ddellacos@89.45.224.221) (Ping timeout: 250 seconds) |
| 2022-10-23 06:49:11 +0000 | ddellacosta | (~ddellacos@89.45.224.130) |
| 2022-10-23 06:53:08 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 06:54:47 +0000 | ddellacosta | (~ddellacos@89.45.224.130) (Ping timeout: 276 seconds) |
| 2022-10-23 06:56:31 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-23 06:58:21 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-23 06:59:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-23 07:01:21 +0000 | Kaipei | (~Kaiepi@108.175.84.104) |
| 2022-10-23 07:03:14 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 276 seconds) |
| 2022-10-23 07:04:51 +0000 | ddellacosta | (~ddellacos@89.45.224.169) |
| 2022-10-23 07:09:44 +0000 | ddellacosta | (~ddellacos@89.45.224.169) (Ping timeout: 276 seconds) |
| 2022-10-23 07:11:11 +0000 | ddellacosta | (~ddellacos@static-198-44-136-58.cust.tzulo.com) |
| 2022-10-23 07:18:20 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-10-23 07:21:45 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) (Remote host closed the connection) |
| 2022-10-23 07:30:48 +0000 | redmp | (~redmp@mobile-166-170-43-255.mycingular.net) (Ping timeout: 250 seconds) |
| 2022-10-23 07:35:43 +0000 | ddellacosta | (~ddellacos@static-198-44-136-58.cust.tzulo.com) (Ping timeout: 272 seconds) |
| 2022-10-23 07:37:33 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-23 07:40:32 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 07:43:02 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 260 seconds) |
| 2022-10-23 07:43:53 +0000 | ddellacosta | (~ddellacos@89.45.224.100) |
| 2022-10-23 07:45:22 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-10-23 07:48:17 +0000 | ddellacosta | (~ddellacos@89.45.224.100) (Ping timeout: 260 seconds) |
| 2022-10-23 07:49:44 +0000 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) |
| 2022-10-23 07:50:13 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-23 07:51:17 +0000 | boxscape_ | (~boxscape_@81.191.27.107) (Ping timeout: 244 seconds) |
| 2022-10-23 07:51:34 +0000 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) |
| 2022-10-23 07:52:11 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-23 07:55:59 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 272 seconds) |
| 2022-10-23 07:57:33 +0000 | ddellacosta | (~ddellacos@89.46.62.247) |
| 2022-10-23 07:58:39 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a6870d7973616f09967.dip0.t-ipconnect.de) |
| 2022-10-23 08:02:16 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 08:04:08 +0000 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-10-23 08:05:00 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-23 08:05:01 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-10-23 08:05:23 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-210.elisa-laajakaista.fi) |
| 2022-10-23 08:05:29 +0000 | ddellacosta | (~ddellacos@89.46.62.247) (Ping timeout: 272 seconds) |
| 2022-10-23 08:06:54 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-23 08:08:53 +0000 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2022-10-23 08:08:56 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds) |
| 2022-10-23 08:10:11 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-10-23 08:12:34 +0000 | razetime | (~quassel@49.207.192.79) |
| 2022-10-23 08:13:42 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds) |
| 2022-10-23 08:14:37 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 08:16:36 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 2022-10-23 08:16:43 +0000 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-23 08:16:59 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2022-10-23 08:19:55 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-10-23 08:22:13 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) |
| 2022-10-23 08:23:31 +0000 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Quit: king_gs) |
| 2022-10-23 08:26:23 +0000 | talismanick | (~talismani@76.133.152.122) (Ping timeout: 272 seconds) |
| 2022-10-23 08:27:16 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) (Ping timeout: 272 seconds) |
| 2022-10-23 08:40:44 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 276 seconds) |
| 2022-10-23 08:42:14 +0000 | ddellacosta | (~ddellacos@86.106.143.91) |
| 2022-10-23 08:43:43 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-10-23 08:43:45 +0000 | mmhat | (~mmh@p200300f1c7307630ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-23 08:44:10 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-23 08:44:34 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-23 08:45:41 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-23 08:47:12 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-10-23 08:49:49 +0000 | ddellacosta | (~ddellacos@86.106.143.91) (Ping timeout: 272 seconds) |
| 2022-10-23 08:51:33 +0000 | ddellacosta | (~ddellacos@static-198-44-136-58.cust.tzulo.com) |
| 2022-10-23 08:51:35 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 08:56:59 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 276 seconds) |
| 2022-10-23 08:57:05 +0000 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) |
| 2022-10-23 08:57:24 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-10-23 08:59:11 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-23 09:01:27 +0000 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 2022-10-23 09:03:31 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-10-23 09:08:25 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4f5c:e38d:5cfe:423) (Remote host closed the connection) |
| 2022-10-23 09:08:43 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5aef:465a:6bf7:395b) |
| 2022-10-23 09:13:08 +0000 | ccapndave | (~ccapndave@2a02:1210:2cef:7300:a5e7:7c1b:f8fb:2e8f) |
| 2022-10-23 09:14:45 +0000 | ubert1 | (~Thunderbi@178.115.71.141.wireless.dyn.drei.com) |
| 2022-10-23 09:17:08 +0000 | ubert | (~Thunderbi@91.141.38.108.wireless.dyn.drei.com) (Ping timeout: 276 seconds) |
| 2022-10-23 09:17:08 +0000 | ubert1 | ubert |
| 2022-10-23 09:20:20 +0000 | ccapndave | (~ccapndave@2a02:1210:2cef:7300:a5e7:7c1b:f8fb:2e8f) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-10-23 09:21:28 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 09:27:52 +0000 | axeman | (~quassel@2a02:8109:a380:78:b129:3043:924a:45dd) |
| 2022-10-23 09:30:09 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 2022-10-23 09:30:44 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-10-23 09:30:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-23 09:36:41 +0000 | Guest2631 | polo |
| 2022-10-23 09:39:09 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-10-23 09:39:14 +0000 | ddellacosta | (~ddellacos@static-198-44-136-58.cust.tzulo.com) (Ping timeout: 276 seconds) |
| 2022-10-23 09:40:48 +0000 | axeman | (~quassel@2a02:8109:a380:78:b129:3043:924a:45dd) (Ping timeout: 250 seconds) |
| 2022-10-23 09:40:53 +0000 | ddellacosta | (~ddellacos@89.45.224.130) |
| 2022-10-23 09:43:47 +0000 | razetime | (~quassel@49.207.192.79) (Ping timeout: 276 seconds) |
| 2022-10-23 09:46:00 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-10-23 09:46:23 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 276 seconds) |
| 2022-10-23 09:51:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-23 09:52:30 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-10-23 09:55:52 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-10-23 09:57:42 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-23 10:05:13 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-23 10:07:43 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-23 10:08:31 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-10-23 10:10:14 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-23 10:19:32 +0000 | razetime | (~quassel@49.207.192.79) |
| 2022-10-23 10:25:10 +0000 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-10-23 10:29:17 +0000 | danza | (~francesco@151.47.17.54) (Read error: Connection reset by peer) |
| 2022-10-23 10:37:32 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-23 10:41:01 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-23 10:41:30 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-10-23 10:43:22 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-10-23 10:43:35 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 276 seconds) |
| 2022-10-23 10:43:55 +0000 | danza | (~francesco@151.35.225.15) |
| 2022-10-23 10:49:18 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-10-23 10:56:19 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-23 10:59:51 +0000 | darkstardevx | (~darkstard@50.126.124.156) (Remote host closed the connection) |
| 2022-10-23 11:00:37 +0000 | darkstardevx | (~darkstard@50.126.124.156) |
| 2022-10-23 11:05:30 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2022-10-23 11:05:44 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2022-10-23 11:09:07 +0000 | mmhat | (~mmh@p200300f1c7307630ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1) |
| 2022-10-23 11:25:20 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) |
| 2022-10-23 11:29:34 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) (Ping timeout: 250 seconds) |
| 2022-10-23 11:32:05 +0000 | axeman | (~quassel@2a02:8109:a380:78:22eb:d1aa:6219:6805) |
| 2022-10-23 11:37:39 +0000 | danza | (~francesco@151.35.225.15) (Read error: Connection reset by peer) |
| 2022-10-23 11:41:29 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-10-23 11:46:31 +0000 | ddellacosta | (~ddellacos@89.45.224.130) (Ping timeout: 272 seconds) |
| 2022-10-23 11:46:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-23 11:48:12 +0000 | ddellacosta | (~ddellacos@89.45.224.65) |
| 2022-10-23 11:48:25 +0000 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) (Ping timeout: 272 seconds) |
| 2022-10-23 11:50:28 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-23 11:52:48 +0000 | danza | (~francesco@151.34.191.244) |
| 2022-10-23 11:55:44 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a6870d7973616f09967.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2022-10-23 12:01:38 +0000 | ddellacosta | (~ddellacos@89.45.224.65) (Ping timeout: 250 seconds) |
| 2022-10-23 12:02:27 +0000 | titibandit | (~titibandi@xdsl-87-78-36-34.nc.de) |
| 2022-10-23 12:03:31 +0000 | ddellacosta | (~ddellacos@89.45.224.208) |
| 2022-10-23 12:06:31 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-10-23 12:07:16 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-23 12:08:44 +0000 | ddellacosta | (~ddellacos@89.45.224.208) (Ping timeout: 276 seconds) |
| 2022-10-23 12:09:51 +0000 | ddellacosta | (~ddellacos@89.45.224.100) |
| 2022-10-23 12:11:26 +0000 | coot | (~coot@213.134.171.3) |
| 2022-10-23 12:11:59 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-10-23 12:13:28 +0000 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-10-23 12:14:37 +0000 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Quit: king_gs) |
| 2022-10-23 12:14:52 +0000 | king_gs | (~Thunderbi@187.201.131.180) |
| 2022-10-23 12:15:01 +0000 | ddellacosta | (~ddellacos@89.45.224.100) (Ping timeout: 272 seconds) |
| 2022-10-23 12:15:50 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-23 12:16:10 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-23 12:18:58 +0000 | <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 12:18:58 +0000 | <lambdabot> | Consider it noted. |
| 2022-10-23 12:19:14 +0000 | <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 12:19:15 +0000 | <lambdabot> | Consider it noted. |
| 2022-10-23 12:20:16 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 250 seconds) |
| 2022-10-23 12:23:02 +0000 | dsrt^ | (~dsrt@c-76-17-6-165.hsd1.ga.comcast.net) (Ping timeout: 276 seconds) |
| 2022-10-23 12:23:44 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 2022-10-23 12:23:52 +0000 | ddellacosta | (~ddellacos@86.106.143.117) |
| 2022-10-23 12:26:03 +0000 | polo | Guest1119 |
| 2022-10-23 12:28:17 +0000 | ddellacosta | (~ddellacos@86.106.143.117) (Ping timeout: 260 seconds) |
| 2022-10-23 12:28:32 +0000 | acidjnk | (~acidjnk@p200300d6e7137a6881cc9f6a6a8f07a5.dip0.t-ipconnect.de) |
| 2022-10-23 12:28:59 +0000 | jtomas | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-10-23 12:30:12 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-23 12:32:07 +0000 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2022-10-23 12:33:34 +0000 | coot | (~coot@213.134.171.3) (Quit: coot) |
| 2022-10-23 12:35:24 +0000 | king_gs | (~Thunderbi@187.201.131.180) (Read error: Connection reset by peer) |
| 2022-10-23 12:35:53 +0000 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) |
| 2022-10-23 12:37:37 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 260 seconds) |
| 2022-10-23 12:37:55 +0000 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!) |
| 2022-10-23 12:39:32 +0000 | ddellacosta | (~ddellacos@89.45.224.78) |
| 2022-10-23 12:45:03 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-23 12:45:50 +0000 | ddellacosta | (~ddellacos@89.45.224.78) (Ping timeout: 250 seconds) |
| 2022-10-23 12:47:51 +0000 | ddellacosta | (~ddellacos@89.45.224.221) |
| 2022-10-23 12:52:22 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-23 12:59:16 +0000 | ddellacosta | (~ddellacos@89.45.224.221) (Ping timeout: 250 seconds) |
| 2022-10-23 13:02:54 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-10-23 13:05:12 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 264 seconds) |
| 2022-10-23 13:05:55 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-23 13:06:03 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2022-10-23 13:08:57 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-10-23 13:15:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-23 13:16:41 +0000 | arahael | (~arahael@14-202-55-135.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2022-10-23 13:17:23 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-10-23 13:18:23 +0000 | titibandit | (~titibandi@xdsl-87-78-36-34.nc.de) (Quit: Leaving.) |
| 2022-10-23 13:19:18 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-10-23 13:20:23 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-10-23 13:22:54 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2022-10-23 13:24:03 +0000 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Remote host closed the connection) |
| 2022-10-23 13:24:22 +0000 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) |
| 2022-10-23 13:24:40 +0000 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Client Quit) |
| 2022-10-23 13:38:08 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-10-23 13:39:44 +0000 | acidjnk | (~acidjnk@p200300d6e7137a6881cc9f6a6a8f07a5.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2022-10-23 13:41:45 +0000 | phma | (~phma@host-67-44-208-165.hnremote.net) (Read error: Connection reset by peer) |
| 2022-10-23 13:42:30 +0000 | phma | (phma@2001:5b0:211b:8ac8:bff1:e65f:43d1:3dd5) |
| 2022-10-23 13:46:30 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-23 13:48:54 +0000 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-10-23 13:49:30 +0000 | boxscape_ | (~boxscape_@81.191.27.107) |
| 2022-10-23 13:52:01 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-23 13:52:33 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-23 13:52:55 +0000 | Guest1119 | (sid532813@user/polo) () |
| 2022-10-23 13:59:19 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-23 14:07:27 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-23 14:15:57 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-23 14:16:15 +0000 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 272 seconds) |
| 2022-10-23 14:16:49 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-23 14:17:15 +0000 | jtomas | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2022-10-23 14:17:56 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-10-23 14:25:10 +0000 | dsrt^ | (~dsrt@c-76-17-6-165.hsd1.ga.comcast.net) |
| 2022-10-23 14:27:08 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-23 14:28:01 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) |
| 2022-10-23 14:29:28 +0000 | chomwitt | (~chomwitt@2a02:587:dc10:8200:1ac0:4dff:fedb:a3f1) |
| 2022-10-23 14:30:52 +0000 | coot | (~coot@213.134.171.3) |
| 2022-10-23 14:32:26 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) (Ping timeout: 250 seconds) |
| 2022-10-23 14:32:32 +0000 | monochrom | (trebla@216.138.220.146) (Ping timeout: 260 seconds) |
| 2022-10-23 14:33:02 +0000 | axeman | (~quassel@2a02:8109:a380:78:22eb:d1aa:6219:6805) (Ping timeout: 276 seconds) |
| 2022-10-23 14:39:29 +0000 | axeman | (~quassel@2a02:8109:a380:78:b56d:ab19:e64e:a8d7) |
| 2022-10-23 14:45:01 +0000 | coot | (~coot@213.134.171.3) (Quit: coot) |
| 2022-10-23 14:53:48 +0000 | dsrt^ | (~dsrt@c-76-17-6-165.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-10-23 15:01:02 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-10-23 15:02:40 +0000 | titibandit | (~titibandi@xdsl-87-78-36-34.nc.de) |
| 2022-10-23 15:02:50 +0000 | titibandit | (~titibandi@xdsl-87-78-36-34.nc.de) (Remote host closed the connection) |
| 2022-10-23 15:03:24 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2022-10-23 15:04:12 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-23 15:05:07 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-10-23 15:08:42 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 260 seconds) |
| 2022-10-23 15:12:05 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-10-23 15:13:07 +0000 | monochrom | (trebla@216.138.220.146) |
| 2022-10-23 15:13:20 +0000 | cheater | (~Username@user/cheater) |
| 2022-10-23 15:14:31 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 272 seconds) |
| 2022-10-23 15:14:53 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) |
| 2022-10-23 15:20:14 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-10-23 15:20:29 +0000 | acidjnk | (~acidjnk@p200300d6e7137a39185a556c4ffa1a9f.dip0.t-ipconnect.de) |
| 2022-10-23 15:24:24 +0000 | nisstyre | (wes@2600:3c00::f03c:91ff:fe69:7f3d) (Changing host) |
| 2022-10-23 15:24:24 +0000 | nisstyre | (wes@user/nisstyre) |
| 2022-10-23 15:24:32 +0000 | rburkholder | (~blurb@96.45.2.121) |
| 2022-10-23 15:34:45 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-10-23 15:36:25 +0000 | boxscape_ | (~boxscape_@81.191.27.107) (Remote host closed the connection) |
| 2022-10-23 15:37:31 +0000 | danza | (~francesco@151.34.191.244) (Read error: Connection reset by peer) |
| 2022-10-23 15:45:09 +0000 | boxscape_ | (~boxscape_@81.191.27.107) |
| 2022-10-23 15:52:31 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-23 15:52:42 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-23 15:52:50 +0000 | danza | (~francesco@151.37.234.17) |
| 2022-10-23 16:02:23 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-10-23 16:13:24 +0000 | axeman | (~quassel@2a02:8109:a380:78:b56d:ab19:e64e:a8d7) (Ping timeout: 272 seconds) |
| 2022-10-23 16:17:01 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-10-23 16:17:01 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-10-23 16:17:02 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-23 16:20:46 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-23 16:25:47 +0000 | danza | (~francesco@151.37.234.17) (Read error: Connection reset by peer) |
| 2022-10-23 16:27:32 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-10-23 16:29:27 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-10-23 16:34:50 +0000 | polo | (sid532813@user/polo) |
| 2022-10-23 16:38:32 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-10-23 16:40:49 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-23 16:42:47 +0000 | danza | (~francesco@151.37.234.17) |
| 2022-10-23 16:54:29 +0000 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2022-10-23 16:56:39 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-10-23 17:03:16 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-10-23 17:12:35 +0000 | euandreh | (~euandreh@179.214.113.107) (Quit: WeeChat 3.6) |
| 2022-10-23 17:19:26 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 276 seconds) |
| 2022-10-23 17:25:22 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 17:27:34 +0000 | econo | (uid147250@user/econo) |
| 2022-10-23 17:35:44 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds) |
| 2022-10-23 17:40:31 +0000 | razetime | (~quassel@49.207.192.79) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-23 17:43:08 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 17:45:26 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 276 seconds) |
| 2022-10-23 17:46:48 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-23 17:47:57 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-10-23 17:49:45 +0000 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-10-23 17:50:53 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-23 17:51:20 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-10-23 17:52:18 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 17:57:35 +0000 | acidjnk | (~acidjnk@p200300d6e7137a39185a556c4ffa1a9f.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-10-23 17:57:54 +0000 | acidjnk | (~acidjnk@p200300d6e7137a39185a556c4ffa1a9f.dip0.t-ipconnect.de) |
| 2022-10-23 17:59:01 +0000 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2022-10-23 18:00:17 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-10-23 18:01:34 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-10-23 18:01:34 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-10-23 18:01:34 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-23 18:01:56 +0000 | mmatt21e | (~mmatt21e@98.27.13.138) |
| 2022-10-23 18:02:56 +0000 | danza | (~francesco@151.37.234.17) (Read error: Connection reset by peer) |
| 2022-10-23 18:03:17 +0000 | mmatt21e | (~mmatt21e@98.27.13.138) () |
| 2022-10-23 18:03:59 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-23 18:09:03 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-23 18:11:09 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-10-23 18:13:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-23 18:13:50 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-10-23 18:19:38 +0000 | danza | (~francesco@151.37.234.17) |
| 2022-10-23 18:20:03 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2022-10-23 18:20:37 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 18:21:01 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-10-23 18:21:58 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Client Quit) |
| 2022-10-23 18:22:17 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2022-10-23 18:22:54 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-23 18:26:47 +0000 | danza | (~francesco@151.37.234.17) (Read error: Connection reset by peer) |
| 2022-10-23 18:27:35 +0000 | michalz | (~michalz@185.246.207.221) |
| 2022-10-23 18:27:44 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-23 18:27:49 +0000 | AlexZenon | (~alzenon@178.34.162.124) (Ping timeout: 246 seconds) |
| 2022-10-23 18:28:20 +0000 | Alex_test | (~al_test@178.34.162.124) (Ping timeout: 252 seconds) |
| 2022-10-23 18:30:50 +0000 | polo | Guest7754 |
| 2022-10-23 18:32:15 +0000 | mmhat | (~mmh@p200300f1c7307630ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-23 18:32:16 +0000 | talismanick | (~talismani@2601:644:9380:5c00::2c58) |
| 2022-10-23 18:32:35 +0000 | Alex_test | (~al_test@178.34.162.124) |
| 2022-10-23 18:32:48 +0000 | AlexZenon | (~alzenon@178.34.162.124) |
| 2022-10-23 18:33:00 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-10-23 18:33:56 +0000 | <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 18:36:09 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-10-23 18:36:15 +0000 | Guest6 | (~Guest6@2a01cb0408ee9900a77feef9a14c5040.ipv6.abo.wanadoo.fr) |
| 2022-10-23 18:36:51 +0000 | <Guest6> | Hello o/ If somebody has the time and the knowledges to help me, i encounter an issue : |
| 2022-10-23 18:36:59 +0000 | <Guest6> | I have a test suite that run in hspec-wai : https://github.com/hspec/hspec-wai#readme |
| 2022-10-23 18:37:05 +0000 | <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 18:38:13 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-23 18:40:27 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-10-23 18:40:27 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 260 seconds) |
| 2022-10-23 18:42:56 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-10-23 18:43:19 +0000 | danza | (~francesco@151.37.234.17) |
| 2022-10-23 18:44:31 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-23 18:48:26 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-23 18:49:29 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-23 18:52:51 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-23 18:53:23 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-23 18:53:55 +0000 | Guest8464 | (~Guest84@194.5.53.76) |
| 2022-10-23 18:54:16 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-10-23 18:54:41 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-10-23 18:55:15 +0000 | Guest8464 | (~Guest84@194.5.53.76) (Client Quit) |
| 2022-10-23 18:56:30 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-23 18:56:45 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-23 18:57:11 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-23 18:59:24 +0000 | talismanick | (~talismani@2601:644:9380:5c00::2c58) (Remote host closed the connection) |
| 2022-10-23 19:01:38 +0000 | ddellacosta | (~ddellacos@89.45.224.143) |
| 2022-10-23 19:03:16 +0000 | Guest16 | (~Guest16@p200300ef971835b5517f7031904fbb79.dip0.t-ipconnect.de) |
| 2022-10-23 19:05:01 +0000 | <Guest16> | If Data.Text is an Array internally why is indexing a Char O(n)? |
| 2022-10-23 19:05:54 +0000 | <c_wraith> | Guest16: because it's UTF-8 |
| 2022-10-23 19:06:00 +0000 | <geekosaur> | because a char is not guaranteed to be one cell |
| 2022-10-23 19:06:08 +0000 | <c_wraith> | (or if you're on older versions, UTF-16) |
| 2022-10-23 19:06:24 +0000 | <Guest16> | So it has to traverse the whole array understand where the n-th Char starts? |
| 2022-10-23 19:06:33 +0000 | <geekosaur> | yes |
| 2022-10-23 19:06:43 +0000 | <[exa]> | Guest16: sad truth about variable-length encodings, yes |
| 2022-10-23 19:06:54 +0000 | <Guest16> | got it, thanks |
| 2022-10-23 19:06:59 +0000 | <c_wraith> | Well. It has to traverse some prefix of the array. |
| 2022-10-23 19:07:04 +0000 | <c_wraith> | But that could be up to the whole thing |
| 2022-10-23 19:08:29 +0000 | <Guest16> | How do other languages handle this? Do they use a fixed-length encoding? |
| 2022-10-23 19:08:32 +0000 | <[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 19:08:37 +0000 | monochrom | (trebla@216.138.220.146) |
| 2022-10-23 19:09:21 +0000 | <[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 19:10:07 +0000 | <Guest16> | that's not good |
| 2022-10-23 19:10:21 +0000 | Guest6 | (~Guest6@2a01cb0408ee9900a77feef9a14c5040.ipv6.abo.wanadoo.fr) (Quit: Client closed) |
| 2022-10-23 19:10:26 +0000 | <[exa]> | not sure if it's better or worse than the silent ignorance of many other languages :D |
| 2022-10-23 19:11:13 +0000 | <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 19:11:14 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 276 seconds) |
| 2022-10-23 19:11:35 +0000 | <geekosaur> | C/C++ will happily give you an internal byte without any warning |
| 2022-10-23 19:11:35 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-23 19:11:41 +0000 | <c_wraith> | this matches up with Java using a utf-16 representation |
| 2022-10-23 19:11:59 +0000 | <[exa]> | parseltongue indexes by byte too |
| 2022-10-23 19:12:08 +0000 | <Guest16> | String really are more dangerous than I thought. |
| 2022-10-23 19:12:40 +0000 | <[exa]> | Guest16: btw what's your usecase? there might be ways around |
| 2022-10-23 19:13:24 +0000 | <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 19:13:48 +0000 | <Guest16> | exa: exercises like isPalindrome |
| 2022-10-23 19:14:06 +0000 | <c_wraith> | exercises like that only make sense in a couple languages anyway |
| 2022-10-23 19:14:21 +0000 | <c_wraith> | you never see someone talk about Arabic palindromes |
| 2022-10-23 19:15:22 +0000 | <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 19:16:21 +0000 | <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 19:17:25 +0000 | <[exa]> | Guest16: that's actually a good exercise for Text.foldr' |
| 2022-10-23 19:18:34 +0000 | <[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 19:20:07 +0000 | <[exa]> | (there might be a packed variant of the Vector for chars) |
| 2022-10-23 19:20:35 +0000 | <tomsmeding> | yeah, Char is Storable |
| 2022-10-23 19:20:46 +0000 | <Guest16> | Does packed mean strict or no indirection? |
| 2022-10-23 19:20:56 +0000 | <tomsmeding> | both |
| 2022-10-23 19:21:07 +0000 | <tomsmeding> | but you can't get "no indirection" without "strict" |
| 2022-10-23 19:21:24 +0000 | <tomsmeding> | https://hackage.haskell.org/package/vector-0.13.0.0/docs/Data-Vector-Storable.html |
| 2022-10-23 19:22:07 +0000 | <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 19:23:20 +0000 | <[exa]> | single byte? |
| 2022-10-23 19:23:27 +0000 | <tomsmeding> | associativity |
| 2022-10-23 19:23:29 +0000 | <tomsmeding> | single (byte buffer) |
| 2022-10-23 19:23:32 +0000 | <tomsmeding> | not (single byte) buffer |
| 2022-10-23 19:23:33 +0000 | <tomsmeding> | ;) |
| 2022-10-23 19:23:54 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-10-23 19:23:55 +0000 | <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 19:23:59 +0000 | <[exa]> | ok I got worried. :D |
| 2022-10-23 19:24:11 +0000 | <tomsmeding> | [exa]: in your Julia example, how can indices 1 and 3 both yield ě |
| 2022-10-23 19:24:28 +0000 | <[exa]> | tomsmeding: ě is 2 bytes, and the indexes........start at 1 |
| 2022-10-23 19:24:42 +0000 | <tomsmeding> | yeah but how can index 3 yield the same thing |
| 2022-10-23 19:24:51 +0000 | <[exa]> | oh what wait |
| 2022-10-23 19:24:57 +0000 | <[exa]> | my other ě disappeared |
| 2022-10-23 19:25:06 +0000 | <tomsmeding> | oh the string had length 2? lol |
| 2022-10-23 19:25:07 +0000 | <[exa]> | it was "ěěěěěěě"[2] |
| 2022-10-23 19:25:10 +0000 | <tomsmeding> | :') |
| 2022-10-23 19:25:17 +0000 | <tomsmeding> | right that makes more sense |
| 2022-10-23 19:25:21 +0000 | <[exa]> | yap, sorry |
| 2022-10-23 19:25:38 +0000 | <[exa]> | (strings are dangerous, disappear without warning) |
| 2022-10-23 19:26:09 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-23 19:27:11 +0000 | <Guest16> | tomsmeding: How do I if GHC puts something on the stack or heap. Is it in the report? |
| 2022-10-23 19:27:15 +0000 | <Guest16> | know |
| 2022-10-23 19:27:58 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds) |
| 2022-10-23 19:29:18 +0000 | pavonia | (~user@user/siracusa) |
| 2022-10-23 19:29:29 +0000 | Topsi | (~Topsi@dyndsl-037-138-064-075.ewe-ip-backbone.de) |
| 2022-10-23 19:29:30 +0000 | <tomsmeding> | Guest16: no, the report only says something about what the code should mean, not how the language should be implemented |
| 2022-10-23 19:30:09 +0000 | <tomsmeding> | but in general, "unboxed" means that there is no separate heap allocation |
| 2022-10-23 19:30:29 +0000 | <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 19:32:27 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-23 19:32:55 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-23 19:37:14 +0000 | axeman | (~quassel@2a02:8109:a380:78:66cd:7495:6f15:164c) |
| 2022-10-23 19:39:44 +0000 | <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 19:40:28 +0000 | <geekosaur> | evaluation of lazy languages follows a very different pattern than you're used to |
| 2022-10-23 19:40:53 +0000 | danza | (~francesco@151.37.234.17) (Ping timeout: 272 seconds) |
| 2022-10-23 19:42:09 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-23 19:45:32 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 19:51:02 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-23 19:53:20 +0000 | danza | (~francesco@151.43.90.41) |
| 2022-10-23 19:55:07 +0000 | <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 19:55:42 +0000 | <c_wraith> | What operations do you want to support efficiently? |
| 2022-10-23 19:56:33 +0000 | <isamiamsam> | just iterate through in a loop (so find successor plus find beginning would be good) |
| 2022-10-23 19:56:33 +0000 | boxscape_ | (~boxscape_@81.191.27.107) (Remote host closed the connection) |
| 2022-10-23 19:57:02 +0000 | boxscape_ | (~boxscape_@81.191.27.107) |
| 2022-10-23 19:57:31 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-23 19:59:07 +0000 | <c_wraith> | do you care about making updates to it? |
| 2022-10-23 19:59:12 +0000 | <isamiamsam> | no |
| 2022-10-23 20:00:42 +0000 | <c_wraith> | Then... doesn't Data.List.NonEmpty do the job already? |
| 2022-10-23 20:01:28 +0000 | <c_wraith> | (just keep the original around for when you need to go back to the beginning) |
| 2022-10-23 20:02:11 +0000 | <isamiamsam> | does that support indexes that are guaranteed valid? |
| 2022-10-23 20:02:25 +0000 | <c_wraith> | it has a head that's guaranteed to be present |
| 2022-10-23 20:02:37 +0000 | <c_wraith> | that's the distinguished element |
| 2022-10-23 20:07:02 +0000 | <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 20:07:18 +0000 | <c_wraith> | Oh, there are things that do. But why pay for complexity you don't need? |
| 2022-10-23 20:07:57 +0000 | <isamiamsam> | i guess i just want to know how to avoid !! should the temptation ever arise |
| 2022-10-23 20:08:00 +0000 | <[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 20:08:39 +0000 | <[exa]> | also Data.Seq is nicely implemented in a way that operations on either end are veeeeery close to O(1) |
| 2022-10-23 20:10:00 +0000 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 250 seconds) |
| 2022-10-23 20:27:05 +0000 | birdgoose | (~birdgoose@2406:e003:1d87:6601:ab94:dfbf:27e4:e79e) |
| 2022-10-23 20:29:01 +0000 | <cheater> | hello |
| 2022-10-23 20:30:13 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2022-10-23 20:31:14 +0000 | birdgoose | (~birdgoose@2406:e003:1d87:6601:ab94:dfbf:27e4:e79e) (Ping timeout: 250 seconds) |
| 2022-10-23 20:31:15 +0000 | <geekosaur> | hello |
| 2022-10-23 20:33:27 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 272 seconds) |
| 2022-10-23 20:34:51 +0000 | <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 20:35:46 +0000 | <geekosaur> | the way you read them isn't going to affect that. what you do with them after reading will. |
| 2022-10-23 20:35:46 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-10-23 20:36:12 +0000 | <geekosaur> | getLine is the usual way to read line by line |
| 2022-10-23 20:36:53 +0000 | <cheater> | hrm, that's right |
| 2022-10-23 20:37:24 +0000 | <cheater> | i want to parse the lines into strings, ints, and the likes. |
| 2022-10-23 20:39:00 +0000 | <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 20:39:29 +0000 | <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 20:40:04 +0000 | <c_wraith> | cassava is the csv library I see mentioned most |
| 2022-10-23 20:40:53 +0000 | underdas | (~seb@2620:0:5301:2101:55f6:3d38:6a53:b591) |
| 2022-10-23 20:42:55 +0000 | <cheater> | yeah, i think i've used that one before. thanks |
| 2022-10-23 20:44:56 +0000 | <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 20:45:04 +0000 | <underdas> | I see there's a build depends, like this: |
| 2022-10-23 20:45:23 +0000 | <underdas> | build-depends: base ^>=4.17.0.0 |
| 2022-10-23 20:45:45 +0000 | <underdas> | But, how would you add more? It doesn't seem structured for a list? Sorry for the basic question lol |
| 2022-10-23 20:45:56 +0000 | <underdas> | Currentl reading the cabal docs atm, but it seems unclear to me |
| 2022-10-23 20:46:04 +0000 | <underdas> | Although very detailed in other respects |
| 2022-10-23 20:47:02 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-10-23 20:49:34 +0000 | tog | (~tog@196.sub-75-245-142.myvzw.com) |
| 2022-10-23 20:50:49 +0000 | mmhat | (~mmh@p200300f1c7307630ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-10-23 20:52:46 +0000 | birdgoose | (~birdgoose@151.210.175.160) |
| 2022-10-23 20:52:56 +0000 | <codolio> | It is a list. |
| 2022-10-23 20:53:42 +0000 | <codolio> | Here's a slightly more complicated one: https://github.com/haskell/vector/blob/master/vector/vector.cabal#L142 |
| 2022-10-23 20:54:21 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-23 20:54:26 +0000 | codolio | dolio |
| 2022-10-23 20:54:37 +0000 | axeman | (~quassel@2a02:8109:a380:78:66cd:7495:6f15:164c) (Ping timeout: 272 seconds) |
| 2022-10-23 20:55:38 +0000 | <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 20:56:00 +0000 | <dolio> | Yeah. |
| 2022-10-23 20:56:26 +0000 | <underdas> | That makes sense, then, thanks |
| 2022-10-23 20:58:29 +0000 | chomwitt | (~chomwitt@2a02:587:dc10:8200:1ac0:4dff:fedb:a3f1) (Ping timeout: 276 seconds) |
| 2022-10-23 21:01:24 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-23 21:04:57 +0000 | mmhat | (~mmh@p200300f1c7307610ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-23 21:05:34 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 21:07:10 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-10-23 21:07:47 +0000 | birdgoose | (~birdgoose@151.210.175.160) (Quit: Iridium IRC Client) |
| 2022-10-23 21:08:00 +0000 | birdgoose | (~birdgoose@151.210.175.160) |
| 2022-10-23 21:08:02 +0000 | underdas | (~seb@2620:0:5301:2101:55f6:3d38:6a53:b591) (Quit: Leaving) |
| 2022-10-23 21:10:22 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-10-23 21:10:22 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 260 seconds) |
| 2022-10-23 21:13:59 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-10-23 21:22:46 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 21:23:47 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-23 21:25:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-23 21:27:10 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-10-23 21:31:38 +0000 | ddellacosta | (~ddellacos@89.45.224.143) (Ping timeout: 276 seconds) |
| 2022-10-23 21:32:06 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-210.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-10-23 21:38:29 +0000 | axeman | (~quassel@2a02:8109:a380:78:55ee:b3a8:1110:20bb) |
| 2022-10-23 21:41:28 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:1c72:188f:b3b3:3a5b) |
| 2022-10-23 21:42:35 +0000 | <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 21:43:34 +0000 | birdgoose | (~birdgoose@151.210.175.160) (Quit: Iridium IRC Client) |
| 2022-10-23 21:43:45 +0000 | birdgoose | (~birdgoose@151.210.175.160) |
| 2022-10-23 21:44:02 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 250 seconds) |
| 2022-10-23 21:44:51 +0000 | crns | (~netcrns@user/crns) (Quit: man) |
| 2022-10-23 21:45:11 +0000 | crns | (~netcrns@p4ff5e713.dip0.t-ipconnect.de) |
| 2022-10-23 21:45:11 +0000 | crns | (~netcrns@p4ff5e713.dip0.t-ipconnect.de) (Changing host) |
| 2022-10-23 21:45:11 +0000 | crns | (~netcrns@user/crns) |
| 2022-10-23 21:50:30 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-10-23 21:59:51 +0000 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-10-23 21:59:58 +0000 | The_Guest67 | (~The_Guest@62.231.72.228) |
| 2022-10-23 21:59:59 +0000 | The_Guest67 | (~The_Guest@62.231.72.228) () |
| 2022-10-23 22:02:00 +0000 | tog | (~tog@196.sub-75-245-142.myvzw.com) (Quit: Connection closed) |
| 2022-10-23 22:04:36 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-10-23 22:05:02 +0000 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-10-23 22:05:02 +0000 | bilegeek | (~bilegeek@2600:1008:b06e:7748:1ed2:154:a290:4ce6) |
| 2022-10-23 22:08:17 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-10-23 22:09:12 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:1c72:188f:b3b3:3a5b) (Quit: Leaving) |
| 2022-10-23 22:09:26 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-10-23 22:10:05 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-210.elisa-laajakaista.fi) |
| 2022-10-23 22:12:47 +0000 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) |
| 2022-10-23 22:13:53 +0000 | acidjnk | (~acidjnk@p200300d6e7137a39185a556c4ffa1a9f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2022-10-23 22:15:12 +0000 | birdgoose | (~birdgoose@151.210.175.160) (Quit: Iridium IRC Client) |
| 2022-10-23 22:15:21 +0000 | birdgoose | (~birdgoose@151.210.175.160) |
| 2022-10-23 22:19:19 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-10-23 22:23:17 +0000 | axeman | (~quassel@2a02:8109:a380:78:55ee:b3a8:1110:20bb) (Ping timeout: 272 seconds) |
| 2022-10-23 22:26:29 +0000 | axeman | (~quassel@2a02:8109:a380:78:75a8:c262:9acb:200a) |
| 2022-10-23 22:27:27 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-23 22:28:45 +0000 | Guest51 | (~Guest51@50.47.90.28) |
| 2022-10-23 22:29:44 +0000 | birdgoose | (~birdgoose@151.210.175.160) (Quit: Iridium IRC Client) |
| 2022-10-23 22:29:55 +0000 | birdgoose | (~birdgoose@151.210.175.160) |
| 2022-10-23 22:34:52 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-210.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-10-23 22:38:36 +0000 | <Guest51> | I'm new to the `machines` library. `Tee` lets me write a machine that uses two input streams. What's the best way to write one that uses three or more? I assume there's a better way than just rewriting `tee` to use `data T3 = C1 | C2 | C3` but idk what it would be |
| 2022-10-23 22:38:42 +0000 | Guest51 | (~Guest51@50.47.90.28) (Quit: Client closed) |
| 2022-10-23 22:40:28 +0000 | <dsal> | I was going to ask if one of the things could be a Tee, but missed my chance. |
| 2022-10-23 22:41:48 +0000 | Guest51 | (~Guest51@50.47.90.28) |
| 2022-10-23 22:41:50 +0000 | <jackdk> | I would combine tees, but I know nothing of this library. If I was combining way more than three, I might make an effort to produce a balanced tree of tees instead of a big list |
| 2022-10-23 22:45:03 +0000 | <Guest51> | I don't think that would work in the general case. My reasoning is that, once you combine two input streams with one Tee, you can no longer choose the order in which you take values from them. (You can think of a machine as being a conduit but with the ability to read more than 1 input stream) |
| 2022-10-23 22:46:34 +0000 | beteigeuze1 | (~Thunderbi@2001:8a0:61b5:6101:9233:19e9:6537:6e73) |
| 2022-10-23 22:47:41 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 276 seconds) |
| 2022-10-23 22:47:41 +0000 | beteigeuze1 | beteigeuze |
| 2022-10-23 22:50:03 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-10-23 22:55:57 +0000 | emanon42 | (~emanon42@103.120.19.44) (Ping timeout: 272 seconds) |
| 2022-10-23 22:56:02 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 23:01:01 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-23 23:05:59 +0000 | <dsal> | If that works for two, then why wouldn't it work if one of the two was also two? |
| 2022-10-23 23:07:05 +0000 | <dsal> | In any case, yeah, making a special type for N is probably a good step after 2. I don't think I'd do anything special for 3. |
| 2022-10-23 23:09:33 +0000 | paulpaul1076 | (~paulpaul1@95-29-5-52.broadband.corbina.ru) |
| 2022-10-23 23:10:11 +0000 | <paulpaul1076> | hey everyone, i started learning haskell, and when i type in an example from the book by Graham Hutton I get an error saying "non-exhaustive patterns in function" |
| 2022-10-23 23:10:25 +0000 | <paulpaul1076> | sum [] = 0 |
| 2022-10-23 23:10:30 +0000 | Topsi | (~Topsi@dyndsl-037-138-064-075.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-10-23 23:10:31 +0000 | <paulpaul1076> | sum (x:xs) = x + sum xs |
| 2022-10-23 23:10:40 +0000 | <paulpaul1076> | what is non-exhaustive about this definition? |
| 2022-10-23 23:10:49 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-10-23 23:10:54 +0000 | <c_wraith> | ghci treats each line as a separate definition |
| 2022-10-23 23:11:10 +0000 | <c_wraith> | The example is intended to be put in a file, not entered into ghci |
| 2022-10-23 23:11:17 +0000 | <paulpaul1076> | oh, i see, let me try |
| 2022-10-23 23:11:37 +0000 | redmp | (~redmp@mobile-166-137-178-164.mycingular.net) |
| 2022-10-23 23:13:02 +0000 | <hpc> | you can do multiline inputs with :{ and :}, but bleh |
| 2022-10-23 23:13:04 +0000 | <paulpaul1076> | it worked thanks! i was using haskell for mac IDE's playground, it uses ghci |
| 2022-10-23 23:13:14 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-23 23:14:32 +0000 | <c_wraith> | yeah, ghci works a bit differently from ghc, in terms of how definitions are entered there. It's often good to use a file for definitions plus ghci for experimenting with them. |
| 2022-10-23 23:15:09 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:d4cb:6221:97a6:c0bc) |
| 2022-10-23 23:15:58 +0000 | <paulpaul1076> | https://stackoverflow.com/questions/2846050/how-to-define-a-function-in-ghci-across-multiple-lines |
| 2022-10-23 23:16:07 +0000 | <paulpaul1076> | seems like you can do ":set +m" |
| 2022-10-23 23:16:24 +0000 | <geekosaur> | yes, that's a different kind of multiline input mode |
| 2022-10-23 23:16:34 +0000 | <geekosaur> | it requires you to hit enter twice in most cases |
| 2022-10-23 23:16:53 +0000 | <c_wraith> | Or you can use :{ and :} to start end end multiline mode in ghci. Or you can use semicolons to put everything on one line. |
| 2022-10-23 23:16:56 +0000 | <geekosaur> | otherwise it just keeps adding to the current "definition" |
| 2022-10-23 23:17:22 +0000 | <c_wraith> | But I really like having a file. It makes restarting your experiments much easier |
| 2022-10-23 23:17:24 +0000 | <hpc> | ultimately :r is the easiest |
| 2022-10-23 23:17:32 +0000 | <hpc> | yeah |
| 2022-10-23 23:17:35 +0000 | Kaipei | (~Kaiepi@108.175.84.104) (Ping timeout: 276 seconds) |
| 2022-10-23 23:18:10 +0000 | <paulpaul1076> | thanks, i will try it out as well |
| 2022-10-23 23:18:10 +0000 | <geekosaur> | also if you enter stuff at the prompt the only way to go back and collect it later is to dig it out of the history file |
| 2022-10-23 23:18:24 +0000 | <paulpaul1076> | how do you guys code in haskell, do you use text editors or some ide? |
| 2022-10-23 23:18:28 +0000 | <geekosaur> | can't save source, can't save current workspace, etc. |
| 2022-10-23 23:19:01 +0000 | <geekosaur> | I switch between emacs (with haskell-mode but no IDE support) and vscode (with IDE support) |
| 2022-10-23 23:19:04 +0000 | <hpc> | all vim all the time |
| 2022-10-23 23:19:35 +0000 | <hpc> | no plugins or anything |
| 2022-10-23 23:19:55 +0000 | <paulpaul1076> | and you use haskell professionally? I use scala, but i find myself writing non-functional code all the time, so I decided to learn a bit of haskell |
| 2022-10-23 23:21:26 +0000 | <c_wraith> | Many of us have at one point or another. Most probably aren't at this moment. |
| 2022-10-23 23:22:30 +0000 | mmhat | (~mmh@p200300f1c7307610ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1) |
| 2022-10-23 23:22:55 +0000 | <dsal> | I do Haskell professionally. Just emacs. |
| 2022-10-23 23:23:02 +0000 | <dsal> | I keep meaning to do something with vscode, but it's never stuck. |
| 2022-10-23 23:24:39 +0000 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!) |
| 2022-10-23 23:25:14 +0000 | <hpc> | dsal: same, i never quite get to the point where more IDE-like features would help me more than just being brutally efficient at text editing |
| 2022-10-23 23:25:25 +0000 | <paulpaul1076> | I've always wondered why people use emacs and vim. Isn't vscode better and easier to use? (sorry, I've only been a programmer for 5 years professionally, maybe most of you have been programming for a long time and vim and emacs is what you're used to) |
| 2022-10-23 23:25:31 +0000 | <hpc> | (plus i write in too many other languages) |
| 2022-10-23 23:25:58 +0000 | <geekosaur> | I've been using vi and variants since 1982 and emacs since 1987 |
| 2022-10-23 23:26:03 +0000 | Guest7754 | polo |
| 2022-10-23 23:26:07 +0000 | <hpc> | i can't speak for emacs, but vim's command language is an entire... language |
| 2022-10-23 23:26:23 +0000 | <dsal> | hpc: yeah. I never really learned most of emacs. heh. But I can remember my goals |
| 2022-10-23 23:26:26 +0000 | <geekosaur> | emacs has its own bloody lisp dialect |
| 2022-10-23 23:26:57 +0000 | <dsal> | The only time I felt that I *needed* an IDE professionally was when I was doing Java and the ecosystem basically pushed requirements into tooling. |
| 2022-10-23 23:27:01 +0000 | <hpc> | as you learn it, the amount of stuff you can do instantly just grows and grows |
| 2022-10-23 23:27:36 +0000 | <dsal> | I've been using vscode for tla+ because it's a lot better at it than the tla+ tools. |
| 2022-10-23 23:27:42 +0000 | <geekosaur> | also vscode is, quite honestly, *slower* |
| 2022-10-23 23:28:30 +0000 | <hpc> | and vim/emacs are at full power without any configuration, and more likely to be pre-installed |
| 2022-10-23 23:28:47 +0000 | <paulpaul1076> | I recently had to search for text in a 4 gb text file, vscode wasn't able to open it, the only text editor that worked was sublime text (i didn't try vim or emacs) |
| 2022-10-23 23:29:11 +0000 | <dsal> | Pretty sure I just wouldn't try that in a text editor. |
| 2022-10-23 23:29:22 +0000 | <hpc> | at that point i would just grep it |
| 2022-10-23 23:29:58 +0000 | <paulpaul1076> | true, but i was asked to help a non-technical person with this text searching stuff |
| 2022-10-23 23:30:08 +0000 | <paulpaul1076> | who uses windows |
| 2022-10-23 23:31:28 +0000 | <dsal> | emacs has this cool feature where if you try to open a large file, it just says "seriously?" and then you can tell it that you want to do things that aren't good ideas. :) I use it with tens of megs. I do have some pretty good tools for that sort of thing, but I'd probably just fix the "I have a 4GB text file" thing first. :) |
| 2022-10-23 23:32:11 +0000 | <geekosaur> | sometimes the right tool for the job is split |
| 2022-10-23 23:34:12 +0000 | <olivermead[m]> | <paulpaul1076> "I recently had to search for..." <- yeh vim would have been fine, emacs would have chugged a bit |
| 2022-10-23 23:34:46 +0000 | <geekosaur> | (I also remember bfs from before the visual editor days. ed but read only and worked in chunks. then again, 4GB was bigger than your disk back then…) |
| 2022-10-23 23:35:34 +0000 | <paulpaul1076> | I see, maybe I'll learn it if I have the time, although I don't know if it'll be useful for me. The only argument I've heard for learning vim is that we have to ssh into servers nowadays and have to be able to edit files there, but I already do that with nano. |
| 2022-10-23 23:36:00 +0000 | <dsal> | I use emacs on my mac to edit files remotely on my other machines. |
| 2022-10-23 23:36:20 +0000 | <dsal> | Or emacs there. Or sometimes vi. Depends on what I'm doing. |
| 2022-10-23 23:37:07 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-10-23 23:38:30 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3df4:aa3e:43b0:5de8) (Remote host closed the connection) |
| 2022-10-23 23:38:42 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-10-23 23:39:07 +0000 | redmp | (~redmp@mobile-166-137-178-164.mycingular.net) (Ping timeout: 260 seconds) |
| 2022-10-23 23:40:59 +0000 | danza | (~francesco@151.43.90.41) (Ping timeout: 276 seconds) |
| 2022-10-23 23:43:24 +0000 | <yushyin> | paulpaul1076: the text editing features of vim are useful if you don't have a decent IDE support for the language you're writing for yet or if the language doesn't benefit much from it. also there are languages i wouldn't want to write without IDE features either. |
| 2022-10-23 23:43:58 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-10-23 23:45:17 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-10-23 23:45:47 +0000 | <jle`> | nshepperd2: hey, how's it going :) saw your name show up in a blog post and was wondering if i could ask about a haskell snippet |
| 2022-10-23 23:46:11 +0000 | <paulpaul1076> | 👍🏻 thanks. I'll look into it, does that mean that vim supports some kind of config files that can define keywords to highlight syntax? |
| 2022-10-23 23:46:18 +0000 | <jle`> | in https://www.gwern.net/Problem-14#haskell is this solution correctly labeled as O(l) space? as soon as you call the nested generate we're already in O(l^2) right? |
| 2022-10-23 23:51:26 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2022-10-23 23:53:17 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-10-23 23:53:34 +0000 | danza | (~francesco@151.43.239.176) |
| 2022-10-23 23:54:31 +0000 | Guest62 | (~Guest62@43.21.135.77.rev.sfr.net) |
| 2022-10-23 23:54:40 +0000 | <Guest62> | hello, i have a question |
| 2022-10-23 23:54:43 +0000 | frost1 | (~frost@user/frost) |
| 2022-10-23 23:55:18 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-23 23:56:00 +0000 | <Guest62> | is there a way to use a fold but to work on two consecutive elements of a list instead of one? |
| 2022-10-23 23:57:19 +0000 | <Guest62> | for instance, [1,2,3,4] turned into [1-0, 2-1, 3-2, 4-3] through a fold ? |
| 2022-10-23 23:57:53 +0000 | <jle`> | Guest62: simplest way for lists is probably to zip with its tail |
| 2022-10-23 23:57:55 +0000 | <jackdk> | I generally zip the list against its own tail |
| 2022-10-23 23:58:04 +0000 | <Guest62> | ok ty |
| 2022-10-23 23:58:04 +0000 | <jle`> | > let xs = [1,2,3,4] in zip xs (drop 1 xs) |
| 2022-10-23 23:58:06 +0000 | <lambdabot> | [(1,2),(2,3),(3,4)] |
| 2022-10-23 23:58:10 +0000 | <hpc> | @quote aztec.god |
| 2022-10-23 23:58:10 +0000 | <lambdabot> | quicksilver says: zip`ap`tail - the Aztec god of consecutive numbers |
| 2022-10-23 23:58:32 +0000 | <jle`> | > let xs = [1,2,3,4] in map (\(a, b) -> b - a) (zip xs (drop 1 xs)) |
| 2022-10-23 23:58:33 +0000 | <lambdabot> | [1,1,1] |
| 2022-10-23 23:58:44 +0000 | <jle`> | or you could fold instead of map |
| 2022-10-23 23:59:21 +0000 | <Guest62> | great |
| 2022-10-23 23:59:24 +0000 | <Guest62> | ty |