| 2021-07-16 00:00:47 +0200 | <Raugh> | oh i get def now |
| 2021-07-16 00:01:19 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-07-16 00:01:43 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-16 00:02:29 +0200 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-07-16 00:03:06 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-16 00:05:40 +0200 | safinaskar | (~user@109-252-90-89.nat.spd-mgts.ru) (Ping timeout: 252 seconds) |
| 2021-07-16 00:05:50 +0200 | dre | (~dre@2001:8003:c932:c301:5158:163a:41f3:cc10) |
| 2021-07-16 00:06:02 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 255 seconds) |
| 2021-07-16 00:06:30 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 00:07:26 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-07-16 00:07:37 +0200 | safinaskar | (~user@109-252-188-98.dynamic.spd-mgts.ru) |
| 2021-07-16 00:08:46 +0200 | KUrare | (~KUrare@user/kurare) (Ping timeout: 272 seconds) |
| 2021-07-16 00:13:57 +0200 | safinaskar | (~user@109-252-188-98.dynamic.spd-mgts.ru) () |
| 2021-07-16 00:14:16 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving) |
| 2021-07-16 00:15:34 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-07-16 00:17:38 +0200 | Null_A | (~null_a@2601:645:8700:2290:f850:a5d3:841d:88de) |
| 2021-07-16 00:18:25 +0200 | Null_A | (~null_a@2601:645:8700:2290:f850:a5d3:841d:88de) (Client Quit) |
| 2021-07-16 00:19:14 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-07-16 00:21:09 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-16 00:25:08 +0200 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-07-16 00:26:42 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-07-16 00:33:16 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 00:33:30 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-07-16 00:34:13 +0200 | <Boarders> | Could someone remind me how you read the rest of a line of text (up until newline character) with megaparsec |
| 2021-07-16 00:34:57 +0200 | <Boarders> | should I just use takeWhileP? |
| 2021-07-16 00:35:58 +0200 | econo | (uid147250@user/econo) |
| 2021-07-16 00:37:59 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) (Ping timeout: 255 seconds) |
| 2021-07-16 00:39:36 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-16 00:47:35 +0200 | retroid_ | (~retro@90.218.175.34) |
| 2021-07-16 00:47:48 +0200 | lainon | (~lainon@146.229.79.120) |
| 2021-07-16 00:50:54 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 265 seconds) |
| 2021-07-16 00:51:15 +0200 | retro_ | (~retro@90.218.175.34) (Ping timeout: 268 seconds) |
| 2021-07-16 00:51:54 +0200 | ubikium | (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Quit: Quit) |
| 2021-07-16 00:52:51 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 00:56:11 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-07-16 00:57:19 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-07-16 00:58:45 +0200 | pavonia | (~user@user/siracusa) |
| 2021-07-16 00:59:53 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 01:10:02 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-16 01:10:07 +0200 | roboto_el_gato | (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) |
| 2021-07-16 01:16:40 +0200 | roboto_el_gato | (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) (Ping timeout: 246 seconds) |
| 2021-07-16 01:18:50 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-16 01:32:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-07-16 01:33:12 +0200 | lainon | (~lainon@146.229.79.120) (Quit: Leaving) |
| 2021-07-16 01:34:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-16 01:37:15 +0200 | <xsperry> | Boarders, off the top of my head: line = some (noneOf "\r\n") |
| 2021-07-16 01:39:08 +0200 | <Boarders> | thanks! |
| 2021-07-16 01:42:09 +0200 | mikail_ | (~mikail@90.212.77.3) (Quit: Leaving) |
| 2021-07-16 01:44:43 +0200 | roboto_el_gato | (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) |
| 2021-07-16 01:45:02 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-07-16 01:48:18 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-51.prtc.net) |
| 2021-07-16 01:48:22 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 01:49:05 +0200 | dragestil | (~quassel@user/dragestil) (Ping timeout: 255 seconds) |
| 2021-07-16 01:50:16 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c72b951301624b1129165e7b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2021-07-16 01:52:45 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-16 01:54:21 +0200 | hendursaga | (~weechat@user/hendursaga) (Quit: hendursaga) |
| 2021-07-16 01:54:50 +0200 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-16 01:56:07 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-07-16 01:56:44 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds) |
| 2021-07-16 01:59:03 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-16 01:59:20 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 256 seconds) |
| 2021-07-16 02:00:33 +0200 | dragestil_ | (~quassel@user/dragestil) |
| 2021-07-16 02:00:44 +0200 | Null_A | (~null_a@2601:645:8700:2290:187e:cdbe:3584:806) |
| 2021-07-16 02:01:10 +0200 | dajoer | (~david@user/gvx) |
| 2021-07-16 02:01:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-07-16 02:02:24 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-16 02:02:26 +0200 | Atum_ | (IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-07-16 02:02:50 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 02:02:51 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 02:02:53 +0200 | <sm> | takeWhileP when you want max speed perhaps |
| 2021-07-16 02:04:58 +0200 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) |
| 2021-07-16 02:05:03 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) |
| 2021-07-16 02:10:30 +0200 | dragestil__ | (~quassel@user/dragestil) |
| 2021-07-16 02:13:52 +0200 | dragestil_ | (~quassel@user/dragestil) (Ping timeout: 245 seconds) |
| 2021-07-16 02:17:55 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 246 seconds) |
| 2021-07-16 02:19:19 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-16 02:20:01 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-16 02:21:41 +0200 | martums | (~martums@user/martums) |
| 2021-07-16 02:21:54 +0200 | hexfive | (~eric@50.35.83.177) (Ping timeout: 268 seconds) |
| 2021-07-16 02:22:23 +0200 | stevenxl | (uid133530@id-133530.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-16 02:23:38 +0200 | dragestil__ | dragestil_ |
| 2021-07-16 02:24:05 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) |
| 2021-07-16 02:25:13 +0200 | hexfive | (~eric@50.35.83.177) |
| 2021-07-16 02:27:01 +0200 | roboto_el_gato | (~roboto_el@2600:1700:7df0:4f30:60ad:415d:9afc:74f1) (Ping timeout: 246 seconds) |
| 2021-07-16 02:28:04 +0200 | chisui | (~chisui@200116b866e14b00954b747ecb7b95bf.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
| 2021-07-16 02:28:17 +0200 | Null_A | (~null_a@2601:645:8700:2290:187e:cdbe:3584:806) (Remote host closed the connection) |
| 2021-07-16 02:29:31 +0200 | Null_A | (~null_a@2601:645:8700:2290:187e:cdbe:3584:806) |
| 2021-07-16 02:30:20 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 02:32:01 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-16 02:32:09 +0200 | oso | (~oso@2601:58c:c080:a950:f275:2530:b398:680b) |
| 2021-07-16 02:33:28 +0200 | _xor | (~xor@74.215.232.67) |
| 2021-07-16 02:35:06 +0200 | <oso> | just double checking, if I use `Data.Text.toCaseFold` for conversion, I still use `Data.Char.isLower` to check for lowercase letters? |
| 2021-07-16 02:35:18 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-16 02:35:20 +0200 | <oso> | I feel like it's a simple and obvious yes but I want to be certain |
| 2021-07-16 02:37:37 +0200 | derelict | (~derelict@user/derelict) (Ping timeout: 245 seconds) |
| 2021-07-16 02:38:32 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 02:41:08 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-16 02:42:27 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 255 seconds) |
| 2021-07-16 02:43:18 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2021-07-16 02:44:48 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2021-07-16 02:47:26 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-16 02:49:39 +0200 | retroid_ | (~retro@90.218.175.34) (Ping timeout: 268 seconds) |
| 2021-07-16 02:50:44 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-16 02:50:45 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 250 seconds) |
| 2021-07-16 02:51:11 +0200 | <Raugh> | oso: try it out in GHCi :) |
| 2021-07-16 02:51:13 +0200 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-16 02:51:53 +0200 | <oso> | I have, I just want to be sure there aren't any edge cases with characters I'm not personally familiar with |
| 2021-07-16 02:54:22 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2021-07-16 02:54:31 +0200 | egoist | (~egoist@186.235.80.249) (Quit: WeeChat 3.2) |
| 2021-07-16 02:55:52 +0200 | <Raugh> | I'm not famaliar with the utf8 / char problem space but perhasp something like quickCheck could help aleviate worries? |
| 2021-07-16 02:56:23 +0200 | <oso> | I'll take a look, thanks |
| 2021-07-16 02:58:02 +0200 | Null_A | (~null_a@2601:645:8700:2290:187e:cdbe:3584:806) (Remote host closed the connection) |
| 2021-07-16 02:58:18 +0200 | Null_A | (~null_a@2601:645:8700:2290:187e:cdbe:3584:806) |
| 2021-07-16 03:00:33 +0200 | derelict | (~derelict@user/derelict) |
| 2021-07-16 03:01:18 +0200 | jneira_ | (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2021-07-16 03:02:29 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-16 03:03:52 +0200 | Deide | (~Deide@user/deide) (Ping timeout: 252 seconds) |
| 2021-07-16 03:10:06 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-51.prtc.net) (Quit: Client closed) |
| 2021-07-16 03:13:24 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-07-16 03:13:41 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 03:14:34 +0200 | oxide | (~lambda@user/oxide) |
| 2021-07-16 03:16:00 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-16 03:16:33 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-16 03:20:00 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-07-16 03:20:36 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 03:20:46 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:1608:5ddb:ace2:2fb3) (Ping timeout: 268 seconds) |
| 2021-07-16 03:21:06 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-07-16 03:21:20 +0200 | Null_A | (~null_a@2601:645:8700:2290:187e:cdbe:3584:806) (Remote host closed the connection) |
| 2021-07-16 03:22:12 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-07-16 03:26:50 +0200 | Deide | (~Deide@217.155.19.23) |
| 2021-07-16 03:26:50 +0200 | Deide | (~Deide@217.155.19.23) (Changing host) |
| 2021-07-16 03:26:50 +0200 | Deide | (~Deide@user/deide) |
| 2021-07-16 03:27:00 +0200 | xff0x | (~xff0x@2001:1a81:5396:d100:2b35:b634:3ed0:60cf) (Ping timeout: 255 seconds) |
| 2021-07-16 03:28:35 +0200 | Deide | (~Deide@user/deide) (Client Quit) |
| 2021-07-16 03:28:52 +0200 | xff0x | (~xff0x@2001:1a81:53d5:b900:e768:175e:26b1:ffc) |
| 2021-07-16 03:29:10 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-07-16 03:29:11 +0200 | Guest21 | (~Guest21@50.47.115.102) |
| 2021-07-16 03:29:34 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-16 03:30:17 +0200 | Null_A | (~null_a@2601:645:8700:2290:187e:cdbe:3584:806) |
| 2021-07-16 03:30:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 03:30:32 +0200 | silverwhitefish | (~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5)) |
| 2021-07-16 03:30:33 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-16 03:32:49 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 03:33:47 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 265 seconds) |
| 2021-07-16 03:34:09 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 03:34:27 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 03:37:02 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-07-16 03:37:35 +0200 | neurocyte0 | (~neurocyte@45.136.170.21) |
| 2021-07-16 03:37:35 +0200 | neurocyte0 | (~neurocyte@45.136.170.21) (Changing host) |
| 2021-07-16 03:37:35 +0200 | neurocyte0 | (~neurocyte@user/neurocyte) |
| 2021-07-16 03:38:15 +0200 | renzhi | (~xp@2607:fa49:655f:a700::8b9f) (Ping timeout: 255 seconds) |
| 2021-07-16 03:41:08 +0200 | neurocyte | (~neurocyte@user/neurocyte) (Ping timeout: 255 seconds) |
| 2021-07-16 03:41:08 +0200 | neurocyte0 | neurocyte |
| 2021-07-16 03:42:02 +0200 | derelict | (~derelict@user/derelict) (Ping timeout: 255 seconds) |
| 2021-07-16 03:42:25 +0200 | Raugh | (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-07-16 03:44:56 +0200 | <dsal> | :t T.toCaseFold |
| 2021-07-16 03:44:57 +0200 | <lambdabot> | T.Text -> T.Text |
| 2021-07-16 03:45:01 +0200 | <dsal> | :t T.iSlower |
| 2021-07-16 03:45:02 +0200 | <lambdabot> | error: Not in scope: ‘T.iSlower’ |
| 2021-07-16 03:45:09 +0200 | <dsal> | :t Data.Char.isLower |
| 2021-07-16 03:45:11 +0200 | <lambdabot> | Char -> Bool |
| 2021-07-16 03:46:28 +0200 | <dsal> | Ah, I've never used `toCaseFold`. I understand why now. :) |
| 2021-07-16 03:52:49 +0200 | Null_A | (~null_a@2601:645:8700:2290:187e:cdbe:3584:806) (Remote host closed the connection) |
| 2021-07-16 03:53:12 +0200 | <Clint> | because you have no reason to? |
| 2021-07-16 03:53:59 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-07-16 03:54:30 +0200 | Null_A | (~null_a@2601:645:8700:2290:187e:cdbe:3584:806) |
| 2021-07-16 03:54:54 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) (Ping timeout: 255 seconds) |
| 2021-07-16 03:56:21 +0200 | <oso> | ...should i not be using it? |
| 2021-07-16 03:56:22 +0200 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-16 03:57:00 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-16 03:57:16 +0200 | <geekosaur> | Ideally you use the text-icu package and include locale information |
| 2021-07-16 03:57:29 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 268 seconds) |
| 2021-07-16 03:57:31 +0200 | <geekosaur> | capitalization turns out to be incredibly tricky |
| 2021-07-16 03:57:46 +0200 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:9925:18b1:79f7:f242) (Ping timeout: 268 seconds) |
| 2021-07-16 03:58:18 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-07-16 03:59:49 +0200 | oxide | (~lambda@user/oxide) |
| 2021-07-16 04:01:05 +0200 | <oso> | wow thanks, text-icu looks very useful |
| 2021-07-16 04:02:53 +0200 | smichel17 | (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) (Quit: smichel17) |
| 2021-07-16 04:04:48 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-16 04:06:23 +0200 | <dsal> | oso: It depends on what you're doing. As Clint inferred, I've not had a reason to use it, but your use case might need it. Not sure what you're doing. |
| 2021-07-16 04:08:06 +0200 | <Guest21> | How well does GHC optimize the use of lists? |
| 2021-07-16 04:08:07 +0200 | <Guest21> | For example, if I have the code |
| 2021-07-16 04:08:07 +0200 | <Guest21> | main = forM_ [1,3..10] $ print |
| 2021-07-16 04:08:08 +0200 | <Guest21> | will GHC need to put a list in memory to use this code, or will it be optimized to the equivalent of: |
| 2021-07-16 04:08:08 +0200 | <Guest21> | int main (void){ |
| 2021-07-16 04:08:09 +0200 | <Guest21> | for(int i = 1; i <= 10; i += 2) |
| 2021-07-16 04:08:09 +0200 | <Guest21> | printf("%d\n", i); |
| 2021-07-16 04:08:10 +0200 | <Guest21> | } |
| 2021-07-16 04:09:37 +0200 | <dsal> | Guest21: (please use a paste). What happens if you don't put an upper bound on that? Does it work? |
| 2021-07-16 04:09:53 +0200 | <dsal> | Also, that $ is superfluous. |
| 2021-07-16 04:10:58 +0200 | <davean> | dsal: I don't feel thats an enlightening question |
| 2021-07-16 04:11:47 +0200 | <dsal> | Why's that? |
| 2021-07-16 04:12:00 +0200 | <davean> | dsal: It'll definately work when you don't put an upper bound, even if it does create the list |
| 2021-07-16 04:12:17 +0200 | <davean> | That has nothing to do with optimization, and everything to do with Haskell being non-strict |
| 2021-07-16 04:12:30 +0200 | <dsal> | I see what you mean. |
| 2021-07-16 04:12:30 +0200 | <davean> | So the answer to it in no way addresses their question |
| 2021-07-16 04:13:13 +0200 | <dsal> | Other than "read core" what's a better way to answer that? |
| 2021-07-16 04:13:39 +0200 | <Axman6> | Guest21: you can answer that yourself by replacing 10 with 100000000 and seeing if memory usage increases. you can probably also answer it yourrself by looking at the implementation of enumFromThenTo and forM_ and seeing how fprM_ (enumFromThenT1 3 10) print evaluates |
| 2021-07-16 04:13:58 +0200 | <Axman6> | @src enumFromThenTo |
| 2021-07-16 04:13:58 +0200 | <lambdabot> | Source not found. My pet ferret can type better than you! |
| 2021-07-16 04:14:02 +0200 | <davean> | Axman6: GC will grab it as you walk the list |
| 2021-07-16 04:14:16 +0200 | <davean> | Axman6: You'd have to read the rules at best |
| 2021-07-16 04:14:28 +0200 | <davean> | and I think thats a core part of the question - different optimization levels will do different things |
| 2021-07-16 04:14:39 +0200 | <davean> | Guest21: even reifing the list, it'll be faster than I expect you think BTW |
| 2021-07-16 04:14:46 +0200 | <davean> | Guest21: because it is a bump pointer |
| 2021-07-16 04:14:48 +0200 | <Axman6> | I can pretty much guarantee no list will ever exist as each value is generated lazily |
| 2021-07-16 04:15:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-07-16 04:15:16 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-118.prtc.net) |
| 2021-07-16 04:15:29 +0200 | <davean> | Axman6: they're generated lazily sure, but at least at -O0 the list *will* exist, you'll just walk up the list as fast as you create it, and it'll be thrown away every nursery GC |
| 2021-07-16 04:15:33 +0200 | <davean> | which is VERY cheap |
| 2021-07-16 04:15:37 +0200 | <davean> | but that does create a list |
| 2021-07-16 04:15:43 +0200 | <davean> | I think sometimes the list will go away |
| 2021-07-16 04:16:02 +0200 | <davean> | But I'd have to read core to confirm it - thats not the structure I use for my optimization work so I'm not super familiar with how it compiles down in practice |
| 2021-07-16 04:16:28 +0200 | td_ | (~td@94.134.91.92) (Ping timeout: 252 seconds) |
| 2021-07-16 04:16:35 +0200 | <elf_fortrez> | why throw away a list? |
| 2021-07-16 04:16:40 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-16 04:16:45 +0200 | <davean> | elf_fortrez: can you expand that question? |
| 2021-07-16 04:16:45 +0200 | <dsal> | I guess part of the problem is what is actually being asked by "will GHC need to put a list in memory to use this code" Before it starts processing? As an output of the action? Or just literally, the equivalent C code. For the last one, you have to read the core. |
| 2021-07-16 04:16:55 +0200 | <elf_fortrez> | it is a very versitele data structure |
| 2021-07-16 04:16:59 +0200 | FinnElija | Guest6659 |
| 2021-07-16 04:16:59 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-16 04:16:59 +0200 | Guest6659 | (~finn_elij@user/finn-elija/x-0085643) (Killed (strontium.libera.chat (Nickname regained by services))) |
| 2021-07-16 04:16:59 +0200 | finn_elija | FinnElija |
| 2021-07-16 04:17:21 +0200 | <dsal> | It's a fine data structure, but this problem doesn't need a data structure. |
| 2021-07-16 04:17:24 +0200 | <davean> | elf_fortrez: I feel you didn't follwo the conversation at all - the list is mearly control flow here |
| 2021-07-16 04:17:29 +0200 | <elf_fortrez> | is the list persistent in a functional language? |
| 2021-07-16 04:17:39 +0200 | <elf_fortrez> | beautiful |
| 2021-07-16 04:17:48 +0200 | <dsal> | Oh. I see elf_fortrez entered after the conversation started. :) |
| 2021-07-16 04:18:04 +0200 | <davean> | Ah yes they did |
| 2021-07-16 04:18:13 +0200 | td_ | (~td@94.134.91.148) |
| 2021-07-16 04:18:15 +0200 | <elf_fortrez> | i'm a bit beat up. i just want to wake up |
| 2021-07-16 04:18:45 +0200 | <davean> | Guest21: So, it may be a few addition instructions off of C, but it will use some constant memory amount, and it will be pretty close in performance to the C forloop |
| 2021-07-16 04:18:51 +0200 | <elf_fortrez> | the concept of a list as control flow is exciting. to good to be true? |
| 2021-07-16 04:18:55 +0200 | <davean> | Guest21: there are ways to make sure it is as efficient as the C for loop though |
| 2021-07-16 04:19:19 +0200 | s_ | (~s@50.34.81.185) |
| 2021-07-16 04:20:05 +0200 | <elf_fortrez> | isn't haskell about beautiful notation and not speed? |
| 2021-07-16 04:20:13 +0200 | <davean> | elf_fortrez: "forM_ [1..10] $ something here" uses a list as a very basic control flow for example, theres a general area of study of this I tihnk called co-data? |
| 2021-07-16 04:20:28 +0200 | <davean> | elf_fortrez: I've optimized Haskell to be faster than C implimentations plenty of times |
| 2021-07-16 04:20:54 +0200 | <elf_fortrez> | I guess Haskell is the bomb |
| 2021-07-16 04:20:54 +0200 | <dsal> | elf_fortrez: There's nothing wrong with speed. For some of us, Haskell is our go-to language for most problem solving, so we do both as we go. |
| 2021-07-16 04:21:02 +0200 | <davean> | Those "beautiful notions" (you said notation but I'm correcting you) can be a way to get perforamnce |
| 2021-07-16 04:21:16 +0200 | <elf_fortrez> | so it's functional |
| 2021-07-16 04:22:13 +0200 | <davean> | Yah, I'd say more people code Haskell than know how to use it in production, but I don't think thats all that unusual for a pleasant language to use. |
| 2021-07-16 04:22:25 +0200 | <davean> | We could certainly better diseminate the practical sides! |
| 2021-07-16 04:22:38 +0200 | <davean> | There are plenty of us who find it one of the most productive options for production. |
| 2021-07-16 04:22:50 +0200 | <davean> | Its just not where the excitement seems to tend to be, I guess for obvious reasons. |
| 2021-07-16 04:23:17 +0200 | <dsal> | There are fancy features I don't ever get to use because I'm just a blue collar hacker. |
| 2021-07-16 04:23:34 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-16 04:24:16 +0200 | <davean> | People who do production Haskell tend to shut up and do production Haskell |
| 2021-07-16 04:24:17 +0200 | ukari | (~ukari@user/ukari) |
| 2021-07-16 04:24:21 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-07-16 04:25:26 +0200 | <elf_fortrez> | no need to boast i guess, just educate |
| 2021-07-16 04:28:04 +0200 | <elf_fortrez> | how can i write a circle graph in Haskell? |
| 2021-07-16 04:28:13 +0200 | <davean> | Haskell Foundation is actively working on trying to diseminate knowlege on that side now |
| 2021-07-16 04:28:15 +0200 | <elf_fortrez> | in polar coordinates for kicks |
| 2021-07-16 04:28:16 +0200 | <Axman6> | circle graph? |
| 2021-07-16 04:28:25 +0200 | <elf_fortrez> | unit circle |
| 2021-07-16 04:28:29 +0200 | <davean> | We *have* clearly had a problem educating people on the production side. Its not what people are excited to talk about. |
| 2021-07-16 04:28:37 +0200 | <Axman6> | oh, that type of graph |
| 2021-07-16 04:28:50 +0200 | <davean> | elf_fortrez: Is this the sort of thing you'd want Diagram for? |
| 2021-07-16 04:29:16 +0200 | <elf_fortrez> | thanks for the idea, Venn or Euler would be nice |
| 2021-07-16 04:29:20 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 258 seconds) |
| 2021-07-16 04:29:21 +0200 | niHiggim | (~niHiggim@2600:1700:3d41:8600::27) |
| 2021-07-16 04:30:24 +0200 | <elf_fortrez> | i want to learn the unit circle first so that i try to do the spiral by myself |
| 2021-07-16 04:30:42 +0200 | <Axman6> | look at the Diagrams package |
| 2021-07-16 04:30:50 +0200 | <oso> | seems reasonable |
| 2021-07-16 04:31:00 +0200 | <elf_fortrez> | or Geometry pachage |
| 2021-07-16 04:31:59 +0200 | <elf_fortrez> | I guess a lazy language attracts lazy people |
| 2021-07-16 04:32:22 +0200 | <Axman6> | All developers should be lazy, why would you want to do more work than you have to? |
| 2021-07-16 04:32:27 +0200 | <elf_fortrez> | quoting Larry Perl |
| 2021-07-16 04:32:32 +0200 | <oso> | i both identify with that and feel like i've put more work into learning haskell than anything else |
| 2021-07-16 04:33:01 +0200 | <elf_fortrez> | I guess I am too lazy right now to use a search engine |
| 2021-07-16 04:33:12 +0200 | <elf_fortrez> | i would like to see more code |
| 2021-07-16 04:33:19 +0200 | <elf_fortrez> | and learn from context |
| 2021-07-16 04:34:36 +0200 | <elf_fortrez> | i should set the example |
| 2021-07-16 04:34:40 +0200 | <oso> | i'd send you the code i'm working on but 1) it has no comments and 2) it has nothing to do with diagrams |
| 2021-07-16 04:34:47 +0200 | retroid_ | (~retro@97e2ba5d.skybroadband.com) |
| 2021-07-16 04:37:10 +0200 | <elf_fortrez> | why comment when the code is self explanatory |
| 2021-07-16 04:37:46 +0200 | <davean> | To misslead the gullible |
| 2021-07-16 04:38:02 +0200 | <oso> | because when you write code only you and god know what it does, and after some time away from it only god does |
| 2021-07-16 04:38:04 +0200 | <davean> | It catches the people who don't read the code :) |
| 2021-07-16 04:49:39 +0200 | <dsal> | comments are where you put excuses for not writing better code. |
| 2021-07-16 04:50:03 +0200 | <dsal> | (which sometimes is hard enough that it's easier to just write a comment describing why you didn't do something more obvious) |
| 2021-07-16 04:52:33 +0200 | <elf_fortrez> | i forgot maintaining code is the hardest pard |
| 2021-07-16 04:53:01 +0200 | <dsal> | Sometimes I write functions just to give clearer names to concepts I intend to use. e.g., I wanted `justM :: Monad m => (a -> m ()) -> Maybe a -> m ()` because I was doing something like that a few places and that seemed easier. Turns out, the implementation is just `justM = traverse_` but the signature is the important part. If I just wrote `traverse_` everywhere, it might be less clear. |
| 2021-07-16 04:53:51 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2021-07-16 04:54:05 +0200 | <elf_fortrez> | thanks |
| 2021-07-16 05:00:01 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-16 05:02:23 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-07-16 05:02:57 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 05:06:55 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-16 05:07:55 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-16 05:08:26 +0200 | Kaipi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 255 seconds) |
| 2021-07-16 05:09:20 +0200 | pesada | (~agua@2804:18:43:3e21:1:0:20af:708a) (Ping timeout: 255 seconds) |
| 2021-07-16 05:11:35 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds) |
| 2021-07-16 05:12:22 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-16 05:16:00 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-07-16 05:16:01 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 05:17:12 +0200 | agua | (~agua@2804:18:44:4e2:1:0:22a7:ebf6) |
| 2021-07-16 05:17:42 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 265 seconds) |
| 2021-07-16 05:18:23 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-07-16 05:18:28 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 272 seconds) |
| 2021-07-16 05:20:24 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2021-07-16 05:24:49 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-16 05:25:10 +0200 | Guest21 | (~Guest21@50.47.115.102) (Quit: Client closed) |
| 2021-07-16 05:25:37 +0200 | chexum_ | (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-16 05:28:44 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-07-16 05:35:47 +0200 | MidAutumnMoon9 | (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 2021-07-16 05:36:23 +0200 | MidAutumnMoon9 | (~MidAutumn@user/midautumnmoon) |
| 2021-07-16 05:40:29 +0200 | alx741 | (~alx741@181.196.68.89) (Quit: alx741) |
| 2021-07-16 05:44:08 +0200 | andrews | (~andrews@user/andrews) |
| 2021-07-16 05:44:20 +0200 | <andrews> | can someone explain what this means |
| 2021-07-16 05:44:20 +0200 | <andrews> | ageOn :: Planet -> Float -> Float |
| 2021-07-16 05:44:41 +0200 | <dibblego> | ageOn has the type, given a Planet, returns a function of the type Float to Float |
| 2021-07-16 05:45:24 +0200 | <andrews> | Has the type? |
| 2021-07-16 05:45:31 +0200 | <dibblego> | yes, :: means "has the type" |
| 2021-07-16 05:45:47 +0200 | <andrews> | oh |
| 2021-07-16 05:46:38 +0200 | <andrews> | any idea what this means |
| 2021-07-16 05:46:39 +0200 | <andrews> | module SpaceAge (Planet(..), ageOn) where |
| 2021-07-16 05:47:03 +0200 | <dibblego> | module SpaceAge, exports Planet and its constructors, ageOn, and the module definition follows |
| 2021-07-16 05:47:20 +0200 | <andrews> | oh |
| 2021-07-16 05:50:19 +0200 | <dsal> | andrews: Do you have a larger thing you're trying to do? It's going to be hard to learn Haskell by asking the meaning of small bits of syntax at a time. :) |
| 2021-07-16 05:50:42 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 252 seconds) |
| 2021-07-16 05:51:54 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-07-16 05:52:16 +0200 | <andrews> | https://paste.tomsmeding.com/scvB8sC2 |
| 2021-07-16 05:52:27 +0200 | <andrews> | I still don't understand the function signature |
| 2021-07-16 05:52:47 +0200 | <andrews> | ageOn :: Planet -> Float -> Float |
| 2021-07-16 05:52:55 +0200 | <dsal> | Do you know any other languages? |
| 2021-07-16 05:53:00 +0200 | <andrews> | yes |
| 2021-07-16 05:54:04 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-16 05:54:06 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-07-16 05:59:06 +0200 | <Axman6> | andrews: x :: y means "x has type y", in C it would be somilar to say y x; so foo :: Int says hat foo is an Int (equifalent to int foo; in C, java etc). when the type l;ooks like a -> b, that means it is a function which takes an a and returns a b. in the case of a -> b -> c, that is the same as a -> (b -> c), a.k.a, a function which takes an a and returns a function,, which takes a b and returns a c |
| 2021-07-16 06:00:03 +0200 | <Axman6> | gosh, I should learn to type |
| 2021-07-16 06:00:19 +0200 | <dsal> | Especially if you expect to write Haskell. |
| 2021-07-16 06:00:48 +0200 | <Axman6> | nah, GHC's got my back there. English is the language that lets me down |
| 2021-07-16 06:01:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 06:01:47 +0200 | <andrews> | No instance for (Eq Planet) arising from a use of `==' |
| 2021-07-16 06:02:30 +0200 | <Axman6> | that means there isn't an instance of the Eq class for the type Planet. this is usually fixed by adding `deriving (Eq)` to the definition of Planet |
| 2021-07-16 06:02:40 +0200 | <dsal> | Yes, Planet has no Eq instance, so you won't be able to use == on it. You probably won't need to, though. |
| 2021-07-16 06:04:02 +0200 | <Axman6> | and in haskell, class is more like an interface or protocol in other languages. it has nothing to do with the OOP ideas of a class |
| 2021-07-16 06:04:39 +0200 | <Axman6> | @src Eq |
| 2021-07-16 06:04:40 +0200 | <lambdabot> | class Eq a where |
| 2021-07-16 06:04:40 +0200 | <lambdabot> | (==), (/=) :: a -> a -> Bool |
| 2021-07-16 06:05:35 +0200 | <andrews> | can I check if a function argument is a particular instance of a custom data set? |
| 2021-07-16 06:06:00 +0200 | <andrews> | like data Planet = Mercury | Venus etc |
| 2021-07-16 06:06:02 +0200 | <Axman6> | I don't understand what that question means |
| 2021-07-16 06:06:13 +0200 | <dsal> | > let f True = "yes"; f False = "no" in f True |
| 2021-07-16 06:06:14 +0200 | <lambdabot> | "yes" |
| 2021-07-16 06:07:22 +0200 | <dsal> | You don't need Eq for that, but you can just replace the variable capture with the specific constructor in the function definition, then make a new one for the next Planet. e.g., what I did above. |
| 2021-07-16 06:07:39 +0200 | <dsal> | (I use ; here, but you'd use a newline in your code) |
| 2021-07-16 06:08:26 +0200 | <Axman6> | andrews: are you following a haskell tutorial? you seem to be missing a lot of the fundamentals of the language, and that mioght be a good place to start |
| 2021-07-16 06:09:34 +0200 | <dibblego> | looks like exorcism.io |
| 2021-07-16 06:12:41 +0200 | <dmj`> | this planet has no equal |
| 2021-07-16 06:13:20 +0200 | <Axman6> | All planets are unique |
| 2021-07-16 06:16:04 +0200 | <dmj`> | nix-shell -p exercism --run 'exercism download --exercise=space-age --track=haskell' |
| 2021-07-16 06:16:08 +0200 | <dmj`> | found the question |
| 2021-07-16 06:16:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-16 06:17:36 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 06:22:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-07-16 06:24:37 +0200 | <andrews> | I mean /j #haskell-beginners |
| 2021-07-16 06:24:42 +0200 | <andrews> | j #haskell-beginners |
| 2021-07-16 06:32:27 +0200 | <dmj`> | andrews: be safe in space son, https://gist.github.com/553bfca04ffb25efa893d4a4950ede6e |
| 2021-07-16 06:35:04 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-16 06:37:14 +0200 | <dsal> | I think that modern style of making code really tall is weird. I'm probably going to have to be doing that soon. |
| 2021-07-16 06:37:47 +0200 | cheater1 | cheater |
| 2021-07-16 06:41:06 +0200 | <andrews> | dmj`, I won't look at your code until I figure it out myself |
| 2021-07-16 06:41:11 +0200 | <andrews> | otherwise I won't learn anything |
| 2021-07-16 06:41:49 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-118.prtc.net) (Ping timeout: 246 seconds) |
| 2021-07-16 06:42:10 +0200 | <dmj`> | andrews: in order to understand recursion, one must first understand recursion |
| 2021-07-16 06:42:25 +0200 | <andrews> | top lel |
| 2021-07-16 06:43:14 +0200 | <dsal> | Don't like at mine, either. I personally find this easier to read, but people like ormolu which took inspiration from elm. https://www.irccloud.com/pastebin/uNkbCMRe/ageOn.hs |
| 2021-07-16 06:43:22 +0200 | <dsal> | Which suddenly reminds me of the project I wanted to work on tonight. |
| 2021-07-16 06:43:59 +0200 | <andrews> | I got a copy of Haskell programming first principles |
| 2021-07-16 06:44:03 +0200 | <andrews> | is it a good book |
| 2021-07-16 06:44:07 +0200 | <dsal> | I liked it a lot. |
| 2021-07-16 06:44:18 +0200 | <andrews> | did you read all 1000 pages? |
| 2021-07-16 06:44:40 +0200 | <dsal> | I think so. That was a while ago. |
| 2021-07-16 06:44:52 +0200 | <andrews> | are there any better books |
| 2021-07-16 06:46:12 +0200 | <dmj`> | typeclassopedia is good |
| 2021-07-16 06:48:10 +0200 | <dmj`> | not really a book, but a collection of stories about Haskell, like the Canterbury tales, it too is unfinished |
| 2021-07-16 06:48:25 +0200 | <dmj`> | Canterbury tails |
| 2021-07-16 06:48:37 +0200 | <andrews> | ok |
| 2021-07-16 06:48:40 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 06:49:03 +0200 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 255 seconds) |
| 2021-07-16 06:49:12 +0200 | <dmj`> | @where typeclassopedia |
| 2021-07-16 06:49:12 +0200 | <lambdabot> | http://www.haskell.org/haskellwiki/Typeclassopedia |
| 2021-07-16 06:49:20 +0200 | <EvanR> | an encyclopedic account of haskell lore in the form of a choose your own adventure, with exercises at each stage. Should exist |
| 2021-07-16 06:49:32 +0200 | <andrews> | so I guess Haskell programming first principles is the best book |
| 2021-07-16 06:50:18 +0200 | <sm> | EvanR: +1! |
| 2021-07-16 06:50:30 +0200 | <sm> | andrews: https://www.extrema.is/articles/haskell-books |
| 2021-07-16 06:51:25 +0200 | <EvanR> | dead ends could be especially bad anti-patterns or unsolved problems in the haskell ecosystem |
| 2021-07-16 06:51:45 +0200 | <EvanR> | "the ending has not yet been written" |
| 2021-07-16 06:52:34 +0200 | _xor | (~xor@74.215.232.67) (Quit: brb) |
| 2021-07-16 06:54:52 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-07-16 06:55:00 +0200 | <dmj`> | andrews: I'd focus on the types and the typeclasses, work out the instances, implement them, reason about the laws, use them in real code, your intuition will grow in time. Don't rely on mnemonics like "feels like a container", etc. know that anything that obeys the law of a class is a valid instance of that class. |
| 2021-07-16 06:56:02 +0200 | <dsal> | HPFFP walks through pretty well. Understanding all of the types probably isn't enough to understand how to write a program in Haskell. |
| 2021-07-16 06:56:09 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-16 06:57:19 +0200 | silverwhitefish | (~hidden@47.202.102.10) |
| 2021-07-16 06:57:29 +0200 | wei2912 | (~wei2912@112.199.250.21) |
| 2021-07-16 06:57:32 +0200 | <andrews> | Ok, I have Haskell in Depth... seems shorter than HPFFP |
| 2021-07-16 06:58:33 +0200 | <dmj`> | exercises are good too https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems, this shows a lot of different ways to write the solutions as well |
| 2021-07-16 06:59:57 +0200 | <andrews> | should I use cabal or stack |
| 2021-07-16 07:00:11 +0200 | <andrews> | for downloading the book exercises |
| 2021-07-16 07:00:18 +0200 | <andrews> | for Haskell In Depth |
| 2021-07-16 07:05:12 +0200 | TranquilEcho | (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
| 2021-07-16 07:05:16 +0200 | martums | (~martums@user/martums) (Ping timeout: 246 seconds) |
| 2021-07-16 07:06:37 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-07-16 07:06:58 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-07-16 07:07:38 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 07:11:52 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 258 seconds) |
| 2021-07-16 07:12:51 +0200 | <dmj`> | andrews: either or |
| 2021-07-16 07:13:25 +0200 | <andrews> | I'm going to read HID since it's the newest haskell book and is shorter than HFFP |
| 2021-07-16 07:13:37 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-07-16 07:14:29 +0200 | <andrews> | does haskell come with a GUI toolkit |
| 2021-07-16 07:14:35 +0200 | <andrews> | or I have to download one |
| 2021-07-16 07:14:50 +0200 | <andrews> | Python comes bundled with TK |
| 2021-07-16 07:20:53 +0200 | <andrews> | stack build takes forever and I have a 6 core CPU |
| 2021-07-16 07:21:19 +0200 | <andrews> | and an nvME DDF |
| 2021-07-16 07:21:20 +0200 | <andrews> | SSD* |
| 2021-07-16 07:21:27 +0200 | Codaraxis | (~Codaraxis@user/codaraxis) |
| 2021-07-16 07:22:21 +0200 | Null_A | (~null_a@2601:645:8700:2290:187e:cdbe:3584:806) (Remote host closed the connection) |
| 2021-07-16 07:22:40 +0200 | xff0x | (~xff0x@2001:1a81:53d5:b900:e768:175e:26b1:ffc) (Quit: xff0x) |
| 2021-07-16 07:23:35 +0200 | wwalker | (~wwalker@platinum.solid-constructs.com) |
| 2021-07-16 07:24:03 +0200 | <wwalker> | Is there a way to enable a persistent command history in hugs? |
| 2021-07-16 07:24:39 +0200 | anandprabhu | (~anandprab@94.202.243.198) |
| 2021-07-16 07:26:51 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-16 07:27:25 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 07:27:38 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-16 07:33:27 +0200 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-07-16 07:34:37 +0200 | michalz | (~michalz@185.246.204.61) |
| 2021-07-16 07:35:04 +0200 | silverwhitefish | (~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5)) |
| 2021-07-16 07:37:55 +0200 | silverwhitefish | (~hidden@47.202.102.10) |
| 2021-07-16 07:39:14 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-118.prtc.net) |
| 2021-07-16 07:40:05 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-118.prtc.net) (Client Quit) |
| 2021-07-16 07:40:42 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-07-16 07:44:38 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 07:53:51 +0200 | ablutor | (~quassel@wasscher.com) (Quit: going for vitamine d) |
| 2021-07-16 07:54:50 +0200 | ablutor | (~quassel@wasscher.com) |
| 2021-07-16 07:54:53 +0200 | <janus> | andrews: did you try stack build --ghc-options=-j ? |
| 2021-07-16 07:56:52 +0200 | <janus> | andrews: i think most people do webapps if they want gui. but there are gtk, qt, and fltk bindings. i think thw fltk bindings are probably best maintained |
| 2021-07-16 07:57:02 +0200 | <janus> | wwalker: you can use rlwrap |
| 2021-07-16 07:59:25 +0200 | <janus> | s/thw/the |
| 2021-07-16 08:06:17 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-07-16 08:07:11 +0200 | <wwalker> | janus: Thank you! |
| 2021-07-16 08:08:51 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-07-16 08:12:55 +0200 | <andrews> | janus, thanks |
| 2021-07-16 08:14:06 +0200 | zmt00 | (~zmt00@user/zmt00) (Quit: Gone.) |
| 2021-07-16 08:17:53 +0200 | xff0x | (~xff0x@2001:1a81:53d5:b900:e768:175e:26b1:ffc) |
| 2021-07-16 08:18:33 +0200 | paolino | (~paolo@84.33.185.158) |
| 2021-07-16 08:20:05 +0200 | qbt | (~edun@user/edun) |
| 2021-07-16 08:21:22 +0200 | fef | (~thedawn@user/thedawn) |
| 2021-07-16 08:21:41 +0200 | awth13 | (~user@user/awth13) |
| 2021-07-16 08:22:28 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-16 08:26:42 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-16 08:27:08 +0200 | chele | (~chele@user/chele) |
| 2021-07-16 08:27:41 +0200 | <dsal> | andrews: shorter doesn't necessarily mean it's a better book that will teach you more, but reading anything will probably help. |
| 2021-07-16 08:28:58 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-16 08:31:44 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 08:33:27 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-07-16 08:33:46 +0200 | <dsal> | andrews: the first build of your project might be slow. nix sometimes speeds it up a lot depending on how bleeding edge your compiler is. |
| 2021-07-16 08:35:41 +0200 | chexum_ | chexum |
| 2021-07-16 08:35:51 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-16 08:36:24 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-07-16 08:36:27 +0200 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-16 08:36:44 +0200 | <sm> | andrews: memory matters, some haskell packages need 2 or more G to build |
| 2021-07-16 08:37:13 +0200 | <sm> | if you have less make sure it's not swapping |
| 2021-07-16 08:41:10 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 08:41:28 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 08:46:03 +0200 | fendor | (~fendor@77.119.213.12.wireless.dyn.drei.com) |
| 2021-07-16 08:46:15 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-16 08:47:43 +0200 | azeem | (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) |
| 2021-07-16 08:50:58 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-07-16 08:51:41 +0200 | aegon | (~mike@174.127.249.180) |
| 2021-07-16 08:52:20 +0200 | aegon | (~mike@174.127.249.180) () |
| 2021-07-16 08:53:40 +0200 | aegon | (~mike@174.127.249.180) |
| 2021-07-16 08:56:38 +0200 | dunj3 | (~dunj3@2001:16b8:3082:9f00:aef2:da36:561b:67d7) |
| 2021-07-16 08:59:47 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-16 09:02:58 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-16 09:04:11 +0200 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-16 09:05:25 +0200 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-07-16 09:05:43 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-16 09:07:39 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 255 seconds) |
| 2021-07-16 09:09:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-16 09:10:25 +0200 | neceve | (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-07-16 09:11:28 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-16 09:13:31 +0200 | Izem | (~rcg@bras-base-london1483w-grc-42-65-95-172-41.dsl.bell.ca) |
| 2021-07-16 09:14:42 +0200 | andrews | (~andrews@user/andrews) (Quit: Leaving) |
| 2021-07-16 09:16:07 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-07-16 09:22:12 +0200 | neurocyte | (~neurocyte@user/neurocyte) (Ping timeout: 258 seconds) |
| 2021-07-16 09:22:48 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-16 09:23:08 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-16 09:24:13 +0200 | yoneda | (~mike@193.206.102.122) |
| 2021-07-16 09:25:23 +0200 | _xor | (~xor@74.215.232.67) |
| 2021-07-16 09:26:04 +0200 | Izem | (~rcg@bras-base-london1483w-grc-42-65-95-172-41.dsl.bell.ca) () |
| 2021-07-16 09:32:50 +0200 | hendursaga | (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-07-16 09:33:04 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-07-16 09:33:13 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 09:33:13 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-07-16 09:33:31 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 09:35:58 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-16 09:42:18 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 255 seconds) |
| 2021-07-16 09:45:00 +0200 | shriekingnoise | (~shrieking@186.137.144.80) |
| 2021-07-16 09:45:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 09:47:52 +0200 | pesada | (~agua@2804:18:7e:a02e:1:0:239f:a7bb) |
| 2021-07-16 09:49:18 +0200 | dre | (~dre@2001:8003:c932:c301:5158:163a:41f3:cc10) (Quit: Leaving) |
| 2021-07-16 09:49:25 +0200 | shriekingnoise | (~shrieking@186.137.144.80) (Ping timeout: 258 seconds) |
| 2021-07-16 09:49:30 +0200 | agua | (~agua@2804:18:44:4e2:1:0:22a7:ebf6) (Ping timeout: 255 seconds) |
| 2021-07-16 09:51:13 +0200 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-16 09:51:47 +0200 | fef | (~thedawn@user/thedawn) |
| 2021-07-16 09:52:42 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-07-16 09:52:43 +0200 | Igfoo | (~ian@matrix.chaos.earth.li) (Ping timeout: 252 seconds) |
| 2021-07-16 09:52:49 +0200 | Igfoo | (~ian@matrix.chaos.earth.li) |
| 2021-07-16 09:53:26 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2021-07-16 09:53:26 +0200 | ablutor | (~quassel@wasscher.com) (Ping timeout: 252 seconds) |
| 2021-07-16 09:53:26 +0200 | jackhill | (~jackhill@kalessin.dragonsnail.net) (Ping timeout: 252 seconds) |
| 2021-07-16 09:53:27 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-16 09:53:48 +0200 | tritlo | (sid58727@user/tritlo) (Ping timeout: 252 seconds) |
| 2021-07-16 09:54:00 +0200 | ukari | (~ukari@user/ukari) |
| 2021-07-16 09:54:00 +0200 | shriekingnoise | (~shrieking@186.137.144.80) |
| 2021-07-16 09:54:00 +0200 | ablutor | (~quassel@wasscher.com) |
| 2021-07-16 09:54:10 +0200 | Philonous | (~Philonous@user/philonous) (Ping timeout: 252 seconds) |
| 2021-07-16 09:54:29 +0200 | jackhill | (~jackhill@kalessin.dragonsnail.net) |
| 2021-07-16 09:54:32 +0200 | jolly | (~jolly@208.180.97.158) (Ping timeout: 252 seconds) |
| 2021-07-16 09:54:32 +0200 | Zorgon | (mranderson@chaos.fi) (Ping timeout: 252 seconds) |
| 2021-07-16 09:55:10 +0200 | tritlo | (sid58727@user/tritlo) |
| 2021-07-16 09:55:21 +0200 | Philonous | (~Philonous@user/philonous) |
| 2021-07-16 09:59:11 +0200 | aegon | (~mike@174.127.249.180) (Quit: leaving) |
| 2021-07-16 10:04:08 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 10:04:22 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:694c:cc5c:55d8:63b) |
| 2021-07-16 10:08:49 +0200 | ikex1 | (~ash@user/ikex) |
| 2021-07-16 10:08:58 +0200 | ikex | (ash@user/ikex) (Ping timeout: 258 seconds) |
| 2021-07-16 10:09:30 +0200 | ikex1 | ikex |
| 2021-07-16 10:10:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 10:12:08 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-07-16 10:12:19 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-16 10:12:23 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-16 10:13:51 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-07-16 10:15:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-07-16 10:15:51 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-16 10:16:45 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-07-16 10:17:52 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-16 10:18:36 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-07-16 10:19:20 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c72b951301624b1129165e7b.dip0.t-ipconnect.de) |
| 2021-07-16 10:19:32 +0200 | keutoi | (~keutoi@157.47.18.91) |
| 2021-07-16 10:19:42 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-118.prtc.net) |
| 2021-07-16 10:20:06 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) (Ping timeout: 255 seconds) |
| 2021-07-16 10:20:28 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-07-16 10:23:02 +0200 | xff0x | (~xff0x@2001:1a81:53d5:b900:e768:175e:26b1:ffc) (Ping timeout: 245 seconds) |
| 2021-07-16 10:25:06 +0200 | xff0x | (~xff0x@185.65.135.235) |
| 2021-07-16 10:25:28 +0200 | neceve | (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 246 seconds) |
| 2021-07-16 10:25:44 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-16 10:26:07 +0200 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-07-16 10:26:36 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 268 seconds) |
| 2021-07-16 10:26:42 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-07-16 10:28:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2021-07-16 10:28:23 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-07-16 10:29:07 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-07-16 10:31:33 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-16 10:35:44 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-07-16 10:40:22 +0200 | xff0x | (~xff0x@185.65.135.235) (Ping timeout: 252 seconds) |
| 2021-07-16 10:42:18 +0200 | xff0x | (~xff0x@2001:1a81:53d5:b900:e768:175e:26b1:ffc) |
| 2021-07-16 10:44:54 +0200 | pfurla_ | (~pfurla@216.131.83.59) |
| 2021-07-16 10:45:47 +0200 | jippiedoe | (~david@2a02-a44c-e14e-1-41ac-4f6d-ec7a-91a2.fixed6.kpn.net) |
| 2021-07-16 10:48:00 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2021-07-16 10:49:04 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-16 10:52:07 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-16 10:53:22 +0200 | zaquest | (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-07-16 10:56:18 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-07-16 10:56:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-16 10:59:55 +0200 | hmmmas | (~fidnc@183.217.200.171) |
| 2021-07-16 11:00:08 +0200 | hexfive | (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 2021-07-16 11:02:51 +0200 | neurocyte | (~neurocyte@45.136.170.21) |
| 2021-07-16 11:02:51 +0200 | neurocyte | (~neurocyte@45.136.170.21) (Changing host) |
| 2021-07-16 11:02:51 +0200 | neurocyte | (~neurocyte@user/neurocyte) |
| 2021-07-16 11:04:09 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 11:04:19 +0200 | oso | (~oso@2601:58c:c080:a950:f275:2530:b398:680b) (Ping timeout: 246 seconds) |
| 2021-07-16 11:04:27 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 11:09:53 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-16 11:10:33 +0200 | KUrare | (~KUrare@user/kurare) |
| 2021-07-16 11:14:27 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-07-16 11:17:21 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-07-16 11:17:24 +0200 | pfurla_ | (~pfurla@216.131.83.59) (Ping timeout: 252 seconds) |
| 2021-07-16 11:18:45 +0200 | azeem | (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-07-16 11:19:04 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 11:19:43 +0200 | laguneucl | (~Pitsikoko@2a02:587:dc04:e00:12c3:7bff:fe6d:d374) |
| 2021-07-16 11:20:20 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 252 seconds) |
| 2021-07-16 11:20:26 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-16 11:23:28 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-16 11:23:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-07-16 11:28:54 +0200 | __monty__ | (~toonn@user/toonn) |
| 2021-07-16 11:29:06 +0200 | xsperry | (~as@user/xsperry) () |
| 2021-07-16 11:30:18 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 255 seconds) |
| 2021-07-16 11:30:36 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 11:35:42 +0200 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-16 11:36:17 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-16 11:39:43 +0200 | CookE[] | (~thedawn@user/thedawn) |
| 2021-07-16 11:40:00 +0200 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-16 11:42:28 +0200 | laguneucl | (~Pitsikoko@2a02:587:dc04:e00:12c3:7bff:fe6d:d374) (Ping timeout: 246 seconds) |
| 2021-07-16 11:43:10 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc04:e00:12c3:7bff:fe6d:d374) (Ping timeout: 246 seconds) |
| 2021-07-16 11:43:10 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-16 11:43:27 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 11:43:44 +0200 | hmmmas | (~fidnc@183.217.200.171) (Quit: Leaving.) |
| 2021-07-16 11:44:42 +0200 | lechner | (~lechner@debian/lechner) (Quit: WeeChat 3.0) |
| 2021-07-16 11:46:14 +0200 | o1lo01ol1o | (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-07-16 11:46:25 +0200 | lechner | (~lechner@debian/lechner) |
| 2021-07-16 11:57:00 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 252 seconds) |
| 2021-07-16 11:58:09 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 11:58:45 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-118.prtc.net) (Quit: Client closed) |
| 2021-07-16 12:00:11 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 12:00:29 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 12:01:08 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 12:01:27 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 12:01:39 +0200 | kuribas | (~user@ptr-25vy0iagiqui74r0v9f.18120a2.ip6.access.telenet.be) |
| 2021-07-16 12:02:24 +0200 | xsperry | (~as@user/xsperry) |
| 2021-07-16 12:03:11 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-118.prtc.net) |
| 2021-07-16 12:03:53 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-16 12:09:06 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 252 seconds) |
| 2021-07-16 12:09:20 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 12:09:20 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-16 12:09:33 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 12:10:02 +0200 | burnside_ | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 12:10:02 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-16 12:11:01 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 12:11:01 +0200 | burnside_ | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Write error: Connection reset by peer) |
| 2021-07-16 12:11:52 +0200 | burnside_ | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 12:11:52 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-16 12:12:23 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 12:12:23 +0200 | burnside_ | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-16 12:15:42 +0200 | keutoi | (~keutoi@157.47.18.91) (Ping timeout: 252 seconds) |
| 2021-07-16 12:16:38 +0200 | KUrare | (~KUrare@user/kurare) (Remote host closed the connection) |
| 2021-07-16 12:17:02 +0200 | KUrare | (~KUrare@user/kurare) |
| 2021-07-16 12:19:02 +0200 | keutoi | (~keutoi@157.47.18.91) |
| 2021-07-16 12:24:30 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 252 seconds) |
| 2021-07-16 12:24:52 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 12:25:10 +0200 | CookE[] | (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
| 2021-07-16 12:26:12 +0200 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 2021-07-16 12:26:29 +0200 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2021-07-16 12:27:08 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-16 12:27:28 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-16 12:30:09 +0200 | thonkpod | (~thonkpod@user/thonkpod) (Ping timeout: 255 seconds) |
| 2021-07-16 12:32:40 +0200 | aravk_ | aravk |
| 2021-07-16 12:35:47 +0200 | <maerwald> | Any nice way to get around the MonadReader limitation of only being able to provide one environment? I'm thinking to just ditch it altogether |
| 2021-07-16 12:35:56 +0200 | <dminuoso> | maerwald: implicit params. |
| 2021-07-16 12:36:11 +0200 | <dminuoso> | It's just as good, but composable - and no param passing when you dont need it. :) |
| 2021-07-16 12:36:14 +0200 | <maerwald> | they are unsafe no? |
| 2021-07-16 12:36:18 +0200 | <dminuoso> | unsafe in what way? |
| 2021-07-16 12:36:34 +0200 | <maerwald> | dunno, heard some claims |
| 2021-07-16 12:37:11 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-16 12:38:00 +0200 | <dminuoso> | See https://chrisdone.com/posts/whats-wrong-with-implicitparams/ |
| 2021-07-16 12:38:08 +0200 | <dminuoso> | And https://old.reddit.com/r/haskell/comments/m8o88a/who_still_uses_readert/grkh17q/ |
| 2021-07-16 12:38:33 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 12:39:58 +0200 | <maerwald> | so it breaks type inference |
| 2021-07-16 12:41:01 +0200 | <maerwald> | i think explicit params might be the solution :p |
| 2021-07-16 12:41:03 +0200 | <Taneb> | maerwald: if you're comfortable using lens there's Magnify in https://hackage.haskell.org/package/lens-5.0.1/docs/Control-Lens-Zoom.html |
| 2021-07-16 12:43:34 +0200 | <maerwald> | Taneb: isn't that just splitting environment into smaller parts, tree-wise? But you still need to construct the entirety of it? |
| 2021-07-16 12:43:59 +0200 | thonkpod | (~thonkpod@user/thonkpod) |
| 2021-07-16 12:43:59 +0200 | <maerwald> | My problem is that part of the env requires network calls to be constructed, the other doesn't |
| 2021-07-16 12:44:35 +0200 | <maerwald> | I'm able to hack around it with unsafeInterleaveIO, but that makes exception handling a horror story |
| 2021-07-16 12:45:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 12:46:24 +0200 | <Taneb> | maerwald: ah, yeah |
| 2021-07-16 12:50:43 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-07-16 12:57:52 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 252 seconds) |
| 2021-07-16 12:58:58 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 13:01:46 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-16 13:01:48 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-16 13:04:59 +0200 | wei2912 | (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-07-16 13:05:50 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2021-07-16 13:07:16 +0200 | AlexNoo_ | (~AlexNoo@178.34.162.246) |
| 2021-07-16 13:07:28 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-16 13:09:36 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2021-07-16 13:11:10 +0200 | AlexZenon | (~alzenon@178.34.162.3) (Ping timeout: 272 seconds) |
| 2021-07-16 13:11:10 +0200 | Alex_test | (~al_test@178.34.162.3) (Ping timeout: 272 seconds) |
| 2021-07-16 13:11:24 +0200 | AlexNoo | (~AlexNoo@178.34.162.3) (Ping timeout: 256 seconds) |
| 2021-07-16 13:14:28 +0200 | Alex_test | (~al_test@178.34.162.246) |
| 2021-07-16 13:14:28 +0200 | AlexZenon | (~alzenon@178.34.162.246) |
| 2021-07-16 13:18:43 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-118.prtc.net) (Ping timeout: 246 seconds) |
| 2021-07-16 13:19:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-16 13:20:33 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 265 seconds) |
| 2021-07-16 13:22:35 +0200 | ablutor | (~quassel@wasscher.com) (Quit: going for vitamine d) |
| 2021-07-16 13:23:02 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 13:23:05 +0200 | oxide | (~lambda@user/oxide) |
| 2021-07-16 13:23:27 +0200 | ablutor | (~quassel@wasscher.com) |
| 2021-07-16 13:27:08 +0200 | KUrare | (~KUrare@user/kurare) (Remote host closed the connection) |
| 2021-07-16 13:27:26 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-07-16 13:27:27 +0200 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-07-16 13:27:32 +0200 | KUrare | (~KUrare@user/kurare) |
| 2021-07-16 13:29:45 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-07-16 13:30:02 +0200 | thyriaen | (~thyriaen@45.178.73.238) |
| 2021-07-16 13:33:06 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 13:35:57 +0200 | thyriaen | (~thyriaen@45.178.73.238) (Quit: Leaving) |
| 2021-07-16 13:37:57 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-07-16 13:41:51 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-16 13:42:30 +0200 | anandprabhu_ | (anandprabh@gateway/vpn/airvpn/anandprabhu) |
| 2021-07-16 13:45:28 +0200 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-16 13:45:45 +0200 | anandprabhu | (~anandprab@94.202.243.198) (Ping timeout: 255 seconds) |
| 2021-07-16 13:52:43 +0200 | smichel17 | (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) |
| 2021-07-16 13:54:08 +0200 | kuribas | (~user@ptr-25vy0iagiqui74r0v9f.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-07-16 14:04:31 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 14:09:00 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 252 seconds) |
| 2021-07-16 14:09:03 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-16 14:10:25 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 14:11:06 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2021-07-16 14:13:58 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-6-21.prtc.net) |
| 2021-07-16 14:19:16 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 252 seconds) |
| 2021-07-16 14:19:46 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 14:27:11 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 14:27:29 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 14:27:56 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-16 14:28:41 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 255 seconds) |
| 2021-07-16 14:30:05 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 14:31:03 +0200 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-16 14:36:55 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 265 seconds) |
| 2021-07-16 14:38:09 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 14:42:22 +0200 | KUrare | (~KUrare@user/kurare) (Ping timeout: 252 seconds) |
| 2021-07-16 14:44:53 +0200 | <lechner> | Hi, should members in data types intended for parsing JSON be annotated with an exclamation mark for strictness? |
| 2021-07-16 14:47:46 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 14:50:53 +0200 | alx741 | (~alx741@181.196.68.89) |
| 2021-07-16 14:52:19 +0200 | jolly | (~jolly@208.180.97.158) |
| 2021-07-16 14:52:21 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-16 14:56:19 +0200 | brian_da_mage | (~Neuromanc@user/briandamag) |
| 2021-07-16 14:57:20 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-07-16 14:58:09 +0200 | euandreh | (~euandreh@191.181.59.160) |
| 2021-07-16 15:04:22 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 252 seconds) |
| 2021-07-16 15:05:39 +0200 | jumper149 | (~jumper149@80.240.31.34) |
| 2021-07-16 15:05:54 +0200 | amk | (~amk@176.61.106.150) (Ping timeout: 240 seconds) |
| 2021-07-16 15:06:38 +0200 | <jumper149> | Hi, I want to display some Haskell code with texlive. What library works well to highlight Haskell? Do they work with extensions? |
| 2021-07-16 15:07:59 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 15:09:57 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 15:10:13 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 15:10:28 +0200 | bollu0 | (~bollu@139.59.46.74) |
| 2021-07-16 15:10:39 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 15:11:21 +0200 | anandprabhu_ | (anandprabh@gateway/vpn/airvpn/anandprabhu) (Quit: Leaving) |
| 2021-07-16 15:11:37 +0200 | glguy_ | (x@libera/staff/glguy) |
| 2021-07-16 15:11:39 +0200 | GIANTWORLDKEEPR_ | (~pjetcetal@128-71-13-182.broadband.corbina.ru) |
| 2021-07-16 15:11:41 +0200 | gawen_ | (~gawen@user/gawen) |
| 2021-07-16 15:11:56 +0200 | TheCoffeMaker_ | (~TheCoffeM@125-121-245-190.fibertel.com.ar) |
| 2021-07-16 15:12:06 +0200 | Firedancer_ | (sid336191@id-336191.stonehaven.irccloud.com) |
| 2021-07-16 15:12:08 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) (Read error: Connection reset by peer) |
| 2021-07-16 15:12:26 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 15:12:28 +0200 | dsf | (~dsf@cpe-66-75-56-205.san.res.rr.com) |
| 2021-07-16 15:12:35 +0200 | exarkun_ | (~exarkun@14.79.69.34.bc.googleusercontent.com) |
| 2021-07-16 15:12:38 +0200 | Nahra` | (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-07-16 15:12:50 +0200 | dustinm- | (~dustinm@static.38.6.217.95.clients.your-server.de) |
| 2021-07-16 15:12:52 +0200 | emergence6 | (~emergence@vm0.max-p.me) |
| 2021-07-16 15:12:53 +0200 | Taneb0 | (~Taneb@runciman.hacksoc.org) |
| 2021-07-16 15:13:11 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 15:13:11 +0200 | dragestil__ | (~quassel@user/dragestil) |
| 2021-07-16 15:13:15 +0200 | mjs2600_ | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-07-16 15:13:24 +0200 | sndr | (~sander@user/sander) |
| 2021-07-16 15:13:29 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 15:13:31 +0200 | xff0x | (~xff0x@2001:1a81:53d5:b900:e768:175e:26b1:ffc) (Ping timeout: 246 seconds) |
| 2021-07-16 15:13:36 +0200 | chkno_ | (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 15:13:41 +0200 | Ttech | (adran@botters/adran) |
| 2021-07-16 15:13:46 +0200 | Teacup_ | (~teacup@user/teacup) |
| 2021-07-16 15:13:48 +0200 | vysn | (~vysn@user/vysn) |
| 2021-07-16 15:13:53 +0200 | _-- | (~ding@2001:19f0:5:14c2:5400:2ff:fee0:a42c) |
| 2021-07-16 15:13:58 +0200 | opqdonut_ | (opqdonut@pseudo.fixme.fi) |
| 2021-07-16 15:13:59 +0200 | orzo_ | (joe@lasker.childrenofmay.org) |
| 2021-07-16 15:14:00 +0200 | aforemny_ | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-07-16 15:14:06 +0200 | terrorjack2 | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-07-16 15:14:08 +0200 | oxide_ | (~lambda@user/oxide) |
| 2021-07-16 15:14:10 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 15:14:17 +0200 | Megant_ | (megant@user/megant) |
| 2021-07-16 15:14:17 +0200 | jjhoo_ | (~jahakala@dsl-trebng21-58c18f-56.dhcp.inet.fi) |
| 2021-07-16 15:14:21 +0200 | Clint_ | (~Clint@user/clint) |
| 2021-07-16 15:14:23 +0200 | jakesyl_ | (sid56879@id-56879.stonehaven.irccloud.com) |
| 2021-07-16 15:14:31 +0200 | xff0x | (~xff0x@2001:1a81:53d5:b900:57bd:921c:db51:18e8) |
| 2021-07-16 15:14:31 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 15:14:32 +0200 | __monty_1 | (~toonn@user/toonn) |
| 2021-07-16 15:14:33 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764) |
| 2021-07-16 15:14:44 +0200 | Taneb | (~Taneb@runciman.hacksoc.org) (Killed (NickServ (GHOST command used by Taneb0))) |
| 2021-07-16 15:14:47 +0200 | Hecate_ | (~mariposa@163.172.211.189) |
| 2021-07-16 15:14:48 +0200 | Taneb0 | Taneb |
| 2021-07-16 15:14:49 +0200 | dhouthoo_ | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-16 15:14:56 +0200 | peutri_ | (~peutri@ns317027.ip-94-23-46.eu) |
| 2021-07-16 15:15:05 +0200 | piele_ | (~piele@tbonesteak.creativeserver.net) |
| 2021-07-16 15:15:26 +0200 | Unode_ | (~Unode@194.94.44.220) |
| 2021-07-16 15:15:51 +0200 | edun | (~edun@user/edun) |
| 2021-07-16 15:15:52 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 15:17:08 +0200 | AlexNoo_ | AlexNoo |
| 2021-07-16 15:18:11 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 15:18:30 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 15:18:49 +0200 | gzj | (~GZJ0X@199.193.127.138.16clouds.com) (*.net *.split) |
| 2021-07-16 15:18:49 +0200 | oxide | (~lambda@user/oxide) (*.net *.split) |
| 2021-07-16 15:18:49 +0200 | __monty__ | (~toonn@user/toonn) (*.net *.split) |
| 2021-07-16 15:18:49 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (*.net *.split) |
| 2021-07-16 15:18:49 +0200 | qbt | (~edun@user/edun) (*.net *.split) |
| 2021-07-16 15:18:49 +0200 | paolino | (~paolo@84.33.185.158) (*.net *.split) |
| 2021-07-16 15:18:49 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (*.net *.split) |
| 2021-07-16 15:18:49 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
| 2021-07-16 15:18:49 +0200 | dragestil_ | (~quassel@user/dragestil) (*.net *.split) |
| 2021-07-16 15:18:49 +0200 | juhp | (~juhp@128.106.188.66) (*.net *.split) |
| 2021-07-16 15:18:49 +0200 | GIANTWORLDKEEPER | (~pjetcetal@128-71-13-182.broadband.corbina.ru) (*.net *.split) |
| 2021-07-16 15:18:50 +0200 | glguy | (x@libera/staff/glguy) (*.net *.split) |
| 2021-07-16 15:18:50 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (*.net *.split) |
| 2021-07-16 15:18:50 +0200 | Teacup | (~teacup@user/teacup) (*.net *.split) |
| 2021-07-16 15:18:50 +0200 | jakesyl | (sid56879@stonehaven.irccloud.com) (*.net *.split) |
| 2021-07-16 15:18:50 +0200 | tdammers | (~tdammers@77.109.72.213.res.static.edpnet.net) (*.net *.split) |
| 2021-07-16 15:18:50 +0200 | exarkun | (~exarkun@user/exarkun) (*.net *.split) |
| 2021-07-16 15:18:50 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split) |
| 2021-07-16 15:18:50 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2021-07-16 15:18:50 +0200 | Hecate | (~mariposa@user/hecate) (*.net *.split) |
| 2021-07-16 15:18:50 +0200 | peutri | (~peutri@ns317027.ip-94-23-46.eu) (*.net *.split) |
| 2021-07-16 15:18:50 +0200 | Clint | (~Clint@user/clint) (*.net *.split) |
| 2021-07-16 15:18:50 +0200 | Unode | (~Unode@194.94.44.220) (*.net *.split) |
| 2021-07-16 15:18:50 +0200 | sim590 | (~simon@modemcable090.207-203-24.mc.videotron.ca) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | emergence | (~emergence@vm0.max-p.me) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | ding | (~ding@commie.space) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | Megant | (megant@user/megant) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | sander | (~sander@user/sander) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | Adran | (~adran@botters/adran) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | orzo | (joe@lasker.childrenofmay.org) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | chkno | (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | jjhoo | (~jahakala@dsl-trebng21-58c18f-56.dhcp.inet.fi) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | dsf_ | (~dsf@cpe-66-75-56-205.san.res.rr.com) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | shailangsa | (~shailangs@host86-186-196-229.range86-186.btcentralplus.com) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | gawen | (~gawen@user/gawen) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | Firedancer | (sid336191@stonehaven.irccloud.com) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | L29Ah | (~L29Ah@user/l29ah) (*.net *.split) |
| 2021-07-16 15:18:51 +0200 | bollu | (~bollu@139.59.46.74) (*.net *.split) |
| 2021-07-16 15:18:52 +0200 | dustinm | (~dustinm@static.38.6.217.95.clients.your-server.de) (*.net *.split) |
| 2021-07-16 15:18:52 +0200 | yahb | (xsbot@user/mniip/bot/yahb) (*.net *.split) |
| 2021-07-16 15:18:52 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (*.net *.split) |
| 2021-07-16 15:18:52 +0200 | sndr | sander |
| 2021-07-16 15:18:52 +0200 | emergence6 | emergence |
| 2021-07-16 15:18:52 +0200 | terrorjack2 | terrorjack |
| 2021-07-16 15:18:52 +0200 | bollu0 | bollu |
| 2021-07-16 15:18:52 +0200 | Unode_ | Unode |
| 2021-07-16 15:18:52 +0200 | Firedancer_ | Firedancer |
| 2021-07-16 15:18:52 +0200 | edun | qbt |
| 2021-07-16 15:18:55 +0200 | jakesyl_ | jakesyl |
| 2021-07-16 15:19:12 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) (Read error: Connection reset by peer) |
| 2021-07-16 15:19:28 +0200 | dragestil__ | dragestil_ |
| 2021-07-16 15:19:28 +0200 | yahb | (xsbot@user/mniip/bot/yahb) |
| 2021-07-16 15:19:31 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 15:19:49 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 15:21:43 +0200 | exarkun_ | exarkun |
| 2021-07-16 15:22:14 +0200 | exarkun | (~exarkun@14.79.69.34.bc.googleusercontent.com) (Changing host) |
| 2021-07-16 15:22:14 +0200 | exarkun | (~exarkun@user/exarkun) |
| 2021-07-16 15:22:32 +0200 | exarkun | exarkun_ |
| 2021-07-16 15:22:50 +0200 | exarkun_ | exarkun |
| 2021-07-16 15:24:25 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-16 15:24:39 +0200 | paolino | (~paolo@84.33.185.158) |
| 2021-07-16 15:25:18 +0200 | sim590 | (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-07-16 15:25:45 +0200 | amk | (~amk@176.61.106.150) |
| 2021-07-16 15:26:14 +0200 | tdammers | (~tdammers@77.109.72.213.res.static.edpnet.net) |
| 2021-07-16 15:26:44 +0200 | <yushyin> | minted? |
| 2021-07-16 15:27:09 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) (Read error: Connection reset by peer) |
| 2021-07-16 15:27:28 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 15:28:10 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 15:28:24 +0200 | __monty_1 | __monty__ |
| 2021-07-16 15:28:25 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-6-21.prtc.net) (Quit: Client closed) |
| 2021-07-16 15:28:29 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 15:29:11 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 15:29:16 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c72b951301624b1129165e7b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2021-07-16 15:29:31 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 15:29:34 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-07-16 15:35:32 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 252 seconds) |
| 2021-07-16 15:37:36 +0200 | anandprabhu | (~anandprab@94.202.243.198) |
| 2021-07-16 15:40:10 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 258 seconds) |
| 2021-07-16 15:40:28 +0200 | niHiggim | (~niHiggim@2600:1700:3d41:8600::27) (Quit: Konversation terminated!) |
| 2021-07-16 15:41:22 +0200 | Shailangsa_ | (~shailangs@host86-186-196-229.range86-186.btcentralplus.com) |
| 2021-07-16 15:42:08 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 15:44:26 +0200 | xff0x | (~xff0x@2001:1a81:53d5:b900:57bd:921c:db51:18e8) (Remote host closed the connection) |
| 2021-07-16 15:44:41 +0200 | <jumper149> | yushyin: That seems to work quite fine |
| 2021-07-16 15:44:43 +0200 | xff0x | (~xff0x@2001:1a81:53d5:b900:59f3:4e1e:9577:2243) |
| 2021-07-16 15:45:22 +0200 | L29Ah | (~L29Ah@user/l29ah) |
| 2021-07-16 15:46:19 +0200 | jespada | (~jespada@90.254.247.46) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-16 15:46:53 +0200 | jespada | (~jespada@90.254.247.46) |
| 2021-07-16 15:48:03 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-16 15:49:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-07-16 15:56:14 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 15:57:48 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-16 15:58:05 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-16 15:58:41 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-16 15:59:04 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-07-16 16:00:22 +0200 | zinc | (~zdleaf@163.ip-51-254-203.eu) (Quit: ) |
| 2021-07-16 16:00:49 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 16:14:51 +0200 | dunj3 | (~dunj3@2001:16b8:3082:9f00:aef2:da36:561b:67d7) (Remote host closed the connection) |
| 2021-07-16 16:15:11 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 16:15:31 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 16:15:41 +0200 | Guest34 | (~Guest34@115.97.251.135) |
| 2021-07-16 16:16:51 +0200 | jumper149 | (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-07-16 16:18:50 +0200 | amanr | (~sarcastic@122.161.66.163) |
| 2021-07-16 16:19:11 +0200 | amanr | (~sarcastic@122.161.66.163) (WeeChat 3.2) |
| 2021-07-16 16:20:44 +0200 | Guest34 | codelegend |
| 2021-07-16 16:22:07 +0200 | <bollu> | codelegend Hello! |
| 2021-07-16 16:23:14 +0200 | o1lo01ol1o | (~o1lo01ol1@83.240.236.226) |
| 2021-07-16 16:23:23 +0200 | jay-invariant | (~jay@c-24-4-6-169.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2021-07-16 16:23:57 +0200 | anandprabhu | (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-07-16 16:24:02 +0200 | jay-invariant | (~jay@c-24-4-6-169.hsd1.ca.comcast.net) |
| 2021-07-16 16:25:44 +0200 | o1lo01ol1o | (~o1lo01ol1@83.240.236.226) (Remote host closed the connection) |
| 2021-07-16 16:26:04 +0200 | o1lo01ol1o | (~o1lo01ol1@83.240.236.226) |
| 2021-07-16 16:26:24 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds) |
| 2021-07-16 16:26:38 +0200 | o1lo01ol1o | (~o1lo01ol1@83.240.236.226) (Read error: Connection reset by peer) |
| 2021-07-16 16:26:39 +0200 | o1lo01ol_ | (~o1lo01ol1@83.240.236.226) |
| 2021-07-16 16:27:00 +0200 | o1lo01ol_ | (~o1lo01ol1@83.240.236.226) (Remote host closed the connection) |
| 2021-07-16 16:27:27 +0200 | o1lo01ol1o | (~o1lo01ol1@83.240.236.226) |
| 2021-07-16 16:29:00 +0200 | o1lo01ol1o | (~o1lo01ol1@83.240.236.226) (Remote host closed the connection) |
| 2021-07-16 16:29:02 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-07-16 16:29:26 +0200 | o1lo01ol1o | (~o1lo01ol1@83.240.236.226) |
| 2021-07-16 16:30:31 +0200 | keutoi | (~keutoi@157.47.18.91) (Read error: Connection reset by peer) |
| 2021-07-16 16:30:49 +0200 | codelegend | (~Guest34@115.97.251.135) (Quit: Client closed) |
| 2021-07-16 16:32:34 +0200 | codelegend | (~codelegen@115.97.251.135) |
| 2021-07-16 16:34:03 +0200 | o1lo01ol1o | (~o1lo01ol1@83.240.236.226) (Ping timeout: 255 seconds) |
| 2021-07-16 16:34:36 +0200 | silverwhitefish | (~hidden@47.202.102.10) (Ping timeout: 258 seconds) |
| 2021-07-16 16:36:47 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 245 seconds) |
| 2021-07-16 16:38:28 +0200 | codelegend | (~codelegen@115.97.251.135) (Quit: Client closed) |
| 2021-07-16 16:39:18 +0200 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
| 2021-07-16 16:40:35 +0200 | jippiedoe | (~david@2a02-a44c-e14e-1-41ac-4f6d-ec7a-91a2.fixed6.kpn.net) (Ping timeout: 268 seconds) |
| 2021-07-16 16:41:34 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-16 16:41:36 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-07-16 16:43:06 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 16:47:19 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 246 seconds) |
| 2021-07-16 16:48:19 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-16 16:48:25 +0200 | Franciman | (~francesco@openglass.it) (WeeChat 2.3) |
| 2021-07-16 16:49:16 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 16:49:38 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 16:53:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-16 16:58:03 +0200 | euandreh | (~euandreh@191.181.59.160) (Quit: WeeChat 3.2) |
| 2021-07-16 16:58:18 +0200 | o1lo01ol1o | (~o1lo01ol1@83.240.236.226) |
| 2021-07-16 16:59:25 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 268 seconds) |
| 2021-07-16 17:00:55 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 17:01:07 +0200 | brian_da_mage | Brianmancer |
| 2021-07-16 17:02:45 +0200 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) |
| 2021-07-16 17:02:53 +0200 | o1lo01ol1o | (~o1lo01ol1@83.240.236.226) (Ping timeout: 265 seconds) |
| 2021-07-16 17:09:22 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 246 seconds) |
| 2021-07-16 17:09:34 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 17:09:46 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2021-07-16 17:11:53 +0200 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2021-07-16 17:13:28 +0200 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:9925:18b1:79f7:f242) |
| 2021-07-16 17:15:24 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-07-16 17:17:13 +0200 | <lechner> | Hi, is there a way to count the number of files received here? Thanks! https://salsa.debian.org/lintian/kickoff/-/blob/master/Collect.hs#L100-104 |
| 2021-07-16 17:17:39 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-16 17:19:55 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2021-07-16 17:21:09 +0200 | agua | (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) |
| 2021-07-16 17:21:50 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-07-16 17:23:33 +0200 | Core4007 | (~agua@2804:18:7e:a02e:1:0:239f:a7bb) |
| 2021-07-16 17:24:23 +0200 | pesada | (~agua@2804:18:7e:a02e:1:0:239f:a7bb) (Read error: Connection reset by peer) |
| 2021-07-16 17:25:00 +0200 | Null_A | (~null_a@2601:645:8700:2290:f84f:8a6f:2960:e8a4) |
| 2021-07-16 17:25:05 +0200 | glguy_ | glguy |
| 2021-07-16 17:25:28 +0200 | agua | (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) (Ping timeout: 246 seconds) |
| 2021-07-16 17:26:50 +0200 | Core4007 | (~agua@2804:18:7e:a02e:1:0:239f:a7bb) (Read error: Connection reset by peer) |
| 2021-07-16 17:27:05 +0200 | agua | (~agua@2804:18:7e:a02e:1:0:239f:a7bb) |
| 2021-07-16 17:30:20 +0200 | <dsal> | lechner: There are a couple of ways. You could use an IORef or TVar and just increment it, or you could build something that looks like forever, but loops with a counter. |
| 2021-07-16 17:31:05 +0200 | <dsal> | monad-loops has `iterateM_ :: Monad m => (a -> m a) -> a -> m b` |
| 2021-07-16 17:32:06 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 255 seconds) |
| 2021-07-16 17:32:08 +0200 | <dsal> | `iterateM_ f = g where g x = f x >>= g` |
| 2021-07-16 17:34:33 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 17:38:54 +0200 | roboto_el_gato | (~roboto_el@2600:1700:7df0:4f30:50be:13e8:2b02:47f4) |
| 2021-07-16 17:39:11 +0200 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-16 17:39:43 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 17:40:27 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-16 17:40:49 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-07-16 17:44:34 +0200 | finsternis | (~X@23.226.237.192) (Remote host closed the connection) |
| 2021-07-16 17:49:19 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 17:49:37 +0200 | GZJ0X_ | (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 17:55:06 +0200 | pesada | (~agua@179.179.184.77) |
| 2021-07-16 17:56:51 +0200 | azeem | (~azeem@176.200.202.21) (Ping timeout: 255 seconds) |
| 2021-07-16 17:56:58 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-16 17:57:20 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 17:58:23 +0200 | agua | (~agua@2804:18:7e:a02e:1:0:239f:a7bb) (Ping timeout: 255 seconds) |
| 2021-07-16 18:00:50 +0200 | lbseale | (~lbseale@user/ep1ctetus) |
| 2021-07-16 18:01:14 +0200 | <Cale> | loop n = do message <- ...; ...; loop (n + 1) -- just make sure to actually use n in some way inside of the loop, or you'll accumulate a big unevaluated sum expression |
| 2021-07-16 18:03:58 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-16 18:10:01 +0200 | <lechner> | i was going to go with iterateM_ but straight recursion looks easier. which is preferred? |
| 2021-07-16 18:11:31 +0200 | <wwalker> | janus: I've set RLWRAP_HOME. 'rlwrap cat' works. it writes a history file. 'rlwrap hugs' starts hugs and I have readline at the hugs prompt, but no hugs_history is created. Even after I create $RLWRAP_HOME/hugs_history, it still doesn't write anything to it. Since you mentioned rlwrap (Thanks!) do you pass a special argument when using it with hugs? |
| 2021-07-16 18:14:01 +0200 | finsternis | (~X@23.226.237.192) |
| 2021-07-16 18:18:19 +0200 | ph88 | (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) |
| 2021-07-16 18:20:20 +0200 | <maerwald> | dminuoso: https://hackage.haskell.org/package/effect-stack-0.3/docs/Control-Monad-Stack-Reader.html |
| 2021-07-16 18:21:08 +0200 | <maerwald> | it appears this just works with two Readers |
| 2021-07-16 18:23:48 +0200 | <maerwald> | not sure if I'm missing a caveat here |
| 2021-07-16 18:25:06 +0200 | jneira[m] | (~jneira@201.red-176-87-55.dynamicip.rima-tde.net) |
| 2021-07-16 18:26:02 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-07-16 18:27:16 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-16 18:27:52 +0200 | guest61 | (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-07-16 18:27:55 +0200 | KUrare | (~KUrare@user/kurare) |
| 2021-07-16 18:28:07 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-07-16 18:28:44 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-16 18:28:59 +0200 | guest61 | (~xxx@47.245.54.240) |
| 2021-07-16 18:36:19 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764) |
| 2021-07-16 18:38:36 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 18:42:03 +0200 | peterhil | (~peterhil@mobile-access-bceec8-93.dhcp.inet.fi) |
| 2021-07-16 18:44:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 18:44:11 +0200 | <zzz> | is there a more elegant way to do something like `concatMap (concatMap concat)` ? |
| 2021-07-16 18:44:15 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-07-16 18:44:52 +0200 | guest61 | (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-07-16 18:44:57 +0200 | derelict | (~derelict@user/derelict) |
| 2021-07-16 18:45:54 +0200 | jneira[m] | (~jneira@201.red-176-87-55.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-07-16 18:45:58 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-07-16 18:45:59 +0200 | guest61 | (~xxx@47.245.54.240) |
| 2021-07-16 18:46:53 +0200 | guest61 | (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-07-16 18:46:54 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-16 18:47:01 +0200 | Clint_ | Clint |
| 2021-07-16 18:47:45 +0200 | <Clint> | zzz: you mean by avoiding situation in the first place? |
| 2021-07-16 18:47:59 +0200 | guest61 | (~xxx@47.245.54.240) |
| 2021-07-16 18:49:59 +0200 | dajoer | (~david@user/gvx) (Quit: leaving) |
| 2021-07-16 18:50:18 +0200 | <zzz> | not avoidable. i have a grid of grids that need to be arbitrarily transposed |
| 2021-07-16 18:51:15 +0200 | <EvanR> | reminds me of the old transpose = zip . zip thing |
| 2021-07-16 18:51:42 +0200 | Shailangsa_ | (~shailangs@host86-186-196-229.range86-186.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2021-07-16 18:54:29 +0200 | Atum_ | (IRC@user/atum/x-2392232) |
| 2021-07-16 18:58:54 +0200 | <monochrom> | @type concatMap (concatMap concat) |
| 2021-07-16 18:58:55 +0200 | <lambdabot> | (Foldable t1, Foldable t2, Foldable t3) => t1 (t2 (t3 [b])) -> [b] |
| 2021-07-16 19:01:56 +0200 | <monochrom> | If t1=t2=t3=[], concatMap (concatMap concat) xss = xss >>= concatMap concat = xss >>= \xs -> concatMap concat xs = xss >>= \xs -> xs >>= concat = xss >>= \xs -> xs >>= join |
| 2021-07-16 19:02:40 +0200 | agua | (~agua@2804:18:7e:a02e:1:0:239f:a7bb) |
| 2021-07-16 19:02:41 +0200 | <monochrom> | It is possible that infix is a bit nicer. |
| 2021-07-16 19:05:31 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-16 19:06:27 +0200 | pesada | (~agua@179.179.184.77) (Ping timeout: 268 seconds) |
| 2021-07-16 19:07:23 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-07-16 19:08:35 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 255 seconds) |
| 2021-07-16 19:09:12 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:694c:cc5c:55d8:63b) (Ping timeout: 268 seconds) |
| 2021-07-16 19:10:21 +0200 | shapr | (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-07-16 19:11:42 +0200 | econo | (uid147250@user/econo) |
| 2021-07-16 19:14:21 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 265 seconds) |
| 2021-07-16 19:14:56 +0200 | chele | (~chele@user/chele) (Quit: Leaving) |
| 2021-07-16 19:15:36 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds) |
| 2021-07-16 19:16:20 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-50.prtc.net) |
| 2021-07-16 19:17:03 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-50.prtc.net) (Client Quit) |
| 2021-07-16 19:17:12 +0200 | qbt | (~edun@user/edun) (Ping timeout: 245 seconds) |
| 2021-07-16 19:18:10 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-16 19:19:56 +0200 | shailangsa | (~shailangs@host86-186-196-229.range86-186.btcentralplus.com) |
| 2021-07-16 19:24:33 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-16 19:26:21 +0200 | <maerwald> | anyone has used 'capability'? |
| 2021-07-16 19:26:46 +0200 | <zzz> | EvanR: that sound interesting. what zip . zip thing? |
| 2021-07-16 19:27:08 +0200 | <EvanR> | let's see |
| 2021-07-16 19:27:23 +0200 | <EvanR> | :t zip |
| 2021-07-16 19:27:24 +0200 | <lambdabot> | [a] -> [b] -> [(a, b)] |
| 2021-07-16 19:27:46 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-16 19:27:47 +0200 | Gurkenglas_ | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-16 19:27:47 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Killed (NickServ (GHOST command used by Gurkenglas_))) |
| 2021-07-16 19:27:49 +0200 | lbseale_ | (~lbseale@user/ep1ctetus) |
| 2021-07-16 19:27:51 +0200 | Gurkenglas_ | Gurkenglas |
| 2021-07-16 19:27:58 +0200 | <EvanR> | > concat |
| 2021-07-16 19:28:00 +0200 | <lambdabot> | error: |
| 2021-07-16 19:28:00 +0200 | <lambdabot> | • No instance for (Typeable a0) |
| 2021-07-16 19:28:00 +0200 | <lambdabot> | arising from a use of ‘show_M50147428099411834637’ |
| 2021-07-16 19:28:05 +0200 | <EvanR> | :t concat |
| 2021-07-16 19:28:06 +0200 | <lambdabot> | Foldable t => t [a] -> [a] |
| 2021-07-16 19:29:08 +0200 | <EvanR> | trying to remember from my early days of functional programming |
| 2021-07-16 19:30:56 +0200 | lbseale | (~lbseale@user/ep1ctetus) (Ping timeout: 258 seconds) |
| 2021-07-16 19:31:11 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-16 19:31:53 +0200 | guest61 | (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-07-16 19:32:30 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-16 19:32:59 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-16 19:33:00 +0200 | guest61 | (~xxx@47.245.54.240) |
| 2021-07-16 19:33:32 +0200 | <EvanR> | ok, just one zip... in scheme zip appears to act like transpose if you used a certain way: https://stackoverflow.com/questions/21688944/zip-function-in-racket-scheme |
| 2021-07-16 19:34:37 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-16 19:35:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-16 19:36:52 +0200 | azeem | (~azeem@176.200.202.21) (Read error: Connection reset by peer) |
| 2021-07-16 19:37:37 +0200 | azeem | (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) |
| 2021-07-16 19:41:50 +0200 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:9925:18b1:79f7:f242) (Remote host closed the connection) |
| 2021-07-16 19:42:09 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-16 19:43:50 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-16 19:44:23 +0200 | pesada | (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) |
| 2021-07-16 19:45:04 +0200 | Guest9 | (~Guest9@103.249.234.210) |
| 2021-07-16 19:45:17 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 19:45:21 +0200 | roboto_el_gato | (~roboto_el@2600:1700:7df0:4f30:50be:13e8:2b02:47f4) (Quit: Client closed) |
| 2021-07-16 19:47:02 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 19:47:30 +0200 | agua | (~agua@2804:18:7e:a02e:1:0:239f:a7bb) (Ping timeout: 240 seconds) |
| 2021-07-16 19:48:21 +0200 | s_ | (~s@50.34.81.185) (Quit: Leaving) |
| 2021-07-16 19:51:18 +0200 | <dsal> | lechner: iterateM_ is "straight recursion" it just has a name. |
| 2021-07-16 19:52:00 +0200 | <lechner> | dsal: thanks! |
| 2021-07-16 19:52:33 +0200 | derelict | (~derelict@user/derelict) (Ping timeout: 250 seconds) |
| 2021-07-16 19:52:41 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-07-16 19:52:54 +0200 | <dsal> | i.e., if you just needed this one thing, I wouldn't bring in monad-loops, but that implementation is trivial, so adding it and using common names is nice. `go` and `loop` and such are common mechanisms as well. There's nothing super wrong here. |
| 2021-07-16 19:53:06 +0200 | <dsal> | > iterate succ 0 |
| 2021-07-16 19:53:08 +0200 | <lambdabot> | [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2... |
| 2021-07-16 19:57:53 +0200 | guest61 | (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-07-16 19:58:00 +0200 | robot_el_gato | (~robot_el_@2600:1700:7df0:4f30:19da:dcae:83bc:1622) |
| 2021-07-16 19:58:34 +0200 | <lechner> | dsal: could i use 'iterate' as well? |
| 2021-07-16 19:59:00 +0200 | guest61 | (~xxx@47.245.54.240) |
| 2021-07-16 19:59:22 +0200 | <dsal> | No, iterate`M` means it's monadic and iterateM`_` means it doesn't return the accumulated list. |
| 2021-07-16 19:59:30 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-07-16 19:59:43 +0200 | <lechner> | i see |
| 2021-07-16 20:00:16 +0200 | <dsal> | So `iterateM_` is exactly what you're asking for in the sense that you can pass in a counter and return a new counter value from your action, but doesn't accumulate all the counter values. |
| 2021-07-16 20:00:17 +0200 | <dsal> | :t iterate |
| 2021-07-16 20:00:18 +0200 | <lambdabot> | (a -> a) -> a -> [a] |
| 2021-07-16 20:00:41 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 20:01:01 +0200 | <dsal> | Iterate is great if you want to generate a list of generations of things where each is derived from the previous. |
| 2021-07-16 20:03:36 +0200 | <dsal> | You could make an even more specific thing such as `MonadIO m => (Int -> m ()) -> m ()` That does something like `iterateM_ (\x -> a x >> pure (x +1) 0` |
| 2021-07-16 20:03:53 +0200 | guest61 | (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-07-16 20:04:47 +0200 | <maerwald> | can you have distinct Readers via 'capability'? |
| 2021-07-16 20:05:00 +0200 | guest61 | (~xxx@47.245.54.240) |
| 2021-07-16 20:05:37 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-16 20:06:51 +0200 | azeem | (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 2021-07-16 20:07:27 +0200 | <zzz> | @hoogle iterateM |
| 2021-07-16 20:07:27 +0200 | <lambdabot> | Streaming.Prelude iterateM :: Monad m => (a -> m a) -> m a -> Stream (Of a) m r |
| 2021-07-16 20:07:27 +0200 | <lambdabot> | Util iterateM :: Monad m => Natural -> (a -> m a) -> a -> m (NonEmpty a) |
| 2021-07-16 20:07:27 +0200 | <lambdabot> | Streamly.Internal.Data.Stream.StreamD iterateM :: Monad m => (a -> m a) -> m a -> Stream m a |
| 2021-07-16 20:07:30 +0200 | peterhil | (~peterhil@mobile-access-bceec8-93.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2021-07-16 20:09:28 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-07-16 20:09:36 +0200 | azeem | (~azeem@176.200.202.21) |
| 2021-07-16 20:12:21 +0200 | silverwhitefish | (~hidden@47.202.102.10) |
| 2021-07-16 20:12:54 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-16 20:14:17 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-07-16 20:14:18 +0200 | hiruji | (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 2021-07-16 20:14:42 +0200 | hiruji | (~hiruji@user/hiruji) |
| 2021-07-16 20:15:25 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-16 20:17:05 +0200 | azeem | (~azeem@176.200.202.21) (Read error: Connection reset by peer) |
| 2021-07-16 20:17:16 +0200 | retroid_ | (~retro@97e2ba5d.skybroadband.com) (Read error: Connection reset by peer) |
| 2021-07-16 20:17:59 +0200 | retroid_ | (~retro@97e2ba5d.skybroadband.com) |
| 2021-07-16 20:19:23 +0200 | azeem | (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) |
| 2021-07-16 20:20:51 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-16 20:21:54 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-16 20:24:09 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-07-16 20:24:51 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-16 20:25:59 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-07-16 20:26:43 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-16 20:26:52 +0200 | cheater | (~Username@84-115-12-132.cable.dynamic.surfer.at) |
| 2021-07-16 20:27:35 +0200 | krz3si | (~quassel@2a02:a31c:853b:b780:96f1:ff36:4051:20c7) |
| 2021-07-16 20:27:47 +0200 | robot_el_gato | (~robot_el_@2600:1700:7df0:4f30:19da:dcae:83bc:1622) (Quit: Ping timeout (120 seconds)) |
| 2021-07-16 20:28:57 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-16 20:29:51 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-16 20:30:43 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2021-07-16 20:34:06 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 265 seconds) |
| 2021-07-16 20:41:00 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) |
| 2021-07-16 20:42:03 +0200 | mcglk_ | (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2021-07-16 20:42:30 +0200 | mcglk | (~mcglk@131.191.49.120) |
| 2021-07-16 20:43:08 +0200 | robot_el_gato | (~robot_el_@2600:1700:7df0:4f30:19da:dcae:83bc:1622) |
| 2021-07-16 20:43:17 +0200 | __xor | (~xor@74.215.232.67) |
| 2021-07-16 20:43:36 +0200 | _xor | (~xor@74.215.232.67) (Read error: Connection reset by peer) |
| 2021-07-16 20:43:45 +0200 | Null_A | (~null_a@2601:645:8700:2290:f84f:8a6f:2960:e8a4) (Remote host closed the connection) |
| 2021-07-16 20:44:27 +0200 | Null_A | (~null_a@2601:645:8700:2290:f84f:8a6f:2960:e8a4) |
| 2021-07-16 20:44:29 +0200 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-07-16 20:48:20 +0200 | __xor | (~xor@74.215.232.67) (Read error: Connection reset by peer) |
| 2021-07-16 20:48:53 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 250 seconds) |
| 2021-07-16 20:49:36 +0200 | __xor | (~xor@74.215.232.67) |
| 2021-07-16 20:51:54 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 268 seconds) |
| 2021-07-16 20:54:46 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-16 20:55:29 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-07-16 20:57:11 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 20:57:49 +0200 | Null_A | (~null_a@2601:645:8700:2290:f84f:8a6f:2960:e8a4) (Remote host closed the connection) |
| 2021-07-16 20:57:55 +0200 | robot_el_gato | (~robot_el_@2600:1700:7df0:4f30:19da:dcae:83bc:1622) (Ping timeout: 246 seconds) |
| 2021-07-16 20:58:05 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-07-16 20:58:06 +0200 | Null_A | (~null_a@2601:645:8700:2290:f84f:8a6f:2960:e8a4) |
| 2021-07-16 21:01:07 +0200 | derelict | (~derelict@user/derelict) |
| 2021-07-16 21:01:46 +0200 | burnsidesLlama | (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-07-16 21:01:53 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-16 21:02:58 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-07-16 21:04:50 +0200 | hexfive | (~eric@50.35.83.177) |
| 2021-07-16 21:14:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 21:15:26 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-07-16 21:20:08 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-16 21:24:09 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-07-16 21:24:54 +0200 | robot_el_gato | (~robot_el_@2600:1700:7df0:4f30:19da:dcae:83bc:1622) |
| 2021-07-16 21:24:59 +0200 | robot_el_gato | (~robot_el_@2600:1700:7df0:4f30:19da:dcae:83bc:1622) (Client Quit) |
| 2021-07-16 21:27:32 +0200 | fendor | (~fendor@77.119.213.12.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-16 21:28:06 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-16 21:29:29 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-16 21:30:52 +0200 | fendor | (~fendor@77.119.213.12.wireless.dyn.drei.com) |
| 2021-07-16 21:32:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-16 21:35:42 +0200 | <lechner> | Hi, do most people here prefer Data.Text over String when appropriate? |
| 2021-07-16 21:36:58 +0200 | <Rembane> | lechner: Yes! |
| 2021-07-16 21:38:11 +0200 | Guest9 | (~Guest9@103.249.234.210) (Quit: Connection closed) |
| 2021-07-16 21:39:25 +0200 | <janus> | what was typical example with a 'read' blowing up with a long string? |
| 2021-07-16 21:41:44 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-07-16 21:42:23 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 2021-07-16 21:46:10 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-07-16 21:46:56 +0200 | Guest98 | (~Guest98@187.83.249.216.dyn.smithville.net) |
| 2021-07-16 21:47:25 +0200 | dunkeln | (~dunkeln@94.128.224.230) |
| 2021-07-16 21:47:31 +0200 | <sm> | when appropriate being the operative phrase ! |
| 2021-07-16 21:47:41 +0200 | <Guest98> | is there a way to ask ghc/ghci "why did this instance declaration not apply to this data type"? |
| 2021-07-16 21:47:47 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-16 21:48:46 +0200 | <Guest98> | (I could just write out an undefined function with the same signature I guess, just wondering if there's a better way) |
| 2021-07-16 21:48:56 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-16 21:49:15 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-16 21:49:35 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-16 21:50:47 +0200 | <zzz> | Guest98: can you provide an example of what you would expect ghc to give you? |
| 2021-07-16 21:51:07 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764) |
| 2021-07-16 21:52:06 +0200 | acidjnk | (~acidjnk@p200300d0c72b9530b41c89c6d6c03a30.dip0.t-ipconnect.de) |
| 2021-07-16 21:53:20 +0200 | <Guest98> | so like if I have a class (Constraint) => Head where ..., and a data SomeData which it didn't apply to, I could get an informative type error by writing: testFunction :: (Constraint) => Head -> ()// testFunction = undefined// testData :: SomeData// testData = undefined and then trying to compile testFunction (testData) |
| 2021-07-16 21:54:18 +0200 | <Guest98> | the type error I'd get there explains why testData doesn't fit the input to testFunction...I just find myself doing this a lot, so I'm wondering if there's an easier way to get the same information |
| 2021-07-16 21:56:07 +0200 | <Guest98> | oh sorry typo, I meant class instance (Constraint) => Head (because I usually want to know why an instance declaration I wrote down doesn't match a data type) |
| 2021-07-16 21:58:35 +0200 | cheater | (~Username@84-115-12-132.cable.dynamic.surfer.at) (Changing host) |
| 2021-07-16 21:58:35 +0200 | cheater | (~Username@user/cheater) |
| 2021-07-16 21:59:06 +0200 | retro_ | (~retro@97e2ba5d.skybroadband.com) |
| 2021-07-16 22:02:05 +0200 | <dsal> | lechner: Text or one of the many ByteString types. I still use String on occasion because it often doesn't matter, but "matter" creeps up on you. |
| 2021-07-16 22:02:49 +0200 | retroid_ | (~retro@97e2ba5d.skybroadband.com) (Ping timeout: 268 seconds) |
| 2021-07-16 22:02:54 +0200 | <lechner> | thanks! |
| 2021-07-16 22:03:31 +0200 | retroid_ | (~retro@97e2ba5d.skybroadband.com) |
| 2021-07-16 22:04:03 +0200 | retro_ | (~retro@97e2ba5d.skybroadband.com) (Ping timeout: 268 seconds) |
| 2021-07-16 22:07:05 +0200 | juhp | (~juhp@128.106.188.66) |
| 2021-07-16 22:10:42 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-07-16 22:11:23 +0200 | <maerwald> | dminuoso: so there are two solutions: 1. effect-stack (with type level index into the stack to disambiguate) and 2. 'capability' library: https://paste.tomsmeding.com/TrDVpiq9 |
| 2021-07-16 22:11:29 +0200 | <maerwald> | the latter seems over-engineered |
| 2021-07-16 22:12:04 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 268 seconds) |
| 2021-07-16 22:12:41 +0200 | <maerwald> | wrt effect-stack I have slight concerns that it's less composable, because you have to specify the index |
| 2021-07-16 22:12:53 +0200 | <maerwald> | but for my own use case, it's probably irrelevant |
| 2021-07-16 22:17:14 +0200 | <Boarders> | is there a more natural way to write a parser like: |
| 2021-07-16 22:17:14 +0200 | <Boarders> | (try $ Just <$> p) <|> pure Nothing |
| 2021-07-16 22:18:42 +0200 | Guest98 | (~Guest98@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2021-07-16 22:20:03 +0200 | <dsal> | Boarders: `option Nothing (Just <$> try p)` ? |
| 2021-07-16 22:23:19 +0200 | <Boarders> | yeah I think I can use optional but not with try |
| 2021-07-16 22:23:25 +0200 | <Boarders> | I think try will always succeed |
| 2021-07-16 22:24:27 +0200 | mjs2600_ | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-16 22:25:38 +0200 | dunkeln | (~dunkeln@94.128.224.230) (Ping timeout: 268 seconds) |
| 2021-07-16 22:25:41 +0200 | <wwalker> | anyone know if I can buy Programming in Haskell as a PDF? I bought it a couple of weeks ago and started using it last night. I'm old and the print is just too small, and the binding is already breaking, and it won't lie flat. Only thing I have found is Amazon has it, but then I'm tied to their reader, but I'll likely end up buying it again from Amazon. |
| 2021-07-16 22:25:48 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-07-16 22:25:56 +0200 | krz3si | (~quassel@2a02:a31c:853b:b780:96f1:ff36:4051:20c7) (Ping timeout: 252 seconds) |
| 2021-07-16 22:26:07 +0200 | derelict | (~derelict@user/derelict) (Ping timeout: 246 seconds) |
| 2021-07-16 22:26:17 +0200 | renzhi | (~xp@2607:fa49:655f:a700::8b9f) |
| 2021-07-16 22:26:28 +0200 | krz3si | (~quassel@185.217.117.220) |
| 2021-07-16 22:27:08 +0200 | jolly | (~jolly@208.180.97.158) (Quit: Connection closed) |
| 2021-07-16 22:27:31 +0200 | <myShoggoth> | The Haskell Interlude podcast teaser episode is up: https://haskell.foundation/podcast/ |
| 2021-07-16 22:30:01 +0200 | <Rembane> | Yay! |
| 2021-07-16 22:30:34 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-07-16 22:34:26 +0200 | KUrare | (~KUrare@user/kurare) (Remote host closed the connection) |
| 2021-07-16 22:34:51 +0200 | <tomsmeding> | Boarders: I don't think try will always succeed; it will turn later failure (which is usually fatal in parsec) into immediate failure (which allows another path to be chosen in parsec) |
| 2021-07-16 22:34:52 +0200 | KUrare | (~KUrare@user/kurare) |
| 2021-07-16 22:35:14 +0200 | <tomsmeding> | so I'd expect the expression by dsal to be exactly what you need |
| 2021-07-16 22:35:46 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 2021-07-16 22:35:56 +0200 | KUrare | (~KUrare@user/kurare) (Remote host closed the connection) |
| 2021-07-16 22:36:20 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-07-16 22:36:20 +0200 | KUrare | (~KUrare@user/kurare) |
| 2021-07-16 22:38:04 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds) |
| 2021-07-16 22:38:33 +0200 | <tomsmeding> | also yay Utrecht representation on the podcast :) |
| 2021-07-16 22:39:49 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Client Quit) |
| 2021-07-16 22:40:34 +0200 | slycelote | (~slycelote@user/slycelote) |
| 2021-07-16 22:40:47 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 22:41:10 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-07-16 22:42:27 +0200 | RaitoBezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2021-07-16 22:42:58 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds) |
| 2021-07-16 22:45:40 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2021-07-16 22:46:56 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-16 22:47:17 +0200 | RaitoBezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 255 seconds) |
| 2021-07-16 22:47:27 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Client Quit) |
| 2021-07-16 22:47:42 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-16 22:47:52 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2021-07-16 22:52:22 +0200 | <Boarders> | thanks! I went with just optional p which seemed to have the right semantics for what I was doing |
| 2021-07-16 22:53:15 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 250 seconds) |
| 2021-07-16 22:54:36 +0200 | agua | (~agua@177.79.106.96) |
| 2021-07-16 22:55:14 +0200 | azeem | (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-16 22:56:09 +0200 | azeem | (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) |
| 2021-07-16 22:57:54 +0200 | pesada | (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) (Ping timeout: 255 seconds) |
| 2021-07-16 23:01:25 +0200 | retro_ | (~retro@97e2ba5d.skybroadband.com) |
| 2021-07-16 23:02:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-16 23:04:43 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-16 23:05:06 +0200 | retroid_ | (~retro@97e2ba5d.skybroadband.com) (Ping timeout: 268 seconds) |
| 2021-07-16 23:05:43 +0200 | KUrare | (~KUrare@user/kurare) (Ping timeout: 268 seconds) |
| 2021-07-16 23:08:16 +0200 | pesada | (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) |
| 2021-07-16 23:09:17 +0200 | cheater | (~Username@user/cheater) (Quit: (BitchX) Hanson uses BitchX. Mommy, can we dress like boys again?) |
| 2021-07-16 23:09:44 +0200 | cheater | (~Username@user/cheater) |
| 2021-07-16 23:10:21 +0200 | gorignak | (~gorignak@047-037-033-079.res.spectrum.com) (Quit: leaving) |
| 2021-07-16 23:10:42 +0200 | agua | (~agua@177.79.106.96) (Ping timeout: 240 seconds) |
| 2021-07-16 23:10:53 +0200 | chkno_ | chkno |
| 2021-07-16 23:11:26 +0200 | neurocyte | (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
| 2021-07-16 23:12:13 +0200 | ft | (~ft@shell.chaostreff-dortmund.de) (Remote host closed the connection) |
| 2021-07-16 23:12:14 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-16 23:14:17 +0200 | jolly | (~jolly@208.180.97.158) |
| 2021-07-16 23:15:07 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-16 23:15:23 +0200 | neurocyte | (~neurocyte@45.136.170.21) |
| 2021-07-16 23:15:23 +0200 | neurocyte | (~neurocyte@45.136.170.21) (Changing host) |
| 2021-07-16 23:15:23 +0200 | neurocyte | (~neurocyte@user/neurocyte) |
| 2021-07-16 23:17:12 +0200 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2021-07-16 23:17:27 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc02:3500:12c3:7bff:fe6d:d374) |
| 2021-07-16 23:17:29 +0200 | michalz | (~michalz@185.246.204.61) (Remote host closed the connection) |
| 2021-07-16 23:17:36 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-07-16 23:17:36 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2021-07-16 23:17:36 +0200 | turlando | (~turlando@user/turlando) |
| 2021-07-16 23:21:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-16 23:21:38 +0200 | <dsal> | I just noticed in stdlib that `find` is defined as `find p = getFirst . foldMap (\ x -> First (if p x then Just x else Nothing))` -- does anyone have any opinions as to why that's better than the `foldr` that seems like an obvious thing to me. |
| 2021-07-16 23:24:03 +0200 | <c_wraith> | it works better for data types that are more tree-like |
| 2021-07-16 23:24:10 +0200 | fendor | (~fendor@77.119.213.12.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-07-16 23:24:19 +0200 | <c_wraith> | Hmm. Actually, I'm not sure of that. |
| 2021-07-16 23:24:29 +0200 | <c_wraith> | I can't see any case where it's obviously better |
| 2021-07-16 23:26:24 +0200 | <hpc> | :t foldMap |
| 2021-07-16 23:26:25 +0200 | <lambdabot> | (Foldable t, Monoid m) => (a -> m) -> t a -> m |
| 2021-07-16 23:27:52 +0200 | ft | (~ft@shell.chaostreff-dortmund.de) |
| 2021-07-16 23:29:24 +0200 | <boxscape> | % :t \p -> alaf First foldMap \x -> [x | p x ] |
| 2021-07-16 23:29:24 +0200 | <yahb> | boxscape: Foldable t => (b -> Bool) -> t b -> Maybe b |
| 2021-07-16 23:29:25 +0200 | chris_ | (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 2021-07-16 23:30:50 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-16 23:32:03 +0200 | agua | (~agua@2804:18:7e:a02e:1:0:239f:a7bb) |
| 2021-07-16 23:33:01 +0200 | slycelote | (~slycelote@user/slycelote) (Read error: Connection reset by peer) |
| 2021-07-16 23:33:01 +0200 | s_ | (~slycelote@user/slycelote) |
| 2021-07-16 23:34:28 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-07-16 23:34:59 +0200 | pesada | (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) (Ping timeout: 255 seconds) |
| 2021-07-16 23:35:19 +0200 | paolino | (~paolo@84.33.185.158) (Ping timeout: 268 seconds) |
| 2021-07-16 23:36:59 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764) |
| 2021-07-16 23:39:19 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-16 23:39:19 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-16 23:39:37 +0200 | benin0369 | (~benin@183.82.204.139) |
| 2021-07-16 23:39:38 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 268 seconds) |
| 2021-07-16 23:40:09 +0200 | shailangsa | (~shailangs@host86-186-196-229.range86-186.btcentralplus.com) (Remote host closed the connection) |
| 2021-07-16 23:42:28 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-16 23:45:14 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 23:45:34 +0200 | ubert | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Quit: ubert) |
| 2021-07-16 23:45:54 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-16 23:50:27 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-07-16 23:52:04 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-16 23:57:46 +0200 | KUrare | (~KUrare@user/kurare) |
| 2021-07-16 23:59:28 +0200 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) |