| 2022-05-29 00:00:38 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2022-05-29 00:01:33 +0200 | pavonia | (~user@user/siracusa) |
| 2022-05-29 00:05:55 +0200 | foul_owl | (~kerry@23.82.194.98) |
| 2022-05-29 00:05:56 +0200 | Jake23 | (~Jake@c-76-119-102-91.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2022-05-29 00:06:33 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (Quit: ...) |
| 2022-05-29 00:07:07 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-29 00:07:46 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 2022-05-29 00:09:45 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-29 00:11:08 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-05-29 00:13:03 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-05-29 00:13:27 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5051:4e02:b5d9:aa15) (Remote host closed the connection) |
| 2022-05-29 00:14:17 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:d47c:b2d:c58e:501b) (Ping timeout: 258 seconds) |
| 2022-05-29 00:15:04 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-29 00:17:04 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2022-05-29 00:19:36 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-29 00:19:40 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-05-29 00:35:31 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-05-29 00:41:05 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-29 00:43:12 +0200 | jao | (~jao@45.134.213.210) |
| 2022-05-29 00:52:14 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-05-29 00:56:16 +0200 | CiaoSen | (~Jura@p200300c95731a0002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-29 00:59:50 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-29 01:03:14 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-29 01:05:44 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Remote host closed the connection) |
| 2022-05-29 01:06:03 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) |
| 2022-05-29 01:07:32 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-29 01:12:27 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-05-29 01:13:25 +0200 | foul_owl | (~kerry@23.82.194.98) (Quit: WeeChat 2.3) |
| 2022-05-29 01:13:50 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5051:4e02:b5d9:aa15) |
| 2022-05-29 01:16:23 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-05-29 01:17:53 +0200 | Inst | (~Liam@2601:6c4:4080:3f80:a989:72d:12c5:f097) (Ping timeout: 255 seconds) |
| 2022-05-29 01:18:20 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5051:4e02:b5d9:aa15) (Ping timeout: 255 seconds) |
| 2022-05-29 01:18:30 +0200 | foul_owl | (~kerry@71.212.150.111) |
| 2022-05-29 01:21:54 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-05-29 01:27:57 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Remote host closed the connection) |
| 2022-05-29 01:29:15 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) |
| 2022-05-29 01:33:15 +0200 | jao | (~jao@45.134.213.210) (Ping timeout: 258 seconds) |
| 2022-05-29 01:35:12 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-29 01:37:42 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Remote host closed the connection) |
| 2022-05-29 01:38:00 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) |
| 2022-05-29 01:42:06 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Client Quit) |
| 2022-05-29 01:42:22 +0200 | king_gs | (~Thunderbi@187.201.97.18) |
| 2022-05-29 01:54:34 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-29 01:57:30 +0200 | foul_owl | (~kerry@71.212.150.111) (Ping timeout: 240 seconds) |
| 2022-05-29 01:59:08 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-05-29 02:01:10 +0200 | king_gs | (~Thunderbi@187.201.97.18) (Read error: Connection reset by peer) |
| 2022-05-29 02:01:13 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-29 02:01:13 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-29 02:01:13 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-29 02:02:27 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) |
| 2022-05-29 02:04:33 +0200 | JannisO | (~JannisO@89.233.86.138) (Ping timeout: 276 seconds) |
| 2022-05-29 02:09:38 +0200 | CiaoSen | (~Jura@p200300c95731a0002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-05-29 02:11:37 +0200 | Hafydd | (~Hafydd@user/hafydd) |
| 2022-05-29 02:11:46 +0200 | foul_owl | (~kerry@23.82.194.92) |
| 2022-05-29 02:16:35 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2022-05-29 02:16:50 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-05-29 02:17:39 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-05-29 02:20:02 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5051:4e02:b5d9:aa15) |
| 2022-05-29 02:30:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-05-29 02:30:32 +0200 | inversed | (~inversed@176.248.27.211) (Quit: Connection error?!) |
| 2022-05-29 02:42:18 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-05-29 02:42:54 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2022-05-29 02:42:57 +0200 | inversed | (~inversed@176.248.27.211) |
| 2022-05-29 02:43:32 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-05-29 02:58:47 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-29 02:58:59 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-29 03:03:24 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-29 03:05:15 +0200 | tremon | tremon_ |
| 2022-05-29 03:08:57 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2022-05-29 03:09:37 +0200 | <hololeap> | I've asked this before, but I didn't understand the answer. what's the proper way to do this using QuantifiedConstraints? |
| 2022-05-29 03:09:39 +0200 | <hololeap> | deriving instance (forall x. Ord x => Ord (f x), Ord a) => Ord (ParseResultT f a) |
| 2022-05-29 03:10:37 +0200 | <hololeap> | I get: [typecheck] • Could not deduce (Ord x) arising from the superclass of an instance declaration... |
| 2022-05-29 03:19:45 +0200 | <jackdk> | How far does that forall bind? Is `(forall x. (Ord x => Ord (f x), Ord x), Ord a => Ord (ParseResultT f a)` materially different? |
| 2022-05-29 03:25:23 +0200 | king_gs1 | (~Thunderbi@187.201.97.18) |
| 2022-05-29 03:27:06 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Ping timeout: 258 seconds) |
| 2022-05-29 03:27:07 +0200 | king_gs1 | king_gs |
| 2022-05-29 03:27:44 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 244 seconds) |
| 2022-05-29 03:32:05 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 258 seconds) |
| 2022-05-29 03:35:25 +0200 | king_gs | (~Thunderbi@187.201.97.18) (Quit: king_gs) |
| 2022-05-29 03:38:06 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-29 03:43:38 +0200 | money_ | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) |
| 2022-05-29 03:44:13 +0200 | money_ | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host) |
| 2022-05-29 03:44:13 +0200 | money_ | (~Gambino@user/polo) |
| 2022-05-29 03:44:17 +0200 | money_ | POLO |
| 2022-05-29 03:47:31 +0200 | POLO | (~Gambino@user/polo) (Remote host closed the connection) |
| 2022-05-29 03:47:57 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-05-29 03:54:48 +0200 | money_ | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) |
| 2022-05-29 03:57:10 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-29 03:57:56 +0200 | andrey_ | (~andrey@p200300dbcf3e8c0056be00b84949243d.dip0.t-ipconnect.de) |
| 2022-05-29 04:00:27 +0200 | andrey__ | (~andrey@p200300dbcf2e1000eb0596aaa95b8a32.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2022-05-29 04:01:20 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-29 04:02:54 +0200 | <hololeap> | jackdk: the (forall x. Ord x => Ord (f x)) is a special kind of constraint introduced by QuantifiedConstraints. it's saying that (f x) must be a member of Ord if x is. |
| 2022-05-29 04:04:46 +0200 | <hololeap> | but there's some weirdness with it around typeclass heirarchies, and I can't remember what you do to convince the compiler that 'x' is also a member of Eq |
| 2022-05-29 04:05:45 +0200 | <jackdk> | I don't grok QuantifiedConstraints, but by analogy to logic, isn't your version of the instance declaration only demanding the "implication" ∀x. Ord x -> Ord (f x) and not actually demanding the premise? |
| 2022-05-29 04:06:29 +0200 | <hololeap> | probably |
| 2022-05-29 04:07:34 +0200 | <hololeap> | oh, they actually mention this in the docs. I just didn't see it: https://downloads.haskell.org/~ghc/9.0.2/docs/html/users_guide/exts/quantified_constraints.html#su… |
| 2022-05-29 04:09:25 +0200 | <Bulby[m]> | if I have a `LxNumber Float` and a parser that wants to match that, how would I rewrap that Float |
| 2022-05-29 04:09:39 +0200 | <Bulby[m]> | `LxNumber Float` -> `LValNum Float` |
| 2022-05-29 04:12:21 +0200 | <hololeap> | @hoogle LxNumber |
| 2022-05-29 04:12:21 +0200 | <lambdabot> | No results found |
| 2022-05-29 04:12:54 +0200 | <Bulby[m]> | it's not real - just a type constructor |
| 2022-05-29 04:13:15 +0200 | money_ | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-29 04:14:00 +0200 | <hololeap> | coerce? |
| 2022-05-29 04:14:05 +0200 | <jackdk> | case-match? |
| 2022-05-29 04:14:13 +0200 | money_ | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) |
| 2022-05-29 04:14:30 +0200 | <Bulby[m]> | hm let me debug other parts and think about it |
| 2022-05-29 04:15:00 +0200 | <hololeap> | if LxNumber and LValNum are just newtypes around the same inner part, you can `coerce` them |
| 2022-05-29 04:15:14 +0200 | <Bulby[m]> | not newtypes |
| 2022-05-29 04:15:20 +0200 | <Bulby[m]> | so i'll figure it out |
| 2022-05-29 04:17:51 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-05-29 04:25:40 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2022-05-29 04:38:01 +0200 | money_ | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-29 04:43:40 +0200 | mzan | (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-05-29 04:44:29 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-05-29 04:44:58 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
| 2022-05-29 04:45:17 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-29 04:47:25 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-29 04:51:34 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-29 05:02:11 +0200 | Me-me | (~me-me@v.working.name) (Remote host closed the connection) |
| 2022-05-29 05:04:51 +0200 | Me-me | (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) |
| 2022-05-29 05:08:13 +0200 | Me-me | (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) (Changing host) |
| 2022-05-29 05:08:13 +0200 | Me-me | (~me-me@user/me-me) |
| 2022-05-29 05:15:27 +0200 | money | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) |
| 2022-05-29 05:15:39 +0200 | money | Guest4684 |
| 2022-05-29 05:23:03 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2022-05-29 05:23:25 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2022-05-29 05:28:27 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2022-05-29 05:28:41 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2022-05-29 05:34:30 +0200 | Guest4684 | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host) |
| 2022-05-29 05:34:30 +0200 | Guest4684 | (~Gambino@user/polo) |
| 2022-05-29 05:34:34 +0200 | Guest4684 | POLO |
| 2022-05-29 05:42:53 +0200 | benin | (~benin@183.82.177.185) |
| 2022-05-29 05:54:33 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-29 05:56:06 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-29 06:00:17 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 246 seconds) |
| 2022-05-29 06:01:09 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-05-29 06:02:40 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-29 06:07:53 +0200 | POLO | Gambino |
| 2022-05-29 06:13:53 +0200 | money | (~Gambino@2600:100d:be0c:f21:d9ab:d842:8779:59d6) |
| 2022-05-29 06:14:11 +0200 | money | Guest2841 |
| 2022-05-29 06:14:31 +0200 | Guest2841 | (~Gambino@2600:100d:be0c:f21:d9ab:d842:8779:59d6) (Changing host) |
| 2022-05-29 06:14:31 +0200 | Guest2841 | (~Gambino@user/polo) |
| 2022-05-29 06:14:33 +0200 | Guest2841 | POLO |
| 2022-05-29 06:15:00 +0200 | Gambino | (~Gambino@user/polo) (Ping timeout: 258 seconds) |
| 2022-05-29 06:15:16 +0200 | POLO | GAMBIO |
| 2022-05-29 06:15:23 +0200 | GAMBIO | GAMBINO |
| 2022-05-29 06:16:19 +0200 | GAMBINO | POLO |
| 2022-05-29 06:16:57 +0200 | POLO | Rosati |
| 2022-05-29 06:17:42 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-29 06:17:57 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-05-29 06:19:20 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2022-05-29 06:19:47 +0200 | _xor | (~xor@72.49.198.103) |
| 2022-05-29 06:20:41 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2022-05-29 06:22:08 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-29 06:23:15 +0200 | Rosati | GAMBINO |
| 2022-05-29 06:24:58 +0200 | GAMBINO | Rosati |
| 2022-05-29 06:25:03 +0200 | Rosati | STYNER |
| 2022-05-29 06:26:44 +0200 | STYNER | ROSATI |
| 2022-05-29 06:27:47 +0200 | cheater | (~Username@user/cheater) |
| 2022-05-29 06:28:22 +0200 | ROSATI | POLO |
| 2022-05-29 06:32:28 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-29 06:35:52 +0200 | money | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) |
| 2022-05-29 06:36:09 +0200 | money | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host) |
| 2022-05-29 06:36:09 +0200 | money | (~Gambino@user/polo) |
| 2022-05-29 06:36:11 +0200 | POLO | (~Gambino@user/polo) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2022-05-29 06:36:11 +0200 | money | POLO |
| 2022-05-29 06:39:15 +0200 | POLO | (~Gambino@user/polo) (Client Quit) |
| 2022-05-29 06:41:19 +0200 | money | (~Gambino@user/polo) |
| 2022-05-29 06:42:32 +0200 | obabo | (~obabo@563BF107.catv.pool.telekom.hu) |
| 2022-05-29 07:02:21 +0200 | mbuf | (~Shakthi@122.164.194.119) |
| 2022-05-29 07:04:45 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-29 07:04:47 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-05-29 07:06:22 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 258 seconds) |
| 2022-05-29 07:10:59 +0200 | tremon_ | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Ping timeout: 246 seconds) |
| 2022-05-29 07:11:58 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-29 07:12:40 +0200 | tremon_ | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 2022-05-29 07:17:47 +0200 | money | polo |
| 2022-05-29 07:21:59 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-29 07:22:38 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 2022-05-29 07:28:07 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 2022-05-29 07:32:11 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-29 07:38:01 +0200 | absence_ | (torgeihe@hildring.pvv.ntnu.no) (Remote host closed the connection) |
| 2022-05-29 07:39:39 +0200 | Guest|93 | (~Guest|93@103.144.149.142) |
| 2022-05-29 07:40:40 +0200 | Guest|93 | (~Guest|93@103.144.149.142) (Client Quit) |
| 2022-05-29 07:51:44 +0200 | Hurrrdurr | (~Hurrrdurr@S01069050ca4e3573.cg.shawcable.net) |
| 2022-05-29 07:54:39 +0200 | Infinite | (~Infinite@49.39.115.148) |
| 2022-05-29 07:58:07 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 258 seconds) |
| 2022-05-29 07:59:11 +0200 | polo | (~Gambino@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-05-29 08:07:47 +0200 | monochrom | (trebla@216.138.220.146) (Ping timeout: 240 seconds) |
| 2022-05-29 08:07:47 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-29 08:11:46 +0200 | money | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) |
| 2022-05-29 08:12:02 +0200 | money | Guest2037 |
| 2022-05-29 08:14:15 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-29 08:18:22 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-29 08:18:33 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-29 08:20:03 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-05-29 08:26:07 +0200 | mima | (~mmh@net-5-94-119-222.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 2022-05-29 08:33:14 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-05-29 08:34:56 +0200 | Guest2037 | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-29 08:43:46 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-05-29 08:44:13 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-29 08:45:24 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-05-29 08:45:39 +0200 | money | (~Gambino@user/polo) |
| 2022-05-29 08:46:26 +0200 | <Hurrrdurr> | anyone here ever seen the Imitation Game |
| 2022-05-29 08:47:49 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-29 08:48:52 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-29 08:49:55 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-05-29 08:55:15 +0200 | money | (~Gambino@user/polo) (Read error: Connection reset by peer) |
| 2022-05-29 08:56:01 +0200 | money | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) |
| 2022-05-29 08:56:06 +0200 | money | Guest9566 |
| 2022-05-29 08:56:17 +0200 | Guest9566 | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host) |
| 2022-05-29 08:56:17 +0200 | Guest9566 | (~Gambino@user/polo) |
| 2022-05-29 08:57:16 +0200 | Guest9566 | POLO |
| 2022-05-29 08:58:59 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-05-29 09:23:10 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-29 09:29:21 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 258 seconds) |
| 2022-05-29 09:36:04 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-29 09:39:01 +0200 | Inst_ | (~Inst@2601:6c4:4080:3f80:90d3:88ea:e6d8:f698) |
| 2022-05-29 09:39:46 +0200 | Hurrrdurr | (~Hurrrdurr@S01069050ca4e3573.cg.shawcable.net) (Quit: Client closed) |
| 2022-05-29 09:43:10 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 2022-05-29 09:44:36 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-05-29 09:45:13 +0200 | POLO | polo |
| 2022-05-29 09:45:37 +0200 | polo | POLO |
| 2022-05-29 09:49:17 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 258 seconds) |
| 2022-05-29 09:53:19 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-29 09:56:45 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-29 09:59:41 +0200 | _xor | (~xor@72.49.198.103) (Quit: brb) |
| 2022-05-29 10:00:01 +0200 | _xor | (~xor@72.49.198.103) |
| 2022-05-29 10:03:36 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 276 seconds) |
| 2022-05-29 10:03:36 +0200 | Dorkside6 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-05-29 10:03:50 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-05-29 10:03:50 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-05-29 10:04:03 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-05-29 10:04:03 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-05-29 10:04:16 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-05-29 10:04:16 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-05-29 10:04:29 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-05-29 10:04:29 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-05-29 10:04:42 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-05-29 10:04:42 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-05-29 10:05:10 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-05-29 10:05:10 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-05-29 10:05:23 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-05-29 10:05:23 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-05-29 10:05:36 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-05-29 10:05:36 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-05-29 10:05:49 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-05-29 10:05:49 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-05-29 10:06:28 +0200 | jollygood2 | (~bc8147f2@cerf.good1.com) |
| 2022-05-29 10:16:59 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-05-29 10:21:27 +0200 | POLO | (~Gambino@user/polo) (Read error: Connection reset by peer) |
| 2022-05-29 10:22:45 +0200 | money | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) |
| 2022-05-29 10:22:46 +0200 | money | Guest3863 |
| 2022-05-29 10:23:17 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-05-29 10:25:56 +0200 | Demmy | (~Demmy@102.89.32.82) |
| 2022-05-29 10:28:10 +0200 | Infinite | (~Infinite@49.39.115.148) (Ping timeout: 252 seconds) |
| 2022-05-29 10:29:20 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-05-29 10:29:49 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-29 10:30:45 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-29 10:31:54 +0200 | Guest3863 | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Read error: Connection reset by peer) |
| 2022-05-29 10:32:38 +0200 | Guest9382 | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) |
| 2022-05-29 10:33:58 +0200 | Guest9382 | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host) |
| 2022-05-29 10:33:58 +0200 | Guest9382 | (~Gambino@user/polo) |
| 2022-05-29 10:34:50 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-29 10:38:21 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-29 10:42:57 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 258 seconds) |
| 2022-05-29 10:43:26 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-29 10:46:14 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-05-29 10:46:16 +0200 | Hemmo | (~IceChat95@85-76-165-183-nat.elisa-mobile.fi) |
| 2022-05-29 10:58:07 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-29 11:03:44 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-05-29 11:04:00 +0200 | yosef``` | (~user@2409:8a55:e21b:5cf0:58b9:4cff:fea0:d9) (Remote host closed the connection) |
| 2022-05-29 11:04:26 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-29 11:04:32 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-29 11:04:55 +0200 | yosef`` | (~user@user/yosef/x-3154124) |
| 2022-05-29 11:08:52 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-29 11:11:21 +0200 | <Hemmo> | Hello! I'm trying to figure out how to make my Phone data type have Maybe values in the constructor, but having trouble. Here's the paste https://paste.tomsmeding.com/LrG5YWWI |
| 2022-05-29 11:11:38 +0200 | <Hemmo> | So I would like the phoneType and countryCode be optional |
| 2022-05-29 11:12:04 +0200 | <Hemmo> | I can compile it well but i get errors when i try to use the function readphonetype |
| 2022-05-29 11:12:23 +0200 | <Hemmo> | Any tips appreciated =) |
| 2022-05-29 11:12:25 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-05-29 11:13:42 +0200 | <pavonia> | You want `pt == "Other"`, no? |
| 2022-05-29 11:13:50 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-05-29 11:14:26 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) |
| 2022-05-29 11:14:35 +0200 | <pavonia> | Because /= mean any other value than "Other" |
| 2022-05-29 11:15:36 +0200 | <Hemmo> | Yeah I mean if the string is "Other" or "Worklandline", or any of the data types that are allowed for PhoneType, then it should read the string to a PhoneType |
| 2022-05-29 11:15:38 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2022-05-29 11:15:39 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-29 11:15:51 +0200 | <Hemmo> | and use it to construct a phone |
| 2022-05-29 11:15:56 +0200 | Guest9382 | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-29 11:16:28 +0200 | <Hemmo> | I just used "Other" in there and omitted the rest just to figure this out |
| 2022-05-29 11:17:01 +0200 | <Hemmo> | So here's what it was before I've been trying to use Maybe in there |
| 2022-05-29 11:17:01 +0200 | <Hemmo> | readPhoneType::String -> PhoneType |
| 2022-05-29 11:17:01 +0200 | <Hemmo> | readPhoneType pt |
| 2022-05-29 11:17:01 +0200 | <Hemmo> | | length pt < 1 = error "Missing phone type" |
| 2022-05-29 11:17:01 +0200 | <Hemmo> | | pt /= "Other", pt /= "Worklandline", pt /= "PrivateMobile", |
| 2022-05-29 11:17:02 +0200 | <Hemmo> | pt /= "WorkMobile" = error "Incorrect phone type" |
| 2022-05-29 11:17:02 +0200 | <Hemmo> | | otherwise = read pt::PhoneType |
| 2022-05-29 11:17:05 +0200 | money | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) |
| 2022-05-29 11:17:13 +0200 | money | Guest4807 |
| 2022-05-29 11:17:54 +0200 | <pavonia> | Note that the type of read is Read a => String -> a, that means for a ~ Maybe PhoneType it's trying to read a value of type Maybe PhoneType |
| 2022-05-29 11:18:29 +0200 | <pavonia> | But e.g. read "Worklandline" has type PhoneType |
| 2022-05-29 11:19:01 +0200 | Guest4807 | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host) |
| 2022-05-29 11:19:01 +0200 | Guest4807 | (~Gambino@user/polo) |
| 2022-05-29 11:19:04 +0200 | Guest4807 | POLO |
| 2022-05-29 11:19:09 +0200 | <pavonia> | And you should also use readMaybe instead |
| 2022-05-29 11:19:15 +0200 | <pavonia> | :t readMaybe |
| 2022-05-29 11:19:16 +0200 | <lambdabot> | error: Variable not in scope: readMaybe |
| 2022-05-29 11:19:28 +0200 | <Hemmo> | Can't use anything outside prelude :/ |
| 2022-05-29 11:19:45 +0200 | <[exa]> | > read "Just 5" :: Maybe Int |
| 2022-05-29 11:19:47 +0200 | <lambdabot> | Just 5 |
| 2022-05-29 11:20:08 +0200 | <pavonia> | There's also reads which is safer than read |
| 2022-05-29 11:20:09 +0200 | <[exa]> | Hemmo: ^ you probably want to add the `Just` yourself and not force users to write it in the input |
| 2022-05-29 11:21:47 +0200 | <jackdk> | :t Text.Read.readMaybe |
| 2022-05-29 11:21:49 +0200 | <lambdabot> | Read a => String -> Maybe a |
| 2022-05-29 11:22:04 +0200 | <jackdk> | ^ in base, though not in Prelude; might not be acceptable |
| 2022-05-29 11:22:29 +0200 | <Hemmo> | Yeah I looked at that, but indeed it's not acceptable |
| 2022-05-29 11:22:47 +0200 | <Hemmo> | [exa]: Still gives the same error with that style as I try to use the function |
| 2022-05-29 11:23:09 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-05-29 11:23:53 +0200 | <pavonia> | :t reads -- is in Prelude |
| 2022-05-29 11:23:54 +0200 | <lambdabot> | Read a => ReadS a |
| 2022-05-29 11:23:54 +0200 | <[exa]> | Hemmo: show code? |
| 2022-05-29 11:24:00 +0200 | <pavonia> | Bah |
| 2022-05-29 11:24:02 +0200 | POLO | (~Gambino@user/polo) (Read error: Connection reset by peer) |
| 2022-05-29 11:24:28 +0200 | <Hemmo> | [exa]: https://paste.tomsmeding.com/LrG5YWWI |
| 2022-05-29 11:24:57 +0200 | <pavonia> | That's the same code as before |
| 2022-05-29 11:25:41 +0200 | <Hemmo> | My bad. |
| 2022-05-29 11:26:38 +0200 | <Hemmo> | https://paste.tomsmeding.com/0qR7dzGG |
| 2022-05-29 11:26:49 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5051:4e02:b5d9:aa15) (Remote host closed the connection) |
| 2022-05-29 11:26:55 +0200 | <[exa]> | Hemmo: well you missed a space there :] |
| 2022-05-29 11:27:19 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2) |
| 2022-05-29 11:27:24 +0200 | <[exa]> | Hemmo: still, what about not trying to force the `read` parse out the Maybe ? |
| 2022-05-29 11:27:42 +0200 | CiaoSen | (~Jura@p200300c95731a0002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-29 11:28:06 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-05-29 11:28:13 +0200 | <[exa]> | as in: ... | otherwise = Just (read pt) |
| 2022-05-29 11:31:41 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2) (Ping timeout: 255 seconds) |
| 2022-05-29 11:31:57 +0200 | money | (~Gambino@user/polo) |
| 2022-05-29 11:32:09 +0200 | nattiestnate | (~nate@202.138.250.31) |
| 2022-05-29 11:33:19 +0200 | <Hemmo> | Couldn't match expected type `Maybe PhoneType' |
| 2022-05-29 11:33:19 +0200 | <Hemmo> | with actual type `PhoneType' |
| 2022-05-29 11:33:20 +0200 | <Hemmo> | So yeah that works and now it returns Just Other. Now, though when I try to make the phone with (Phone Other 1 2) it gives ( |
| 2022-05-29 11:33:24 +0200 | <Hemmo> | Couldn't match expected type `Maybe PhoneType' |
| 2022-05-29 11:33:24 +0200 | <Hemmo> | with actual type `PhoneType' |
| 2022-05-29 11:33:54 +0200 | <Hemmo> | Even if my Phone constructor has Maybe PhoneType in there? |
| 2022-05-29 11:35:43 +0200 | <[exa]> | yeah you have to add Justs everywhere, as in (Phone (Just Other) 1 2) |
| 2022-05-29 11:36:34 +0200 | <[exa]> | I kinda guess you might wanted to model the data as phonetype being "Just Landline" or eg. "Just Private" or "Nothing" as for all others, right? |
| 2022-05-29 11:41:44 +0200 | <Hemmo> | So I wanted the phonetype to be either one of the specified ones (Other, PrivateMobile etc.) or Nothing |
| 2022-05-29 11:42:10 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-29 11:42:17 +0200 | <Hemmo> | So my ultimate goal is to change the definition of the Phone type so that PhoneType and Country C are optional |
| 2022-05-29 11:42:41 +0200 | <Rembane> | Hemmo: I might confuse everything here, but you can add the NoPhone constructor to PhoneType and use that instead of wrapping PhoneType in Maybe. |
| 2022-05-29 11:43:39 +0200 | <pavonia> | Note that e.g. PrivateMobile and Nothing do not have the same type, so you can't use them in the same position in a data type |
| 2022-05-29 11:44:17 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 255 seconds) |
| 2022-05-29 11:45:15 +0200 | <Hemmo> | Uuugh I see. |
| 2022-05-29 11:45:21 +0200 | <Hemmo> | Confused, yes! ;D |
| 2022-05-29 11:46:20 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-29 11:47:07 +0200 | benin | (~benin@183.82.177.185) (Ping timeout: 240 seconds) |
| 2022-05-29 11:49:04 +0200 | <Hemmo> | I wonder how I am supposed to do it *scratches head*. Since I am asked to: |
| 2022-05-29 11:49:04 +0200 | <Hemmo> | -Change the definition of Phone so that country code and phone type are optional using Maybe. ( Maybe PhoneType and Maybe CountryCode) |
| 2022-05-29 11:49:22 +0200 | <Hemmo> | and then implement the Show for Phone so that it doesn't show the PhoneType or CC if they are Nothing |
| 2022-05-29 11:50:09 +0200 | <Hemmo> | So I would need the Phone to possibly have values (Nothing Nothing 1) for example |
| 2022-05-29 11:51:37 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds) |
| 2022-05-29 11:54:35 +0200 | money | (~Gambino@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-05-29 11:57:54 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-29 11:58:12 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-05-29 11:58:22 +0200 | Demmy | (~Demmy@102.89.32.82) (Ping timeout: 252 seconds) |
| 2022-05-29 11:59:49 +0200 | <pavonia> | Hemmo: You can use Mabye PhoneType, but you need to wrap values that are present into a Just |
| 2022-05-29 12:00:04 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2022-05-29 12:00:40 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-05-29 12:02:02 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-29 12:14:53 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 255 seconds) |
| 2022-05-29 12:19:02 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-05-29 12:19:30 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-29 12:20:06 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-29 12:21:24 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-05-29 12:24:29 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-29 12:26:07 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 240 seconds) |
| 2022-05-29 12:28:48 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-29 12:30:30 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2022-05-29 12:32:23 +0200 | <[exa]> | is there any reason Cabal writes the "Up to date." message to stdout rather to stderr ? |
| 2022-05-29 12:34:57 +0200 | Feuermagier_ | (~Feuermagi@138.199.36.202) |
| 2022-05-29 12:37:42 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 260 seconds) |
| 2022-05-29 12:38:08 +0200 | money | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) |
| 2022-05-29 12:38:21 +0200 | Feuermagier_ | (~Feuermagi@138.199.36.202) (Client Quit) |
| 2022-05-29 12:38:28 +0200 | money | Guest8810 |
| 2022-05-29 12:38:49 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-29 12:41:18 +0200 | Guest8810 | (~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host) |
| 2022-05-29 12:41:18 +0200 | Guest8810 | (~Gambino@user/polo) |
| 2022-05-29 12:44:18 +0200 | favonia | (~favonia@user/favonia) |
| 2022-05-29 12:47:47 +0200 | Guest8810 | (~Gambino@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-05-29 12:48:32 +0200 | <juri_> | because that's success? |
| 2022-05-29 12:54:16 +0200 | <maerwald> | [exa]: no |
| 2022-05-29 12:54:58 +0200 | <maerwald> | juri_: the convention for cli programs is: everything goes to stderr, unless it's output that may be consumed by a script or other program |
| 2022-05-29 12:55:40 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-29 12:56:40 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-29 12:56:56 +0200 | <[exa]> | success is signaled sufficiently by $? == 0 |
| 2022-05-29 12:57:44 +0200 | <[exa]> | the thing gets quite annoying when piping output of programs executed with `cabal run`, so I wondered if it's actually good for anything before I kick myself into sending a PR |
| 2022-05-29 12:57:54 +0200 | <maerwald> | [exa]: --verbose=0 |
| 2022-05-29 12:58:56 +0200 | <[exa]> | o lovely |
| 2022-05-29 13:00:20 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2022-05-29 13:00:52 +0200 | favonia | (~favonia@user/favonia) (Quit: Leaving) |
| 2022-05-29 13:01:42 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-29 13:02:12 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds) |
| 2022-05-29 13:06:14 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-05-29 13:11:36 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-05-29 13:12:17 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-29 13:26:18 +0200 | Infinite | (~Infinite@49.39.121.176) |
| 2022-05-29 13:26:59 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-29 13:27:55 +0200 | titibandit | (~thibaut@xdsl-89-1-132-100.nc.de) |
| 2022-05-29 13:28:46 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2) |
| 2022-05-29 13:30:56 +0200 | raym | (~raym@user/raym) (Ping timeout: 255 seconds) |
| 2022-05-29 13:31:08 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-29 13:31:08 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-29 13:31:39 +0200 | raym | (~raym@user/raym) |
| 2022-05-29 13:32:31 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-29 13:33:11 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2) (Ping timeout: 255 seconds) |
| 2022-05-29 13:34:06 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-05-29 13:38:26 +0200 | Infinite | (~Infinite@49.39.121.176) (Quit: Client closed) |
| 2022-05-29 13:38:41 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-29 13:38:54 +0200 | Infinite | (~Infinite@49.39.121.176) |
| 2022-05-29 13:40:03 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 258 seconds) |
| 2022-05-29 13:40:28 +0200 | jollygood2 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC) |
| 2022-05-29 13:40:39 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-05-29 13:46:41 +0200 | Hemmo | (~IceChat95@85-76-165-183-nat.elisa-mobile.fi) (Ping timeout: 255 seconds) |
| 2022-05-29 13:53:31 +0200 | jollygood2 | (www-data@2607:5300:60:8be::1) |
| 2022-05-29 13:53:44 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-29 14:02:48 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 276 seconds) |
| 2022-05-29 14:06:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-05-29 14:08:14 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-29 14:16:11 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
| 2022-05-29 14:16:34 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Client Quit) |
| 2022-05-29 14:21:45 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
| 2022-05-29 14:21:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-29 14:22:03 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-29 14:23:06 +0200 | Infinite | (~Infinite@49.39.121.176) (Quit: Client closed) |
| 2022-05-29 14:23:26 +0200 | frost | (~frost@user/frost) |
| 2022-05-29 14:24:18 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-29 14:27:43 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-29 14:28:59 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 255 seconds) |
| 2022-05-29 14:32:01 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-05-29 14:32:32 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-29 14:33:15 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
| 2022-05-29 14:33:43 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Client Quit) |
| 2022-05-29 14:34:35 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
| 2022-05-29 14:34:57 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Client Quit) |
| 2022-05-29 14:36:11 +0200 | nahcetan | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-05-29 14:37:33 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
| 2022-05-29 14:39:28 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-05-29 14:48:16 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Remote host closed the connection) |
| 2022-05-29 14:48:29 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-29 14:49:16 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-29 14:53:13 +0200 | dcoutts_ | (~duncan@host86-150-18-91.range86-150.btcentralplus.com) |
| 2022-05-29 14:53:17 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 255 seconds) |
| 2022-05-29 14:59:46 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-05-29 15:02:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-05-29 15:06:50 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-29 15:07:33 +0200 | frost | (~frost@user/frost) |
| 2022-05-29 15:08:18 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-29 15:09:13 +0200 | causal | (~user@50.35.83.177) |
| 2022-05-29 15:10:56 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-29 15:21:08 +0200 | Infinite | (~Infinite@49.39.127.119) |
| 2022-05-29 15:24:42 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 276 seconds) |
| 2022-05-29 15:30:28 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2) |
| 2022-05-29 15:34:39 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-29 15:35:08 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2) (Ping timeout: 255 seconds) |
| 2022-05-29 15:37:57 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: WeeChat 3.0) |
| 2022-05-29 15:41:34 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-29 15:41:37 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-29 15:43:23 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!) |
| 2022-05-29 15:44:40 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) |
| 2022-05-29 15:44:45 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Client Quit) |
| 2022-05-29 15:53:08 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-05-29 15:53:35 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Remote host closed the connection) |
| 2022-05-29 15:54:02 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-05-29 15:56:30 +0200 | mikail | (~mikail@2a02:c7f:bc47:8c00:eb67:16d4:b37b:e62e) |
| 2022-05-29 15:56:53 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
| 2022-05-29 15:57:40 +0200 | <geekosaur> | [exa], I'd send the PR anyway; that really does belong on stderr |
| 2022-05-29 15:58:15 +0200 | <geekosaur> | I've complained about it before, after discovering that piping output of a `cabal run` to xclip -in got me that extra line |
| 2022-05-29 16:03:50 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-05-29 16:04:57 +0200 | phma | (~phma@2001:5b0:2172:ae88:fc08:5bd9:8059:e51c) (Read error: Connection reset by peer) |
| 2022-05-29 16:05:54 +0200 | brown121407 | (~user@gnu/webmaster/smarton) |
| 2022-05-29 16:05:56 +0200 | phma | (~phma@host-67-44-208-42.hnremote.net) |
| 2022-05-29 16:08:14 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-29 16:11:01 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-05-29 16:13:46 +0200 | Hemmo | (~IceChat95@85-76-165-183-nat.elisa-mobile.fi) |
| 2022-05-29 16:15:41 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 258 seconds) |
| 2022-05-29 16:18:22 +0200 | mikail | (~mikail@2a02:c7f:bc47:8c00:eb67:16d4:b37b:e62e) (Remote host closed the connection) |
| 2022-05-29 16:21:20 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2022-05-29 16:25:09 +0200 | mikail | (~mikail@05433f01.skybroadband.com) |
| 2022-05-29 16:26:26 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-29 16:34:50 +0200 | Infinite | (~Infinite@49.39.127.119) (Ping timeout: 252 seconds) |
| 2022-05-29 16:36:10 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-29 16:42:57 +0200 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) |
| 2022-05-29 16:44:39 +0200 | <Hemmo> | I have a, newtype PhoneNo = MakePhoneNo Integer and another function, fromPhoneNo :: PhoneNo -> Integer; how can I cast it to Integer or at least make it return an integer?? |
| 2022-05-29 16:44:48 +0200 | <Hemmo> | toInteger doesn't work |
| 2022-05-29 16:44:55 +0200 | <Hemmo> | since it's not an integral I guess |
| 2022-05-29 16:45:02 +0200 | <Hemmo> | also PhoneNo is an instance of Num |
| 2022-05-29 16:45:44 +0200 | <Hemmo> | There's some vague information about IS and IN constructors but can't really find anything on them? Would they help me here? |
| 2022-05-29 16:45:48 +0200 | <geekosaur> | fromPhoneNo (MakePhoneNo p) = p |
| 2022-05-29 16:46:03 +0200 | <geekosaur> | just pattern match on it to extract the value |
| 2022-05-29 16:46:23 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-29 16:47:02 +0200 | <Hemmo> | Oh gawd thanks |
| 2022-05-29 16:47:34 +0200 | <Hemmo> | But wait why doesn't fromPhoneNo pn = pn work? |
| 2022-05-29 16:47:58 +0200 | <Hemmo> | If I pass a PhoneNo as the parameter, why doesn't it work? |
| 2022-05-29 16:48:28 +0200 | <geekosaur> | because that gives you back a PhoneNo, the Integer is still wrapped |
| 2022-05-29 16:49:49 +0200 | <Hemmo> | Mhm thanks |
| 2022-05-29 16:50:48 +0200 | <geekosaur> | Haskell will never automatically unwrap something (well, there are tricks but you shouldn't use them unless you absolutely need to). The right ting to do here is pattern match to extract the Integer |
| 2022-05-29 16:51:11 +0200 | <geekosaur> | *thing |
| 2022-05-29 16:51:26 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 272 seconds) |
| 2022-05-29 16:53:57 +0200 | <Hemmo> | Yeah that makes sense |
| 2022-05-29 16:57:06 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-05-29 16:57:12 +0200 | brown121407 | (~user@gnu/webmaster/smarton) (Remote host closed the connection) |
| 2022-05-29 16:58:24 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 272 seconds) |
| 2022-05-29 17:00:38 +0200 | titibandit | (~thibaut@xdsl-89-1-132-100.nc.de) (Ping timeout: 255 seconds) |
| 2022-05-29 17:00:44 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 2022-05-29 17:01:02 +0200 | <Hemmo> | I would be lost without this channel lol. The hardest friggin course simply because there's no help available |
| 2022-05-29 17:01:24 +0200 | <Hemmo> | Also the paradigm is mind boggling at times |
| 2022-05-29 17:01:38 +0200 | <Hemmo> | So cheers for that to everyone <3 |
| 2022-05-29 17:03:14 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-29 17:08:17 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-05-29 17:11:03 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-05-29 17:16:14 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-29 17:17:59 +0200 | Hemmo | (~IceChat95@85-76-165-183-nat.elisa-mobile.fi) (Quit: Depression is merely anger without enthusiasm) |
| 2022-05-29 17:20:37 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds) |
| 2022-05-29 17:23:10 +0200 | Guest6 | (~Guest6@2401:4900:1cc8:6c44:e5b:4043:6d3:b1e) |
| 2022-05-29 17:27:50 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-05-29 17:29:21 +0200 | kicky | (~saarsecjb@190.90.86.91) |
| 2022-05-29 17:32:04 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-29 17:36:05 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-05-29 17:36:27 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-05-29 17:42:08 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-29 17:49:26 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-29 17:50:45 +0200 | emad | (~emad@102.43.155.242) |
| 2022-05-29 17:52:17 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-29 17:54:25 +0200 | emad | (~emad@102.43.155.242) (Client Quit) |
| 2022-05-29 17:54:42 +0200 | emad | (~emad@102.43.155.242) |
| 2022-05-29 17:54:48 +0200 | emad_ | (~emad@102.43.155.242) |
| 2022-05-29 17:55:00 +0200 | lagooned | (~lagooned@108-208-149-42.lightspeed.hstntx.sbcglobal.net) (Read error: Connection reset by peer) |
| 2022-05-29 17:55:05 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-05-29 17:56:36 +0200 | emad_ | (~emad@102.43.155.242) (Client Quit) |
| 2022-05-29 17:56:36 +0200 | emad | (~emad@102.43.155.242) (Client Quit) |
| 2022-05-29 17:56:53 +0200 | emad | (~emad@102.43.155.242) |
| 2022-05-29 17:57:20 +0200 | Guest6 | (~Guest6@2401:4900:1cc8:6c44:e5b:4043:6d3:b1e) (Ping timeout: 252 seconds) |
| 2022-05-29 17:57:22 +0200 | ubert | (~Thunderbi@p200300ecdf3b99991405ce1b00b6f67b.dip0.t-ipconnect.de) |
| 2022-05-29 18:02:41 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2022-05-29 18:08:24 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-29 18:13:17 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-29 18:17:37 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-29 18:23:57 +0200 | mbuf | (~Shakthi@122.164.194.119) (Quit: Leaving) |
| 2022-05-29 18:28:17 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-29 18:31:17 +0200 | alp_ | (~alp@user/alp) |
| 2022-05-29 18:33:20 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2022-05-29 18:35:21 +0200 | isotope | (uid556229@id-556229.ilkley.irccloud.com) |
| 2022-05-29 18:36:18 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2) |
| 2022-05-29 18:37:15 +0200 | fr-isotope | (uid556229@id-556229.ilkley.irccloud.com) |
| 2022-05-29 18:37:25 +0200 | isotope | (uid556229@id-556229.ilkley.irccloud.com) () |
| 2022-05-29 18:38:37 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 244 seconds) |
| 2022-05-29 18:44:16 +0200 | alp | (~alp@user/alp) |
| 2022-05-29 18:45:02 +0200 | econo | (uid147250@user/econo) |
| 2022-05-29 18:46:36 +0200 | Infinite | (~Infinite@49.39.121.30) |
| 2022-05-29 18:50:56 +0200 | ubert | (~Thunderbi@p200300ecdf3b99991405ce1b00b6f67b.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2022-05-29 18:51:12 +0200 | lyxia | (~lyxia@poisson.chat) (Quit: WeeChat 3.5) |
| 2022-05-29 18:51:14 +0200 | ubert | (~Thunderbi@p548c97e3.dip0.t-ipconnect.de) |
| 2022-05-29 18:58:32 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2022-05-29 19:00:47 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-29 19:05:21 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) |
| 2022-05-29 19:12:02 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds) |
| 2022-05-29 19:13:47 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-05-29 19:14:12 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-05-29 19:26:50 +0200 | acidjnk | (~acidjnk@p200300d0c7068b50adc47863922557b5.dip0.t-ipconnect.de) |
| 2022-05-29 19:33:07 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-05-29 19:37:43 +0200 | JannisO | (~JannisO@89.233.86.138) |
| 2022-05-29 19:38:41 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-29 19:42:16 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-05-29 19:50:21 +0200 | emad | (~emad@102.43.155.242) (Quit: Leaving) |
| 2022-05-29 19:52:13 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-29 19:59:27 +0200 | phma | (~phma@host-67-44-208-42.hnremote.net) (Read error: Connection reset by peer) |
| 2022-05-29 19:59:44 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2022-05-29 20:00:22 +0200 | phma | (phma@2001:5b0:211b:8168:966b:7bf1:a9ed:d6d9) |
| 2022-05-29 20:00:59 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-29 20:05:32 +0200 | dextaa | (~DV@user/dextaa) (Ping timeout: 246 seconds) |
| 2022-05-29 20:05:42 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-05-29 20:06:11 +0200 | cheater | (~Username@user/cheater) |
| 2022-05-29 20:07:50 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 255 seconds) |
| 2022-05-29 20:08:27 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-29 20:09:55 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-05-29 20:11:10 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-05-29 20:12:46 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-05-29 20:17:56 +0200 | mikail | (~mikail@05433f01.skybroadband.com) (Quit: Leaving) |
| 2022-05-29 20:23:00 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-29 20:24:49 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-05-29 20:25:32 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-05-29 20:27:22 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-29 20:29:29 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-05-29 20:31:22 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-29 20:32:26 +0200 | Infinite | (~Infinite@49.39.121.30) (Ping timeout: 252 seconds) |
| 2022-05-29 20:32:30 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-29 20:33:30 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-05-29 20:33:49 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-29 20:34:18 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 2022-05-29 20:34:45 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-05-29 20:36:06 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-05-29 20:45:34 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-05-29 20:46:32 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2022-05-29 20:52:36 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-29 20:54:09 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-29 20:54:50 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-05-29 20:55:28 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-29 20:56:31 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-05-29 20:57:03 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-05-29 20:58:44 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2022-05-29 20:59:47 +0200 | peutri_ | peutri |
| 2022-05-29 21:00:52 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!) |
| 2022-05-29 21:01:17 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-29 21:01:59 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-29 21:04:44 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-29 21:05:53 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 255 seconds) |
| 2022-05-29 21:09:42 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 258 seconds) |
| 2022-05-29 21:14:50 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c) |
| 2022-05-29 21:16:06 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-29 21:19:12 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c) (Ping timeout: 260 seconds) |
| 2022-05-29 21:21:52 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-29 21:22:21 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-29 21:27:44 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-29 21:29:25 +0200 | nattiestnate | (~nate@202.138.250.31) (Quit: WeeChat 3.5) |
| 2022-05-29 21:34:24 +0200 | kenran | (~kenran@200116b82b66ad004afb3d623defe39f.dip.versatel-1u1.de) |
| 2022-05-29 21:34:57 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c) |
| 2022-05-29 21:37:42 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-29 21:40:12 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-29 21:47:42 +0200 | dcoutts | (~duncan@host86-150-41-146.range86-150.btcentralplus.com) |
| 2022-05-29 21:48:57 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 260 seconds) |
| 2022-05-29 21:50:09 +0200 | dcoutts_ | (~duncan@host86-150-18-91.range86-150.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2022-05-29 21:52:44 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:923:e330:4171:9d2d) |
| 2022-05-29 22:01:01 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-05-29 22:05:56 +0200 | sympt | (~sympt@user/sympt) (Ping timeout: 246 seconds) |
| 2022-05-29 22:07:54 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-29 22:09:41 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-29 22:10:49 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-29 22:18:21 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-29 22:19:37 +0200 | sympt | (~sympt@user/sympt) |
| 2022-05-29 22:21:13 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-29 22:21:42 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-29 22:22:41 +0200 | JannisO | (~JannisO@89.233.86.138) (Quit: Leaving) |
| 2022-05-29 22:22:53 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-29 22:24:03 +0200 | jollygood2 | (www-data@2607:5300:60:8be::1) (Quit: quit) |
| 2022-05-29 22:27:31 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 258 seconds) |
| 2022-05-29 22:27:35 +0200 | jollygood2 | (www-data@2607:5300:60:8be::1) |
| 2022-05-29 22:31:15 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-29 22:31:58 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-05-29 22:32:29 +0200 | tenniscp25 | (~tenniscp2@2001:fb1:fd:fc2f:117f:4046:556c:7bec) |
| 2022-05-29 22:32:55 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-05-29 22:33:45 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-29 22:35:11 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c) (Ping timeout: 258 seconds) |
| 2022-05-29 22:35:36 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-29 22:35:40 +0200 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-29 22:35:42 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-29 22:38:12 +0200 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-29 22:42:18 +0200 | titibandit | (~thibaut@xdsl-89-1-132-100.nc.de) |
| 2022-05-29 22:44:26 +0200 | obabo | (~obabo@563BF107.catv.pool.telekom.hu) (Ping timeout: 246 seconds) |
| 2022-05-29 22:44:41 +0200 | titibandit | (~thibaut@xdsl-89-1-132-100.nc.de) (Remote host closed the connection) |
| 2022-05-29 22:44:58 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-29 22:45:03 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-29 22:50:19 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-29 22:50:42 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-29 22:50:58 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2022-05-29 22:52:37 +0200 | nehsou^ | (~nehsou@128-092-173-218.biz.spectrum.com) |
| 2022-05-29 22:54:05 +0200 | [Leary] | (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (Remote host closed the connection) |
| 2022-05-29 22:57:01 +0200 | _xor | (~xor@72.49.198.103) (Quit: brb) |
| 2022-05-29 22:58:31 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-29 22:58:32 +0200 | moonsheep | (~user@user/moonsheep) |
| 2022-05-29 22:58:51 +0200 | <moonsheep> | Is there an easy way to convert time from the hourglass package to UTCTime? |
| 2022-05-29 22:59:09 +0200 | <moonsheep> | (if you're wondering, fuzzy-dates uses hourglass time) |
| 2022-05-29 22:59:35 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 2022-05-29 22:59:46 +0200 | tenniscp25 | (~tenniscp2@2001:fb1:fd:fc2f:117f:4046:556c:7bec) () |
| 2022-05-29 23:01:01 +0200 | kenran | (~kenran@200116b82b66ad004afb3d623defe39f.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-05-29 23:01:35 +0200 | <hpc> | what type in particular? that package has a lot going on |
| 2022-05-29 23:01:54 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) |
| 2022-05-29 23:01:59 +0200 | _xor | (~xor@72.49.198.103) |
| 2022-05-29 23:02:28 +0200 | <moonsheep> | DiffTime |
| 2022-05-29 23:02:36 +0200 | <moonsheep> | DateTime* my bad |
| 2022-05-29 23:02:47 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 240 seconds) |
| 2022-05-29 23:03:10 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-05-29 23:06:02 +0200 | CiaoSen | (~Jura@p200300c95731a0002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-05-29 23:06:50 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c) |
| 2022-05-29 23:07:47 +0200 | <hpc> | a DateTime is a Date and TimeOfDay, which you can pattern match on |
| 2022-05-29 23:07:53 +0200 | <hpc> | and UTCTime is similarly structured |
| 2022-05-29 23:08:16 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 2022-05-29 23:08:57 +0200 | <hpc> | or you can get to CTime via hourglass's type classes if you look at their instance lists |
| 2022-05-29 23:09:02 +0200 | <hpc> | and then from there... something |
| 2022-05-29 23:10:26 +0200 | <hpc> | you probably don't want CTime though |
| 2022-05-29 23:11:03 +0200 | <moonsheep> | Yeah, I'm trying to do something like that |
| 2022-05-29 23:11:25 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c) (Ping timeout: 260 seconds) |
| 2022-05-29 23:12:46 +0200 | <moonsheep> | Landed on this https://paste.tomsmeding.com/jLAfqbFh |
| 2022-05-29 23:12:50 +0200 | <moonsheep> | If anyone cares |
| 2022-05-29 23:13:12 +0200 | monochrom | (trebla@216.138.220.146) |
| 2022-05-29 23:17:39 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-29 23:18:08 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) |
| 2022-05-29 23:18:35 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-05-29 23:22:04 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-29 23:24:40 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-29 23:25:35 +0200 | <Bulby[m]> | what would be the preferred way to represent null in a parsed language? |
| 2022-05-29 23:25:44 +0200 | <Bulby[m]> | add it to the data type for the values, or use maybe? |
| 2022-05-29 23:26:28 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c) |
| 2022-05-29 23:26:41 +0200 | <Rembane> | Bulby[m]: Does it make sense for the values to have a null constructor? |
| 2022-05-29 23:26:55 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-05-29 23:26:56 +0200 | <Bulby[m]> | wym does it make sense |
| 2022-05-29 23:27:33 +0200 | <Rembane> | Bulby[m]: What do you want to do with the parsed language? |
| 2022-05-29 23:27:53 +0200 | <Bulby[m]> | evalute it - this is the famous toy language lox |
| 2022-05-29 23:29:03 +0200 | <Rembane> | Sounds like something that could be good on bagels with cream cheese. |
| 2022-05-29 23:29:09 +0200 | <Bulby[m]> | 😄 |
| 2022-05-29 23:29:22 +0200 | <Rembane> | Then anything goes. Try both and see what you like best. |
| 2022-05-29 23:29:27 +0200 | <Bulby[m]> | I think it would save pain in match cases if it had a null constructor |
| 2022-05-29 23:30:23 +0200 | <hpc> | so you would have something like data Data = Null | Int Int | String String | ... -- for whatever primitive values your language has |
| 2022-05-29 23:30:38 +0200 | <hpc> | that seems fine to me |
| 2022-05-29 23:30:43 +0200 | <Bulby[m]> | yes |
| 2022-05-29 23:31:15 +0200 | <hpc> | you want that one type to express every value that the DSL values can take |
| 2022-05-29 23:31:28 +0200 | moonsheep | (~user@user/moonsheep) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2022-05-29 23:31:30 +0200 | <Bulby[m]> | I like how crafting interpreters explicitly states "btw java sucks at parsing so we use the visitor pattern" |
| 2022-05-29 23:32:01 +0200 | <hpc> | don't forget to add Undefined in there too, so the javascript programmers don't get confused :D |
| 2022-05-29 23:32:10 +0200 | <Bulby[m]> | 😉 |
| 2022-05-29 23:32:12 +0200 | <Bulby[m]> | never |
| 2022-05-29 23:32:32 +0200 | <Bulby[m]> | why is there undefined and null |
| 2022-05-29 23:32:33 +0200 | <Bulby[m]> | 😭 |
| 2022-05-29 23:32:47 +0200 | <Rembane> | I think they had a good reason for it at the time, and then it kinda got out of hand. |
| 2022-05-29 23:33:24 +0200 | <koala_man> | I just did `stack update; stack install ShellCheck` and it tried to install 0.7.2. I then deleted ~/.stack and tried again, and it installed 0.8.0. How does it choose the version? |
| 2022-05-29 23:33:29 +0200 | zebrag | (~chris@user/zebrag) (Ping timeout: 255 seconds) |
| 2022-05-29 23:33:43 +0200 | <geekosaur> | your current resolver, probably |
| 2022-05-29 23:34:00 +0200 | <geekosaur> | and you wiped out the global config file which was specifying an older resolver? |
| 2022-05-29 23:34:15 +0200 | <hpc> | Rembane: its roots in scheme are so powerful that they needed twice as many null values to make it a billion dollar mistake :P |
| 2022-05-29 23:34:25 +0200 | <koala_man> | there's a user wide resolver? |
| 2022-05-29 23:34:29 +0200 | <geekosaur> | (I think it's ~/.stack/stack.yaml) |
| 2022-05-29 23:35:00 +0200 | <Rembane> | hpc: Exactly! :D |
| 2022-05-29 23:35:04 +0200 | <geekosaur> | there's a user-wide stack.yaml, including resolver, used when you're outside of a project with its own stack.yaml |
| 2022-05-29 23:35:04 +0200 | odnes | (~odnes@5-203-190-124.pat.nym.cosmote.net) |
| 2022-05-29 23:35:30 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-05-29 23:35:52 +0200 | <koala_man> | man, I shouldn't have deleted it |
| 2022-05-29 23:36:29 +0200 | <geekosaur> | but its resolver doesn't get auto-updated when a new LTS is released |
| 2022-05-29 23:36:42 +0200 | <koala_man> | the docs seem to say that the resolver is a project specific config |
| 2022-05-29 23:36:56 +0200 | <hpc> | it's that too |
| 2022-05-29 23:37:15 +0200 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 244 seconds) |
| 2022-05-29 23:37:25 +0200 | bahamas | (~lucian@84.232.141.167) |
| 2022-05-29 23:37:27 +0200 | <hpc> | it'll use whatever the most specific config file specifies |
| 2022-05-29 23:37:34 +0200 | <geekosaur> | https://docs.haskellstack.org/en/stable/GUIDE/#finding-project-configs-and-the-implicit-global-pro… |
| 2022-05-29 23:37:46 +0200 | <geekosaur> | this is the implicit global project |
| 2022-05-29 23:41:21 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 2022-05-29 23:42:02 +0200 | bahamas | (~lucian@84.232.141.167) (Ping timeout: 255 seconds) |
| 2022-05-29 23:43:50 +0200 | odnes | (~odnes@5-203-190-124.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-05-29 23:44:23 +0200 | <energizer> | does anyone use Reduceron, or is it only a research project? https://github.com/tommythorn/Reduceron |
| 2022-05-29 23:44:39 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-29 23:46:08 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-29 23:46:44 +0200 | odnes | (~odnes@5-203-190-124.pat.nym.cosmote.net) |
| 2022-05-29 23:50:09 +0200 | odnes | (~odnes@5-203-190-124.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-05-29 23:50:19 +0200 | <geekosaur> | research project only, to th best of my knowledge |
| 2022-05-29 23:50:22 +0200 | [Leary] | (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) |
| 2022-05-29 23:50:34 +0200 | odnes | (~odnes@5-203-190-124.pat.nym.cosmote.net) |
| 2022-05-29 23:51:08 +0200 | odnes | (~odnes@5-203-190-124.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-05-29 23:52:01 +0200 | odnes | (~odnes@5-203-190-124.pat.nym.cosmote.net) |
| 2022-05-29 23:52:59 +0200 | odnes | (~odnes@5-203-190-124.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-05-29 23:53:03 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-05-29 23:54:57 +0200 | odnes | (~odnes@5-203-190-124.pat.nym.cosmote.net) |
| 2022-05-29 23:55:32 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:923:e330:4171:9d2d) (Ping timeout: 260 seconds) |