| 2022-10-22 00:00:16 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 00:05:09 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2022-10-22 00:06:23 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-22 00:09:22 +0200 | king_gs1 | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) |
| 2022-10-22 00:09:22 +0200 | king_gs | (~Thunderbi@187.201.131.180) (Read error: Connection reset by peer) |
| 2022-10-22 00:09:23 +0200 | king_gs1 | king_gs |
| 2022-10-22 00:15:12 +0200 | juri_ | (~juri@79.140.114.125) (Ping timeout: 260 seconds) |
| 2022-10-22 00:16:46 +0200 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) |
| 2022-10-22 00:18:09 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-10-22 00:22:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-22 00:22:49 +0200 | tomgus1 | (~tomgus1@2e40cd7e.skybroadband.com) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 2022-10-22 00:23:57 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) |
| 2022-10-22 00:26:54 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 00:27:18 +0200 | thegeekinside | (~thegeekin@189.180.97.156) |
| 2022-10-22 00:30:14 +0200 | thegeekinside | (~thegeekin@189.180.97.156) (Remote host closed the connection) |
| 2022-10-22 00:31:16 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 00:31:47 +0200 | axeman | (~quassel@2a02:8109:a380:78:bedd:957:e4d6:d96a) |
| 2022-10-22 00:36:50 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-22 00:39:20 +0200 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Remote host closed the connection) |
| 2022-10-22 00:39:38 +0200 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) |
| 2022-10-22 00:40:42 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2022-10-22 00:45:03 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 00:45:09 +0200 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2022-10-22 00:45:40 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-22 00:48:20 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-22 00:49:28 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-10-22 00:49:52 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 00:53:22 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-22 00:53:45 +0200 | jargon | (~jargon@184.101.208.112) |
| 2022-10-22 00:57:42 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-22 00:58:01 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-22 00:59:44 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
| 2022-10-22 01:00:03 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-10-22 01:03:55 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 01:07:57 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 01:08:05 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-210.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-10-22 01:08:18 +0200 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Ping timeout: 252 seconds) |
| 2022-10-22 01:09:34 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 2022-10-22 01:10:45 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) |
| 2022-10-22 01:11:49 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 01:14:47 +0200 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) (Remote host closed the connection) |
| 2022-10-22 01:19:37 +0200 | merijn | (~merijn@c-001-001-011.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-10-22 01:20:53 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-22 01:20:59 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 01:22:41 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d) |
| 2022-10-22 01:24:46 +0200 | king_gs | (~Thunderbi@187.201.131.180) |
| 2022-10-22 01:25:31 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 01:26:12 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 01:26:19 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 2022-10-22 01:27:30 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) |
| 2022-10-22 01:31:06 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-22 01:31:06 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-22 01:31:06 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-22 01:31:55 +0200 | axeman | (~quassel@2a02:8109:a380:78:bedd:957:e4d6:d96a) (Ping timeout: 272 seconds) |
| 2022-10-22 01:34:11 +0200 | king_gs | (~Thunderbi@187.201.131.180) (Ping timeout: 272 seconds) |
| 2022-10-22 01:37:19 +0200 | Lumia | (~Lumia@user/Lumia) |
| 2022-10-22 01:39:57 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-22 01:44:34 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-22 01:47:44 +0200 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!) |
| 2022-10-22 01:49:42 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-22 01:56:20 +0200 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 252 seconds) |
| 2022-10-22 01:57:18 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 01:58:32 +0200 | ystael | (~ystael@user/ystael) |
| 2022-10-22 02:00:26 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-22 02:00:39 +0200 | boxscape_ | (~boxscape_@81.191.27.107) (Quit: Client closed) |
| 2022-10-22 02:01:22 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-10-22 02:02:13 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a80f) |
| 2022-10-22 02:05:32 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-10-22 02:06:27 +0200 | nate1 | (~nate@98.45.169.16) (Read error: Connection reset by peer) |
| 2022-10-22 02:07:07 +0200 | birdgoose | (~birdgoose@151.210.175.160) |
| 2022-10-22 02:14:20 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 272 seconds) |
| 2022-10-22 02:21:01 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-22 02:21:42 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 02:23:41 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-10-22 02:24:41 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-10-22 02:25:44 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-22 02:27:39 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) (Ping timeout: 272 seconds) |
| 2022-10-22 02:34:50 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d) (Ping timeout: 252 seconds) |
| 2022-10-22 02:39:08 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 2022-10-22 02:40:25 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) |
| 2022-10-22 02:42:07 +0200 | <hololeap> | anyone know of a package that can simplify general constraints |
| 2022-10-22 02:42:12 +0200 | birdgoose | (~birdgoose@151.210.175.160) (Ping timeout: 272 seconds) |
| 2022-10-22 02:42:49 +0200 | <hololeap> | for instance, talking about version constraints in cabal: [ "ghc >= 8 && ghc <9.1", "ghc >=8.6 && ghc <10"] -> "ghc >= 8.6 && ghc < 9.1" |
| 2022-10-22 02:43:39 +0200 | birdgoose | (~birdgoose@151.210.175.160) |
| 2022-10-22 02:45:32 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-22 02:45:42 +0200 | <hololeap> | there has to be a math word for this. searching for "simplify inequalities" isn't giving me what I want |
| 2022-10-22 02:45:50 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 02:49:21 +0200 | causal | (~user@50.35.83.177) |
| 2022-10-22 02:50:15 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 02:50:47 +0200 | boxscape_ | (~boxscape_@81.191.27.107) |
| 2022-10-22 03:03:47 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-10-22 03:04:31 +0200 | Kaladin | (~Kaladin@157-131-169-214.fiber.dynamic.sonic.net) |
| 2022-10-22 03:05:51 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 03:11:05 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-22 03:12:20 +0200 | auri | (~auri@fsf/member/auri) () |
| 2022-10-22 03:12:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2022-10-22 03:12:37 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a80f) (Ping timeout: 272 seconds) |
| 2022-10-22 03:12:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-10-22 03:13:27 +0200 | berberman | (~berberman@user/berberman) |
| 2022-10-22 03:16:33 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-22 03:16:50 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 03:20:51 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 2022-10-22 03:21:40 +0200 | king_gs | (~Thunderbi@187.201.131.180) |
| 2022-10-22 03:21:56 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) |
| 2022-10-22 03:22:57 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 03:25:12 +0200 | auri | (~auri@fsf/member/auri) |
| 2022-10-22 03:26:50 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-10-22 03:29:22 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-22 03:29:22 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-22 03:29:22 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-22 03:31:12 +0200 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 2022-10-22 03:31:59 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-10-22 03:33:18 +0200 | Topsi | (~Topsi@dyndsl-095-033-094-034.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-10-22 03:33:31 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-22 03:34:24 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-10-22 03:36:05 +0200 | polo | Guest3430 |
| 2022-10-22 03:36:29 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-10-22 03:39:31 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-10-22 03:42:51 +0200 | Yumemi | (~Yumemi@chamoin.net) |
| 2022-10-22 03:43:38 +0200 | bonz060 | (~quassel@2001:bc8:47a4:a23::1) (Ping timeout: 240 seconds) |
| 2022-10-22 03:43:38 +0200 | Yumemi_ | (~Yumemi@chamoin.net) (Ping timeout: 240 seconds) |
| 2022-10-22 03:46:09 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 03:46:29 +0200 | bonz060 | (~quassel@2001:bc8:47a4:a23::1) |
| 2022-10-22 03:47:49 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-22 03:48:07 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 03:50:21 +0200 | king_gs | (~Thunderbi@187.201.131.180) (Ping timeout: 272 seconds) |
| 2022-10-22 03:52:15 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 03:54:35 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-22 03:54:44 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 268 seconds) |
| 2022-10-22 03:54:52 +0200 | tomku | (~tomku@user/tomku) |
| 2022-10-22 03:56:29 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
| 2022-10-22 03:56:39 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 03:59:15 +0200 | sayola | (~sayola@dslb-088-064-186-217.088.064.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2022-10-22 03:59:29 +0200 | birdgoose | (~birdgoose@151.210.175.160) (Ping timeout: 272 seconds) |
| 2022-10-22 04:00:41 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-22 04:03:50 +0200 | myShoggoth | (~myShoggot@75.164.11.50) (Quit: Leaving) |
| 2022-10-22 04:07:49 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
| 2022-10-22 04:11:10 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-22 04:11:45 +0200 | birdgoose | (~birdgoose@151.210.175.160) |
| 2022-10-22 04:13:26 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-22 04:14:55 +0200 | td_ | (~td@83.135.9.6) (Ping timeout: 246 seconds) |
| 2022-10-22 04:15:16 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-22 04:15:34 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 04:17:05 +0200 | td_ | (~td@83.135.9.28) |
| 2022-10-22 04:18:52 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-22 04:19:38 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 04:22:29 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-22 04:26:43 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 2022-10-22 04:27:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-10-22 04:27:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-22 04:32:51 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-22 04:35:56 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
| 2022-10-22 04:37:40 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 252 seconds) |
| 2022-10-22 04:39:26 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-22 04:46:11 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 04:46:50 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4f5c:e38d:5cfe:423) (Ping timeout: 252 seconds) |
| 2022-10-22 04:48:40 +0200 | biberu\ | (~biberu@user/biberu) |
| 2022-10-22 04:50:38 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 04:52:17 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 260 seconds) |
| 2022-10-22 04:52:18 +0200 | biberu\ | biberu |
| 2022-10-22 04:52:30 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-22 04:53:23 +0200 | xacktm | (~xacktm@user/xacktm) (Ping timeout: 248 seconds) |
| 2022-10-22 04:54:29 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2022-10-22 04:55:40 +0200 | andreas303 | (andreas303@ip227.orange.bnc4free.com) (Ping timeout: 268 seconds) |
| 2022-10-22 04:56:54 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-22 04:57:06 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-22 05:05:07 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-10-22 05:08:54 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 05:13:34 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-22 05:18:07 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4f5c:e38d:5cfe:423) |
| 2022-10-22 05:18:11 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 05:19:50 +0200 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-10-22 05:22:26 +0200 | birdgoose | (~birdgoose@151.210.175.160) (Ping timeout: 272 seconds) |
| 2022-10-22 05:24:47 +0200 | Lumia | (~Lumia@user/Lumia) (Quit: ,-) |
| 2022-10-22 05:25:12 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 05:28:36 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-10-22 05:29:02 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-10-22 05:29:38 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2022-10-22 05:30:12 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-22 05:30:52 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-22 05:31:10 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 05:32:09 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-22 05:34:13 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-10-22 05:35:26 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-10-22 05:35:35 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 05:36:19 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 05:36:38 +0200 | berberman | (~berberman@user/berberman) |
| 2022-10-22 05:39:59 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-22 05:46:52 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:3f3b:de06:fdae:b48f) (Quit: Konversation terminated!) |
| 2022-10-22 05:48:47 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-22 05:55:36 +0200 | shinjipf | (~shinjipf@2a01:4f8:1c1c:c1be::1) (Quit: Shinji leaves) |
| 2022-10-22 05:56:09 +0200 | shinjipf | (~shinjipf@2a01:4f8:1c1c:c1be::1) |
| 2022-10-22 06:00:54 +0200 | boxscape_ | (~boxscape_@81.191.27.107) (Ping timeout: 244 seconds) |
| 2022-10-22 06:01:51 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 06:02:25 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-22 06:06:04 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 06:11:33 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 06:12:23 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-22 06:17:28 +0200 | king_gs | (~Thunderbi@187.201.131.180) |
| 2022-10-22 06:18:08 +0200 | birdgoose | (~birdgoose@151.210.175.160) |
| 2022-10-22 06:22:43 +0200 | loras | (~loras@c-73-139-125-125.hsd1.fl.comcast.net) |
| 2022-10-22 06:29:44 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-22 06:30:12 +0200 | HackingSpring | (~haru@201-27-75-20.dsl.telesp.net.br) (Remote host closed the connection) |
| 2022-10-22 06:34:23 +0200 | constxd | (~brad@77.68.183.226) (Ping timeout: 272 seconds) |
| 2022-10-22 06:35:39 +0200 | king_gs | (~Thunderbi@187.201.131.180) (Ping timeout: 272 seconds) |
| 2022-10-22 06:40:05 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-10-22 06:42:41 +0200 | bilegeek | (~bilegeek@37.sub-174-209-43.myvzw.com) |
| 2022-10-22 06:45:23 +0200 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) |
| 2022-10-22 06:48:19 +0200 | birdgoose | (~birdgoose@151.210.175.160) (Ping timeout: 272 seconds) |
| 2022-10-22 06:55:16 +0200 | freeside | (~mengwong@122.11.214.89) |
| 2022-10-22 06:57:35 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-22 06:57:53 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 07:01:37 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-10-22 07:01:52 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 07:08:29 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 07:09:21 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-22 07:09:39 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 07:11:23 +0200 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 272 seconds) |
| 2022-10-22 07:11:24 +0200 | Bocaneri | (~sauvin@user/Sauvin) |
| 2022-10-22 07:11:47 +0200 | Bocaneri | Guest5006 |
| 2022-10-22 07:13:43 +0200 | rumgzy | (~sauvin@user/Sauvin) |
| 2022-10-22 07:13:45 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 07:14:46 +0200 | bilegeek | (~bilegeek@37.sub-174-209-43.myvzw.com) (Quit: Leaving) |
| 2022-10-22 07:16:57 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-22 07:17:05 +0200 | Guest5006 | (~sauvin@user/Sauvin) (Ping timeout: 272 seconds) |
| 2022-10-22 07:17:36 +0200 | king_gs1 | (~Thunderbi@187.201.131.180) |
| 2022-10-22 07:19:37 +0200 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Ping timeout: 272 seconds) |
| 2022-10-22 07:19:37 +0200 | king_gs1 | king_gs |
| 2022-10-22 07:22:03 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-10-22 07:24:20 +0200 | berberman_ | (~berberman@user/berberman) |
| 2022-10-22 07:25:57 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 272 seconds) |
| 2022-10-22 07:27:35 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-10-22 07:29:55 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 07:30:19 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-10-22 07:30:27 +0200 | Guest3430 | (sid532813@user/polo) (*.net *.split) |
| 2022-10-22 07:30:27 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 2022-10-22 07:30:27 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (*.net *.split) |
| 2022-10-22 07:30:27 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) (*.net *.split) |
| 2022-10-22 07:30:27 +0200 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2022-10-22 07:30:27 +0200 | conjunctive | (sid433686@id-433686.helmsley.irccloud.com) (*.net *.split) |
| 2022-10-22 07:30:27 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (*.net *.split) |
| 2022-10-22 07:30:27 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (*.net *.split) |
| 2022-10-22 07:30:27 +0200 | acro | (~acro@user/acro) (*.net *.split) |
| 2022-10-22 07:30:27 +0200 | davl_ | (~davl@207.154.228.18) (*.net *.split) |
| 2022-10-22 07:30:27 +0200 | _\_ | (~o@user/offon) (*.net *.split) |
| 2022-10-22 07:30:27 +0200 | emanon42 | (~emanon42@103.120.19.44) (*.net *.split) |
| 2022-10-22 07:30:27 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (*.net *.split) |
| 2022-10-22 07:30:27 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (*.net *.split) |
| 2022-10-22 07:30:38 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) |
| 2022-10-22 07:30:39 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) |
| 2022-10-22 07:30:44 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) |
| 2022-10-22 07:30:44 +0200 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) |
| 2022-10-22 07:30:46 +0200 | emanon42 | (~emanon42@103.120.19.44) |
| 2022-10-22 07:30:59 +0200 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host) |
| 2022-10-22 07:30:59 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2022-10-22 07:31:01 +0200 | nisstyre | (wes@2600:3c00::f03c:91ff:fe69:7f3d) |
| 2022-10-22 07:31:04 +0200 | _\_ | (~o@user/offon) |
| 2022-10-22 07:31:15 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) |
| 2022-10-22 07:31:15 +0200 | davl | (~davl@207.154.228.18) |
| 2022-10-22 07:31:16 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) |
| 2022-10-22 07:31:22 +0200 | conjunctive | (sid433686@id-433686.helmsley.irccloud.com) |
| 2022-10-22 07:31:23 +0200 | acro | (~acro@user/acro) |
| 2022-10-22 07:31:40 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 2022-10-22 07:33:10 +0200 | Guest3430 | (sid532813@tinside.irccloud.com) |
| 2022-10-22 07:34:11 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-22 07:37:44 +0200 | rumgzy | Sauvin |
| 2022-10-22 07:37:45 +0200 | king_gs | (~Thunderbi@187.201.131.180) (Read error: Connection reset by peer) |
| 2022-10-22 07:37:57 +0200 | king_gs1 | (~Thunderbi@187.201.131.180) |
| 2022-10-22 07:39:43 +0200 | milia | (~milia@user/milia) () |
| 2022-10-22 07:40:15 +0200 | king_gs1 | king_gs |
| 2022-10-22 07:40:51 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 07:44:06 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-10-22 07:47:28 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-10-22 07:53:57 +0200 | hexology | (~hexology@user/hexology) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | anderson | (~ande@user/anderson) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | mht-wtf | (~mht@2a03:b0c0:3:e0::1e2:c001) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | robertm | (robertm@lattice.rojoma.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | bwe_ | (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | laman1 | (~laman@rego.ai) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | hendi | (sid489601@id-489601.lymington.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | bbhoss | (sid18216@id-18216.tinside.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | sajith | (~sajith@user/sajith) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | Jon | (jon@dow.land) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | acertain | (sid470584@id-470584.hampstead.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | lally | (sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | jocke-l | (jocke-l@a.x0.is) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | gregberns__ | (sid315709@id-315709.helmsley.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | dy | (sid3438@user/dy) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | dyniec | (~dyniec@mail.dybiec.info) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | reda_ | (~reda@user/reda) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | h2t_ | (~h2t@user/h2t) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | PHO` | (~pho@akari.cielonegro.org) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | joel135 | (sid136450@id-136450.hampstead.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | bjs | (sid190364@user/bjs) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | carter | (sid14827@id-14827.helmsley.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | dpratt | (sid193493@id-193493.helmsley.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | lightandlight | (sid135476@id-135476.helmsley.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | sphynx | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | hongminhee | (sid295@id-295.tinside.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | dsal | (sid13060@id-13060.lymington.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | davetapley_ | (sid666@id-666.uxbridge.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | whez | (sid470288@id-470288.lymington.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | bookshelfdave | (sid28102@id-28102.ilkley.irccloud.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | ario_ | (~ario@159.65.220.102) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | onosendi | (sid552923@user/onosendi) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | tomjaguarpaw | (~tom@li367-225.members.linode.com) (*.net *.split) |
| 2022-10-22 07:53:57 +0200 | Xe | (~cadey@tailscale/xe) (*.net *.split) |
| 2022-10-22 07:54:04 +0200 | tomjaguarpaw | (~tom@li367-225.members.linode.com) |
| 2022-10-22 07:54:05 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
| 2022-10-22 07:54:09 +0200 | sphynx | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 2022-10-22 07:54:12 +0200 | ario | (~ario@159.65.220.102) |
| 2022-10-22 07:54:15 +0200 | reda | (~reda@user/reda) |
| 2022-10-22 07:54:17 +0200 | mht-wtf | (~mht@mht.wtf) |
| 2022-10-22 07:54:18 +0200 | hongminhee | (sid295@id-295.tinside.irccloud.com) |
| 2022-10-22 07:54:19 +0200 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) |
| 2022-10-22 07:54:20 +0200 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) |
| 2022-10-22 07:54:24 +0200 | gregberns__ | (sid315709@id-315709.helmsley.irccloud.com) |
| 2022-10-22 07:54:26 +0200 | hendi | (sid489601@id-489601.lymington.irccloud.com) |
| 2022-10-22 07:54:27 +0200 | robertm | (robertm@lattice.rojoma.com) |
| 2022-10-22 07:54:29 +0200 | Xe | (~cadey@lufta.cetacean.club) |
| 2022-10-22 07:54:29 +0200 | bookshelfdave | (sid28102@id-28102.ilkley.irccloud.com) |
| 2022-10-22 07:54:30 +0200 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2022-10-22 07:54:30 +0200 | Jon | (jon@dow.land) |
| 2022-10-22 07:54:33 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2022-10-22 07:54:34 +0200 | jocke-l | (jocke-l@a.x0.is) |
| 2022-10-22 07:54:36 +0200 | laman1 | (~laman@rego.ai) |
| 2022-10-22 07:54:36 +0200 | aristid | (sid1599@2a03:5180:f:5::63f) |
| 2022-10-22 07:54:38 +0200 | dpratt | (sid193493@id-193493.helmsley.irccloud.com) |
| 2022-10-22 07:54:40 +0200 | liskin | (~liskin@ackle.nomi.cz) |
| 2022-10-22 07:54:45 +0200 | whez | (sid470288@id-470288.lymington.irccloud.com) |
| 2022-10-22 07:54:46 +0200 | lally | (sid388228@2a03:5180:f:5::5:ec84) |
| 2022-10-22 07:55:03 +0200 | Firedancer | (sid336191@2a03:5180:f:4::5:213f) |
| 2022-10-22 07:55:04 +0200 | Xe | (~cadey@lufta.cetacean.club) (Changing host) |
| 2022-10-22 07:55:04 +0200 | Xe | (~cadey@tailscale/xe) |
| 2022-10-22 07:55:04 +0200 | b20n | (sid115913@2a03:5180:f:5::1:c4c9) |
| 2022-10-22 07:55:06 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) |
| 2022-10-22 07:55:06 +0200 | dsal | (sid13060@id-13060.lymington.irccloud.com) |
| 2022-10-22 07:55:06 +0200 | liskin | (~liskin@ackle.nomi.cz) (Changing host) |
| 2022-10-22 07:55:06 +0200 | liskin | (~liskin@xmonad/liskin) |
| 2022-10-22 07:55:06 +0200 | davetapley_ | (sid666@2a03:5180:f:5::29a) |
| 2022-10-22 07:55:07 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2022-10-22 07:55:08 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
| 2022-10-22 07:55:08 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
| 2022-10-22 07:55:08 +0200 | lightandlight | (sid135476@id-135476.helmsley.irccloud.com) |
| 2022-10-22 07:55:09 +0200 | onosendi | (sid552923@id-552923.lymington.irccloud.com) |
| 2022-10-22 07:55:09 +0200 | bbhoss | (sid18216@id-18216.tinside.irccloud.com) |
| 2022-10-22 07:55:11 +0200 | acertain | (sid470584@2a03:5180:f:4::7:2e38) |
| 2022-10-22 07:55:11 +0200 | dy | (sid3438@id-3438.helmsley.irccloud.com) |
| 2022-10-22 07:55:13 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) |
| 2022-10-22 07:55:15 +0200 | bjs | (sid190364@id-190364.helmsley.irccloud.com) |
| 2022-10-22 07:55:16 +0200 | joel135 | (sid136450@id-136450.hampstead.irccloud.com) |
| 2022-10-22 07:55:31 +0200 | bjs | (sid190364@id-190364.helmsley.irccloud.com) (Changing host) |
| 2022-10-22 07:55:31 +0200 | bjs | (sid190364@user/bjs) |
| 2022-10-22 07:55:35 +0200 | bradparker | (sid262931@uxbridge.irccloud.com) |
| 2022-10-22 07:55:38 +0200 | dy | (sid3438@id-3438.helmsley.irccloud.com) (Changing host) |
| 2022-10-22 07:55:38 +0200 | dy | (sid3438@user/dy) |
| 2022-10-22 07:55:39 +0200 | carter | (sid14827@id-14827.helmsley.irccloud.com) |
| 2022-10-22 07:55:39 +0200 | onosendi | (sid552923@id-552923.lymington.irccloud.com) (Changing host) |
| 2022-10-22 07:55:39 +0200 | onosendi | (sid552923@user/onosendi) |
| 2022-10-22 07:56:03 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2022-10-22 07:56:03 +0200 | hexology | (~hexology@user/hexology) |
| 2022-10-22 07:56:13 +0200 | h2t | (~h2t@user/h2t) |
| 2022-10-22 07:56:14 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 2022-10-22 07:56:16 +0200 | sajith | (~sajith@user/sajith) |
| 2022-10-22 07:56:20 +0200 | PHO` | (~pho@akari.cielonegro.org) |
| 2022-10-22 07:56:20 +0200 | p3n | (~p3n@217.198.124.246) |
| 2022-10-22 07:56:21 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2022-10-22 07:57:18 +0200 | anderson | (~ande@user/anderson) |
| 2022-10-22 07:57:20 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2022-10-22 08:04:04 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-10-22 08:05:23 +0200 | Ekho | (~Ekho@user/ekho) |
| 2022-10-22 08:09:23 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-10-22 08:12:49 +0200 | birdgoose | (~birdgoose@151.210.175.160) |
| 2022-10-22 08:17:37 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-22 08:17:56 +0200 | <tomsmeding> | hololeap: should it do more than just interval intersection? |
| 2022-10-22 08:18:23 +0200 | <tomsmeding> | if not, I think "interval arithmetic" is the keyword |
| 2022-10-22 08:20:15 +0200 | freeside | (~mengwong@122.11.214.89) (Read error: Connection reset by peer) |
| 2022-10-22 08:20:29 +0200 | <tomsmeding> | if yes, https://hackage.haskell.org/package/cabal-install-solver-3.8.1.0/docs/Distribution-Solver-Modular.… :p |
| 2022-10-22 08:25:19 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 08:25:35 +0200 | Unhammer | (~Unhammer@user/unhammer) (Read error: Connection reset by peer) |
| 2022-10-22 08:25:58 +0200 | <tomsmeding> | if you need full cabal constraints, as in every package version can have its own constraint set, then you'll need general backtracking search to solve it -- I'm 99.9% sure that's NP-complete |
| 2022-10-22 08:26:11 +0200 | <tomsmeding> | feels too easy to reduce any kind of interesting problem to that |
| 2022-10-22 08:30:10 +0200 | berberman_ | (~berberman@user/berberman) (Ping timeout: 255 seconds) |
| 2022-10-22 08:41:27 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.7) |
| 2022-10-22 08:41:50 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) |
| 2022-10-22 08:43:01 +0200 | Unhammer | (~Unhammer@user/unhammer) |
| 2022-10-22 08:43:35 +0200 | <sclv> | hololeap: https://hackage.haskell.org/package/Cabal-syntax-3.8.1.0/docs/Distribution-Types-VersionInterval-L… |
| 2022-10-22 08:44:02 +0200 | <sclv> | and yes constraint solving is known np complete via 3sat |
| 2022-10-22 08:45:55 +0200 | razetime | (~quassel@49.207.192.79) |
| 2022-10-22 08:48:00 +0200 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) |
| 2022-10-22 08:56:22 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-22 08:57:09 +0200 | sameer | (~sameer@2409:4070:219d:3605::3d6:50ad) (Ping timeout: 272 seconds) |
| 2022-10-22 09:03:52 +0200 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) |
| 2022-10-22 09:05:23 +0200 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2022-10-22 09:08:34 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-10-22 09:10:53 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) (Remote host closed the connection) |
| 2022-10-22 09:12:44 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-22 09:16:44 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-22 09:17:03 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 09:21:22 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 09:23:29 +0200 | king_gs | (~Thunderbi@187.201.131.180) (Read error: Connection reset by peer) |
| 2022-10-22 09:23:41 +0200 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) |
| 2022-10-22 09:25:24 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 09:28:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-210.elisa-laajakaista.fi) |
| 2022-10-22 09:28:25 +0200 | berberman | (~berberman@user/berberman) |
| 2022-10-22 09:29:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-22 09:33:15 +0200 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-10-22 09:33:37 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Read error: Connection reset by peer) |
| 2022-10-22 09:34:30 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2022-10-22 09:36:20 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2022-10-22 09:43:48 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-22 09:47:22 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a1088f78f22e17780ec.dip0.t-ipconnect.de) |
| 2022-10-22 09:48:49 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-22 09:52:56 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-10-22 09:53:33 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-10-22 09:56:43 +0200 | andreas303 | (andreas303@ip227.orange.bnc4free.com) |
| 2022-10-22 09:58:17 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-22 09:58:35 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 09:59:09 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-22 10:02:42 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 10:05:28 +0200 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 2022-10-22 10:05:44 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-10-22 10:10:26 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-22 10:11:22 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-10-22 10:11:41 +0200 | xacktm | (~xacktm@user/xacktm) |
| 2022-10-22 10:15:38 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 276 seconds) |
| 2022-10-22 10:16:17 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2022-10-22 10:18:57 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-22 10:21:52 +0200 | <Franciman> | is there an example of an ADT of kind * -> * which is not a functor? |
| 2022-10-22 10:22:15 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-22 10:22:17 +0200 | <Franciman> | or better, which can't be made into a functor |
| 2022-10-22 10:22:20 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 10:24:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-10-22 10:29:13 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 10:29:21 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-22 10:30:16 +0200 | <[Leary]> | Franciman: Any ADT that uses the type param in a negative position. E.g. `newtype Endo a = Endo (a -> a)` or `newtype Pred a = Pred (a -> Bool)`, though the latter is a contravariant functor. |
| 2022-10-22 10:33:14 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-22 10:33:42 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 10:34:19 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 246 seconds) |
| 2022-10-22 10:36:27 +0200 | axeman | (~quassel@2a02:8109:a380:78:c99a:2423:6f1c:bef9) |
| 2022-10-22 10:37:31 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-10-22 10:44:49 +0200 | loras | (~loras@c-73-139-125-125.hsd1.fl.comcast.net) (Ping timeout: 272 seconds) |
| 2022-10-22 10:45:32 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 276 seconds) |
| 2022-10-22 10:46:20 +0200 | <Franciman> | [Leary]: and if i only use sums and product types? |
| 2022-10-22 10:46:22 +0200 | <Franciman> | sum* |
| 2022-10-22 10:46:25 +0200 | <Franciman> | without functions |
| 2022-10-22 10:46:28 +0200 | <Franciman> | it seems it works |
| 2022-10-22 10:48:03 +0200 | <[Leary]> | I think they call those polynomial types? Yeah, all their parameters are positive, so it will always be a functor in a final *-kinded param. |
| 2022-10-22 10:51:23 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 2022-10-22 10:52:27 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 10:52:45 +0200 | tomgus1 | (~tomgus1@2e40cd7e.skybroadband.com) |
| 2022-10-22 10:59:42 +0200 | Kaladin | (~Kaladin@157-131-169-214.fiber.dynamic.sonic.net) (Quit: Leaving) |
| 2022-10-22 11:09:35 +0200 | <Franciman> | thanks [Leary] |
| 2022-10-22 11:10:21 +0200 | <Franciman> | and for example data Siocan a = Siocan (a -> Bool) a |
| 2022-10-22 11:10:31 +0200 | <Franciman> | is neither a functor nor a contravariant functor, amiright? |
| 2022-10-22 11:13:09 +0200 | <Franciman> | o sure |
| 2022-10-22 11:13:09 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-22 11:13:11 +0200 | <Franciman> | Endo is an example |
| 2022-10-22 11:13:14 +0200 | <Franciman> | cool |
| 2022-10-22 11:13:26 +0200 | <Franciman> | negative position is awesome |
| 2022-10-22 11:13:50 +0200 | <Franciman> | is moves from the actual to the potential |
| 2022-10-22 11:13:58 +0200 | axeman | (~quassel@2a02:8109:a380:78:c99a:2423:6f1c:bef9) (Ping timeout: 250 seconds) |
| 2022-10-22 11:14:02 +0200 | <Franciman> | i wonder if laziness has anything to do with negativity |
| 2022-10-22 11:14:10 +0200 | ubert1 | (~Thunderbi@91.141.38.108.wireless.dyn.drei.com) |
| 2022-10-22 11:14:11 +0200 | <Franciman> | it seems like it renders everything negative, at least implicitly |
| 2022-10-22 11:14:15 +0200 | <Franciman> | until you force stuff |
| 2022-10-22 11:15:32 +0200 | ubert | (~Thunderbi@91.141.62.162.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2022-10-22 11:15:32 +0200 | ubert1 | ubert |
| 2022-10-22 11:20:02 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-10-22 11:22:04 +0200 | ulvarrefr | (~user@188.124.56.153) (Ping timeout: 255 seconds) |
| 2022-10-22 11:23:03 +0200 | shapr | (~user@2a02:8106:31:b200:57e:c5de:a80c:a748) |
| 2022-10-22 11:23:07 +0200 | razetime | (~quassel@49.207.192.79) (Ping timeout: 260 seconds) |
| 2022-10-22 11:24:17 +0200 | birdgoose | (~birdgoose@151.210.175.160) (Ping timeout: 260 seconds) |
| 2022-10-22 11:33:49 +0200 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-10-22 11:34:47 +0200 | berberman | (~berberman@user/berberman) |
| 2022-10-22 11:35:21 +0200 | sus7 | (zero@user/zeromomentum) |
| 2022-10-22 11:36:47 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-10-22 11:37:30 +0200 | ulvarrefr | (~user@188.124.56.153) |
| 2022-10-22 11:39:27 +0200 | Luj3 | (~Luj@2a01:e0a:5f9:9681:8b6a:8ece:3740:1a44) (Quit: The Lounge - https://thelounge.chat) |
| 2022-10-22 11:40:01 +0200 | FragByte | (~christian@user/fragbyte) |
| 2022-10-22 11:42:24 +0200 | freeside | (~mengwong@101.100.175.180) |
| 2022-10-22 11:43:15 +0200 | Luj3 | (~Luj@2a01:e0a:5f9:9681:9cda:ce1d:ce82:c3dd) |
| 2022-10-22 11:47:37 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 260 seconds) |
| 2022-10-22 11:52:35 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-22 11:53:55 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-10-22 11:54:30 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-22 12:03:17 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-10-22 12:03:48 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-22 12:04:31 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 12:04:45 +0200 | mokee | (~mokee@37.228.215.235) |
| 2022-10-22 12:05:36 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-10-22 12:05:59 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-10-22 12:06:35 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-22 12:09:17 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 12:10:02 +0200 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2022-10-22 12:10:41 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-10-22 12:13:30 +0200 | <dminuoso> | Franciman: Im not sure how you interpret positive/negative positions. |
| 2022-10-22 12:15:29 +0200 | <dminuoso> | If in a definition an argument is in positive position, the definee will pick a value/decide on a value for it, and the consumer/caller will have to deal with some unknown value/choice. If its in negative position, the callee/consumer will pick a value/decide on a value for it, and the definee has to deal with some unknown value/choice. |
| 2022-10-22 12:15:46 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-10-22 12:16:19 +0200 | <dminuoso> | Lazyness does not change this. |
| 2022-10-22 12:17:42 +0200 | <dminuoso> | In case of functors, we call this behavior co and contravariance. So `newtype Pred a = (Pred a -> Bool)` has `a` in a contravariant position, which makes it a contravariant functor. |
| 2022-10-22 12:17:53 +0200 | <dminuoso> | And in case it appears in both positions, it is said to be invariant. |
| 2022-10-22 12:18:08 +0200 | <dminuoso> | Like `Siocan a = Siocan (a -> Bool) a` |
| 2022-10-22 12:19:48 +0200 | <dminuoso> | Note, that if you have two type variables, and one is positive and one is in negative position, then you have whats called a Profunctor. |
| 2022-10-22 12:20:09 +0200 | <dminuoso> | (So if its contravariant in one argument and covariant in the other, then thats a profunctor |
| 2022-10-22 12:20:29 +0200 | <dminuoso> | Like (a -> b) is contravariant in `a`, and covariant in b |
| 2022-10-22 12:22:17 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 12:23:40 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 246 seconds) |
| 2022-10-22 12:24:27 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-10-22 12:26:15 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-10-22 12:26:46 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-22 12:27:17 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Client Quit) |
| 2022-10-22 12:28:02 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 12:30:01 +0200 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Quit: king_gs) |
| 2022-10-22 12:30:17 +0200 | king_gs | (~Thunderbi@187.201.131.180) |
| 2022-10-22 12:30:42 +0200 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2022-10-22 12:31:06 +0200 | axeman | (~quassel@2a02:8109:a380:78:6f6d:a4aa:8a2c:a309) |
| 2022-10-22 12:33:15 +0200 | haskl | (~haskl@user/haskl) |
| 2022-10-22 12:35:42 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-10-22 12:38:09 +0200 | <shapr> | @quote |
| 2022-10-22 12:38:09 +0200 | <lambdabot> | clarkb says: in CS they dont teach you to program...You learn Data Structures, Algorithms, Logic, Discrete Math, Language theory, etc and happen to pick up programming on the way |
| 2022-10-22 12:43:14 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-10-22 12:49:02 +0200 | axeman | (~quassel@2a02:8109:a380:78:6f6d:a4aa:8a2c:a309) (Ping timeout: 276 seconds) |
| 2022-10-22 12:54:00 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-10-22 12:55:35 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-10-22 12:56:00 +0200 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-10-22 13:03:00 +0200 | axeman | (~quassel@2a02:8109:a380:78:2b49:5816:f030:ef2) |
| 2022-10-22 13:10:31 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2022-10-22 13:11:45 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-22 13:13:18 +0200 | razetime | (~quassel@49.207.192.79) |
| 2022-10-22 13:13:20 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-22 13:20:30 +0200 | freeside | (~mengwong@101.100.175.180) (Ping timeout: 250 seconds) |
| 2022-10-22 13:24:11 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2022-10-22 13:26:05 +0200 | merijn | (~merijn@c-001-001-011.client.esciencecenter.eduvpn.nl) |
| 2022-10-22 13:32:22 +0200 | <MangoIV[m]> | Hi, is there anybody who knows where to find documentation for the newer version of `ghc-lib`? Some types have been moved out but I can't find to where they moved. In Particular `HscEnv` |
| 2022-10-22 13:35:41 +0200 | freeside | (~mengwong@101.100.175.180) |
| 2022-10-22 13:38:08 +0200 | <Franciman> | dminuoso: thanks, i liked it, you are correct |
| 2022-10-22 13:41:02 +0200 | freeside | (~mengwong@101.100.175.180) (Ping timeout: 276 seconds) |
| 2022-10-22 13:44:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-10-22 13:44:17 +0200 | axeman | (~quassel@2a02:8109:a380:78:2b49:5816:f030:ef2) (Ping timeout: 276 seconds) |
| 2022-10-22 13:48:14 +0200 | tomgus1 | (~tomgus1@2e40cd7e.skybroadband.com) (Ping timeout: 250 seconds) |
| 2022-10-22 13:52:12 +0200 | <c_wraith> | MangoIV[m]: https://hackage.haskell.org/package/ghc-9.4.2/docs/doc-index-H.html (or whatever version you're using) |
| 2022-10-22 13:52:17 +0200 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 272 seconds) |
| 2022-10-22 13:54:29 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-22 13:58:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-22 13:58:38 +0200 | freeside | (~mengwong@101.100.175.180) |
| 2022-10-22 14:00:28 +0200 | <fendor[m]> | can't I use '-fdefer-type-errors' with undefined? I get this error at run-time https://paste.tomsmeding.com/sd2tfDsA |
| 2022-10-22 14:00:45 +0200 | <fendor[m]> | (ok it is error, not undefined, but same error message) |
| 2022-10-22 14:03:47 +0200 | freeside | (~mengwong@101.100.175.180) (Ping timeout: 276 seconds) |
| 2022-10-22 14:05:08 +0200 | king_gs | (~Thunderbi@187.201.131.180) (Read error: Connection reset by peer) |
| 2022-10-22 14:05:42 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 14:06:05 +0200 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) |
| 2022-10-22 14:10:11 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 14:14:40 +0200 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Ping timeout: 250 seconds) |
| 2022-10-22 14:14:58 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) |
| 2022-10-22 14:16:37 +0200 | freeside | (~mengwong@101.100.175.180) |
| 2022-10-22 14:19:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) (Ping timeout: 250 seconds) |
| 2022-10-22 14:20:42 +0200 | <int-e> | . o O ( ENOINFO ) |
| 2022-10-22 14:21:10 +0200 | freeside | (~mengwong@101.100.175.180) (Ping timeout: 250 seconds) |
| 2022-10-22 14:22:10 +0200 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) (Quit: Leaving.) |
| 2022-10-22 14:24:21 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 268 seconds) |
| 2022-10-22 14:25:33 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-22 14:25:46 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-10-22 14:28:39 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-22 14:32:49 +0200 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2022-10-22 14:34:20 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a1088f78f22e17780ec.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2022-10-22 14:35:25 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-22 14:38:53 +0200 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) |
| 2022-10-22 14:41:48 +0200 | Guest3430 | (sid532813@tinside.irccloud.com) (Changing host) |
| 2022-10-22 14:41:48 +0200 | Guest3430 | (sid532813@user/polo) |
| 2022-10-22 14:41:54 +0200 | Guest3430 | polo |
| 2022-10-22 14:46:00 +0200 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) (Quit: Leaving.) |
| 2022-10-22 14:46:23 +0200 | freeside | (~mengwong@101.100.175.180) |
| 2022-10-22 14:49:17 +0200 | razetime | (~quassel@49.207.192.79) (Ping timeout: 276 seconds) |
| 2022-10-22 14:51:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-10-22 14:54:05 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:e97e:ce1a:5805:da9d) |
| 2022-10-22 14:55:49 +0200 | fserucas_ | (~fserucas@74.47.115.89.rev.vodafone.pt) (Quit: Leaving) |
| 2022-10-22 14:56:16 +0200 | shapr | (~user@2a02:8106:31:b200:57e:c5de:a80c:a748) (Ping timeout: 250 seconds) |
| 2022-10-22 14:58:04 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-22 15:00:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-10-22 15:02:20 +0200 | freeside | (~mengwong@101.100.175.180) (Ping timeout: 250 seconds) |
| 2022-10-22 15:02:20 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-22 15:02:20 +0200 | <fendor[m]> | I have no idea what other info to include... ghc 8.10.7? It is basically two scripts, one uses tasty, imports the other file and then runs some tests. The other file is written by students to might include bogus stuff, and we use -fdefer-type-errors to make the testsuite survive missing functions |
| 2022-10-22 15:05:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-22 15:05:16 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-10-22 15:06:13 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-22 15:06:59 +0200 | mmhat | (~mmh@p200300f1c7337745ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-22 15:07:53 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-10-22 15:08:06 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-10-22 15:10:57 +0200 | img | (~img@user/img) |
| 2022-10-22 15:12:11 +0200 | beteigeuze | (~Thunderbi@89.187.168.55) |
| 2022-10-22 15:12:20 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 15:16:12 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) (Quit: Leaving) |
| 2022-10-22 15:16:18 +0200 | freeside | (~mengwong@101.100.175.180) |
| 2022-10-22 15:17:25 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 255 seconds) |
| 2022-10-22 15:21:08 +0200 | freeside | (~mengwong@101.100.175.180) (Ping timeout: 276 seconds) |
| 2022-10-22 15:21:09 +0200 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
| 2022-10-22 15:23:17 +0200 | hololeap | (~quassel@user/hololeap) |
| 2022-10-22 15:24:07 +0200 | boxscape_ | (~boxscape_@81.191.27.107) |
| 2022-10-22 15:24:29 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-22 15:25:29 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-10-22 15:26:55 +0200 | beteigeuze1 | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-10-22 15:26:59 +0200 | beteigeuze | (~Thunderbi@89.187.168.55) (Ping timeout: 276 seconds) |
| 2022-10-22 15:27:00 +0200 | beteigeuze1 | beteigeuze |
| 2022-10-22 15:28:57 +0200 | sameer | (~sameer@2409:4070:219d:3605::3d6:50ad) |
| 2022-10-22 15:30:38 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-22 15:31:19 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-10-22 15:31:51 +0200 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) |
| 2022-10-22 15:32:21 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 15:32:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-22 15:32:36 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-10-22 15:35:07 +0200 | freeside | (~mengwong@101.100.175.180) |
| 2022-10-22 15:40:19 +0200 | freeside | (~mengwong@101.100.175.180) (Ping timeout: 272 seconds) |
| 2022-10-22 15:40:20 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-10-22 15:41:33 +0200 | freeside | (~mengwong@101.100.175.180) |
| 2022-10-22 15:41:35 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2022-10-22 15:42:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-22 15:50:43 +0200 | tomgus1 | (~tomgus1@2e40cd7e.skybroadband.com) |
| 2022-10-22 15:51:35 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-22 15:53:45 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2022-10-22 15:54:33 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-22 15:54:46 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2022-10-22 16:01:51 +0200 | freeside | (~mengwong@101.100.175.180) (Ping timeout: 272 seconds) |
| 2022-10-22 16:06:19 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 16:07:09 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-10-22 16:11:05 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 16:11:20 +0200 | freeside | (~mengwong@101.100.175.180) |
| 2022-10-22 16:11:52 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-10-22 16:13:30 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-22 16:15:16 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-22 16:15:54 +0200 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-10-22 16:18:19 +0200 | freeside | (~mengwong@101.100.175.180) (Ping timeout: 272 seconds) |
| 2022-10-22 16:26:56 +0200 | Topsi | (~Topsi@dyndsl-095-033-094-034.ewe-ip-backbone.de) |
| 2022-10-22 16:29:54 +0200 | ddellacosta | (~ddellacos@89.45.224.208) |
| 2022-10-22 16:32:24 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-22 16:32:42 +0200 | freeside | (~mengwong@101.100.175.180) |
| 2022-10-22 16:34:47 +0200 | ddellacosta | (~ddellacos@89.45.224.208) (Ping timeout: 272 seconds) |
| 2022-10-22 16:35:01 +0200 | razetime | (~quassel@49.207.192.79) |
| 2022-10-22 16:35:30 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-22 16:36:13 +0200 | ddellacosta | (~ddellacos@143.244.47.89) |
| 2022-10-22 16:38:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-10-22 16:39:13 +0200 | freeside | (~mengwong@101.100.175.180) (Ping timeout: 272 seconds) |
| 2022-10-22 16:39:20 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-22 16:43:02 +0200 | ddellacosta | (~ddellacos@143.244.47.89) (Ping timeout: 276 seconds) |
| 2022-10-22 16:44:26 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 16:44:30 +0200 | ddellacosta | (~ddellacos@89.45.224.100) |
| 2022-10-22 16:48:56 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 16:49:32 +0200 | ddellacosta | (~ddellacos@89.45.224.100) (Ping timeout: 276 seconds) |
| 2022-10-22 16:49:48 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-22 16:50:49 +0200 | ddellacosta | (~ddellacos@89.45.224.100) |
| 2022-10-22 16:55:37 +0200 | ddellacosta | (~ddellacos@89.45.224.100) (Ping timeout: 260 seconds) |
| 2022-10-22 17:02:32 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 17:05:31 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-10-22 17:05:33 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-10-22 17:06:35 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-22 17:06:53 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 17:07:08 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-10-22 17:08:33 +0200 | freeside | (~mengwong@101.100.175.180) |
| 2022-10-22 17:10:17 +0200 | dolio | (~dolio@130.44.130.54) (Client Quit) |
| 2022-10-22 17:10:21 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-10-22 17:11:01 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 17:14:48 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-10-22 17:17:45 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) |
| 2022-10-22 17:18:09 +0200 | polo | Guest7154 |
| 2022-10-22 17:19:14 +0200 | <MangoIV[m]> | <c_wraith> "MangoIV: https://hackage.haskell..." <- Thank you very much! |
| 2022-10-22 17:19:20 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 17:22:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) (Ping timeout: 272 seconds) |
| 2022-10-22 17:50:32 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-22 17:53:14 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-22 17:54:47 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-22 17:59:59 +0200 | ddellacosta | (~ddellacos@86.106.143.117) |
| 2022-10-22 18:01:36 +0200 | Buliarous | (~gypsydang@46.232.210.139) |
| 2022-10-22 18:04:20 +0200 | ddellacosta | (~ddellacos@86.106.143.117) (Ping timeout: 250 seconds) |
| 2022-10-22 18:06:19 +0200 | ddellacosta | (~ddellacos@143.244.47.76) |
| 2022-10-22 18:10:24 +0200 | freeside | (~mengwong@101.100.175.180) (Ping timeout: 250 seconds) |
| 2022-10-22 18:10:34 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-22 18:10:52 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 18:11:45 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-10-22 18:15:05 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 18:17:00 +0200 | Neuromancer | (~Neuromanc@user/neuromancer) (Ping timeout: 272 seconds) |
| 2022-10-22 18:20:50 +0200 | Noobprogrammer | (~Noobprogr@85-76-47-141-nat.elisa-mobile.fi) |
| 2022-10-22 18:22:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-22 18:24:26 +0200 | ddellacosta | (~ddellacos@143.244.47.76) (Ping timeout: 276 seconds) |
| 2022-10-22 18:26:10 +0200 | ddellacosta | (~ddellacos@89.45.224.156) |
| 2022-10-22 18:26:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-10-22 18:26:20 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-10-22 18:26:20 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-10-22 18:26:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-10-22 18:26:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-10-22 18:26:20 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-10-22 18:26:20 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-10-22 18:26:47 +0200 | califax | (~califax@user/califx) |
| 2022-10-22 18:26:47 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-22 18:26:57 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-10-22 18:27:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-10-22 18:27:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-22 18:27:50 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-22 18:28:53 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 18:29:50 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-10-22 18:30:10 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-22 18:32:48 +0200 | Noobprogrammer | (~Noobprogr@85-76-47-141-nat.elisa-mobile.fi) (Quit: Ping timeout (120 seconds)) |
| 2022-10-22 18:33:13 +0200 | ddellacosta | (~ddellacos@89.45.224.156) (Ping timeout: 272 seconds) |
| 2022-10-22 18:34:37 +0200 | ddellacosta | (~ddellacos@89.45.224.234) |
| 2022-10-22 18:38:15 +0200 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-10-22 18:39:00 +0200 | ddellacosta | (~ddellacos@89.45.224.234) (Ping timeout: 250 seconds) |
| 2022-10-22 18:39:10 +0200 | <Topsi> | Where can I find the latest decision/status update/discussion with respect to removing return from Monad? |
| 2022-10-22 18:40:49 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 2022-10-22 18:41:04 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-22 18:41:16 +0200 | ddellacosta | (~ddellacos@89.46.62.169) |
| 2022-10-22 18:41:20 +0200 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 276 seconds) |
| 2022-10-22 18:41:22 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 18:42:45 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-22 18:45:34 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 18:47:01 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-10-22 18:48:11 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) |
| 2022-10-22 18:48:42 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-22 18:49:05 +0200 | axeman | (~quassel@2a02:8109:a380:78:fcf5:6584:2b7b:812) |
| 2022-10-22 18:49:08 +0200 | ddellacosta | (~ddellacos@89.46.62.169) (Ping timeout: 276 seconds) |
| 2022-10-22 18:49:18 +0200 | <geekosaur> | Topsi, nothing that I can determine has happened since 2017. as I understand it, the current sticking point is you can't use GeneralisedNewtypeDeriving to derive Monad with the new setup? and nobody's come up with a good workaround/fix yet? |
| 2022-10-22 18:49:44 +0200 | <geekosaur> | or is that the Join-based one? |
| 2022-10-22 18:49:49 +0200 | <geekosaur> | er, join* |
| 2022-10-22 18:50:14 +0200 | <geekosaur> | we have too many potential proposals in flight and they're all stalled as far as I can tell |
| 2022-10-22 18:50:37 +0200 | ddellacosta | (~ddellacos@89.45.224.195) |
| 2022-10-22 18:51:01 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-10-22 18:52:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-22 18:52:43 +0200 | <geekosaur> | there was also significant backlash at too many non-backward-compatible changes in too short a time, although the proposal was reworked to provide better backward compatibility |
| 2022-10-22 18:52:43 +0200 | econo | (uid147250@user/econo) |
| 2022-10-22 18:53:34 +0200 | <Topsi> | All I can find is the wiki entry in the GHC repository. I am wondering whether the CLC has discussed this since -Wnoncanonical-monad-instances is now enabled by default in GHC 9.2. |
| 2022-10-22 18:53:41 +0200 | axeman | (~quassel@2a02:8109:a380:78:fcf5:6584:2b7b:812) (Ping timeout: 276 seconds) |
| 2022-10-22 18:54:08 +0200 | <geekosaur> | I'm on their mailing list and have seen no such discussion |
| 2022-10-22 18:54:26 +0200 | <geekosaur> | they may have more private discussion channels though |
| 2022-10-22 18:54:30 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-10-22 18:54:53 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-10-22 18:55:13 +0200 | jrm | (~jrm@user/jrm) (Remote host closed the connection) |
| 2022-10-22 18:56:12 +0200 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) |
| 2022-10-22 18:56:22 +0200 | jrm | (~jrm@user/jrm) |
| 2022-10-22 18:56:23 +0200 | <Topsi> | and yes, I think the GeneralizedNewtypeDeriving issue was related to whether join belongs to Monad |
| 2022-10-22 18:56:40 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-22 18:56:40 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-22 18:56:40 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-22 18:58:04 +0200 | ddellacosta | (~ddellacos@89.45.224.195) (Ping timeout: 250 seconds) |
| 2022-10-22 18:58:14 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:e97e:ce1a:5805:da9d) (Ping timeout: 276 seconds) |
| 2022-10-22 18:59:56 +0200 | ddellacosta | (~ddellacos@89.45.224.100) |
| 2022-10-22 19:07:46 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-22 19:07:57 +0200 | danza | (~francesco@151.47.47.90) |
| 2022-10-22 19:11:58 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-22 19:13:25 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org) |
| 2022-10-22 19:13:39 +0200 | razetime | (~quassel@49.207.192.79) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-22 19:15:13 +0200 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-10-22 19:16:32 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-22 19:16:34 +0200 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-22 19:17:44 +0200 | ddellacosta | (~ddellacos@89.45.224.100) (Ping timeout: 276 seconds) |
| 2022-10-22 19:21:17 +0200 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-22 19:21:42 +0200 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-22 19:22:35 +0200 | Lumia | (~Lumia@user/Lumia) |
| 2022-10-22 19:23:35 +0200 | <hololeap> | why would you remove return from monad? |
| 2022-10-22 19:24:02 +0200 | robertm | (robertm@lattice.rojoma.com) (Quit: WeeChat 3.0) |
| 2022-10-22 19:24:10 +0200 | robertm | (robertm@lattice.rojoma.com) |
| 2022-10-22 19:24:23 +0200 | <hololeap> | I get that it has been superceded by pure, but return is one of the natural transformations that define a monad |
| 2022-10-22 19:25:24 +0200 | <hololeap> | and it's referenced a ton in tutorials/whatnot |
| 2022-10-22 19:26:05 +0200 | <monochrom> | The alternative view is "I get that it's one of the ..., but it has been superceded". |
| 2022-10-22 19:26:05 +0200 | <hololeap> | it's not hurting anything by its existence |
| 2022-10-22 19:26:32 +0200 | <geekosaur> | once removed it would be brought back as a global using the Applicative definition, and ghc would be modified to quietly ignore `instance Applicative X => Monad X where return = pure; ...` |
| 2022-10-22 19:26:52 +0200 | <monochrom> | The tie breaker though can be what you point out about existing tutorials. |
| 2022-10-22 19:27:06 +0200 | <geekosaur> | and potentially it is hurting something because by existing it allows someone to define return differently from pure, which breaks the laws |
| 2022-10-22 19:27:29 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-10-22 19:28:18 +0200 | <hololeap> | I get it, but it seems to me like a real nitpick that doesn't cause any real-world problems |
| 2022-10-22 19:28:26 +0200 | <hololeap> | I could be wrong, of course |
| 2022-10-22 19:28:57 +0200 | <monochrom> | Isn't this why no one has really acted on it? :) |
| 2022-10-22 19:29:12 +0200 | <hololeap> | fair enough, I just hadn't heard of the debate until now |
| 2022-10-22 19:29:57 +0200 | <monochrom> | someone has a thought => someone posts a proposal => but it's pretty bland and meh => 10 years and nothing happens |
| 2022-10-22 19:30:05 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 276 seconds) |
| 2022-10-22 19:30:07 +0200 | <geekosaur> | actually it *is* being acted on. -Wnoncanonical-monad-instances is default as of 9.2 |
| 2022-10-22 19:30:22 +0200 | <geekosaur> | which means you get a warning if your return isn't the same as pure |
| 2022-10-22 19:30:45 +0200 | <hololeap> | *that* seems like the reasonable solution |
| 2022-10-22 19:30:47 +0200 | <geekosaur> | so it's moving, just slowly |
| 2022-10-22 19:31:56 +0200 | <hololeap> | I suppose the other issue is that people expect it to act like return from other languages, which is more what guard does in haskell |
| 2022-10-22 19:32:18 +0200 | <hololeap> | assuming it's a MonadPlus |
| 2022-10-22 19:32:36 +0200 | <geekosaur> | actually that won't be affected |
| 2022-10-22 19:32:50 +0200 | <geekosaur> | the ultimate resolution has a global `return = pure` |
| 2022-10-22 19:33:02 +0200 | <geekosaur> | so it'll still be there, just not part of Monad any more |
| 2022-10-22 19:33:26 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-10-22 19:34:17 +0200 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-22 19:34:35 +0200 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-22 19:36:03 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2022-10-22 19:37:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-22 19:37:45 +0200 | lagash | (lagash@lagash.shelltalk.net) |
| 2022-10-22 19:39:12 +0200 | jocke-l | (jocke-l@a.x0.is) (Quit: WeeChat 3.0) |
| 2022-10-22 19:39:26 +0200 | jocke-l | (jocke-l@a.x0.is) |
| 2022-10-22 19:42:57 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-10-22 19:44:27 +0200 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) (Quit: Leaving.) |
| 2022-10-22 19:45:25 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-22 19:46:25 +0200 | <fendor[m]> | Ok, now I have a minimal reproducible example. https://paste.tomsmeding.com/MeBh6Jr9 This works with ghc-8.6.5, but not with ghc 8.10.7. What's going on here? |
| 2022-10-22 19:48:22 +0200 | <fendor[m]> | added a comment that the code is run with '-fdefer-type-errors' https://paste.tomsmeding.com/BCRtMNjA |
| 2022-10-22 19:49:07 +0200 | Lumia | (~Lumia@user/Lumia) (Quit: ,-) |
| 2022-10-22 19:49:27 +0200 | <geekosaur> | basically what it says, I think? you have an explicit signature minus `HasCallStack` constraint, whereas `error` these days is `errorWithStackTrace` and expects `HasCallStack` |
| 2022-10-22 19:49:57 +0200 | <geekosaur> | in 8.6.5 it just gave a truncated stack trace |
| 2022-10-22 19:51:35 +0200 | danza | (~francesco@151.47.47.90) (Read error: Connection reset by peer) |
| 2022-10-22 19:52:17 +0200 | <geekosaur> | I suspect this means defer-type-errors doesn't play well with CallStacks |
| 2022-10-22 19:52:32 +0200 | <geekosaur> | might be a question for #ghc |
| 2022-10-22 19:52:43 +0200 | <fendor[m]> | 8.6.5 comes with 4.12.0.0 which should already have a HasCallStack instance https://hackage.haskell.org/package/base-4.12.0.0/docs/Prelude.html#v:error |
| 2022-10-22 19:53:18 +0200 | <geekosaur> | but `fun` is just `Int -> Int`, not `HasCallStack => Int -> Int` |
| 2022-10-22 19:53:51 +0200 | <fendor[m]> | right, but so far this didn't matter |
| 2022-10-22 19:54:07 +0200 | <fendor[m]> | I can try adding this plugin that adds a HasCallStack constraint to all top-level functions |
| 2022-10-22 19:54:24 +0200 | <geekosaur> | that's what O was saying. in 8.6.5 it didn't, in 8.10.7 I think error now demands it |
| 2022-10-22 19:55:01 +0200 | <geekosaur> | which is why I suggested defer-type-errors doesn't play well with the callstack stuff, because it seems like this should be deferred but implicit parameters are odd beasts |
| 2022-10-22 19:55:16 +0200 | <geekosaur> | they're parameters that look like type constraints |
| 2022-10-22 19:55:17 +0200 | <fendor[m]> | no wait, it works if you delete `bar`, which uses the unknown function |
| 2022-10-22 19:55:18 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 19:56:03 +0200 | <fendor[m]> | but yeah, maybe it is a weird interaction with defer-type-errors and implicit params |
| 2022-10-22 19:56:17 +0200 | <fendor[m]> | Going to ask in ghc irc |
| 2022-10-22 19:56:21 +0200 | <geekosaur> | HasCallStack is a highly magical implicit param |
| 2022-10-22 19:56:52 +0200 | <geekosaur> | if you call a function that has a HasCallStack constraint, as bar does, ghc inserts a callstack entry automatically |
| 2022-10-22 19:57:14 +0200 | <geekosaur> | into the call of fun from bar |
| 2022-10-22 19:57:45 +0200 | <geekosaur> | this is what's going wrong in my read, possibly because of defer-type-errors interfering with the weird HasCallStack machinery |
| 2022-10-22 19:58:02 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-10-22 19:58:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-22 19:58:24 +0200 | <fendor[m]> | but bar isn't called at all |
| 2022-10-22 19:58:40 +0200 | <fendor[m]> | I am trying again with ghc 9.4.2, then I am off the #ghc 😄 |
| 2022-10-22 19:59:17 +0200 | <fendor[m]> | ghc 9.4.2 works correctly again |
| 2022-10-22 19:59:28 +0200 | <fendor[m]> | that pains me |
| 2022-10-22 19:59:44 +0200 | <geekosaur> | doesn't matter, it's the codegen for its call to foo that does the mahic callstack stuff. or as here throws an exception instead |
| 2022-10-22 20:01:03 +0200 | acidjnk_new | (~acidjnk@p54ad5adb.dip0.t-ipconnect.de) |
| 2022-10-22 20:02:00 +0200 | <fendor[m]> | really confusing stuff, and I'd hoped to never interact with implicit parameters 😢 |
| 2022-10-22 20:02:12 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-10-22 20:03:39 +0200 | <fendor[m]> | I don't understand at all, do you think adding more HasCallStack constraints would help? |
| 2022-10-22 20:03:59 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-22 20:03:59 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-22 20:03:59 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-22 20:04:04 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-22 20:04:14 +0200 | odnes | (~odnes@5-203-189-165.pat.nym.cosmote.net) |
| 2022-10-22 20:04:17 +0200 | odnes | (~odnes@5-203-189-165.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-10-22 20:04:28 +0200 | <geekosaur> | I'm partly worried it would just bubble the problem into HUnit |
| 2022-10-22 20:05:07 +0200 | <fendor[m]> | it seems to be working |
| 2022-10-22 20:08:42 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds) |
| 2022-10-22 20:11:33 +0200 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
| 2022-10-22 20:12:40 +0200 | hololeap | (~quassel@user/hololeap) |
| 2022-10-22 20:15:22 +0200 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-10-22 20:17:13 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-10-22 20:18:59 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-22 20:19:17 +0200 | ddellacosta | (~ddellacos@static-198-44-136-122.cust.tzulo.com) |
| 2022-10-22 20:23:23 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-10-22 20:24:19 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 20:24:44 +0200 | ddellacosta | (~ddellacos@static-198-44-136-122.cust.tzulo.com) (Ping timeout: 250 seconds) |
| 2022-10-22 20:25:37 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-22 20:25:57 +0200 | [exa] | (exa@user/exa/x-3587197) (Remote host closed the connection) |
| 2022-10-22 20:26:36 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-22 20:27:21 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-10-22 20:29:00 +0200 | jargon | (~jargon@184.101.208.112) (Remote host closed the connection) |
| 2022-10-22 20:29:56 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds) |
| 2022-10-22 20:30:45 +0200 | [exa] | (exa@user/exa/x-3587197) |
| 2022-10-22 20:36:05 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-10-22 20:38:44 +0200 | Guest7154 | polo |
| 2022-10-22 20:38:59 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 276 seconds) |
| 2022-10-22 20:40:25 +0200 | ddellacosta | (~ddellacos@86.106.143.195) |
| 2022-10-22 20:41:34 +0200 | danza | (~francesco@151.47.244.161) |
| 2022-10-22 20:41:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-22 20:44:58 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-22 20:45:35 +0200 | ddellacosta | (~ddellacos@86.106.143.195) (Ping timeout: 272 seconds) |
| 2022-10-22 20:46:42 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-22 20:48:10 +0200 | <geekosaur> | do you perhaps mean the `make…` functionality here https://hackage.haskell.org/package/deriving-compat-0.6.1/docs/Data-Deriving.html ? |
| 2022-10-22 20:48:21 +0200 | <geekosaur> | whioops, channel |
| 2022-10-22 20:50:01 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-22 20:51:08 +0200 | <geekosaur> | hah, not even irc, it was on -cafe. derp |
| 2022-10-22 20:51:10 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 250 seconds) |
| 2022-10-22 20:52:41 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-10-22 20:53:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-22 20:54:14 +0200 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2022-10-22 20:58:53 +0200 | ddellacosta | (~ddellacos@86.106.143.117) |
| 2022-10-22 20:59:47 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-10-22 21:02:35 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-10-22 21:03:41 +0200 | ddellacosta | (~ddellacos@86.106.143.117) (Ping timeout: 276 seconds) |
| 2022-10-22 21:03:44 +0200 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) |
| 2022-10-22 21:04:00 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-22 21:05:13 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-22 21:10:11 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-22 21:10:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-22 21:14:42 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-10-22 21:16:17 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-22 21:16:54 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.6) |
| 2022-10-22 21:17:22 +0200 | constxd | (~brad@104.129.159.227) |
| 2022-10-22 21:17:51 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-10-22 21:18:54 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-22 21:21:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-22 21:21:53 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 2022-10-22 21:22:35 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-22 21:25:32 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2022-10-22 21:26:51 +0200 | gawen | (~gawen@user/gawen) |
| 2022-10-22 21:27:27 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 21:29:12 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-10-22 21:29:24 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-10-22 21:31:38 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 276 seconds) |
| 2022-10-22 21:31:41 +0200 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 2022-10-22 21:32:20 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-22 21:32:58 +0200 | ddellacosta | (~ddellacos@89.45.224.130) |
| 2022-10-22 21:37:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-22 21:38:05 +0200 | polo | (sid532813@user/polo) () |
| 2022-10-22 21:38:50 +0200 | dolio | (~dolio@130.44.130.54) (Ping timeout: 250 seconds) |
| 2022-10-22 21:39:26 +0200 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 276 seconds) |
| 2022-10-22 21:40:03 +0200 | Guest6 | (~Guest6@host-79-35-170-83.retail.telecomitalia.it) |
| 2022-10-22 21:40:28 +0200 | <Guest6> | @pl \ f g x-> f $ g x |
| 2022-10-22 21:40:28 +0200 | <lambdabot> | (.) |
| 2022-10-22 21:40:36 +0200 | <Guest6> | @unpl (.) |
| 2022-10-22 21:40:36 +0200 | <lambdabot> | (\ f g x -> f (g x)) |
| 2022-10-22 21:40:44 +0200 | <Guest6> | @unpl (.)(.) |
| 2022-10-22 21:40:44 +0200 | <lambdabot> | (\ g x g0 x0 -> g x (g0 x0)) |
| 2022-10-22 21:40:55 +0200 | <Guest6> | @unpl (.).(.) |
| 2022-10-22 21:40:55 +0200 | <lambdabot> | (\ x g x0 x1 -> x (g x0 x1)) |
| 2022-10-22 21:41:05 +0200 | <Guest6> | @unpl ((.).(.)) |
| 2022-10-22 21:41:05 +0200 | <lambdabot> | (\ x g x0 x1 -> x (g x0 x1)) |
| 2022-10-22 21:41:12 +0200 | axeman | (~quassel@2a02:8109:a380:78:9f8:88b5:58b5:d2f3) |
| 2022-10-22 21:41:48 +0200 | <Guest6> | @unpl ((.)$(.)) |
| 2022-10-22 21:41:48 +0200 | <lambdabot> | (\ g x g0 x0 -> g x (g0 x0)) |
| 2022-10-22 21:42:00 +0200 | <Guest6> | @unpl (($)$(.)) |
| 2022-10-22 21:42:00 +0200 | <lambdabot> | (\ f g x -> f (g x)) |
| 2022-10-22 21:42:08 +0200 | <Guest6> | @unpl ((.)$($)) |
| 2022-10-22 21:42:08 +0200 | <lambdabot> | (\ g -> g) |
| 2022-10-22 21:42:15 +0200 | <Guest6> | @unpl (($)$($)) |
| 2022-10-22 21:42:15 +0200 | <lambdabot> | (\ f -> f) |
| 2022-10-22 21:42:23 +0200 | <Guest6> | @unpl (($).($)) |
| 2022-10-22 21:42:24 +0200 | <lambdabot> | (\ x -> x) |
| 2022-10-22 21:42:43 +0200 | pavonia | (~user@user/siracusa) |
| 2022-10-22 21:42:45 +0200 | <Guest6> | @unpl ... |
| 2022-10-22 21:42:45 +0200 | <lambdabot> | <unknown>.hs:1:1:Parse error: ... |
| 2022-10-22 21:43:09 +0200 | <Guest6> | @unpl (...) |
| 2022-10-22 21:43:09 +0200 | <lambdabot> | (...) |
| 2022-10-22 21:43:23 +0200 | michalz | (~michalz@185.246.207.221) |
| 2022-10-22 21:43:24 +0200 | <Guest6> | @unpl <$ |
| 2022-10-22 21:43:24 +0200 | <lambdabot> | <unknown>.hs:1:1:Parse error: <$ |
| 2022-10-22 21:43:37 +0200 | <Guest6> | @unpl (<$) |
| 2022-10-22 21:43:38 +0200 | <lambdabot> | (<$) |
| 2022-10-22 21:43:44 +0200 | <Guest6> | @unpl (<$>) |
| 2022-10-22 21:43:44 +0200 | <lambdabot> | (<$>) |
| 2022-10-22 21:44:08 +0200 | <Guest6> | @unpl (&) |
| 2022-10-22 21:44:08 +0200 | <lambdabot> | (&) |
| 2022-10-22 21:44:15 +0200 | <Guest6> | @unpl ($) |
| 2022-10-22 21:44:15 +0200 | <lambdabot> | (\ f -> f) |
| 2022-10-22 21:44:23 +0200 | <boxscape_> | Guest6: fyi, you can also experiment with lambdabot in private messages if you prefer |
| 2022-10-22 21:44:44 +0200 | <Guest6> | boxscape_ how do i do that? |
| 2022-10-22 21:45:06 +0200 | <boxscape_> | Guest6: type "/query lambdabot" and a private message tab should probably open |
| 2022-10-22 21:45:26 +0200 | <Guest6> | boxscape_ thanks |
| 2022-10-22 21:46:23 +0200 | constxd | (~brad@104.129.159.227) (Ping timeout: 272 seconds) |
| 2022-10-22 21:46:48 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-22 21:47:25 +0200 | dolio | (~dolio@130.44.134.54) |
| 2022-10-22 21:47:46 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-22 21:48:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-22 21:48:55 +0200 | ddellacosta | (~ddellacos@89.45.224.130) (Ping timeout: 272 seconds) |
| 2022-10-22 21:50:37 +0200 | ddellacosta | (~ddellacos@86.106.143.195) |
| 2022-10-22 21:53:55 +0200 | drlkf | (~drlkf@chat.drlkf.net) (Quit: drlkf) |
| 2022-10-22 21:54:14 +0200 | drlkf | (~drlkf@chat.drlkf.net) |
| 2022-10-22 21:56:02 +0200 | ddellacosta | (~ddellacos@86.106.143.195) (Ping timeout: 260 seconds) |
| 2022-10-22 21:57:55 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-22 22:00:20 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-22 22:01:44 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-22 22:02:14 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 250 seconds) |
| 2022-10-22 22:04:14 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-22 22:05:23 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-22 22:05:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-22 22:07:30 +0200 | codolio | (~dolio@130.44.134.54) |
| 2022-10-22 22:08:18 +0200 | dolio | (~dolio@130.44.134.54) (Ping timeout: 250 seconds) |
| 2022-10-22 22:10:51 +0200 | <hololeap> | geekosaur: derps happen. be ready. |
| 2022-10-22 22:10:52 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) (Remote host closed the connection) |
| 2022-10-22 22:11:16 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-10-22 22:11:57 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-22 22:13:30 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 250 seconds) |
| 2022-10-22 22:13:56 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-22 22:15:07 +0200 | Kaipei | (~Kaiepi@108.175.84.104) |
| 2022-10-22 22:16:01 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2022-10-22 22:16:16 +0200 | HackingSpring | (~haru@201-27-75-20.dsl.telesp.net.br) |
| 2022-10-22 22:17:54 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 22:19:05 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 276 seconds) |
| 2022-10-22 22:19:19 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) (Ping timeout: 272 seconds) |
| 2022-10-22 22:19:38 +0200 | Kaipii | (~Kaiepi@108.175.84.104) |
| 2022-10-22 22:20:17 +0200 | ddellacosta | (~ddellacos@89.45.224.78) |
| 2022-10-22 22:21:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-22 22:22:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) (Remote host closed the connection) |
| 2022-10-22 22:22:52 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-10-22 22:23:45 +0200 | Kaipei | (~Kaiepi@108.175.84.104) (Ping timeout: 272 seconds) |
| 2022-10-22 22:26:07 +0200 | Kaipei | (~Kaiepi@108.175.84.104) |
| 2022-10-22 22:26:14 +0200 | Kaipii | (~Kaiepi@108.175.84.104) (Ping timeout: 276 seconds) |
| 2022-10-22 22:26:17 +0200 | ddellacosta | (~ddellacos@89.45.224.78) (Ping timeout: 272 seconds) |
| 2022-10-22 22:28:58 +0200 | ddellacosta | (~ddellacos@89.45.224.156) |
| 2022-10-22 22:30:05 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) (Ping timeout: 272 seconds) |
| 2022-10-22 22:30:50 +0200 | Guest6 | (~Guest6@host-79-35-170-83.retail.telecomitalia.it) (Ping timeout: 244 seconds) |
| 2022-10-22 22:32:30 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-22 22:34:02 +0200 | ddellacosta | (~ddellacos@89.45.224.156) (Ping timeout: 276 seconds) |
| 2022-10-22 22:35:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c567:3589:9f8f:b6ad) |
| 2022-10-22 22:36:13 +0200 | polo | (sid532813@user/polo) |
| 2022-10-22 22:36:39 +0200 | ddellacosta | (~ddellacos@89.45.224.39) |
| 2022-10-22 22:37:57 +0200 | rburkholder | (~blurb@96.45.2.121) (Remote host closed the connection) |
| 2022-10-22 22:38:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-22 22:40:36 +0200 | rawles | (~x@user/rawles) (Quit: leaving) |
| 2022-10-22 22:44:22 +0200 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Quit: leaving) |
| 2022-10-22 22:46:33 +0200 | ddellacosta | (~ddellacos@89.45.224.39) (Ping timeout: 272 seconds) |
| 2022-10-22 22:47:57 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-22 22:51:52 +0200 | mmhat | (~mmh@p200300f1c7337745ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-10-22 22:52:04 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 250 seconds) |
| 2022-10-22 22:52:27 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-22 22:52:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-22 22:54:08 +0200 | polo | money |
| 2022-10-22 22:56:50 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 250 seconds) |
| 2022-10-22 22:59:07 +0200 | ddellacosta | (~ddellacos@89.45.224.195) |
| 2022-10-22 23:00:30 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 268 seconds) |
| 2022-10-22 23:03:28 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-10-22 23:03:46 +0200 | ddellacosta | (~ddellacos@89.45.224.195) (Ping timeout: 250 seconds) |
| 2022-10-22 23:05:38 +0200 | mmhat | (~mmh@p200300f1c7337734ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-22 23:05:47 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-22 23:06:11 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-22 23:06:37 +0200 | tomgus1 | (~tomgus1@2e40cd7e.skybroadband.com) (Read error: Connection reset by peer) |
| 2022-10-22 23:07:42 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 23:07:59 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2022-10-22 23:10:26 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 276 seconds) |
| 2022-10-22 23:12:07 +0200 | ddellacosta | (~ddellacos@89.45.224.234) |
| 2022-10-22 23:13:45 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-10-22 23:14:48 +0200 | rockystone | (~rocky@user/rockymarine) (Remote host closed the connection) |
| 2022-10-22 23:15:02 +0200 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 250 seconds) |
| 2022-10-22 23:15:31 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 23:15:54 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-22 23:16:25 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-10-22 23:16:57 +0200 | ddellacosta | (~ddellacos@89.45.224.234) (Ping timeout: 272 seconds) |
| 2022-10-22 23:18:27 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-22 23:18:38 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-22 23:19:01 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-10-22 23:19:34 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-10-22 23:19:34 +0200 | jinsun | Guest3524 |
| 2022-10-22 23:19:34 +0200 | Guest3524 | (~jinsun@user/jinsun) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 2022-10-22 23:19:34 +0200 | jinsun__ | jinsun |
| 2022-10-22 23:20:11 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 276 seconds) |
| 2022-10-22 23:20:23 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-10-22 23:20:23 +0200 | sameer | (~sameer@2409:4070:219d:3605::3d6:50ad) (Remote host closed the connection) |
| 2022-10-22 23:21:27 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-10-22 23:23:17 +0200 | danza | (~francesco@151.47.244.161) (Read error: Connection reset by peer) |
| 2022-10-22 23:23:52 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-22 23:24:05 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-10-22 23:29:16 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-10-22 23:29:21 +0200 | merijn | (~merijn@c-001-001-011.client.esciencecenter.eduvpn.nl) (Read error: Connection reset by peer) |
| 2022-10-22 23:31:36 +0200 | merijn | (~merijn@c-001-001-011.client.esciencecenter.eduvpn.nl) |
| 2022-10-22 23:32:47 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 272 seconds) |
| 2022-10-22 23:34:00 +0200 | biberu | (~biberu@user/biberu) |
| 2022-10-22 23:35:24 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-22 23:39:55 +0200 | danza | (~francesco@151.47.244.161) |
| 2022-10-22 23:40:36 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 250 seconds) |
| 2022-10-22 23:42:42 +0200 | ddellacosta | (~ddellacos@89.45.224.39) |
| 2022-10-22 23:44:10 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-10-22 23:47:58 +0200 | ddellacosta | (~ddellacos@89.45.224.39) (Ping timeout: 250 seconds) |
| 2022-10-22 23:50:02 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-10-22 23:53:49 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 2022-10-22 23:54:57 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 272 seconds) |
| 2022-10-22 23:56:22 +0200 | ddellacosta | (~ddellacos@static-198-44-136-122.cust.tzulo.com) |