| 2022-11-09 00:01:03 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-09 00:01:41 +0100 | Topsi | (~Topsi@ipb218f755.dynamic.kabel-deutschland.de) (Quit: Leaving.) |
| 2022-11-09 00:03:03 +0100 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: Ping timeout (120 seconds)) |
| 2022-11-09 00:03:21 +0100 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2022-11-09 00:17:13 +0100 | <sm> | @where+ numbers https://blog.plover.com/prog/haskell/numbers.html A map of Haskell's numeric types |
| 2022-11-09 00:17:13 +0100 | <lambdabot> | Done. |
| 2022-11-09 00:17:31 +0100 | chomwitt | (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds) |
| 2022-11-09 00:18:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-09 00:20:30 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Ping timeout: 260 seconds) |
| 2022-11-09 00:31:30 +0100 | slac75772 | (~slack1256@191.126.227.81) (Remote host closed the connection) |
| 2022-11-09 00:33:13 +0100 | Guest75 | (~Guest75@178.141.177.81) (Ping timeout: 260 seconds) |
| 2022-11-09 00:33:47 +0100 | myme | (~myme@40.51-175-185.customer.lyse.net) |
| 2022-11-09 00:35:37 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-11-09 00:40:01 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7137a91c8a7e6211d36bcc5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-11-09 00:42:40 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-09 00:47:43 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-11-09 00:47:59 +0100 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Remote host closed the connection) |
| 2022-11-09 00:48:24 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-11-09 00:50:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-09 00:57:12 +0100 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 252 seconds) |
| 2022-11-09 00:57:15 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-09 00:59:13 +0100 | <Axman6> | @hoogle Traversable t => t a -> Maybe a |
| 2022-11-09 00:59:13 +0100 | <lambdabot> | Generic.Data.Internal.Utils coerce' :: Coercible (f x) (g x) => f x -> g x |
| 2022-11-09 00:59:14 +0100 | <lambdabot> | Protolude head :: Foldable f => f a -> Maybe a |
| 2022-11-09 00:59:14 +0100 | <lambdabot> | Protolude.List head :: Foldable f => f a -> Maybe a |
| 2022-11-09 01:04:15 +0100 | Kaipii | (~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds) |
| 2022-11-09 01:06:19 +0100 | king_gs | (~Thunderbi@187.201.83.115) |
| 2022-11-09 01:10:51 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-09 01:10:54 +0100 | king_gs | (~Thunderbi@187.201.83.115) (Ping timeout: 260 seconds) |
| 2022-11-09 01:12:43 +0100 | titibandit | (~titibandi@xdsl-87-78-8-6.nc.de) (Remote host closed the connection) |
| 2022-11-09 01:15:46 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-11-09 01:16:06 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-11-09 01:17:11 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-09 01:18:31 +0100 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-11-09 01:21:07 +0100 | bsima | (~bsima@143.198.118.179) |
| 2022-11-09 01:21:36 +0100 | <Axman6> | @pl expand m = m >>= \(a, bs) -> map (a,) bs |
| 2022-11-09 01:21:36 +0100 | <lambdabot> | (line 1, column 11): |
| 2022-11-09 01:21:36 +0100 | <lambdabot> | unexpected " " |
| 2022-11-09 01:21:36 +0100 | <lambdabot> | expecting operator |
| 2022-11-09 01:21:44 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 246 seconds) |
| 2022-11-09 01:22:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-11-09 01:24:27 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-11-09 01:28:51 +0100 | Buliarous | (~gypsydang@46.232.210.139) |
| 2022-11-09 01:29:20 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 260 seconds) |
| 2022-11-09 01:31:45 +0100 | <Axman6> | @pl \(a, bs) -> map (a,) bs |
| 2022-11-09 01:31:45 +0100 | <lambdabot> | (line 1, column 19): |
| 2022-11-09 01:31:45 +0100 | <lambdabot> | unexpected "," |
| 2022-11-09 01:31:45 +0100 | <lambdabot> | expecting letter or digit, variable, "(", operator or ")" |
| 2022-11-09 01:33:52 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-09 01:39:56 +0100 | cstml | (~cstml@cpc151611-shef16-2-0-cust313.17-1.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-11-09 01:41:25 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-11-09 01:41:33 +0100 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d) |
| 2022-11-09 01:41:43 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-11-09 01:46:42 +0100 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d) (Ping timeout: 252 seconds) |
| 2022-11-09 02:01:04 +0100 | causal | (~user@50.35.83.177) |
| 2022-11-09 02:04:25 +0100 | razetime | (~quassel@117.193.5.245) |
| 2022-11-09 02:11:19 +0100 | xff0x | (~xff0x@2405:6580:b080:900:88f3:132d:4c04:2bb3) (Ping timeout: 252 seconds) |
| 2022-11-09 02:12:53 +0100 | money | polo |
| 2022-11-09 02:13:01 +0100 | polo | money |
| 2022-11-09 02:15:43 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 252 seconds) |
| 2022-11-09 02:16:26 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::4b68) |
| 2022-11-09 02:17:59 +0100 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 260 seconds) |
| 2022-11-09 02:22:37 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-09 02:37:35 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-09 02:38:30 +0100 | king_gs | (~Thunderbi@187.201.83.115) |
| 2022-11-09 02:42:15 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 2022-11-09 02:43:18 +0100 | razetime | (~quassel@117.193.5.245) (Remote host closed the connection) |
| 2022-11-09 02:48:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) |
| 2022-11-09 02:49:07 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-09 02:51:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-11-09 02:53:03 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-09 02:53:07 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-09 02:53:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) (Ping timeout: 260 seconds) |
| 2022-11-09 02:55:40 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 260 seconds) |
| 2022-11-09 02:56:29 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-09 02:56:29 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-11-09 02:57:31 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 2022-11-09 02:58:15 +0100 | king_gs | (~Thunderbi@187.201.83.115) (Read error: Connection reset by peer) |
| 2022-11-09 02:58:48 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 2022-11-09 03:00:41 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-11-09 03:01:02 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-11-09 03:05:31 +0100 | thegeekinside | (~thegeekin@189.180.92.220) (Ping timeout: 248 seconds) |
| 2022-11-09 03:11:38 +0100 | <jackdk> | @pl \(a, bs) -> map (\x -> (a,x)) bs |
| 2022-11-09 03:11:38 +0100 | <lambdabot> | uncurry (map . (,)) |
| 2022-11-09 03:13:35 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-09 03:15:26 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-09 03:18:23 +0100 | rburkholder | (~blurb@96.45.2.121) (Remote host closed the connection) |
| 2022-11-09 03:18:49 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-11-09 03:35:52 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-11-09 03:38:05 +0100 | mmhat | (~mmh@p200300f1c70f4195ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1) |
| 2022-11-09 03:43:10 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Ping timeout: 252 seconds) |
| 2022-11-09 04:04:21 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-11-09 04:13:26 +0100 | phileasfogg | (~phileasfo@user/phileasfogg) (Ping timeout: 255 seconds) |
| 2022-11-09 04:14:13 +0100 | mshv22 | (~mshv22@76.115.19.239) |
| 2022-11-09 04:14:34 +0100 | phileasfogg | (~phileasfo@user/phileasfogg) |
| 2022-11-09 04:15:04 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 2022-11-09 04:16:02 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-09 04:17:12 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-09 04:17:46 +0100 | td_ | (~td@83.135.9.57) (Ping timeout: 252 seconds) |
| 2022-11-09 04:18:55 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-11-09 04:19:36 +0100 | td_ | (~td@83.135.9.26) |
| 2022-11-09 04:19:43 +0100 | money | (sid532813@user/polo) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 2022-11-09 04:20:29 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-09 04:22:05 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) |
| 2022-11-09 04:28:31 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::4b68) |
| 2022-11-09 04:31:31 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-11-09 04:31:31 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-09 04:31:31 +0100 | finn_elija | FinnElija |
| 2022-11-09 04:32:21 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-11-09 04:33:08 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-09 04:37:37 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 2022-11-09 04:44:20 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-11-09 04:45:40 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-11-09 04:51:55 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-11-09 05:02:36 +0100 | Guest6535 | (sid532813@id-532813.tinside.irccloud.com) |
| 2022-11-09 05:02:55 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds) |
| 2022-11-09 05:06:29 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-09 05:14:12 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 248 seconds) |
| 2022-11-09 05:16:21 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-11-09 05:19:00 +0100 | rburkholder | (~blurb@96.45.2.121) |
| 2022-11-09 05:21:21 +0100 | Guest6535 | (sid532813@id-532813.tinside.irccloud.com) (Changing host) |
| 2022-11-09 05:21:21 +0100 | Guest6535 | (sid532813@user/polo) |
| 2022-11-09 05:21:25 +0100 | Guest6535 | money |
| 2022-11-09 05:23:17 +0100 | Kaipii | (~Kaiepi@108.175.84.104) |
| 2022-11-09 05:23:44 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-11-09 05:28:04 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-09 05:31:42 +0100 | mbuf | (~Shakthi@49.205.83.142) |
| 2022-11-09 05:33:43 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2022-11-09 05:39:47 +0100 | Kaipii | (~Kaiepi@108.175.84.104) (Quit: Leaving) |
| 2022-11-09 05:45:55 +0100 | bilegeek_ | (~bilegeek@204.sub-174-209-32.myvzw.com) |
| 2022-11-09 05:48:20 +0100 | bilegeek | (~bilegeek@2600:1008:b047:b089:cb4:8edc:1ce0:e639) (Ping timeout: 260 seconds) |
| 2022-11-09 05:48:36 +0100 | res0nat0r084490 | (~Fletch@dia.whatbox.ca) (Quit: Ping timeout (120 seconds)) |
| 2022-11-09 05:48:51 +0100 | res0nat0r084490 | (~Fletch@dia.whatbox.ca) |
| 2022-11-09 05:50:44 +0100 | res0nat0r084490 | (~Fletch@dia.whatbox.ca) (Client Quit) |
| 2022-11-09 05:52:27 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-11-09 05:54:01 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-11-09 05:56:43 +0100 | mshv22 | (~mshv22@76.115.19.239) (Ping timeout: 248 seconds) |
| 2022-11-09 06:06:22 +0100 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-11-09 06:10:24 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-11-09 06:11:07 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 2022-11-09 06:14:18 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Client Quit) |
| 2022-11-09 06:15:44 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-09 06:15:57 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2022-11-09 06:16:07 +0100 | money | (sid532813@user/polo) () |
| 2022-11-09 06:16:56 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-09 06:20:11 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-11-09 06:21:23 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-09 06:22:40 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-11-09 06:24:14 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-11-09 06:29:20 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2022-11-09 06:37:55 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 2022-11-09 06:47:12 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 2022-11-09 06:48:31 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-11-09 06:50:04 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-11-09 06:50:59 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-09 06:51:34 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-09 07:00:13 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-11-09 07:05:29 +0100 | crns | (~netcrns@user/crns) (Ping timeout: 246 seconds) |
| 2022-11-09 07:14:16 +0100 | michalz | (~michalz@185.246.207.200) |
| 2022-11-09 07:19:33 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2022-11-09 07:25:45 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-11-09 07:29:15 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 260 seconds) |
| 2022-11-09 07:32:09 +0100 | mncheck | (~mncheck@193.224.205.254) |
| 2022-11-09 07:36:21 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-11-09 07:36:29 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-11-09 07:37:52 +0100 | chomwitt | (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) |
| 2022-11-09 07:40:05 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2022-11-09 07:40:40 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-09 07:43:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-09 07:50:34 +0100 | mshv22 | (~mshv22@76.115.19.239) |
| 2022-11-09 07:55:44 +0100 | jargon | (~jargon@184.101.188.35) (Ping timeout: 260 seconds) |
| 2022-11-09 08:00:20 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-11-09 08:02:40 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-09 08:11:15 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 272 seconds) |
| 2022-11-09 08:13:51 +0100 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-11-09 08:15:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-11-09 08:15:42 +0100 | money | (sid532813@user/polo) |
| 2022-11-09 08:16:41 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-09 08:17:42 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-09 08:18:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-11-09 08:19:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-09 08:20:11 +0100 | razetime | (~quassel@117.193.5.245) |
| 2022-11-09 08:20:58 +0100 | bilegeek_ | (~bilegeek@204.sub-174-209-32.myvzw.com) (Remote host closed the connection) |
| 2022-11-09 08:21:21 +0100 | bilegeek_ | (~bilegeek@204.sub-174-209-32.myvzw.com) |
| 2022-11-09 08:27:14 +0100 | mshv22 | (~mshv22@76.115.19.239) (Ping timeout: 260 seconds) |
| 2022-11-09 08:27:18 +0100 | <phileasfogg> | I removed {cabal, stack} packages from my machine and installed them again with ghcup. While stack is available in the $HOME/.local/bin/stack, I have no idea how to execute cabal and ghci |
| 2022-11-09 08:28:31 +0100 | mshv22 | (~mshv22@76.115.19.239) |
| 2022-11-09 08:28:34 +0100 | <phileasfogg> | and obviously I removed the ghc package as well |
| 2022-11-09 08:28:59 +0100 | <phileasfogg> | I'm trying to manage the entire toolchain with ghcup, and look like it's not going very well |
| 2022-11-09 08:29:08 +0100 | <phileasfogg> | may I ask for your help? |
| 2022-11-09 08:30:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-11-09 08:31:24 +0100 | darkstarx | (~darkstard@50.53.3.186) (Quit: Leaving) |
| 2022-11-09 08:32:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-09 08:37:29 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-09 08:37:49 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-11-09 08:42:13 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-09 08:42:59 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2022-11-09 08:43:16 +0100 | mshv22 | (~mshv22@76.115.19.239) (Quit: Leaving) |
| 2022-11-09 08:44:46 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-11-09 08:45:10 +0100 | <maerwald[m]> | phileasfogg: did you read the post install message? |
| 2022-11-09 08:46:53 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2022-11-09 08:47:19 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-11-09 08:49:41 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Client Quit) |
| 2022-11-09 08:52:05 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-09 08:55:01 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-11-09 09:02:42 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:f63c:5577:65a8:9c2f) |
| 2022-11-09 09:03:12 +0100 | kenran | (~user@user/kenran) |
| 2022-11-09 09:03:24 +0100 | razetime | (~quassel@117.193.5.245) (Ping timeout: 252 seconds) |
| 2022-11-09 09:04:18 +0100 | Guest75 | (~Guest75@178.141.177.81) |
| 2022-11-09 09:04:55 +0100 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) |
| 2022-11-09 09:09:15 +0100 | machinedgod | (~machinedg@clnet-p10-126.ikbnet.co.at) |
| 2022-11-09 09:14:42 +0100 | abhiroop_ | (~abhiroop@ext-1-450.eduroam.chalmers.se) |
| 2022-11-09 09:14:43 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-09 09:15:56 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-11-09 09:18:48 +0100 | titibandit | (~titibandi@xdsl-87-78-8-6.nc.de) |
| 2022-11-09 09:19:28 +0100 | bilegeek_ | (~bilegeek@204.sub-174-209-32.myvzw.com) (Quit: Leaving) |
| 2022-11-09 09:20:50 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-09 09:22:45 +0100 | razetime | (~quassel@117.193.5.245) |
| 2022-11-09 09:23:04 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-11-09 09:24:43 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-11-09 09:25:15 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:f63c:5577:65a8:9c2f) (Ping timeout: 248 seconds) |
| 2022-11-09 09:27:19 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-11-09 09:30:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-09 09:30:57 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a482:984f:4595:1176) |
| 2022-11-09 09:39:25 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7137a91cc0b0087e9762ec4.dip0.t-ipconnect.de) |
| 2022-11-09 09:39:56 +0100 | mikoto-chan | (~mikoto-ch@nat2.panoulu.net) |
| 2022-11-09 09:40:46 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-11-09 09:43:10 +0100 | CiaoSen | (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-11-09 09:44:09 +0100 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-11-09 09:47:48 +0100 | titibandit | (~titibandi@xdsl-87-78-8-6.nc.de) (Remote host closed the connection) |
| 2022-11-09 09:48:41 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-11-09 09:53:18 +0100 | mmhat | (~mmh@p200300f1c70f4195ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-11-09 09:56:20 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-11-09 10:00:03 +0100 | CeNiEi[m] | (~cenieimat@2001:470:69fc:105::1:894c) (Quit: You have been kicked for being idle) |
| 2022-11-09 10:00:03 +0100 | rockymarine[m] | (~rockymari@2001:470:69fc:105::2:9a0c) (Quit: You have been kicked for being idle) |
| 2022-11-09 10:00:05 +0100 | loosh[m] | (~looshchat@2001:470:69fc:105::2:5ddd) (Quit: You have been kicked for being idle) |
| 2022-11-09 10:02:07 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 2022-11-09 10:06:35 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Ping timeout: 252 seconds) |
| 2022-11-09 10:10:12 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) (Remote host closed the connection) |
| 2022-11-09 10:11:16 +0100 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-11-09 10:20:17 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-09 10:22:51 +0100 | ub1 | (~Thunderbi@178.165.161.121.wireless.dyn.drei.com) |
| 2022-11-09 10:22:55 +0100 | dcoutts__ | (~duncan@host86-151-44-212.range86-151.btcentralplus.com) |
| 2022-11-09 10:23:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-09 10:24:11 +0100 | ubert1 | (~Thunderbi@178.165.161.121.wireless.dyn.drei.com) |
| 2022-11-09 10:24:29 +0100 | ubert | (~Thunderbi@178.115.40.19.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2022-11-09 10:24:29 +0100 | ubert1 | ubert |
| 2022-11-09 10:24:59 +0100 | ub | (~Thunderbi@178.115.40.19.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2022-11-09 10:25:16 +0100 | king_gs | (~Thunderbi@187.201.83.115) |
| 2022-11-09 10:25:17 +0100 | dcoutts_ | (~duncan@host86-151-44-212.range86-151.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2022-11-09 10:25:40 +0100 | MajorBiscuit | (~MajorBisc@145.94.173.65) |
| 2022-11-09 10:26:01 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 252 seconds) |
| 2022-11-09 10:28:56 +0100 | eddiejessup_ | (uid575763@id-575763.tinside.irccloud.com) |
| 2022-11-09 10:30:33 +0100 | Guest75 | (~Guest75@178.141.177.81) (Ping timeout: 260 seconds) |
| 2022-11-09 10:35:03 +0100 | chele | (~chele@user/chele) |
| 2022-11-09 10:38:59 +0100 | ft | (~ft@p508dbd59.dip0.t-ipconnect.de) (Quit: leaving) |
| 2022-11-09 10:44:41 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2022-11-09 10:44:42 +0100 | king_gs | (~Thunderbi@187.201.83.115) (Read error: Connection reset by peer) |
| 2022-11-09 10:44:56 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 2022-11-09 10:45:01 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-11-09 10:47:14 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 2022-11-09 10:48:29 +0100 | nschoe | (~q@141.101.51.197) |
| 2022-11-09 10:49:14 +0100 | Guest53 | (~Guest53@astound-64-85-243-31.ca.astound.net) |
| 2022-11-09 10:50:21 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-11-09 10:50:40 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-11-09 10:51:31 +0100 | Guest53 | (~Guest53@astound-64-85-243-31.ca.astound.net) (Client Quit) |
| 2022-11-09 11:02:35 +0100 | teo | (~teo@user/teo) |
| 2022-11-09 11:03:58 +0100 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-11-09 11:04:47 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-11-09 11:10:42 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) |
| 2022-11-09 11:11:00 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 252 seconds) |
| 2022-11-09 11:11:09 +0100 | santiagopim | (~user@90.167.66.131) (Remote host closed the connection) |
| 2022-11-09 11:15:05 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) (Ping timeout: 255 seconds) |
| 2022-11-09 11:18:11 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 2022-11-09 11:29:18 +0100 | kuribas | (~user@ptr-17d51eo35w1t0olsz1l.18120a2.ip6.access.telenet.be) |
| 2022-11-09 11:35:28 +0100 | elevenkb | (~elevenkb@105.184.125.168) |
| 2022-11-09 11:37:16 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2022-11-09 11:39:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-09 11:59:35 +0100 | buffet | (~buffet@buffet.sh) (WeeChat 3.5) |
| 2022-11-09 12:05:16 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 2022-11-09 12:08:11 +0100 | CiaoSen | (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-11-09 12:10:12 +0100 | razetime | (~quassel@117.193.5.245) (Ping timeout: 248 seconds) |
| 2022-11-09 12:10:26 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-11-09 12:11:26 +0100 | razetime | (~quassel@117.193.5.245) |
| 2022-11-09 12:14:25 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::4b68) |
| 2022-11-09 12:15:14 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::4b68) (Client Quit) |
| 2022-11-09 12:16:19 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Ping timeout: 252 seconds) |
| 2022-11-09 12:16:43 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::4b68) |
| 2022-11-09 12:21:41 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 255 seconds) |
| 2022-11-09 12:30:48 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-11-09 12:31:03 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8031:9588:bb65:20be) |
| 2022-11-09 12:34:21 +0100 | Guest75 | (~Guest75@178.141.177.81) |
| 2022-11-09 12:37:09 +0100 | akegalj | (~akegalj@89-172-37-50.adsl.net.t-com.hr) |
| 2022-11-09 12:39:58 +0100 | machinedgod | (~machinedg@clnet-p10-126.ikbnet.co.at) (Ping timeout: 252 seconds) |
| 2022-11-09 12:42:23 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-11-09 12:43:45 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-09 12:48:34 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-11-09 12:50:36 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-11-09 12:50:36 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-11-09 12:51:04 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-11-09 12:51:10 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-09 12:52:08 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-11-09 12:53:23 +0100 | Bish | (~arne@ip-078-094-082-081.um19.pools.vodafone-ip.de) |
| 2022-11-09 12:53:35 +0100 | <Bish> | what function was that [M a] => M [a] thingie |
| 2022-11-09 12:53:37 +0100 | <Bish> | i forgot |
| 2022-11-09 12:54:24 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-09 12:58:02 +0100 | <lortabac> | :t sequenceA -- Bish |
| 2022-11-09 12:58:03 +0100 | <lambdabot> | (Traversable t, Applicative f) => t (f a) -> f (t a) |
| 2022-11-09 12:58:08 +0100 | <Bish> | that was it! |
| 2022-11-09 12:58:11 +0100 | <Bish> | thank you |
| 2022-11-09 12:58:20 +0100 | <lortabac> | :t sequence |
| 2022-11-09 12:58:21 +0100 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2022-11-09 13:03:38 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-11-09 13:03:55 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2022-11-09 13:08:11 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 248 seconds) |
| 2022-11-09 13:11:04 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-11-09 13:11:13 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-09 13:13:39 +0100 | mikoto-chan | (~mikoto-ch@nat2.panoulu.net) (Ping timeout: 260 seconds) |
| 2022-11-09 13:16:55 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-09 13:18:18 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-09 13:21:52 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-09 13:22:03 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-11-09 13:23:13 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2022-11-09 13:23:20 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-09 13:23:44 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-11-09 13:25:32 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-11-09 13:25:32 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-11-09 13:25:32 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-11-09 13:25:59 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-11-09 13:26:12 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-11-09 13:27:57 +0100 | MajorBiscuit | (~MajorBisc@145.94.173.65) (Quit: WeeChat 3.6) |
| 2022-11-09 13:28:13 +0100 | Cheery | (~cheery@7-239-179-185.static.tentacle.fi) (Ping timeout: 246 seconds) |
| 2022-11-09 13:28:14 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-11-09 13:31:40 +0100 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Ping timeout: 252 seconds) |
| 2022-11-09 13:35:40 +0100 | MajorBiscuit | (~MajorBisc@145.94.173.65) |
| 2022-11-09 13:35:42 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-11-09 13:41:20 +0100 | <merijn> | Bish: FYI: |
| 2022-11-09 13:41:28 +0100 | <merijn> | @hoogle [m a] -> m [a] |
| 2022-11-09 13:41:29 +0100 | <lambdabot> | GHC.Base sequence :: Monad m => [m a] -> m [a] |
| 2022-11-09 13:41:29 +0100 | <lambdabot> | Hledger.Utils sequence' :: Monad f => [f a] -> f [a] |
| 2022-11-09 13:41:29 +0100 | <lambdabot> | Test.FuzzCheck jumble :: (MonadIO m, MonadBaseControl IO m) => [m a] -> m [a] |
| 2022-11-09 13:42:46 +0100 | Cheery | (~cheery@7-239-179-185.static.tentacle.fi) |
| 2022-11-09 13:46:24 +0100 | fserucas | (~fserucas@2001:8a0:6d00:2500:4717:7619:c4e9:3aa2) |
| 2022-11-09 13:51:47 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-11-09 13:52:01 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2022-11-09 13:52:52 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-09 13:56:51 +0100 | MajorBiscuit | (~MajorBisc@145.94.173.65) (Quit: WeeChat 3.6) |
| 2022-11-09 13:58:09 +0100 | MajorBiscuit | (~MajorBisc@145.94.173.65) |
| 2022-11-09 13:58:50 +0100 | arjun | (~arjun@205.254.175.154) |
| 2022-11-09 13:59:19 +0100 | arjun | (~arjun@205.254.175.154) (Changing host) |
| 2022-11-09 13:59:19 +0100 | arjun | (~arjun@user/arjun) |
| 2022-11-09 14:01:47 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt https://tinyurl.com/4m8d4kd5) |
| 2022-11-09 14:02:30 +0100 | CiaoSen | (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-11-09 14:08:29 +0100 | razetime | (~quassel@117.193.5.245) (Ping timeout: 260 seconds) |
| 2022-11-09 14:09:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-09 14:14:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-09 14:14:39 +0100 | <tdammers> | Xeroine: https://bpa.st/3EYA this works |
| 2022-11-09 14:15:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-11-09 14:15:52 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-09 14:18:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-09 14:21:34 +0100 | machinedgod | (~machinedg@clnet-p10-126.ikbnet.co.at) |
| 2022-11-09 14:23:46 +0100 | razetime | (~quassel@117.254.35.84) |
| 2022-11-09 14:25:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-11-09 14:29:31 +0100 | <phileasfogg> | This is quite an UNIX stuff, but I want to process the stdout log coming out from the unix program in real time with Haskell. How should I do that? |
| 2022-11-09 14:29:41 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-11-09 14:30:15 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-11-09 14:30:19 +0100 | <merijn> | the same way you do it in any other language? |
| 2022-11-09 14:31:13 +0100 | <phileasfogg> | For instance, let's say I want to make a log appear in real time in the GUI I made. I thought about just using some getContents, but I think it's not the right way to do it. |
| 2022-11-09 14:32:10 +0100 | <phileasfogg> | Moreover, when I tried to use the brick and getContents in the same time, it almost tried to kill each other |
| 2022-11-09 14:34:09 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-11-09 14:36:07 +0100 | <merijn> | phileasfogg: getContents use lazy IO which is almost certainly not what you want |
| 2022-11-09 14:36:35 +0100 | <merijn> | phileasfogg: You can just explicitly read from stdin/various other file descriptors |
| 2022-11-09 14:36:50 +0100 | <merijn> | getLine/hGetLine come to mind |
| 2022-11-09 14:37:22 +0100 | <merijn> | There's also various stream processing libraries which make it easier to turn input streams into streams of specific datatypes and operate on them (conduit, pipes, streamly) |
| 2022-11-09 14:38:08 +0100 | <arjun> | you also might need to use hSetBuffering handle NoBuffering |
| 2022-11-09 14:38:34 +0100 | <dminuoso> | catchException :: Exception e => IO a -> (e -> IO a) -> IO a; [...] Note that this function is strict in the action. That is, catchException undefined b == _|_. See for details. |
| 2022-11-09 14:38:38 +0100 | <dminuoso> | See *what* for details? |
| 2022-11-09 14:39:56 +0100 | <dminuoso> | Also TIL. A stack overflow is communicated as a haskell exception, and appears to be catchable in principle... |
| 2022-11-09 14:40:16 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-11-09 14:40:38 +0100 | <phileasfogg> | merijn: thank you so much. I'll do more research based on your advice. |
| 2022-11-09 14:41:17 +0100 | <merijn> | phileasfogg: You'll want to look at System.IO (or, probably more approppriately) Data.Text.IO from the text package |
| 2022-11-09 14:41:20 +0100 | kenran | (~user@user/kenran) |
| 2022-11-09 14:41:35 +0100 | <merijn> | phileasfogg: All the standard "read X bytes from a file descriptor"-stuff you' |
| 2022-11-09 14:41:36 +0100 | <dminuoso> | merijn: I honestly think h/getContents was a big mistake. :( |
| 2022-11-09 14:41:44 +0100 | <merijn> | you'd find in other languages is there |
| 2022-11-09 14:42:12 +0100 | <dminuoso> | It usefulness is stops after advent of code excercises. |
| 2022-11-09 14:42:48 +0100 | <phileasfogg> | dminuoso: I'm just a novice, but I had a serious problem getting the stdin and update the bricks tui with that |
| 2022-11-09 14:42:52 +0100 | <dminuoso> | Also beware of Data.Text.IO |
| 2022-11-09 14:43:05 +0100 | <phileasfogg> | h/getContents might be related? |
| 2022-11-09 14:43:11 +0100 | <dminuoso> | readFile has some subtle gotchas (covered in its haddock) - you almost assuredly want Data.ByteString.readFile instead. |
| 2022-11-09 14:43:52 +0100 | <merijn> | phileasfogg: brick kinda expects stdin to be a terminal and to fully control it |
| 2022-11-09 14:44:36 +0100 | <phileasfogg> | oh, so when the stdin comes in from another pipeline it just dies? |
| 2022-11-09 14:44:56 +0100 | <phileasfogg> | that was my experience at least |
| 2022-11-09 14:45:10 +0100 | <merijn> | well, not dies, but yeah piping into a program expecting a terminal is gonna be...wonky |
| 2022-11-09 14:45:25 +0100 | <merijn> | phileasfogg: You'd be better off using a unix socket/named pipe and having your TUI application read from that |
| 2022-11-09 14:46:11 +0100 | <phileasfogg> | didn't try that before, I think that's the best method for me now |
| 2022-11-09 14:46:28 +0100 | razetime | (~quassel@117.254.35.84) (Ping timeout: 252 seconds) |
| 2022-11-09 14:46:57 +0100 | razetime | (~quassel@117.254.34.194) |
| 2022-11-09 14:48:26 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-11-09 14:55:06 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-11-09 15:00:45 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-09 15:06:54 +0100 | arjun | (~arjun@user/arjun) (Quit: Leaving) |
| 2022-11-09 15:08:02 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-09 15:08:43 +0100 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-11-09 15:09:20 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-09 15:10:08 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-11-09 15:10:36 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-09 15:15:04 +0100 | abhiroop_ | (~abhiroop@ext-1-450.eduroam.chalmers.se) (Ping timeout: 252 seconds) |
| 2022-11-09 15:22:20 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-11-09 15:22:42 +0100 | thegeekinside | (~thegeekin@189.180.92.220) |
| 2022-11-09 15:23:35 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2022-11-09 15:24:15 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-09 15:25:00 +0100 | elevenkb | (~elevenkb@105.184.125.168) (Remote host closed the connection) |
| 2022-11-09 15:25:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2022-11-09 15:25:39 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-11-09 15:25:50 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds) |
| 2022-11-09 15:25:50 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-09 15:28:29 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-11-09 15:28:59 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 2022-11-09 15:32:49 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-11-09 15:33:49 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-09 15:33:58 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-11-09 15:34:16 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-11-09 15:38:51 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-11-09 15:39:17 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-11-09 15:42:50 +0100 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-11-09 15:44:29 +0100 | money | Guest674 |
| 2022-11-09 15:44:29 +0100 | Guest674 | (sid532813@user/polo) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2022-11-09 15:45:28 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
| 2022-11-09 15:45:48 +0100 | gff_ | (~gff@75-174-112-159.boid.qwest.net) (Ping timeout: 268 seconds) |
| 2022-11-09 15:47:31 +0100 | razetime | (~quassel@117.254.34.194) (Read error: Connection reset by peer) |
| 2022-11-09 15:47:32 +0100 | razetime_ | (~quassel@117.254.34.194) |
| 2022-11-09 15:47:39 +0100 | gff_ | (~gff@user/gff) |
| 2022-11-09 15:49:25 +0100 | Guest674 | (sid532813@id-532813.tinside.irccloud.com) |
| 2022-11-09 15:49:52 +0100 | Guest674 | (sid532813@id-532813.tinside.irccloud.com) (Client Quit) |
| 2022-11-09 15:50:16 +0100 | money_ | (sid532813@user/polo) |
| 2022-11-09 15:50:57 +0100 | money_ | money |
| 2022-11-09 15:54:53 +0100 | Heyting | (~Heyting@193.198.16.217) |
| 2022-11-09 15:57:22 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-11-09 15:58:08 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-09 15:59:57 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-11-09 16:00:06 +0100 | akegalj | (~akegalj@89-172-37-50.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-11-09 16:00:42 +0100 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.7.1) |
| 2022-11-09 16:06:37 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-11-09 16:11:54 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-11-09 16:16:02 +0100 | <Heyting> | does anyone use emacs for writing haskell? what do you use beside haskell-mode and lsp-mode? |
| 2022-11-09 16:16:16 +0100 | <dminuoso> | Just that, really |
| 2022-11-09 16:16:48 +0100 | <dminuoso> | Well and the usual emacs gimmicks like magit, undo-tree and what not |
| 2022-11-09 16:17:05 +0100 | <dminuoso> | (More recently, undo-tree has become quite a favourite of mine) |
| 2022-11-09 16:17:10 +0100 | <geekosaur> | I don't even use lsp-mode; I predate such gimmicks |
| 2022-11-09 16:17:25 +0100 | <shapr> | I like haskell-language-server very much |
| 2022-11-09 16:17:26 +0100 | <dminuoso> | geekosaur: Nomen est omen? :) |
| 2022-11-09 16:17:27 +0100 | <shapr> | it's a superpower |
| 2022-11-09 16:17:43 +0100 | <geekosaur> | p much |
| 2022-11-09 16:18:19 +0100 | <dminuoso> | Also org-mode is quite handy for keeping track of programming related tasks at work |
| 2022-11-09 16:19:04 +0100 | <shapr> | I agree |
| 2022-11-09 16:19:37 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-11-09 16:19:37 +0100 | abhiroop_ | (~abhiroop@ext-1-450.eduroam.chalmers.se) |
| 2022-11-09 16:19:50 +0100 | <dminuoso> | In fact, org-mode and magit were the primary reasons I switched over from vim. |
| 2022-11-09 16:22:33 +0100 | <Heyting> | Well, I'm completely new to emacs, but decided to embrace it because above all, it is consistent and can be used for multiple languages |
| 2022-11-09 16:23:12 +0100 | <Heyting> | What is the difference between lsp-mode and haskell-language-server? As I understand, HLS runs outside of emacs as a server, with which lsp-mode communicates |
| 2022-11-09 16:25:36 +0100 | <geekosaur> | that, basically |
| 2022-11-09 16:26:07 +0100 | <geekosaur> | lsp is language server protocol, a common protocol that all langauge IDE interfaces use. |
| 2022-11-09 16:26:19 +0100 | <geekosaur> | haskell-language-server is a LSP server for Haskell |
| 2022-11-09 16:27:05 +0100 | <geekosaur> | lsp-mode is a common LSP client for emacs |
| 2022-11-09 16:27:05 +0100 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) (Ping timeout: 260 seconds) |
| 2022-11-09 16:28:12 +0100 | <geekosaur> | so lsp-mode can be used for haskell with hls, for c++ with its server thsat I don't know the name off the top of my head, etc. |
| 2022-11-09 16:29:17 +0100 | <geekosaur> | neovim has its own interfaces (a simple built-in one and the coc plugin), etc. |
| 2022-11-09 16:30:24 +0100 | <geekosaur> | vscode has built-in lsp support which works with almost 200 language servers, as I understand it |
| 2022-11-09 16:30:25 +0100 | razetime_ | (~quassel@117.254.34.194) (Ping timeout: 252 seconds) |
| 2022-11-09 16:30:38 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-09 16:30:52 +0100 | <geekosaur> | (including haskell-language-server) |
| 2022-11-09 16:30:58 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds) |
| 2022-11-09 16:31:36 +0100 | <Heyting> | geekosaur: thanks for the detailed description |
| 2022-11-09 16:32:57 +0100 | machinedgod | (~machinedg@clnet-p10-126.ikbnet.co.at) (Read error: Connection reset by peer) |
| 2022-11-09 16:33:10 +0100 | machinedgod | (~machinedg@clnet-p10-126.ikbnet.co.at) |
| 2022-11-09 16:35:02 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2022-11-09 16:38:20 +0100 | <kuribas> | Heyting: no lsp-mode, but flycheck |
| 2022-11-09 16:40:18 +0100 | <Heyting> | Doesn't flycheck also use LSP as its backend? |
| 2022-11-09 16:40:42 +0100 | doyougnu | (~doyougnu@cpe-74-69-132-239.stny.res.rr.com) |
| 2022-11-09 16:44:51 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-11-09 16:45:17 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-09 16:45:38 +0100 | <kuribas> | no |
| 2022-11-09 16:46:17 +0100 | <kuribas> | well, maybe there exist lsp backends for flycheck |
| 2022-11-09 16:46:28 +0100 | <kuribas> | But I am using flycheck-haskell |
| 2022-11-09 16:46:50 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-11-09 16:47:29 +0100 | <geekosaur> | flycheck poredates lsp, iirc. so it should be able to use ghcid and other backends |
| 2022-11-09 16:47:44 +0100 | <geekosaur> | or directly stack or cabal |
| 2022-11-09 16:47:44 +0100 | doyougnu | (~doyougnu@cpe-74-69-132-239.stny.res.rr.com) (Ping timeout: 260 seconds) |
| 2022-11-09 16:47:48 +0100 | <geekosaur> | *predates |
| 2022-11-09 16:48:05 +0100 | razetime | (~quassel@117.193.5.245) |
| 2022-11-09 16:50:12 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-11-09 16:51:28 +0100 | <markasoftware> | (Also perhaps check out eglot, its a lighter weight plugin than LSP-mode with the same essential features) |
| 2022-11-09 16:52:44 +0100 | <dminuoso> | It doesnt provide lenses though, if you like those. |
| 2022-11-09 16:52:59 +0100 | <dminuoso> | (Which I think is one of the most relevant differences between lsp-mode and eglot) |
| 2022-11-09 16:59:01 +0100 | machinedgod | (~machinedg@clnet-p10-126.ikbnet.co.at) (Ping timeout: 252 seconds) |
| 2022-11-09 17:00:04 +0100 | M3g-mentok[m] | (~M3g-mento@2001:470:69fc:105::2:9a49) (Quit: You have been kicked for being idle) |
| 2022-11-09 17:00:04 +0100 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Quit: You have been kicked for being idle) |
| 2022-11-09 17:00:07 +0100 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) (Quit: You have been kicked for being idle) |
| 2022-11-09 17:00:08 +0100 | aidy | (~aidy@2001:470:69fc:105::c7b4) (Quit: You have been kicked for being idle) |
| 2022-11-09 17:01:41 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2022-11-09 17:02:19 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 2022-11-09 17:03:08 +0100 | king_gs | (~Thunderbi@187.201.83.115) |
| 2022-11-09 17:09:19 +0100 | <Heyting> | luckily I am a beginner, so lenses are in the far future for me |
| 2022-11-09 17:12:32 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-09 17:19:11 +0100 | <markasoftware> | Is there a way to pattern match on the data constructor only, without having to know how many fields it has? I will use accessor functions as necessary in the body of my function |
| 2022-11-09 17:20:13 +0100 | <merijn> | > case Just True of Just{} -> "yes" |
| 2022-11-09 17:20:15 +0100 | <lambdabot> | "yes" |
| 2022-11-09 17:20:24 +0100 | <markasoftware> | nice |
| 2022-11-09 17:20:50 +0100 | <merijn> | markasoftware: Record syntax with 0 fields is defined to work for any constructor, even if it's not defined as record constructor |
| 2022-11-09 17:23:10 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-09 17:30:03 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-11-09 17:30:03 +0100 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!) |
| 2022-11-09 17:30:55 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-11-09 17:33:15 +0100 | king_gs1 | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 2022-11-09 17:33:15 +0100 | king_gs | (~Thunderbi@187.201.83.115) (Read error: Connection reset by peer) |
| 2022-11-09 17:33:15 +0100 | king_gs1 | king_gs |
| 2022-11-09 17:33:29 +0100 | thyriaen_ | (~thyriaen@2a01:aea0:dd4:470d:4c78:c477:402b:896a) |
| 2022-11-09 17:34:55 +0100 | nschoe | (~q@141.101.51.197) (Quit: Switching off) |
| 2022-11-09 17:35:16 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-11-09 17:37:39 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) |
| 2022-11-09 17:38:42 +0100 | Heyting | (~Heyting@193.198.16.217) (Remote host closed the connection) |
| 2022-11-09 17:39:28 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-11-09 17:39:55 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-11-09 17:40:30 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) |
| 2022-11-09 17:42:05 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-11-09 17:43:47 +0100 | attt | (~attt@dsl-jklbng12-54fbd1-216.dhcp.inet.fi) |
| 2022-11-09 17:44:45 +0100 | attt | (~attt@dsl-jklbng12-54fbd1-216.dhcp.inet.fi) (Client Quit) |
| 2022-11-09 17:44:52 +0100 | titibandit | (~titibandi@xdsl-87-78-8-6.nc.de) |
| 2022-11-09 17:45:14 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) (Ping timeout: 246 seconds) |
| 2022-11-09 17:49:40 +0100 | litharge | (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 2022-11-09 17:49:43 +0100 | litharge | (litharge@libera/bot/litharge) |
| 2022-11-09 17:50:07 +0100 | biberu | (~biberu@user/biberu) |
| 2022-11-09 17:50:09 +0100 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 260 seconds) |
| 2022-11-09 17:50:13 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-11-09 17:50:15 +0100 | razetime_ | (~quassel@117.193.5.245) |
| 2022-11-09 17:50:50 +0100 | CiaoSen | (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-11-09 17:52:15 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-11-09 17:53:17 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-11-09 17:53:47 +0100 | litharge | (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 2022-11-09 17:53:53 +0100 | litharge | (litharge@libera/bot/litharge) |
| 2022-11-09 17:57:44 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2022-11-09 17:57:50 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-09 17:57:53 +0100 | litharge | (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 2022-11-09 17:57:59 +0100 | litharge | (litharge@libera/bot/litharge) |
| 2022-11-09 18:02:01 +0100 | polo | (~polo@user/polo) |
| 2022-11-09 18:02:02 +0100 | litharge | (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 2022-11-09 18:02:08 +0100 | litharge | (litharge@libera/bot/litharge) |
| 2022-11-09 18:02:35 +0100 | money | Guest4725 |
| 2022-11-09 18:02:35 +0100 | Guest4725 | (sid532813@user/polo) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 2022-11-09 18:03:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) (Remote host closed the connection) |
| 2022-11-09 18:03:35 +0100 | litharge | (litharge@libera/bot/litharge) (Read error: Connection reset by peer) |
| 2022-11-09 18:03:55 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Ping timeout: 260 seconds) |
| 2022-11-09 18:05:15 +0100 | king_gs | (~Thunderbi@187.201.139.206) |
| 2022-11-09 18:06:41 +0100 | polo | money |
| 2022-11-09 18:08:09 +0100 | money | (~polo@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-11-09 18:08:44 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-11-09 18:11:34 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-09 18:13:25 +0100 | Guest4725 | (sid532813@id-532813.tinside.irccloud.com) |
| 2022-11-09 18:13:29 +0100 | teo | (~teo@user/teo) (Ping timeout: 260 seconds) |
| 2022-11-09 18:14:11 +0100 | litharge | (litharge@libera/bot/litharge) |
| 2022-11-09 18:15:27 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-11-09 18:15:28 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-11-09 18:16:00 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-11-09 18:16:42 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds) |
| 2022-11-09 18:17:27 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-11-09 18:20:25 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-11-09 18:23:14 +0100 | Guest4725 | (sid532813@id-532813.tinside.irccloud.com) (Changing host) |
| 2022-11-09 18:23:14 +0100 | Guest4725 | (sid532813@user/polo) |
| 2022-11-09 18:23:51 +0100 | finsternis | (~X@23.226.237.192) |
| 2022-11-09 18:24:33 +0100 | Guest4725 | money |
| 2022-11-09 18:24:33 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-11-09 18:24:51 +0100 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-11-09 18:25:10 +0100 | <infinity0> | haskell-ci gives me this error: |
| 2022-11-09 18:25:11 +0100 | <infinity0> | rejecting: ghc-8.4.4/installed-8.4.4 (conflict: binary==0.8.9.1, ghc => binary==0.8.5.1/installed-0.8.5.1) |
| 2022-11-09 18:25:31 +0100 | <infinity0> | in actual fact ghc-8.4.4 depends on binary (>=0.8 && <0.9) so binary==0.8.9.1 should work |
| 2022-11-09 18:25:35 +0100 | <infinity0> | https://hackage.haskell.org/package/ghc-8.4.4 |
| 2022-11-09 18:25:40 +0100 | <infinity0> | how can i override this behaviour? |
| 2022-11-09 18:26:07 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a482:984f:4595:1176) (Quit: WeeChat 2.8) |
| 2022-11-09 18:26:39 +0100 | <tomsmeding> | infinity0: does it build locally? |
| 2022-11-09 18:26:57 +0100 | <infinity0> | yes and on most of the latest ghc versions |
| 2022-11-09 18:27:20 +0100 | <tomsmeding> | binary is a boot package, and a ghc distribution comes with a particular set of boot libraries that you _must_ use |
| 2022-11-09 18:27:47 +0100 | <tomsmeding> | though I'm not sure if this also holds for some of the higher level stuff like 'containers'... |
| 2022-11-09 18:28:15 +0100 | <infinity0> | yes, i'm overriding that with the haskell-ci config option "installed:" this is similar to what the boot packages themselves do |
| 2022-11-09 18:29:01 +0100 | <infinity0> | it seems cabal/haskell-ci places a further restriction that a boot package must depend on another boot package even if its actual dependency is a wider range of versions |
| 2022-11-09 18:29:09 +0100 | <infinity0> | i'd guess i can also override this but i don't know how |
| 2022-11-09 18:29:32 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-11-09 18:29:46 +0100 | <geekosaur> | I think cabal (not haskell-ci) insists on installed because ghc exposes parts of binary so it has to match the installed one |
| 2022-11-09 18:29:52 +0100 | <geekosaur> | (see for example hi files) |
| 2022-11-09 18:30:16 +0100 | <geekosaur> | (also package dbs and a couple of other things) |
| 2022-11-09 18:30:29 +0100 | <geekosaur> | so they're effectively wired in |
| 2022-11-09 18:31:04 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2022-11-09 18:31:34 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-09 18:32:21 +0100 | <geekosaur> | sclv would know more but I'm pretty sure this is unavoidable because the ghc package is built against the wired-in package and it can't be switched later |
| 2022-11-09 18:32:34 +0100 | <geekosaur> | and you can't rebuild the ghc package without rebuilding the whole of ghc |
| 2022-11-09 18:33:37 +0100 | <infinity0> | oh right ok |
| 2022-11-09 18:33:55 +0100 | <geekosaur> | there is some more care taken (and takeable) for things like containers so they can be switched, and cabal knows about that |
| 2022-11-09 18:36:04 +0100 | <AndreasK> | Yes if you depend on the ghc package you have to use the versions of libraries ghc is built against. That should also be true for containers. |
| 2022-11-09 18:36:15 +0100 | <tomsmeding> | geekosaur: I know of this list of boot libraries ( https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history ), but is there also a list of libraries with wired-in versoins like discussed here? i.e. that would include 'binary' but not 'containers' |
| 2022-11-09 18:36:43 +0100 | <geekosaur> | well, AndreasK just said containers is wired-in too, so there may be no separate list 😞 |
| 2022-11-09 18:36:55 +0100 | <tomsmeding> | right :) |
| 2022-11-09 18:37:15 +0100 | <AndreasK> | wired-in in ghc terms is a different thing from ghc being built against it |
| 2022-11-09 18:37:16 +0100 | <geekosaur> | I had understood that containers was carefully kept swappable, but apparently not if you use ghc-lib |
| 2022-11-09 18:37:18 +0100 | <tomsmeding> | so then what libraries count as "depending on ghc" here? ghc itself, presumably, as well as I guess ghc-prim and friends; any more? |
| 2022-11-09 18:37:24 +0100 | <AndreasK> | But for a user its all the same |
| 2022-11-09 18:37:56 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-11-09 18:37:56 +0100 | <geekosaur> | yeh, I'm being loose with my terminology ecause end users don't care |
| 2022-11-09 18:38:09 +0100 | <geekosaur> | and ot gets the point across |
| 2022-11-09 18:38:12 +0100 | <geekosaur> | *it |
| 2022-11-09 18:38:17 +0100 | <tomsmeding> | (i.e. which libraries must I not depend on in order to keep binary/containers/... swappable) |
| 2022-11-09 18:38:32 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) |
| 2022-11-09 18:38:39 +0100 | <geekosaur> | I think only ghc. ghc-prim is too low level to affect this |
| 2022-11-09 18:38:57 +0100 | <infinity0> | is it possible to use a newer base package? |
| 2022-11-09 18:39:06 +0100 | <tomsmeding> | no |
| 2022-11-09 18:39:08 +0100 | <geekosaur> | no, that's really wired in |
| 2022-11-09 18:39:15 +0100 | <AndreasK> | tomsmeding: I think you only run into this if you depend on the "ghc" package (directly or transitively) |
| 2022-11-09 18:39:21 +0100 | <tomsmeding> | AndreasK: I see, thanks! |
| 2022-11-09 18:39:33 +0100 | <geekosaur> | as in the compiler knows the names/addresses of thoings from base and will break badly if you attempt to use a different build even of the same version |
| 2022-11-09 18:39:47 +0100 | <infinity0> | ah ok |
| 2022-11-09 18:40:04 +0100 | <geekosaur> | (for example guards know the address of "True") |
| 2022-11-09 18:40:15 +0100 | <infinity0> | ok what i'm trying to achieve is probably impossible then, luckily it only affects the tests because they depend on ghc-heap-view for older ghc |
| 2022-11-09 18:40:57 +0100 | Sauvin | (~sauvin@user/Sauvin) |
| 2022-11-09 18:43:16 +0100 | MajorBiscuit | (~MajorBisc@145.94.173.65) (Ping timeout: 248 seconds) |
| 2022-11-09 18:43:25 +0100 | <AndreasK> | infinity0: What are you trying to do? |
| 2022-11-09 18:44:39 +0100 | razetime_ | (~quassel@117.193.5.245) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-11-09 18:44:39 +0100 | razetime | (~quassel@117.193.5.245) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-11-09 18:44:59 +0100 | <EvanR> | &TRUE, error not an lvalue |
| 2022-11-09 18:45:00 +0100 | king_gs | (~Thunderbi@187.201.139.206) (Read error: Connection reset by peer) |
| 2022-11-09 18:45:35 +0100 | <infinity0> | i have a package that builds on top of containers & vector, trying to update it to newer versions than exist in older GHCs |
| 2022-11-09 18:45:45 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) |
| 2022-11-09 18:45:46 +0100 | <infinity0> | the package itself is fine on those older GHCs, the test dependencies are giving trouble |
| 2022-11-09 18:45:54 +0100 | <infinity0> | it's fine, i have a solution, just disable the tests |
| 2022-11-09 18:46:12 +0100 | mbuf | (~Shakthi@49.205.83.142) (Quit: Leaving) |
| 2022-11-09 18:48:35 +0100 | econo | (uid147250@user/econo) |
| 2022-11-09 18:48:52 +0100 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-11-09 18:50:03 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 248 seconds) |
| 2022-11-09 18:50:55 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-11-09 18:51:44 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2022-11-09 18:57:17 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-11-09 18:57:54 +0100 | <AndreasK> | infinity0: Does the code actually breake when you allow newer versions? |
| 2022-11-09 18:58:04 +0100 | <AndreasK> | *break |
| 2022-11-09 18:58:25 +0100 | <infinity0> | as discussed above, i can't allow the newer versions |
| 2022-11-09 18:58:52 +0100 | <AndreasK> | annoying |
| 2022-11-09 18:59:37 +0100 | <infinity0> | for containers and vector it's possible to allow newer versions, that's all fine |
| 2022-11-09 19:00:09 +0100 | <infinity0> | they themselves have to do that in their own package, for example |
| 2022-11-09 19:02:05 +0100 | <AndreasK> | Locally --allow-newer as argument to cabal should work. Doesn't really solve it for users though |
| 2022-11-09 19:06:11 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
| 2022-11-09 19:08:13 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-11-09 19:08:30 +0100 | img | (~img@user/img) |
| 2022-11-09 19:18:17 +0100 | AlexNoo | (~AlexNoo@178.34.163.65) (Read error: Connection reset by peer) |
| 2022-11-09 19:18:54 +0100 | AlexNoo | (~AlexNoo@178.34.163.65) |
| 2022-11-09 19:20:42 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-11-09 19:20:51 +0100 | tormenatur | (uid576041@user/tormenatur) |
| 2022-11-09 19:21:12 +0100 | fserucas | (~fserucas@2001:8a0:6d00:2500:4717:7619:c4e9:3aa2) (Quit: Leaving) |
| 2022-11-09 19:21:44 +0100 | Topsi | (~Topsi@ipb218f772.dynamic.kabel-deutschland.de) |
| 2022-11-09 19:21:47 +0100 | <lyxia> | Does a constructor with a bunch of {-# UNPACK #-} !Word8 consume one byte per field or one word per field? |
| 2022-11-09 19:21:50 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-11-09 19:22:28 +0100 | titibandit | (~titibandi@xdsl-87-78-8-6.nc.de) (Remote host closed the connection) |
| 2022-11-09 19:22:36 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-11-09 19:23:17 +0100 | <geekosaur> | which ghc version? but I suspect it's a word even in 9.2+ |
| 2022-11-09 19:24:23 +0100 | <lyxia> | yeah say 9.4 |
| 2022-11-09 19:25:05 +0100 | <geekosaur> | I say that because the whole size issue happened relatively quickly, but changing stuff like this would require a lot of work on the gc |
| 2022-11-09 19:26:36 +0100 | <geekosaur> | that said, this is probably a #ghc question if you want the real story |
| 2022-11-09 19:27:33 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-09 19:27:49 +0100 | <AndreasK> | lyxia: One byte per field |
| 2022-11-09 19:28:20 +0100 | <geekosaur> | interesting |
| 2022-11-09 19:28:21 +0100 | dfee | (~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net) (Quit: dfee) |
| 2022-11-09 19:29:11 +0100 | <AndreasK> | iirc michael terepeta changed that some time ago |
| 2022-11-09 19:30:26 +0100 | <AndreasK> | geekosaur: The issue was that Int8 used to be implemented as I8# Int# so you had no benefit. |
| 2022-11-09 19:30:46 +0100 | <AndreasK> | geekosaur: Now that Int8# is defined as I8# Int8# we get the packing |
| 2022-11-09 19:31:00 +0100 | <AndreasK> | iirc the packing has been implemented for quite some time. He told me about it at zurihac pre-covid |
| 2022-11-09 19:31:19 +0100 | <geekosaur> | oh |
| 2022-11-09 19:31:19 +0100 | <AndreasK> | But the Int8 change I think was only in 9.2 |
| 2022-11-09 19:32:20 +0100 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2022-11-09 19:32:20 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2022-11-09 19:32:43 +0100 | ubert | (~Thunderbi@178.165.161.121.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-11-09 19:32:43 +0100 | ub1 | ubert |
| 2022-11-09 19:45:33 +0100 | hongminhee | (sid295@tinside.irccloud.com) (Ping timeout: 252 seconds) |
| 2022-11-09 19:48:20 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-11-09 19:48:44 +0100 | hongminhee | (sid295@id-295.tinside.irccloud.com) |
| 2022-11-09 19:49:46 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-11-09 19:54:08 +0100 | chromoblob | (~user@37.113.164.122) (Read error: Connection reset by peer) |
| 2022-11-09 19:55:38 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-11-09 19:55:52 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-09 20:00:49 +0100 | <EvanR> | Int8# actually takes up only 8bits? Or is that just when packed |
| 2022-11-09 20:00:59 +0100 | <EvanR> | I guess that's tautological |
| 2022-11-09 20:03:39 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-09 20:03:39 +0100 | <lyxia> | Thanks! |
| 2022-11-09 20:03:46 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-09 20:06:26 +0100 | polo | (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-11-09 20:11:40 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 260 seconds) |
| 2022-11-09 20:16:35 +0100 | <dminuoso> | EvanR: technically that question is separate, but curiously related. |
| 2022-11-09 20:17:02 +0100 | <dminuoso> | So before 9.0 we had Int8# too, but it was both unusable and b) mapped to Int# at the end anyway |
| 2022-11-09 20:18:56 +0100 | <EvanR> | "unusable" ? |
| 2022-11-09 20:19:05 +0100 | <dminuoso> | Virtually no primops existed to consume them |
| 2022-11-09 20:19:32 +0100 | <dminuoso> | It was just internal stuff from old extensions if I correctly recall my previous discussion with AndreasK |
| 2022-11-09 20:21:02 +0100 | <AndreasK> | More or less |
| 2022-11-09 20:22:03 +0100 | <dminuoso> | In the current GHC we actually track the width until CMM, but I think on x86 this has no relevance since you cannot rename subregisters |
| 2022-11-09 20:22:12 +0100 | <dminuoso> | Not sure about other architectures |
| 2022-11-09 20:23:37 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds) |
| 2022-11-09 20:24:02 +0100 | <geekosaur> | wasn't the whole length thing in 9.2+ because of apple's variant aarch64 abi? |
| 2022-11-09 20:24:18 +0100 | <dminuoso> | Well I guess it does positively impact code size as well, if we can emit machine code to use AX or AL |
| 2022-11-09 20:25:16 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2022-11-09 20:25:40 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-09 20:26:18 +0100 | <AndreasK> | Afaik the smallest encodings on x86-64 tend to be 32-bit ones and you run into issues with partial register stalls |
| 2022-11-09 20:26:41 +0100 | <AndreasK> | Operating on 8 bit values isn't great. But for data structures and such it's beneficial |
| 2022-11-09 20:27:47 +0100 | Guest75 | (~Guest75@178.141.177.81) (Quit: Client closed) |
| 2022-11-09 20:30:20 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-09 20:35:37 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-09 20:39:14 +0100 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-11-09 20:44:07 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-09 20:45:02 +0100 | polo | (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-11-09 20:45:30 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 2022-11-09 20:45:37 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-09 20:55:27 +0100 | abhiroop_ | (~abhiroop@ext-1-450.eduroam.chalmers.se) (Quit: Konversation terminated!) |
| 2022-11-09 20:55:31 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7137a91cc0b0087e9762ec4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-11-09 21:04:03 +0100 | polo | (~polo@216-151-180-141.jfk.as54203.net) |
| 2022-11-09 21:04:15 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7137a22cc0b0087e9762ec4.dip0.t-ipconnect.de) |
| 2022-11-09 21:04:27 +0100 | polo | Guest7322 |
| 2022-11-09 21:05:29 +0100 | Guest75 | (~Guest75@178.141.177.81) |
| 2022-11-09 21:08:01 +0100 | ham2 | ham |
| 2022-11-09 21:09:24 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-11-09 21:09:25 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-09 21:10:04 +0100 | Guest7322 | (~polo@216-151-180-141.jfk.as54203.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-11-09 21:10:26 +0100 | Cerins | (~Cerins@balticom-142-106-43.balticom.lv) |
| 2022-11-09 21:12:06 +0100 | Cerins | (~Cerins@balticom-142-106-43.balticom.lv) (Remote host closed the connection) |
| 2022-11-09 21:18:57 +0100 | <probie> | Re: 8-bit Word8 and Int8. It came in 9.2. I remember because it immediately exposed a bug with the native code gen for arm |
| 2022-11-09 21:19:20 +0100 | <probie> | s/9.2/9.4/ |
| 2022-11-09 21:20:44 +0100 | <probie> | https://gitlab.haskell.org/ghc/ghc/-/issues/22282 |
| 2022-11-09 21:26:45 +0100 | mmhat | (~mmh@p200300f1c70f4195ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-11-09 21:33:34 +0100 | thegeekinside | (~thegeekin@189.180.92.220) (Ping timeout: 260 seconds) |
| 2022-11-09 21:36:46 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2022-11-09 21:40:21 +0100 | mmhat | (~mmh@p200300f1c70f4134ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-11-09 21:40:53 +0100 | <EvanR> | "Angermann" is such a great person to respond to stuff like this |
| 2022-11-09 21:41:31 +0100 | <EvanR> | ghc generates broken code, this is a job for anger man |
| 2022-11-09 21:42:50 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-11-09 21:43:11 +0100 | pavonia | (~user@user/siracusa) |
| 2022-11-09 21:43:19 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-11-09 21:44:29 +0100 | ft | (~ft@p508dbd59.dip0.t-ipconnect.de) |
| 2022-11-09 21:46:24 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-09 21:46:53 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-11-09 21:49:02 +0100 | jargon | (~jargon@184.101.188.35) |
| 2022-11-09 21:53:03 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-09 21:53:28 +0100 | Volt_ | (~Volt_@c-73-167-118-200.hsd1.ma.comcast.net) |
| 2022-11-09 21:58:50 +0100 | <AndreasK> | haha |
| 2022-11-09 22:00:39 +0100 | <geekosaur> | I've had that thought more than a few times myself |
| 2022-11-09 22:08:01 +0100 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) |
| 2022-11-09 22:08:42 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-09 22:09:02 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2022-11-09 22:11:37 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-11-09 22:13:15 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 2022-11-09 22:13:40 +0100 | ft | (~ft@p508dbd59.dip0.t-ipconnect.de) (Quit: leaving) |
| 2022-11-09 22:14:57 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2022-11-09 22:15:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-09 22:15:13 +0100 | ft | (~ft@p508dbd59.dip0.t-ipconnect.de) |
| 2022-11-09 22:16:46 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) (Read error: Connection reset by peer) |
| 2022-11-09 22:22:44 +0100 | Philonous | (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
| 2022-11-09 22:23:15 +0100 | Philonous | (~Philonous@user/philonous) |
| 2022-11-09 22:23:51 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-11-09 22:24:08 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-09 22:26:04 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-09 22:27:02 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2022-11-09 22:27:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3d74:5eb7:3590:2ac6) (Remote host closed the connection) |
| 2022-11-09 22:29:10 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-11-09 22:30:09 +0100 | thegeekinside | (~thegeekin@189.180.89.133) |
| 2022-11-09 22:31:04 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2022-11-09 22:31:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-11-09 22:35:01 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 2022-11-09 22:35:12 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-11-09 22:35:30 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-11-09 22:43:06 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-11-09 22:44:09 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 2022-11-09 22:47:54 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-09 22:51:43 +0100 | titibandit | (~titibandi@xdsl-87-78-8-6.nc.de) |
| 2022-11-09 22:52:19 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-11-09 22:56:16 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-11-09 22:56:59 +0100 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2022-11-09 23:00:52 +0100 | kuribas | (~user@ptr-17d51eo35w1t0olsz1l.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-11-09 23:01:27 +0100 | polo___ | (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-11-09 23:05:31 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-11-09 23:05:50 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-09 23:06:19 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-11-09 23:06:26 +0100 | polo___ | (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) (Remote host closed the connection) |
| 2022-11-09 23:09:17 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-11-09 23:09:39 +0100 | caryhartline | (~caryhartl@2603-8080-6a0e-8d88-f17d-11d4-8563-7e31.res6.spectrum.com) |
| 2022-11-09 23:10:07 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-11-09 23:11:19 +0100 | machinedgod | (~machinedg@clnet-b05-118.ikbnet.co.at) |
| 2022-11-09 23:13:15 +0100 | polo | (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-11-09 23:15:04 +0100 | thegeekinside | (~thegeekin@189.180.89.133) (Ping timeout: 260 seconds) |
| 2022-11-09 23:15:18 +0100 | Guest75 | (~Guest75@178.141.177.81) (Ping timeout: 260 seconds) |
| 2022-11-09 23:15:34 +0100 | polo | (~polo@pool-100-11-18-203.phlapa.fios.verizon.net) (Client Quit) |
| 2022-11-09 23:17:54 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-11-09 23:18:58 +0100 | irrgit | (~irrgit@89.47.234.26) (Quit: Leaving) |
| 2022-11-09 23:19:32 +0100 | thegeekinside | (~thegeekin@189.180.56.84) |
| 2022-11-09 23:22:55 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 252 seconds) |
| 2022-11-09 23:25:17 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-09 23:25:34 +0100 | thyriaen_ | (~thyriaen@2a01:aea0:dd4:470d:4c78:c477:402b:896a) (Remote host closed the connection) |
| 2022-11-09 23:28:50 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-09 23:39:22 +0100 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!) |
| 2022-11-09 23:40:11 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2022-11-09 23:53:43 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) (Ping timeout: 252 seconds) |
| 2022-11-09 23:54:16 +0100 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 252 seconds) |
| 2022-11-09 23:56:18 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-11-09 23:57:34 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-11-09 23:57:39 +0100 | machinedgod | (~machinedg@clnet-b05-118.ikbnet.co.at) (Ping timeout: 260 seconds) |
| 2022-11-09 23:57:54 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-11-09 23:58:22 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-09 23:58:46 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-11-09 23:59:12 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |