| 2022-05-01 00:02:10 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 00:04:13 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 00:04:36 +0200 | dashkal | (~dashkal@user/dashkal) (Ping timeout: 246 seconds) |
| 2022-05-01 00:04:58 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 2022-05-01 00:05:29 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-01 00:06:39 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 2022-05-01 00:06:50 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-01 00:09:46 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 00:11:04 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 00:12:26 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 00:15:12 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-05-01 00:15:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-05-01 00:15:22 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-05-01 00:15:53 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-01 00:18:17 +0200 | dcoutts_ | (~duncan@host86-151-9-6.range86-151.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2022-05-01 00:18:39 +0200 | rusty | (~rustyboy@2a02:2f0e:5b17:3600:dc65:f04e:d4dd:7a0f) (Quit: Leaving) |
| 2022-05-01 00:23:00 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-05-01 00:23:58 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 00:25:23 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 00:27:30 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Ping timeout: 272 seconds) |
| 2022-05-01 00:27:32 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-05-01 00:27:47 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-05-01 00:28:15 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 00:31:08 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 250 seconds) |
| 2022-05-01 00:32:09 +0200 | <Bulby[m]> | any good configuration libraries... tomland doesn't support dotted keys as tables 😠|
| 2022-05-01 00:33:01 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-05-01 00:35:06 +0200 | titibandit | (~titibandi@xdsl-89-0-37-242.nc.de) (Remote host closed the connection) |
| 2022-05-01 00:35:19 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-05-01 00:38:16 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 272 seconds) |
| 2022-05-01 00:42:14 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-05-01 00:44:30 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-05-01 00:48:36 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 00:57:16 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 00:58:01 +0200 | xaotuk | (~sasha@net174-38-245-109.mbb.telenor.rs) |
| 2022-05-01 00:59:46 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 01:04:14 +0200 | <Sgeo> | Language with no typeclasses but algebraic effects. Should I try to fake typeclasses so I can do profunctor optics, or should I keep trying (and likely failing) to find a more idiomatic encoding of optics? |
| 2022-05-01 01:05:57 +0200 | <EvanR> | typeclasses are pretty cool |
| 2022-05-01 01:06:10 +0200 | <EvanR> | I always want them when they're not around |
| 2022-05-01 01:07:09 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) |
| 2022-05-01 01:08:50 +0200 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!) |
| 2022-05-01 01:09:27 +0200 | mmhat | (~mmh@2001:4090:a242:802d:ee08:6bff:fe09:5315) (Quit: WeeChat 3.5) |
| 2022-05-01 01:10:28 +0200 | <Sgeo> | I think I can fake typeclasses well enough, but there's also no good type synonyms yet :( |
| 2022-05-01 01:12:41 +0200 | segfaultfizzbuzz | (~segfaultf@192-184-223-90.static.sonic.net) |
| 2022-05-01 01:12:51 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-05-01 01:14:32 +0200 | acidjnk | (~acidjnk@p200300d0c73b4502b9c6c7f353397b6d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-05-01 01:15:40 +0200 | <hpc> | specifically, i always find myself wanting Monad |
| 2022-05-01 01:15:59 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 240 seconds) |
| 2022-05-01 01:16:15 +0200 | <hpc> | working with promises makes me feel like https://www.youtube.com/watch?v=CkdyU_eUm1U |
| 2022-05-01 01:17:59 +0200 | segfaultfizzbuzz | (~segfaultf@192-184-223-90.static.sonic.net) (Ping timeout: 240 seconds) |
| 2022-05-01 01:18:08 +0200 | joo-_ | (~joo-_@87-49-44-124-mobile.dk.customer.tdc.net) |
| 2022-05-01 01:18:09 +0200 | joo-_ | (~joo-_@87-49-44-124-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-05-01 01:18:09 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-05-01 01:19:41 +0200 | <abastro[m]> | XD |
| 2022-05-01 01:19:49 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-01 01:19:49 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-01 01:19:49 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-01 01:20:07 +0200 | <abastro[m]> | <del>at least there is half broken async await</del> |
| 2022-05-01 01:20:21 +0200 | <EvanR> | also +, <, other math operations for things not int or double |
| 2022-05-01 01:20:38 +0200 | <EvanR> | or similar to |
| 2022-05-01 01:20:41 +0200 | <Sgeo> | Why is Profunctor's method first' and not first ? |
| 2022-05-01 01:20:51 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-05-01 01:21:01 +0200 | <EvanR> | first is in Arrow already |
| 2022-05-01 01:24:46 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 01:26:11 +0200 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-05-01 01:26:33 +0200 | segfaultfizzbuzz | (~segfaultf@192-184-223-90.static.sonic.net) |
| 2022-05-01 01:30:50 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 01:37:21 +0200 | jlamothe | (~jlamothe@198.251.61.229) (Ping timeout: 246 seconds) |
| 2022-05-01 01:37:25 +0200 | x_kuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-05-01 01:37:42 +0200 | jlamothe | (~jlamothe@198.251.61.229) |
| 2022-05-01 01:38:12 +0200 | <monochrom> | It is not the first first. >:) |
| 2022-05-01 01:38:24 +0200 | Guest|18 | (~Guest|18@75-164-146-210.ptld.qwest.net) |
| 2022-05-01 01:39:03 +0200 | segfaultfizzbuzz | (~segfaultf@192-184-223-90.static.sonic.net) (Ping timeout: 276 seconds) |
| 2022-05-01 01:41:37 +0200 | segfaultfizzbuzz | (~segfaultf@192-184-223-90.static.sonic.net) |
| 2022-05-01 01:41:37 +0200 | segfaultfizzbuzz | (~segfaultf@192-184-223-90.static.sonic.net) (Client Quit) |
| 2022-05-01 01:41:59 +0200 | <dsal> | first to me is a bifunctor function. |
| 2022-05-01 01:42:21 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-05-01 01:43:13 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 01:46:51 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2022-05-01 01:46:57 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-01 01:51:03 +0200 | pera | (~pera@user/pera) (Quit: leaving) |
| 2022-05-01 01:51:20 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-05-01 01:54:00 +0200 | xaotuk | (~sasha@net174-38-245-109.mbb.telenor.rs) (Ping timeout: 276 seconds) |
| 2022-05-01 01:55:57 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-05-01 01:58:12 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 01:58:22 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-05-01 01:58:49 +0200 | zachel | (~zachel@user/zachel) |
| 2022-05-01 01:59:20 +0200 | zachel_ | (~zachel@user/zachel) (Ping timeout: 248 seconds) |
| 2022-05-01 02:00:49 +0200 | <Bulby[m]> | with tomland would some creative thinking be able to use hardcoded as an arbitrary extra field? https://hackage.haskell.org/package/tomland-1.3.3.1/docs/Toml-Codec-Combinator-Custom.html |
| 2022-05-01 02:02:35 +0200 | Bulby[m] | sent a code block: https://libera.ems.host/_matrix/media/r0/download/libera.chat/044744922a13e54e1d305aec61ab9f60ff48… |
| 2022-05-01 02:08:24 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-05-01 02:10:15 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds) |
| 2022-05-01 02:10:44 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-01 02:10:48 +0200 | Guest|18 | (~Guest|18@75-164-146-210.ptld.qwest.net) (Quit: Connection closed) |
| 2022-05-01 02:12:35 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 02:14:18 +0200 | xff0x_ | (~xff0x@om126234061065.16.openmobile.ne.jp) |
| 2022-05-01 02:17:39 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-05-01 02:18:24 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 02:23:22 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 250 seconds) |
| 2022-05-01 02:30:41 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 02:32:36 +0200 | <abastro[m]> | What is toml? |
| 2022-05-01 02:32:47 +0200 | <Bulby[m]> | toml's obvious markup lang |
| 2022-05-01 02:33:03 +0200 | <Bulby[m]> | I think using `<*>` and friends won't work |
| 2022-05-01 02:33:26 +0200 | <Bulby[m]> | how would I combine the underlying read write functions in such a way that I can add an arbitrary field |
| 2022-05-01 02:35:21 +0200 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) |
| 2022-05-01 02:35:24 +0200 | <abastro[m]> | Ah markup |
| 2022-05-01 02:35:51 +0200 | <Bulby[m]> | tom's obvious minimal language oopsies |
| 2022-05-01 02:36:08 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 248 seconds) |
| 2022-05-01 02:36:09 +0200 | <abastro[m]> | Obvious? |
| 2022-05-01 02:36:22 +0200 | <Bulby[m]> | that's it's name ok 👺 |
| 2022-05-01 02:36:23 +0200 | <Bulby[m]> | wait |
| 2022-05-01 02:36:25 +0200 | <Bulby[m]> | wrong emoji |
| 2022-05-01 02:37:31 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-05-01 02:40:49 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 02:41:34 +0200 | <abastro[m]> | So this: https://toml.io/en/ |
| 2022-05-01 02:41:37 +0200 | <abastro[m]> | Interesting |
| 2022-05-01 02:42:35 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-01 02:42:54 +0200 | <abastro[m]> | <del>Eww tables</del> |
| 2022-05-01 02:43:37 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-01 02:43:37 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-01 02:43:37 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-01 02:45:47 +0200 | mxs | (~mxs@user/mxs) (Remote host closed the connection) |
| 2022-05-01 02:45:59 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-05-01 02:46:14 +0200 | mxs | (~mxs@user/mxs) |
| 2022-05-01 02:46:39 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-05-01 02:46:43 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 02:48:39 +0200 | <abastro[m]> | `Codec` type seems unfit for applicative operation over writing. |
| 2022-05-01 02:52:27 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:c914:2e3d:9c4a:a429) (Ping timeout: 260 seconds) |
| 2022-05-01 02:52:32 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 02:54:55 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 02:56:05 +0200 | <abastro[m]> | Bidirectional one has |
| 2022-05-01 02:56:05 +0200 | <abastro[m]> | `f ()` |
| 2022-05-01 02:56:05 +0200 | <abastro[m]> | `f a -> f b -> f (a, b)` |
| 2022-05-01 02:56:05 +0200 | <abastro[m]> | But not viable applicative instance. Hmm |
| 2022-05-01 02:56:24 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 02:59:57 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds) |
| 2022-05-01 03:00:08 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-05-01 03:02:13 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-05-01 03:02:24 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 03:05:29 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-05-01 03:05:30 +0200 | gurkenglas | (~gurkengla@84.57.85.111) (Ping timeout: 276 seconds) |
| 2022-05-01 03:05:54 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-05-01 03:08:06 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-05-01 03:10:10 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-01 03:10:20 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 03:10:34 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-01 03:11:09 +0200 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-05-01 03:12:36 +0200 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Read error: Connection reset by peer) |
| 2022-05-01 03:12:52 +0200 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-05-01 03:13:27 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-05-01 03:15:58 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 03:16:40 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-01 03:16:41 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 03:18:41 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
| 2022-05-01 03:20:07 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-05-01 03:20:18 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 03:22:01 +0200 | <cdsmith> | I think the Foldable instance for Data.Functor.Compose should define `length`. Currently it's left to the default impl, which walks through all elements and counts them one by one. It could be something like `length (Compose xs) = getSum (foldMap (Sum . length) xs)`, which would at least avoid traversing the inner containers. |
| 2022-05-01 03:23:09 +0200 | <cdsmith> | Did I miss something here? |
| 2022-05-01 03:32:48 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Ping timeout: 276 seconds) |
| 2022-05-01 03:33:13 +0200 | <cdsmith> | Okay, I found a better place to pontificate: https://github.com/haskell/core-libraries-committee/issues/57 |
| 2022-05-01 03:33:50 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-01 03:38:39 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2022-05-01 03:39:18 +0200 | cheater | (~Username@user/cheater) |
| 2022-05-01 03:41:44 +0200 | andrey_ | (~andrey@p200300dbcf3c2800a83cd0cefcf2e84d.dip0.t-ipconnect.de) |
| 2022-05-01 03:44:33 +0200 | andrey__ | (~andrey@p508d5741.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-05-01 03:47:21 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 03:50:05 +0200 | dcoutts_ | (~duncan@host86-151-9-6.range86-151.btcentralplus.com) |
| 2022-05-01 03:50:19 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-05-01 03:51:45 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-01 03:52:18 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 03:56:07 +0200 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-05-01 03:59:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-01 04:06:57 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-01 04:12:29 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-05-01 04:13:36 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2022-05-01 04:18:34 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-05-01 04:18:34 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-01 04:18:34 +0200 | finn_elija | FinnElija |
| 2022-05-01 04:20:12 +0200 | razetime | (~quassel@117.254.35.47) |
| 2022-05-01 04:28:41 +0200 | notzmv | (~zmv@user/notzmv) (Remote host closed the connection) |
| 2022-05-01 04:29:08 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-05-01 04:29:43 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 04:30:36 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-05-01 04:30:42 +0200 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 272 seconds) |
| 2022-05-01 04:31:57 +0200 | td_ | (~td@muedsl-82-207-238-189.citykom.de) (Ping timeout: 276 seconds) |
| 2022-05-01 04:32:25 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-05-01 04:33:29 +0200 | td_ | (~td@94.134.91.80) |
| 2022-05-01 04:33:59 +0200 | brettgilio | (~brettgili@x-node.gq) |
| 2022-05-01 04:35:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-05-01 04:43:05 +0200 | xff0x_ | (~xff0x@om126234061065.16.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-05-01 04:43:31 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-05-01 04:44:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-01 04:44:22 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-01 04:44:57 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-05-01 04:45:46 +0200 | gpncarl | (~gpncarl@120.244.220.254) |
| 2022-05-01 04:48:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-01 04:49:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 04:50:20 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 272 seconds) |
| 2022-05-01 04:54:49 +0200 | <dmj`> | haskell doesn't really have any OCR bindings huh |
| 2022-05-01 04:57:19 +0200 | Kevin578_ | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-05-01 04:58:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-01 05:00:19 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-01 05:00:56 +0200 | jargon | (~jargon@174-22-206-112.phnx.qwest.net) |
| 2022-05-01 05:01:51 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-01 05:02:00 +0200 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-05-01 05:05:06 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-01 05:05:15 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-05-01 05:14:57 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 05:15:53 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-05-01 05:19:35 +0200 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-05-01 05:22:55 +0200 | dknite17 | (~dknite@2405:201:800b:481f:e27b:9687:63b0:8322) |
| 2022-05-01 05:23:32 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2022-05-01 05:24:06 +0200 | dknite17 | (~dknite@2405:201:800b:481f:e27b:9687:63b0:8322) (Client Quit) |
| 2022-05-01 05:24:12 +0200 | dknite | (~dknite@2405:201:800b:481f:e27b:9687:63b0:8322) |
| 2022-05-01 05:25:04 +0200 | <dknite> | Are there some live coding streams that use Haskell available? I have found them to be very effective for learning. |
| 2022-05-01 05:25:52 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 05:27:02 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) |
| 2022-05-01 05:32:35 +0200 | sabry | (~sabry@197.37.67.113) |
| 2022-05-01 05:34:29 +0200 | dcoutts_ | (~duncan@host86-151-9-6.range86-151.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2022-05-01 05:34:30 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 05:36:54 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 05:37:50 +0200 | gpncarl | (~gpncarl@120.244.220.254) (Ping timeout: 272 seconds) |
| 2022-05-01 05:38:18 +0200 | dashkal | (~dashkal@user/dashkal) |
| 2022-05-01 05:38:55 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) |
| 2022-05-01 05:42:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-05-01 05:43:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 05:44:23 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-05-01 05:44:44 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-05-01 05:49:59 +0200 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2022-05-01 05:51:46 +0200 | sabry | (~sabry@197.37.67.113) (Quit: Client closed) |
| 2022-05-01 05:55:48 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 05:56:03 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) |
| 2022-05-01 05:56:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-01 05:57:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 06:00:26 +0200 | deadmarshal_ | (~deadmarsh@95.38.118.198) |
| 2022-05-01 06:03:04 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-05-01 06:04:58 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-05-01 06:11:30 +0200 | ubert | (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-05-01 06:11:48 +0200 | ubert | (~Thunderbi@p200300ecdf158899c0f4d27fa8fbb23b.dip0.t-ipconnect.de) |
| 2022-05-01 06:15:12 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) (Ping timeout: 250 seconds) |
| 2022-05-01 06:17:42 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-01 06:23:20 +0200 | mbuf | (~Shakthi@223.178.72.113) |
| 2022-05-01 06:29:46 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-05-01 06:35:33 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-01 06:36:25 +0200 | sprout_ | (~quassel@2a02-a467-ccd6-1-ac31-dc0e-66e4-8439.fixed6.kpn.net) |
| 2022-05-01 06:39:19 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-ed7e-2264-bed5-6948.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-05-01 06:39:39 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-05-01 06:51:31 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 06:52:01 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 2022-05-01 06:56:19 +0200 | phma | (~phma@host-67-44-208-188.hnremote.net) (Read error: Connection reset by peer) |
| 2022-05-01 06:57:30 +0200 | phma | (~phma@2001:5b0:210d:d3b8:c7a1:c00e:a306:dd56) |
| 2022-05-01 07:01:21 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 07:01:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-01 07:02:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 07:03:20 +0200 | deadmarshal_ | (~deadmarsh@95.38.118.198) (Ping timeout: 272 seconds) |
| 2022-05-01 07:07:22 +0200 | Ether17 | (~Ether17@45.248.151.250) |
| 2022-05-01 07:13:56 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 07:18:03 +0200 | Ether17 | (~Ether17@45.248.151.250) (Quit: Client closed) |
| 2022-05-01 07:21:49 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 07:22:29 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) |
| 2022-05-01 07:30:10 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 07:38:54 +0200 | xff0x_ | (~xff0x@om126234061065.16.openmobile.ne.jp) |
| 2022-05-01 07:39:01 +0200 | oxide | (~lambda@user/oxide) |
| 2022-05-01 07:41:00 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) (Ping timeout: 250 seconds) |
| 2022-05-01 07:43:06 +0200 | gpncarl | (~gpncarl@120.244.220.254) |
| 2022-05-01 07:47:19 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-ac31-dc0e-66e4-8439.fixed6.kpn.net) |
| 2022-05-01 07:48:36 +0200 | sprout_ | (~quassel@2a02-a467-ccd6-1-ac31-dc0e-66e4-8439.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-05-01 07:54:04 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-01 07:54:09 +0200 | Ether17 | (~Ether17@45.248.151.250) |
| 2022-05-01 07:54:32 +0200 | Ether17 | (~Ether17@45.248.151.250) (Client Quit) |
| 2022-05-01 08:04:27 +0200 | img | (~img@user/img) |
| 2022-05-01 08:15:13 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 08:25:02 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 272 seconds) |
| 2022-05-01 08:25:18 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-05-01 08:26:48 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-01 08:28:34 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-01 08:34:43 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-01 08:35:10 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 272 seconds) |
| 2022-05-01 08:35:52 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-05-01 08:43:40 +0200 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) |
| 2022-05-01 08:48:51 +0200 | razetime | (~quassel@117.254.35.47) (Ping timeout: 256 seconds) |
| 2022-05-01 08:49:11 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 08:54:56 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-05-01 08:58:12 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-01 08:59:10 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 09:00:28 +0200 | neceve | (~quassel@2.29.116.221) |
| 2022-05-01 09:04:22 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 09:08:35 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) |
| 2022-05-01 09:20:10 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-01 09:20:59 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 09:22:48 +0200 | razetime | (~quassel@117.254.34.249) |
| 2022-05-01 09:24:12 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2022-05-01 09:29:28 +0200 | acidjnk | (~acidjnk@p200300d0c73b4550c5e3a1b7598c6b95.dip0.t-ipconnect.de) |
| 2022-05-01 09:34:31 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-05-01 09:42:49 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-01 09:45:47 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 09:49:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-05-01 09:51:03 +0200 | hughjfchen[m] | (~hughjfche@2001:470:69fc:105::c29d) |
| 2022-05-01 09:51:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-01 09:52:24 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 248 seconds) |
| 2022-05-01 09:59:21 +0200 | dknite | (~dknite@2405:201:800b:481f:e27b:9687:63b0:8322) (Quit: Client closed) |
| 2022-05-01 09:59:47 +0200 | dust_ | (~dust@2409:4071:2283:5117:f276:b047:4438:5a20) |
| 2022-05-01 10:00:31 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 10:01:32 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-05-01 10:04:47 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Ping timeout: 256 seconds) |
| 2022-05-01 10:04:56 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.97) |
| 2022-05-01 10:06:05 +0200 | dust_ | (~dust@2409:4071:2283:5117:f276:b047:4438:5a20) (Quit: Konversation terminated!) |
| 2022-05-01 10:09:24 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.97) (Ping timeout: 246 seconds) |
| 2022-05-01 10:11:01 +0200 | Hiring | (~Hiring@31.222.238.38) () |
| 2022-05-01 10:12:05 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-05-01 10:15:38 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:c480:34a2:ac3:3d01) |
| 2022-05-01 10:15:39 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-01 10:15:50 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-01 10:15:56 +0200 | jargon | (~jargon@174-22-206-112.phnx.qwest.net) (Quit: Restarting.) |
| 2022-05-01 10:17:54 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-01 10:19:55 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:c480:34a2:ac3:3d01) (Client Quit) |
| 2022-05-01 10:25:05 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-01 10:31:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-01 10:32:16 +0200 | steerio | (~steerio@aviv.kinneret.de) (Remote host closed the connection) |
| 2022-05-01 10:36:15 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.97) |
| 2022-05-01 10:41:59 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2022-05-01 10:45:22 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:b5b8:3c41:5641:4dcb) |
| 2022-05-01 10:51:45 +0200 | nicbk | (~nicbk@user/nicbk) |
| 2022-05-01 10:58:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-01 11:00:14 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (Quit: You have been kicked for being idle) |
| 2022-05-01 11:01:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 11:01:01 +0200 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-05-01 11:06:16 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 11:16:03 +0200 | jargon | (~jargon@174-22-206-112.phnx.qwest.net) |
| 2022-05-01 11:17:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-01 11:20:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 11:23:46 +0200 | deadmars- | (~deadmarsh@95.38.113.16) |
| 2022-05-01 11:24:31 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-05-01 11:24:39 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.97) (Ping timeout: 246 seconds) |
| 2022-05-01 11:27:01 +0200 | nut | (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-05-01 11:27:49 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 11:29:00 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 11:30:32 +0200 | deadmars- | (~deadmarsh@95.38.113.16) (Ping timeout: 248 seconds) |
| 2022-05-01 11:31:26 +0200 | deadmarshal_ | (~deadmarsh@95.38.114.50) |
| 2022-05-01 11:31:46 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-01 11:32:40 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 11:33:07 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Ping timeout: 240 seconds) |
| 2022-05-01 11:36:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2022-05-01 11:36:47 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-01 11:38:43 +0200 | deadmars- | (~deadmarsh@95.38.115.128) |
| 2022-05-01 11:39:16 +0200 | ts3 | (~ts@46.101.20.9) (Quit: WeeChat 3.0.1) |
| 2022-05-01 11:40:07 +0200 | deadmarshal_ | (~deadmarsh@95.38.114.50) (Ping timeout: 240 seconds) |
| 2022-05-01 11:40:20 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-05-01 11:44:04 +0200 | nicbk | (~nicbk@user/nicbk) (Ping timeout: 240 seconds) |
| 2022-05-01 11:44:28 +0200 | nicbk | (~nicbk@user/nicbk) |
| 2022-05-01 11:44:32 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-05-01 11:45:00 +0200 | schmolt | (~schmolt@2a02:8084:26e3:d000:8d32:a9f5:d8c3:b7c) |
| 2022-05-01 11:47:57 +0200 | schmolt | (~schmolt@2a02:8084:26e3:d000:8d32:a9f5:d8c3:b7c) (Client Quit) |
| 2022-05-01 11:49:19 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-01 11:51:30 +0200 | zyklotomic | (~ethan@res388d-128-61-94-44.res.gatech.edu) (Ping timeout: 272 seconds) |
| 2022-05-01 11:51:54 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
| 2022-05-01 11:52:50 +0200 | zyklotomic | (~ethan@res380d-128-61-86-203.res.gatech.edu) |
| 2022-05-01 11:52:53 +0200 | romesrf | (~romes@185.5.8.134) |
| 2022-05-01 11:54:07 +0200 | abastro | (~abab9579@192.249.26.173) |
| 2022-05-01 11:55:13 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 11:57:15 +0200 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::3) |
| 2022-05-01 11:58:02 +0200 | ehamberg | (sid18208@id-18208.hampstead.irccloud.com) () |
| 2022-05-01 12:09:00 +0200 | renzhi | (~xp@2607:fa49:6500:b100::2dea) (Ping timeout: 240 seconds) |
| 2022-05-01 12:21:04 +0200 | renzhi | (~xp@2607:fa49:6500:b100::5c83) |
| 2022-05-01 12:26:34 +0200 | nicbk | (~nicbk@user/nicbk) (Ping timeout: 240 seconds) |
| 2022-05-01 12:29:56 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Read error: Connection reset by peer) |
| 2022-05-01 12:34:26 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-05-01 12:42:20 +0200 | ubert | (~Thunderbi@p200300ecdf158899c0f4d27fa8fbb23b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-01 12:42:43 +0200 | ubert | (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) |
| 2022-05-01 12:43:45 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-05-01 12:45:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2022-05-01 12:45:18 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-05-01 12:46:23 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-01 13:02:09 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-05-01 13:03:10 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 13:06:41 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-01 13:08:15 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-05-01 13:13:52 +0200 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!) |
| 2022-05-01 13:14:05 +0200 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-05-01 13:14:44 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-05-01 13:18:10 +0200 | abastro | (~abab9579@192.249.26.173) (Remote host closed the connection) |
| 2022-05-01 13:19:11 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-01 13:23:20 +0200 | razetime | (~quassel@117.254.34.249) (Ping timeout: 272 seconds) |
| 2022-05-01 13:28:44 +0200 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-05-01 13:30:16 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-ac31-dc0e-66e4-8439.fixed6.kpn.net) (Ping timeout: 250 seconds) |
| 2022-05-01 13:32:09 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 13:35:01 +0200 | td_ | (~td@94.134.91.80) (Ping timeout: 256 seconds) |
| 2022-05-01 13:36:31 +0200 | td_ | (~td@94.134.91.69) |
| 2022-05-01 13:39:40 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-05-01 13:41:33 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 2022-05-01 13:43:50 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-01 13:44:01 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-01 13:46:24 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-01 13:56:38 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-01 13:58:12 +0200 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-01 13:59:28 +0200 | frost | (~frost@user/frost) |
| 2022-05-01 13:59:47 +0200 | sprout | (~quassel@2a02-a45f-f170-1-886e-9296-a164-800c.fixed6.kpn.net) |
| 2022-05-01 14:02:31 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-01 14:05:40 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-05-01 14:05:42 +0200 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular) |
| 2022-05-01 14:06:43 +0200 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 2022-05-01 14:06:56 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 14:08:37 +0200 | razetime | (~quassel@117.254.34.249) |
| 2022-05-01 14:12:17 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-01 14:18:38 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-01 14:27:03 +0200 | mmhat | (~mmh@2001:4090:a242:802a:ee08:6bff:fe09:5315) |
| 2022-05-01 14:32:22 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-01 14:33:46 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:8cd:5e84:febb:646f) |
| 2022-05-01 14:35:09 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 14:43:14 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-01 14:45:19 +0200 | acidjnk | (~acidjnk@p200300d0c73b4550c5e3a1b7598c6b95.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-01 14:45:24 +0200 | Andy[m]12 | (~anparrama@2001:470:69fc:105::1:6826) |
| 2022-05-01 14:52:10 +0200 | grgz | (~grgz@grgz.me) (Quit: WeeChat 2.8) |
| 2022-05-01 14:52:24 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) (Quit: byeeeeeeee) |
| 2022-05-01 14:54:39 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 276 seconds) |
| 2022-05-01 14:56:04 +0200 | oxide | (~lambda@user/oxide) |
| 2022-05-01 15:00:37 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) |
| 2022-05-01 15:02:50 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 15:05:07 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-05-01 15:05:43 +0200 | phma | (~phma@2001:5b0:210d:d3b8:c7a1:c00e:a306:dd56) (Read error: Connection reset by peer) |
| 2022-05-01 15:06:33 +0200 | phma | (~phma@host-67-44-208-94.hnremote.net) |
| 2022-05-01 15:08:56 +0200 | yaroot | (~yaroot@134.27.31.150.dy.iij4u.or.jp) (Remote host closed the connection) |
| 2022-05-01 15:12:24 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-05-01 15:22:41 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2022-05-01 15:23:22 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 15:27:48 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2022-05-01 15:33:00 +0200 | barak | (~barak@2a02:14f:1f6:7d81:3f31:17df:d367:e26c) |
| 2022-05-01 15:33:27 +0200 | barak | (~barak@2a02:14f:1f6:7d81:3f31:17df:d367:e26c) (Client Quit) |
| 2022-05-01 15:39:19 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:9cf3:f2f4:30a1:60d0) |
| 2022-05-01 15:40:48 +0200 | gpncarl | (~gpncarl@120.244.220.254) (Ping timeout: 276 seconds) |
| 2022-05-01 15:41:23 +0200 | gpncarl | (~gpncarl@120.244.220.254) |
| 2022-05-01 15:41:24 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 15:41:25 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Quit: ZNC - https://znc.in) |
| 2022-05-01 15:43:38 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 15:43:50 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-05-01 15:43:51 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:9cf3:f2f4:30a1:60d0) (Ping timeout: 260 seconds) |
| 2022-05-01 15:45:55 +0200 | gpncarl | (~gpncarl@120.244.220.254) (Ping timeout: 256 seconds) |
| 2022-05-01 15:48:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-01 15:51:01 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-05-01 15:51:20 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 15:53:25 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 15:59:00 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-05-01 16:01:22 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 16:02:30 +0200 | qwedfg_ | (~qwedfg@user/qwedfg) |
| 2022-05-01 16:02:57 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Ping timeout: 272 seconds) |
| 2022-05-01 16:04:12 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 16:06:06 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 272 seconds) |
| 2022-05-01 16:06:09 +0200 | mjs2600_ | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-01 16:06:17 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-05-01 16:06:19 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-05-01 16:07:02 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-05-01 16:07:12 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 16:07:22 +0200 | jespada_ | (~jespada@89.238.143.238) |
| 2022-05-01 16:08:00 +0200 | jespada_ | (~jespada@89.238.143.238) (Client Quit) |
| 2022-05-01 16:10:35 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 16:11:10 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-01 16:11:25 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-01 16:12:19 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-05-01 16:12:24 +0200 | dcoutts_ | (~duncan@host86-151-9-6.range86-151.btcentralplus.com) |
| 2022-05-01 16:13:07 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 16:15:15 +0200 | dknite | (~dknite@2405:201:800b:481f:e27b:9687:63b0:8322) |
| 2022-05-01 16:15:57 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-05-01 16:16:05 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-01 16:18:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-01 16:18:18 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-05-01 16:22:19 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-05-01 16:22:52 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-01 16:30:41 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2022-05-01 16:31:04 +0200 | jespada | (~jespada@194.37.96.110) |
| 2022-05-01 16:33:37 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-05-01 16:35:03 +0200 | <raehik> | is there a way for me to get the length of a type-level symbol, as a type-level nat? |
| 2022-05-01 16:35:17 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 16:35:37 +0200 | <hpc> | like (length String) = 6, (length Int) = 3? |
| 2022-05-01 16:35:56 +0200 | <raehik> | No, like `Length "bla" = 3` |
| 2022-05-01 16:37:29 +0200 | <raehik> | initial googling has pointed me to the generic-lens author's work -- but no Length function https://blog.csongor.co.uk/symbol-parsing-haskell/ |
| 2022-05-01 16:37:58 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-05-01 16:37:59 +0200 | mmhat | (~mmh@2001:4090:a242:802a:ee08:6bff:fe09:5315) (Quit: WeeChat 3.5) |
| 2022-05-01 16:39:05 +0200 | <raehik> | I will gladly ignore any Unicode pitfalls etc because it's intended for ASCII only |
| 2022-05-01 16:39:20 +0200 | <raehik> | so Char = 1 |
| 2022-05-01 16:40:00 +0200 | <raehik> | there is UnconsSymbol but I don't understand how to "pattern match" on it |
| 2022-05-01 16:42:33 +0200 | sprout | (~quassel@2a02-a45f-f170-1-886e-9296-a164-800c.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-05-01 16:43:00 +0200 | <abastro[m]> | One could make type family for that I think |
| 2022-05-01 16:43:12 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-05-01 16:44:49 +0200 | <raehik> | abastro[m]: That's what I'm trying. Can't figure out how to write this on type level: https://paste.tomsmeding.com/TP9JdYKH |
| 2022-05-01 16:44:56 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-01 16:44:56 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-01 16:44:56 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-01 16:45:18 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 16:46:54 +0200 | <abastro[m]> | You need to make type family for each case statement |
| 2022-05-01 16:47:12 +0200 | <abastro[m]> | It's going to be ugly, yea |
| 2022-05-01 16:47:12 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 16:47:33 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 16:47:41 +0200 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-05-01 16:48:17 +0200 | <raehik> | oooh I think I get it |
| 2022-05-01 16:48:38 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-01 16:50:35 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 260 seconds) |
| 2022-05-01 16:52:06 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 16:52:34 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 16:53:04 +0200 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-05-01 16:53:07 +0200 | <raehik> | this feels like it should work, but I'm getting "Type instead of (some kind)" errors https://paste.tomsmeding.com/t2SC6gQU |
| 2022-05-01 16:54:53 +0200 | <abastro[m]> | Typelevel plus might be different operator |
| 2022-05-01 16:55:08 +0200 | <abastro[m]> | Oh it is same operator |
| 2022-05-01 16:56:03 +0200 | <abastro[m]> | Hmm, could you post entire error |
| 2022-05-01 16:56:19 +0200 | <raehik> | Is Maybe not polykinded? |
| 2022-05-01 16:56:22 +0200 | <tomsmeding> | what's the definition of UnconsSymbol |
| 2022-05-01 16:56:30 +0200 | <raehik> | Yes to both, one sec |
| 2022-05-01 16:57:00 +0200 | <tomsmeding> | raehik: interesting, Maybe seems not polykinded |
| 2022-05-01 16:57:54 +0200 | <raehik> | https://paste.tomsmeding.com/lGwPqmPP |
| 2022-05-01 16:57:54 +0200 | <tomsmeding> | in any case, `:k Maybe` yields `* -> *` whereas e.g. `:k Proxy` yields `k -> *` |
| 2022-05-01 16:58:15 +0200 | <tomsmeding> | yeah Maybe is not kind-polymorphic here |
| 2022-05-01 16:58:31 +0200 | <raehik> | that's weird, how does UnconsSymbol work there? |
| 2022-05-01 16:58:42 +0200 | <tomsmeding> | what's the definition of UnconsSymbol |
| 2022-05-01 16:59:01 +0200 | <raehik> | type family UnconsSymbol (a :: Symbol) :: Maybe (Char, Symbol) |
| 2022-05-01 16:59:10 +0200 | <tomsmeding> | the _definition_, not its declaration :p |
| 2022-05-01 16:59:12 +0200 | <raehik> | :k UnconsSymbol |
| 2022-05-01 16:59:13 +0200 | <lambdabot> | error: |
| 2022-05-01 16:59:13 +0200 | <lambdabot> | Not in scope: type constructor or class ‘UnconsSymbol’ |
| 2022-05-01 16:59:27 +0200 | <tomsmeding> | put @let before the type family |
| 2022-05-01 17:00:03 +0200 | <raehik> | sorry, what do you mean? `@let UnconsSymbol` in ghci doesn't work |
| 2022-05-01 17:00:09 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-05-01 17:00:17 +0200 | <tomsmeding> | oh I thought you intended to do it here in lambdabot |
| 2022-05-01 17:00:33 +0200 | <raehik> | ah yes please, but I dunno how to import either xd |
| 2022-05-01 17:00:34 +0200 | <tomsmeding> | oh wait, UnconsSymbol is not a closed type family? |
| 2022-05-01 17:00:54 +0200 | <raehik> | uhhh I *think* it's internal, I can't see the def in GHC.TypeLits |
| 2022-05-01 17:01:07 +0200 | <tomsmeding> | OH ITS IN BASE |
| 2022-05-01 17:01:15 +0200 | <tomsmeding> | lol sorry |
| 2022-05-01 17:01:38 +0200 | <tomsmeding> | that's super dumb |
| 2022-05-01 17:02:09 +0200 | <raehik> | is it really polykind Maybe for that func, but the exported Maybe isn't polykind? |
| 2022-05-01 17:02:21 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 17:02:38 +0200 | <tomsmeding> | nah it imports Maybe from Data.Maybe |
| 2022-05-01 17:02:52 +0200 | <abastro[m]> | Ugh |
| 2022-05-01 17:03:14 +0200 | <raehik> | :k 'Just |
| 2022-05-01 17:03:15 +0200 | <abastro[m]> | Why is `(_, s) :: *` |
| 2022-05-01 17:03:15 +0200 | <lambdabot> | a -> Maybe a |
| 2022-05-01 17:03:24 +0200 | <raehik> | yeah, that's where I'm confused |
| 2022-05-01 17:03:34 +0200 | <tomsmeding> | it needs to be `'(_, s)` |
| 2022-05-01 17:03:48 +0200 | <tomsmeding> | try making it `type family SymbolLength' (a :: Maybe '( Char, Symbol)) :: Natural where` |
| 2022-05-01 17:03:55 +0200 | <tomsmeding> | still errors, but the error is somewhat more expected |
| 2022-05-01 17:04:01 +0200 | <raehik> | Oh my god |
| 2022-05-01 17:04:08 +0200 | <abastro[m]> | Oh wait. tuple lol |
| 2022-05-01 17:04:08 +0200 | <raehik> | Type-level tuple needs '() |
| 2022-05-01 17:04:10 +0200 | <raehik> | LOL |
| 2022-05-01 17:04:50 +0200 | <dknite> | Are there any Haskell programming live streams available? Like current or perhaps old archived ones? |
| 2022-05-01 17:04:59 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-05-01 17:05:03 +0200 | <abastro[m]> | Haskell messed up by having separate namespace for types and values |
| 2022-05-01 17:05:04 +0200 | <abastro[m]> | And now they are trying to merge |
| 2022-05-01 17:05:21 +0200 | <tomsmeding> | "messed up" is subjective |
| 2022-05-01 17:05:57 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2022-05-01 17:06:29 +0200 | <raehik> | thank you very much for the help abastro[m] tomsmeding ! |
| 2022-05-01 17:06:30 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2022-05-01 17:06:38 +0200 | <hpc> | as much as studying computer history makes it look like all the good ideas are old and constantly reinvented, dependent types are in fact very new |
| 2022-05-01 17:07:08 +0200 | <hpc> | so back when haskell itself was still new, nobody really knew this was going to be where language design was headed |
| 2022-05-01 17:07:49 +0200 | <tomsmeding> | here's an opinion about DH that disagrees with abastro[m] :p https://ircbrowse.tomsmeding.com/day/lchaskell/2022/04/30?id=534502#trid534502 |
| 2022-05-01 17:08:10 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 17:10:19 +0200 | razetime | (~quassel@117.254.34.249) (Ping timeout: 240 seconds) |
| 2022-05-01 17:10:33 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 17:11:09 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-01 17:12:57 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 2022-05-01 17:15:15 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-01 17:16:02 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 250 seconds) |
| 2022-05-01 17:16:53 +0200 | <abastro[m]> | tomsmeding: wdym? I do not mean DH would be great |
| 2022-05-01 17:16:56 +0200 | <abastro[m]> | I personally dislike DH |
| 2022-05-01 17:17:18 +0200 | <abastro[m]> | But having common namespace for both types and values is incredibly confusing for beginners |
| 2022-05-01 17:17:26 +0200 | <tomsmeding> | abastro[m]: ah I interpreted your dislike of the separate namespaces as dislike of the DH proposal |
| 2022-05-01 17:17:44 +0200 | <tomsmeding> | s/common/separate/? |
| 2022-05-01 17:17:49 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 17:19:23 +0200 | <abastro[m]> | Ohhhhhhhh |
| 2022-05-01 17:19:28 +0200 | <abastro[m]> | My brain lol |
| 2022-05-01 17:19:53 +0200 | <abastro[m]> | Yea, haskell having separate namespace for types and values |
| 2022-05-01 17:19:59 +0200 | <abastro[m]> | Which confuses beginners |
| 2022-05-01 17:20:15 +0200 | <tomsmeding> | the [Int] != [17] thing |
| 2022-05-01 17:20:15 +0200 | <tomsmeding> | yeah |
| 2022-05-01 17:21:28 +0200 | <abastro[m]> | [Int] and [17], indeed |
| 2022-05-01 17:22:02 +0200 | <abastro[m]> | But also extends to e.g. () :: () |
| 2022-05-01 17:22:18 +0200 | <abastro[m]> | Would look very cryptic to beginners |
| 2022-05-01 17:22:39 +0200 | <tomsmeding> | nah, just alien face |
| 2022-05-01 17:22:48 +0200 | <abastro[m]> | I guess `(1, 3) :: (Int, Double)` is quite common among languages so that one is more forgivable |
| 2022-05-01 17:22:57 +0200 | <abastro[m]> | Xd |
| 2022-05-01 17:22:58 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 250 seconds) |
| 2022-05-01 17:24:19 +0200 | <abastro[m]> | I have legit done `type List = []` couple of times |
| 2022-05-01 17:24:43 +0200 | <tomsmeding> | I guess it helps with DataKinds quoting messes |
| 2022-05-01 17:25:01 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 17:25:38 +0200 | razetime | (~quassel@117.254.35.47) |
| 2022-05-01 17:26:02 +0200 | <abastro[m]> | Indeed |
| 2022-05-01 17:28:02 +0200 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-05-01 17:29:17 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-01 17:29:49 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-01 17:32:19 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-01 17:33:00 +0200 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-05-01 17:35:15 +0200 | hrdl | (~hrdl@mail.hrdl.eu) |
| 2022-05-01 17:38:07 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-05-01 17:40:35 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 17:42:51 +0200 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::3) (Ping timeout: 260 seconds) |
| 2022-05-01 17:43:01 +0200 | <raehik> | You can't define a Map type family without doing defunctionalization "stuff", right? |
| 2022-05-01 17:43:27 +0200 | <raehik> | you have to write lots of concrete type families instead |
| 2022-05-01 17:47:10 +0200 | <tomsmeding> | no type-level lambdas |
| 2022-05-01 17:47:43 +0200 | <abastro[m]> | No lifting to typelevel as well right |
| 2022-05-01 17:47:51 +0200 | <tomsmeding> | of lambdas? |
| 2022-05-01 17:47:58 +0200 | <tomsmeding> | DataKinds lifting is of data types, not expressions ;) |
| 2022-05-01 17:48:04 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 17:48:08 +0200 | <abastro[m]> | I wanted to lift arbitrary function to typelevel.. oh wait there is no way such thing would work |
| 2022-05-01 17:48:25 +0200 | <raehik> | that's fine thought so, singletons all the more impressive |
| 2022-05-01 17:48:38 +0200 | <abastro[m]> | Wish reification was easier, in that case I could go opposite |
| 2022-05-01 17:48:42 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 17:49:53 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) |
| 2022-05-01 17:50:35 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 17:51:54 +0200 | mbuf | (~Shakthi@223.178.72.113) (Quit: Leaving) |
| 2022-05-01 17:53:51 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds) |
| 2022-05-01 17:53:57 +0200 | ubert | (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-05-01 17:56:07 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-01 17:56:17 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 17:56:30 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-05-01 18:00:14 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Client Quit) |
| 2022-05-01 18:01:15 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Quit: Leaving) |
| 2022-05-01 18:06:00 +0200 | xff0x_ | (~xff0x@om126234061065.16.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-05-01 18:10:37 +0200 | econo | (uid147250@user/econo) |
| 2022-05-01 18:14:02 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-05-01 18:19:44 +0200 | segfaultfizzbuzz | (~segfaultf@192-184-223-90.static.sonic.net) |
| 2022-05-01 18:20:07 +0200 | <segfaultfizzbuzz> | quick question: i have this: data Game = Game [Move] deriving (Show, Eq) |
| 2022-05-01 18:20:26 +0200 | <segfaultfizzbuzz> | and then play :: Move -> Game -> Game play m (Game g) = g ++ [m] |
| 2022-05-01 18:20:57 +0200 | <int-e> | segfaultfizzbuzz: that's missing a Game constructor |
| 2022-05-01 18:21:34 +0200 | <segfaultfizzbuzz> | ah thaks |
| 2022-05-01 18:21:44 +0200 | <int-e> | (and I'd consider reversing that list... m : g is constant time while g ++ [m] has to traverse all of g |
| 2022-05-01 18:21:47 +0200 | <int-e> | ) |
| 2022-05-01 18:22:19 +0200 | <segfaultfizzbuzz> | are : and ++ equivalent ? |
| 2022-05-01 18:22:33 +0200 | <int-e> | [m] ++ g = m : g |
| 2022-05-01 18:22:43 +0200 | <segfaultfizzbuzz> | and, as a rule of thumb, it's best to grow lists from the end to the beginning...? |
| 2022-05-01 18:22:48 +0200 | <int-e> | so as I said, the list would be reversed. |
| 2022-05-01 18:23:18 +0200 | <int-e> | it's usually better to prepend than to append to lists |
| 2022-05-01 18:23:28 +0200 | <segfaultfizzbuzz> | i see |
| 2022-05-01 18:23:34 +0200 | <segfaultfizzbuzz> | ok thanks |
| 2022-05-01 18:23:41 +0200 | <segfaultfizzbuzz> | bye |
| 2022-05-01 18:23:50 +0200 | segfaultfizzbuzz | (~segfaultf@192-184-223-90.static.sonic.net) (Client Quit) |
| 2022-05-01 18:25:42 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 246 seconds) |
| 2022-05-01 18:27:05 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-05-01 18:27:16 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-05-01 18:27:19 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-05-01 18:27:38 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-01 18:27:58 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 272 seconds) |
| 2022-05-01 18:32:32 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-01 18:33:37 +0200 | mjs2600_ | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 2022-05-01 18:33:46 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-01 18:34:11 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-01 18:35:46 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 18:43:52 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 18:45:36 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 18:49:30 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 2022-05-01 18:49:44 +0200 | gpncarl | (~gpncarl@120.244.220.254) |
| 2022-05-01 18:50:01 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-01 18:50:10 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-01 18:52:30 +0200 | danso | (danso@danso.ca) |
| 2022-05-01 18:58:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-01 19:03:32 +0200 | <raehik> | I've got a void datatype I'm using for Stuff and a typeclass instance for it that takes a value of it (and only uses the type info). Is there any way I can be really explicit that there's no value to bind, other than writing _ ? |
| 2022-05-01 19:03:54 +0200 | <raehik> | I ask because I was kinda surprised I could bind it to a name in the first place |
| 2022-05-01 19:05:46 +0200 | <monochrom> | The Proxy type. |
| 2022-05-01 19:06:12 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Ping timeout: 276 seconds) |
| 2022-05-01 19:06:54 +0200 | razetime | (~quassel@117.254.35.47) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-05-01 19:07:25 +0200 | <monochrom> | For example Storable's "size :: a -> Int" is "a -> Int" for historical reason (back when people hadn't thought of Proxy). If redesigned today, it might be "size :: p a -> Int" such that the user can say "size ([] :: [Foo])" or "size (Proxy :: Proxy Foo)". |
| 2022-05-01 19:08:03 +0200 | <raehik> | yeah, I get that. this typeclass is for term-level stuff, but this special case sees no need to store a value |
| 2022-05-01 19:08:12 +0200 | <monochrom> | The Proxy type can be found in Data.Proxy |
| 2022-05-01 19:08:13 +0200 | <raehik> | I was thinking something along the lines of EmptyCase, or however Void works |
| 2022-05-01 19:08:41 +0200 | <raehik> | to be clear, the function needs to take an `a`. but I'm making an (safe) instance for a type which has no values |
| 2022-05-01 19:09:46 +0200 | <raehik> | I can do `classFunc _ = ...`. but I'm new to this part of Haskell and wasn't sure if there was some extra explicit syntax for empty datatypes |
| 2022-05-01 19:11:30 +0200 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) |
| 2022-05-01 19:16:09 +0200 | gpncarl | (~gpncarl@120.244.220.254) (Ping timeout: 248 seconds) |
| 2022-05-01 19:18:39 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-05-01 19:19:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-01 19:20:36 +0200 | lainon | (~lainon@2601:7c0:c500:4d20:6c54:36f3:d81b:1dd6) |
| 2022-05-01 19:21:16 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-05-01 19:21:19 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-01 19:21:19 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-01 19:21:19 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-01 19:24:13 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 19:25:04 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 19:31:04 +0200 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 248 seconds) |
| 2022-05-01 19:33:39 +0200 | lainon | (~lainon@2601:7c0:c500:4d20:6c54:36f3:d81b:1dd6) (Ping timeout: 240 seconds) |
| 2022-05-01 19:33:45 +0200 | Guest4981 | (~Guest49@cpe-74-71-248-39.nyc.res.rr.com) |
| 2022-05-01 19:33:56 +0200 | yaroot | (~yaroot@134.27.31.150.dy.iij4u.or.jp) |
| 2022-05-01 19:34:30 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 19:34:38 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 19:35:06 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 19:36:36 +0200 | dcoutts__ | (~duncan@host86-151-9-6.range86-151.btcentralplus.com) |
| 2022-05-01 19:39:09 +0200 | alp_ | (~alp@user/alp) |
| 2022-05-01 19:39:28 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-05-01 19:40:10 +0200 | dcoutts_ | (~duncan@host86-151-9-6.range86-151.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-05-01 19:41:28 +0200 | dcoutts__ | (~duncan@host86-151-9-6.range86-151.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-05-01 19:41:29 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-01 19:42:48 +0200 | <Guest4981> | question - working through "haskell programming from first principles", I came across this in the currying chapter |
| 2022-05-01 19:42:49 +0200 | <Guest4981> | Prelude> let curry f a b = f (a, b) |
| 2022-05-01 19:42:49 +0200 | <Guest4981> | Prelude> :t curry |
| 2022-05-01 19:42:50 +0200 | <Guest4981> | curry :: ((t1, t2) -> t) -> t1 -> t2 -> t |
| 2022-05-01 19:42:50 +0200 | <Guest4981> | Prelude> :t fst |
| 2022-05-01 19:42:51 +0200 | <Guest4981> | fst :: (a, b) -> a |
| 2022-05-01 19:42:51 +0200 | <Guest4981> | Prelude> :t curry fst |
| 2022-05-01 19:42:52 +0200 | <Guest4981> | curry fst :: t -> b -> t |
| 2022-05-01 19:42:52 +0200 | <Guest4981> | Prelude> fst (1, 2) |
| 2022-05-01 19:42:53 +0200 | <Guest4981> | 1 |
| 2022-05-01 19:42:53 +0200 | <Guest4981> | Prelude> curry fst 1 2 |
| 2022-05-01 19:42:54 +0200 | <Guest4981> | 1 |
| 2022-05-01 19:42:54 +0200 | <Guest4981> | How does ghci know that the first argument of the curry function is of type ((t1,t2)->t)? Is it through pattern matching? |
| 2022-05-01 19:43:27 +0200 | deadmars- | (~deadmarsh@95.38.115.128) (Ping timeout: 240 seconds) |
| 2022-05-01 19:44:08 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 19:45:30 +0200 | <[exa]> | Guest4981: the types get "compared" and completely matched before any code is executed, so that it's clear that the types of everyting are okay |
| 2022-05-01 19:45:33 +0200 | <davean> | ts through inference, the type system has rules, theres one one way that those rules could be followed with that code |
| 2022-05-01 19:45:38 +0200 | <monochrom> | Type inference notices that "f (a,b)" means f has to be a function, and it must accept a tuple argument. |
| 2022-05-01 19:46:06 +0200 | <davean> | well thats 3 of us saying the same thing in different ways, can we get a fourth? |
| 2022-05-01 19:46:32 +0200 | <monochrom> | Yes. http://www.vex.net/~trebla/haskell/type-inference.html :) |
| 2022-05-01 19:46:46 +0200 | gpncarl | (~gpncarl@120.244.220.254) |
| 2022-05-01 19:46:51 +0200 | stomper_ | (~stomper_@186.188.140.232) |
| 2022-05-01 19:47:02 +0200 | <davean> | Thats just someone not getting to the point |
| 2022-05-01 19:47:08 +0200 | <Guest4981> | haha ok so it is pattern matching - very cool |
| 2022-05-01 19:47:19 +0200 | <davean> | pattern matching is a specific thing |
| 2022-05-01 19:47:22 +0200 | <Guest4981> | oh |
| 2022-05-01 19:47:27 +0200 | <Guest4981> | so this falls under type inference? |
| 2022-05-01 19:47:34 +0200 | <davean> | yes |
| 2022-05-01 19:47:43 +0200 | <Guest4981> | whats the difference between this and pattern matching |
| 2022-05-01 19:48:17 +0200 | <davean> | pattern matching deconstructs data at runtime and dispatches on the deconstruction. |
| 2022-05-01 19:48:39 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 19:48:42 +0200 | <Guest4981> | so it needs data constructors to be pattern matching? |
| 2022-05-01 19:48:55 +0200 | <Guest4981> | or rather concrete values |
| 2022-05-01 19:49:05 +0200 | <davean> | basicly. |
| 2022-05-01 19:49:18 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-05-01 19:49:23 +0200 | <Guest4981> | aha cool thanks |
| 2022-05-01 19:49:42 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-05-01 19:50:52 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-05-01 19:51:33 +0200 | jlamothe | (~jlamothe@198.251.61.229) (Remote host closed the connection) |
| 2022-05-01 19:51:40 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-05-01 19:51:50 +0200 | Guest4981 | (~Guest49@cpe-74-71-248-39.nyc.res.rr.com) (Quit: Client closed) |
| 2022-05-01 19:52:07 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-05-01 19:53:07 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-01 19:53:26 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 19:54:14 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 19:54:34 +0200 | mmhat | (~mmh@2001:4090:a242:802a:ee08:6bff:fe09:5315) |
| 2022-05-01 19:56:43 +0200 | deadmarshal_ | (~deadmarsh@95.38.115.128) |
| 2022-05-01 19:58:17 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-01 20:00:50 +0200 | alp_ | (~alp@user/alp) (Remote host closed the connection) |
| 2022-05-01 20:01:14 +0200 | alp_ | (~alp@user/alp) |
| 2022-05-01 20:02:01 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-01 20:04:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-01 20:04:58 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-05-01 20:05:35 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-05-01 20:06:46 +0200 | deadmarshal_ | (~deadmarsh@95.38.115.128) (Ping timeout: 272 seconds) |
| 2022-05-01 20:06:48 +0200 | jlamothe | (~jlamothe@198.251.61.229) |
| 2022-05-01 20:07:57 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
| 2022-05-01 20:07:57 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 20:09:06 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) |
| 2022-05-01 20:11:12 +0200 | gpncarl | (~gpncarl@120.244.220.254) (Ping timeout: 276 seconds) |
| 2022-05-01 20:11:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-01 20:15:00 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-01 20:15:03 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-05-01 20:23:28 +0200 | stomper_ | (~stomper_@186.188.140.232) (Quit: Ping timeout (120 seconds)) |
| 2022-05-01 20:24:42 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-05-01 20:26:05 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-05-01 20:26:41 +0200 | turlando | (~turlando@user/turlando) (Quit: turlando) |
| 2022-05-01 20:27:28 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 20:27:54 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2022-05-01 20:27:54 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2022-05-01 20:27:54 +0200 | turlando | (~turlando@user/turlando) |
| 2022-05-01 20:28:59 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 20:30:33 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-05-01 20:31:30 +0200 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::3) |
| 2022-05-01 20:32:24 +0200 | dolio | (~dolio@130.44.130.54) (Ping timeout: 246 seconds) |
| 2022-05-01 20:34:36 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-05-01 20:43:44 +0200 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) |
| 2022-05-01 20:49:22 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-c813-76d4-6151-9389.fixed6.kpn.net) |
| 2022-05-01 20:51:21 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-01 20:51:54 +0200 | benin | (~benin@183.82.204.110) |
| 2022-05-01 20:52:25 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-01 20:52:28 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 20:54:16 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-c813-76d4-6151-9389.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-05-01 20:55:56 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-05-01 20:56:40 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 20:56:40 +0200 | cheater | (~Username@user/cheater) |
| 2022-05-01 20:57:53 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:bc31:2c26:50a2:8acd) (Read error: Connection reset by peer) |
| 2022-05-01 21:00:19 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-01 21:00:36 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-05-01 21:01:18 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:7fd7:cde8:d843:e695) |
| 2022-05-01 21:04:35 +0200 | dknite | (~dknite@2405:201:800b:481f:e27b:9687:63b0:8322) (Quit: Client closed) |
| 2022-05-01 21:06:25 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-01 21:12:07 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-01 21:15:55 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-01 21:18:10 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 21:22:12 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-c813-76d4-6151-9389.fixed6.kpn.net) |
| 2022-05-01 21:24:51 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 21:25:18 +0200 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-05-01 21:27:21 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-c813-76d4-6151-9389.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-05-01 21:28:36 +0200 | thyriaen | (~thyriaen@ip5f5af2d7.dynamic.kabel-deutschland.de) |
| 2022-05-01 21:29:45 +0200 | benin | (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-01 21:29:48 +0200 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-01 21:33:46 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:7fd7:cde8:d843:e695) (Remote host closed the connection) |
| 2022-05-01 21:34:04 +0200 | kimjetwav | (~user@2607:fea8:2362:b400:32f6:ad39:28b3:1653) |
| 2022-05-01 21:38:40 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-c813-76d4-6151-9389.fixed6.kpn.net) |
| 2022-05-01 21:41:46 +0200 | shapr | (~user@148.59.24.23) |
| 2022-05-01 21:41:46 +0200 | Vajb | (~Vajb@2001:999:40:1ac3:ad36:85eb:10b3:b81b) (Read error: Connection reset by peer) |
| 2022-05-01 21:42:18 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-01 21:44:15 +0200 | acidjnk | (~acidjnk@p200300d0c73b4550c5e3a1b7598c6b95.dip0.t-ipconnect.de) |
| 2022-05-01 21:45:02 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 21:53:28 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-05-01 21:58:52 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 272 seconds) |
| 2022-05-01 21:59:06 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:8cd:5e84:febb:646f) (Remote host closed the connection) |
| 2022-05-01 22:00:27 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) (Quit: king_gs) |
| 2022-05-01 22:01:52 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) |
| 2022-05-01 22:04:27 +0200 | zyklotomic | (~ethan@res380d-128-61-86-203.res.gatech.edu) (Ping timeout: 256 seconds) |
| 2022-05-01 22:05:01 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-01 22:06:26 +0200 | zyklotomic | (~ethan@res380d-128-61-87-118.res.gatech.edu) |
| 2022-05-01 22:08:47 +0200 | EvanR | (~EvanR@user/evanr) |
| 2022-05-01 22:08:49 +0200 | thyriaen | (~thyriaen@ip5f5af2d7.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2022-05-01 22:11:52 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 22:13:24 +0200 | dsrt^ | (~dsrt@50.227.69.228) (Ping timeout: 276 seconds) |
| 2022-05-01 22:14:26 +0200 | dsrt^ | (~dsrt@50.227.69.228) |
| 2022-05-01 22:14:35 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 2022-05-01 22:15:38 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-05-01 22:23:09 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2022-05-01 22:25:40 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-01 22:27:03 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 276 seconds) |
| 2022-05-01 22:28:37 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-01 22:36:36 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-01 22:36:43 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-01 22:38:37 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-05-01 22:38:54 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-01 22:40:34 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-05-01 22:48:25 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-01 22:49:29 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-05-01 22:52:49 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-01 22:58:31 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-01 23:03:11 +0200 | <exarkun> | Which stdin-reading API will handle a BOM at the start? |
| 2022-05-01 23:05:11 +0200 | Kevin578_ | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2022-05-01 23:05:27 +0200 | <hpc> | https://hackage.haskell.org/package/base-4.16.1.0/docs/System-IO.html#t:TextEncoding |
| 2022-05-01 23:06:39 +0200 | <hpc> | there's some encodings you can explicitly set on the handle, or it looks like the encodings that matter have bom-aware variants |
| 2022-05-01 23:06:59 +0200 | <hpc> | like utf16 will use what bom says, or you can set utf16le or utf16be explicitly |
| 2022-05-01 23:10:39 +0200 | <exarkun> | ah, so just hSetEncoding first, ok (yea seems to work) |
| 2022-05-01 23:10:41 +0200 | <exarkun> | thanks |
| 2022-05-01 23:11:22 +0200 | shapr | (~user@148.59.24.23) (Ping timeout: 250 seconds) |
| 2022-05-01 23:13:11 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) (Remote host closed the connection) |
| 2022-05-01 23:14:10 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
| 2022-05-01 23:14:30 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) |
| 2022-05-01 23:14:57 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 23:15:23 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-05-01 23:18:02 +0200 | pavonia | (~user@user/siracusa) |
| 2022-05-01 23:20:04 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-05-01 23:21:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-05-01 23:21:53 +0200 | gpncarl | (~gpncarl@120.244.220.254) |
| 2022-05-01 23:23:56 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 250 seconds) |
| 2022-05-01 23:25:26 +0200 | eggplantade | (~Eggplanta@108.201.191.115) |
| 2022-05-01 23:26:37 +0200 | gpncarl | (~gpncarl@120.244.220.254) (Ping timeout: 256 seconds) |
| 2022-05-01 23:33:19 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2022-05-01 23:36:26 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-05-01 23:36:27 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-01 23:36:39 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-01 23:38:03 +0200 | <jackdk> | https://hackage.haskell.org/package/with-utf8 may be useful? |
| 2022-05-01 23:42:06 +0200 | koz | koz_ |
| 2022-05-01 23:42:08 +0200 | koz_ | koz |
| 2022-05-01 23:42:16 +0200 | <koz> | @unmtl WriterT w Maybe |
| 2022-05-01 23:42:17 +0200 | <lambdabot> | err: `WriterT w Maybe' is not applied to enough arguments, giving `/\A. Maybe (A, w)' |
| 2022-05-01 23:42:22 +0200 | <koz> | @unmtl WriterT w Maybe a |
| 2022-05-01 23:42:22 +0200 | <lambdabot> | Maybe (a, w) |
| 2022-05-01 23:42:31 +0200 | <koz> | @unmtl MaybeT (Writer w) a |
| 2022-05-01 23:42:32 +0200 | <lambdabot> | (Maybe a, w) |
| 2022-05-01 23:43:23 +0200 | <exarkun> | withHandle does look like a pretty nice bit of functionality |
| 2022-05-01 23:43:53 +0200 | <exarkun> | it doesn't explicitly say what it does with BOMs though |
| 2022-05-01 23:46:10 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-01 23:48:00 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) (Quit: king_gs) |
| 2022-05-01 23:48:16 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 23:51:37 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-01 23:53:35 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-05-01 23:59:56 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |