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