Logs on 2023-04-15 (liberachat/#haskell)
| 00:02:18 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 00:03:14 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:08:26 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 00:20:03 | → | codaraxis joins (~codaraxis@user/codaraxis) |
| 00:20:44 | → | codaraxis__ joins (~codaraxis@user/codaraxis) |
| 00:21:41 | × | codaraxis__ quits (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 00:24:48 | × | codaraxis quits (~codaraxis@user/codaraxis) (Ping timeout: 255 seconds) |
| 00:28:19 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 00:43:45 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 00:44:45 | → | dsrt^ joins (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 00:47:46 | × | opticblast quits (~Thunderbi@172.58.87.44) (Quit: opticblast) |
| 00:47:49 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 00:47:59 | → | opticblast joins (~Thunderbi@172.58.87.44) |
| 00:51:33 | × | opticblast quits (~Thunderbi@172.58.87.44) (Client Quit) |
| 00:51:46 | → | opticblast joins (~Thunderbi@172.58.87.44) |
| 00:52:59 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 01:00:53 | → | vglfr joins (~vglfr@88.155.171.81) |
| 01:06:56 | × | opticblast quits (~Thunderbi@172.58.87.44) (Quit: opticblast) |
| 01:08:16 | <Nosrep> | ein ghc core i see case expressions are like case something1 of something2 { |
| 01:08:21 | <Nosrep> | what is something2 |
| 01:10:33 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:15:58 | <monochrom> | I don't really know. I have always assumed that it's an alias of something1 without trouble. |
| 01:16:40 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:21:01 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 01:21:02 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 01:21:02 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:22:22 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 01:26:37 | <geekosaur> | yes, case is always strict and binds the result of evaluating something1 to something2 |
| 01:26:47 | <geekosaur> | (in core, as opposed to haskell) |
| 01:30:45 | <Nosrep> | so something2 is just the evaluated version of something1? |
| 01:30:51 | <geekosaur> | yes |
| 01:31:30 | <geekosaur> | in ordinary haskell, case is as strict as the patterns are, so case foo of {bar -> …} doesn't evaluate anything. in core it always evaluates to WHNF |
| 01:31:31 | <c_wraith> | in fact, they're most likely to even be the same thunk. core is just avoiding shadowing |
| 01:32:26 | <Nosrep> | aight thanks |
| 02:09:21 | × | myxokeph quits (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection) |
| 02:10:33 | × | vglfr quits (~vglfr@88.155.171.81) (Ping timeout: 255 seconds) |
| 02:11:25 | → | vglfr joins (~vglfr@88.155.171.81) |
| 02:12:04 | × | td_ quits (~td@i53870905.versanet.de) (Ping timeout: 276 seconds) |
| 02:13:19 | → | td_ joins (~td@i53870901.versanet.de) |
| 02:21:45 | × | xff0x quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 02:23:50 | → | xff0x joins (~xff0x@178.255.149.135) |
| 02:30:01 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::1) (Ping timeout: 250 seconds) |
| 02:37:05 | × | xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 240 seconds) |
| 02:39:04 | → | xff0x joins (~xff0x@2405:6580:b080:900:1308:e6af:51f2:57d8) |
| 02:45:25 | → | nate1 joins (~nate@98.45.169.16) |
| 02:48:48 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 02:50:50 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 02:52:39 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::1) |
| 02:57:16 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 02:58:41 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 03:01:07 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:02:06 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 03:02:54 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::1) (Remote host closed the connection) |
| 03:04:32 | × | xff0x quits (~xff0x@2405:6580:b080:900:1308:e6af:51f2:57d8) (Ping timeout: 248 seconds) |
| 03:04:55 | → | xff0x joins (~xff0x@ai098135.d.east.v6connect.net) |
| 03:18:10 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 03:24:52 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 03:41:45 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 03:47:18 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 03:48:25 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 03:51:05 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 04:01:31 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 252 seconds) |
| 04:09:47 | × | pyook quits (~puke@user/puke) (Ping timeout: 264 seconds) |
| 04:33:08 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:33:25 | → | pyook joins (~puke@user/puke) |
| 04:35:18 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 04:39:37 | × | lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 276 seconds) |
| 04:40:01 | × | pyook quits (~puke@user/puke) (Ping timeout: 250 seconds) |
| 04:52:13 | → | pyook joins (~puke@user/puke) |
| 05:12:07 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 05:13:37 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 05:16:38 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 05:34:14 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 05:41:09 | × | cassiopea quits (~cassiopea@user/cassiopea) (Ping timeout: 255 seconds) |
| 05:42:01 | × | mikess quits (~sam@user/mikess) (Ping timeout: 276 seconds) |
| 05:48:11 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 05:57:39 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 05:58:45 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 06:07:29 | → | kuribas joins (~user@ptr-17d51emji3cqx0jt1rz.18120a2.ip6.access.telenet.be) |
| 06:09:44 | → | l0s3r joins (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) |
| 06:09:52 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 06:13:11 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 06:18:13 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 06:22:05 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 06:26:22 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:34:38 | → | czy joins (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 06:35:45 | → | jargon joins (~jargon@174-22-213-236.phnx.qwest.net) |
| 06:40:47 | × | czy quits (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 06:41:57 | × | yaroot quits (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Remote host closed the connection) |
| 06:42:40 | → | yaroot joins (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 06:58:55 | → | tr_ev joins (~trev@user/trev) |
| 07:02:03 | tr_ev | is now known as trev |
| 07:07:07 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 07:11:27 | × | mauke quits (~mauke@user/mauke) (Quit: leaving) |
| 07:13:57 | → | mauke joins (~mauke@user/mauke) |
| 07:22:07 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 07:25:02 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 07:38:49 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 07:40:06 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 07:42:38 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 07:43:18 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 07:44:32 | → | NiceBird joins (~NiceBird@185.133.111.196) |
| 07:45:09 | × | yaroot quits (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Remote host closed the connection) |
| 07:52:16 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 07:54:25 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 07:56:09 | → | gmg joins (~user@user/gehmehgeh) |
| 07:58:15 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) (Remote host closed the connection) |
| 08:01:12 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 08:01:28 | → | trev joins (~trev@user/trev) |
| 08:04:57 | × | kuribas quits (~user@ptr-17d51emji3cqx0jt1rz.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 08:05:10 | → | kuribas joins (~user@ptr-17d51emji3cqx0jt1rz.18120a2.ip6.access.telenet.be) |
| 08:11:54 | → | yaroot joins (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 08:13:54 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 08:15:00 | × | nek0 quits (~nek0@nek0.eu) (Quit: Ping timeout (120 seconds)) |
| 08:15:15 | → | nek0 joins (~nek0@2a01:4f8:222:2b41::12) |
| 08:24:26 | → | czy joins (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 08:24:35 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 08:27:32 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:28:16 | × | xff0x quits (~xff0x@ai098135.d.east.v6connect.net) (Quit: xff0x) |
| 08:28:39 | × | OscarZ quits (~oscarz@95.175.104.196) (Quit: Leaving) |
| 08:32:11 | → | xff0x joins (~xff0x@2405:6580:b080:900:5f55:af97:69b1:7e4e) |
| 08:32:49 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 08:46:05 | × | azimut_ quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 08:58:44 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) |
| 09:03:25 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) (Ping timeout: 260 seconds) |
| 09:06:21 | × | Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 255 seconds) |
| 09:08:21 | → | Vq joins (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 09:13:48 | × | jargon quits (~jargon@174-22-213-236.phnx.qwest.net) (Remote host closed the connection) |
| 09:18:28 | × | cheater quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 09:21:06 | → | mastarija joins (~mastarija@2a05:4f46:e03:6000:10e9:88e2:3c68:2a43) |
| 09:31:28 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 09:33:26 | × | vglfr quits (~vglfr@88.155.171.81) (Ping timeout: 265 seconds) |
| 09:34:20 | → | vglfr joins (~vglfr@88.155.171.201) |
| 09:34:34 | → | Guest40 joins (~Guest40@2001:861:5401:12b0:d149:a31c:3c29:397f) |
| 09:35:30 | × | vglfr quits (~vglfr@88.155.171.201) (Remote host closed the connection) |
| 09:35:57 | → | cheater joins (~Username@user/cheater) |
| 09:36:25 | → | vglfr joins (~vglfr@88.155.171.201) |
| 09:43:14 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 09:45:17 | × | vglfr quits (~vglfr@88.155.171.201) (Ping timeout: 256 seconds) |
| 09:46:12 | → | vglfr joins (~vglfr@88.154.76.245) |
| 09:46:31 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 09:47:07 | → | nate1 joins (~nate@98.45.169.16) |
| 09:47:26 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 09:52:05 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 09:53:51 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 10:02:50 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:03:56 | → | LenarHoyt joins (~LenarHoyt@p54b50987.dip0.t-ipconnect.de) |
| 10:07:17 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 10:10:15 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 10:14:16 | × | Guest40 quits (~Guest40@2001:861:5401:12b0:d149:a31c:3c29:397f) (Quit: Client closed) |
| 10:15:40 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 10:22:50 | → | jargon joins (~jargon@174-22-213-236.phnx.qwest.net) |
| 10:31:35 | → | gurkenglas joins (~gurkengla@dynamic-046-114-182-159.46.114.pool.telefonica.de) |
| 10:32:25 | × | vglfr quits (~vglfr@88.154.76.245) (Ping timeout: 240 seconds) |
| 10:32:39 | → | vglfr joins (~vglfr@88.155.143.82) |
| 10:35:29 | × | xff0x quits (~xff0x@2405:6580:b080:900:5f55:af97:69b1:7e4e) (Quit: xff0x) |
| 10:37:45 | → | xff0x joins (~xff0x@2405:6580:b080:900:6f29:c3d8:e704:58bd) |
| 10:41:36 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:44:00 | × | vglfr quits (~vglfr@88.155.143.82) (Ping timeout: 255 seconds) |
| 10:45:19 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 11:00:13 | × | _xor quits (~xor@74.215.46.17) (Quit: brb) |
| 11:03:22 | × | LenarHoyt quits (~LenarHoyt@p54b50987.dip0.t-ipconnect.de) (Quit: Client closed) |
| 11:15:11 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 11:16:18 | <carbolymer> | I'm wondering how can I write parser (in megaparsec) doing "ignore everything" then "capture interesting part" then "ignore everything". I'm trying to get current boot loader from: https://volumen.civitat.es/AggressiveElegantOcean - so my first idea is to `try currentBootLoaderP <|> everythingWithoutNewlineP` every line |
| 11:16:33 | <carbolymer> | any better options? |
| 11:25:08 | <ncf> | i'd advise against trying to parse command output that's meant for humans |
| 11:25:54 | <ncf> | maybe read from /sys/firmware/efi/efivars/LoaderInfo-* directly? |
| 11:32:10 | <carbolymer> | fair point |
| 11:37:08 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 11:57:48 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 12:14:08 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 12:16:05 | <ncf> | is there a shortcut for \ a -> getConst . a . fmap Const :: (f (Const a b) -> Const a b) -> f a -> a ? coerce complains about f being nominal |
| 12:19:36 | <ncf> | er, about the argument to f being nominal |
| 12:19:39 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 12:20:03 | <ncf> | i want it to treat it as representational |
| 12:21:21 | <ncf> | hm https://stackoverflow.com/questions/39522041/how-to-coerce-functors-applied-to-coercible-arguments |
| 12:21:32 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::1) |
| 12:21:32 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 12:26:09 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 12:30:12 | × | gurkenglas quits (~gurkengla@dynamic-046-114-182-159.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 12:57:16 | → | zer0bitz_ joins (~zer0bitz@2001:2003:f443:d600:3487:52ee:852d:d7d6) |
| 12:58:08 | × | zer0bitz quits (~zer0bitz@2001:2003:f443:d600:1cd1:b173:147e:35a6) (Ping timeout: 248 seconds) |
| 13:02:51 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 13:03:10 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) |
| 13:03:43 | → | coot joins (~coot@213.134.170.228) |
| 13:04:26 | × | coot quits (~coot@213.134.170.228) (Remote host closed the connection) |
| 13:05:18 | × | xff0x quits (~xff0x@2405:6580:b080:900:6f29:c3d8:e704:58bd) (Quit: xff0x) |
| 13:06:58 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 13:07:04 | → | xff0x joins (~xff0x@ai098135.d.east.v6connect.net) |
| 13:07:35 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) (Ping timeout: 246 seconds) |
| 13:15:23 | → | alexherbo2 joins (~alexherbo@211.190.65.81.rev.sfr.net) |
| 13:26:45 | × | pyook quits (~puke@user/puke) (Ping timeout: 240 seconds) |
| 13:35:07 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 13:35:25 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 13:38:12 | → | Pickchea joins (~private@user/pickchea) |
| 13:40:24 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 13:40:43 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 13:48:26 | → | nate1 joins (~nate@98.45.169.16) |
| 13:49:06 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:53:04 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 13:54:17 | × | ridcully_ quits (~ridcully@p57b52f2c.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 13:59:30 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 14:06:13 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 14:06:30 | → | ridcully joins (~ridcully@p57b52f2c.dip0.t-ipconnect.de) |
| 14:13:14 | × | alexherbo2 quits (~alexherbo@211.190.65.81.rev.sfr.net) (Remote host closed the connection) |
| 14:28:33 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 14:28:52 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 14:38:22 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 14:44:05 | × | Techcable quits (~Techcable@user/Techcable) (Ping timeout: 250 seconds) |
| 14:44:14 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-5412-37ce-2c11-3789.rev.sfr.net) |
| 14:45:08 | × | Me-me quits (~Me-me@146.102.215.218.dyn.iprimus.net.au) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 14:45:43 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 14:48:42 | → | Unhammer joins (~Unhammer@user/unhammer) |
| 14:53:15 | → | Techcable joins (~Techcable@user/Techcable) |
| 15:04:07 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 15:08:06 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 15:09:02 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 15:09:47 | → | gmg joins (~user@user/gehmehgeh) |
| 15:23:05 | × | hippoid quits (~My_user_n@user/hippoid) (Ping timeout: 250 seconds) |
| 15:25:25 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 15:32:07 | × | dsrt^ quits (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 15:34:45 | → | titibandit joins (~titibandi@user/titibandit) |
| 15:41:58 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 15:46:22 | → | __monty__ joins (~toonn@user/toonn) |
| 15:47:48 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 15:52:13 | → | hippoid joins (~My_user_n@c-98-213-162-40.hsd1.il.comcast.net) |
| 15:52:21 | × | hippoid quits (~My_user_n@c-98-213-162-40.hsd1.il.comcast.net) (Changing host) |
| 15:52:21 | → | hippoid joins (~My_user_n@user/hippoid) |
| 15:54:32 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 15:55:52 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-5412-37ce-2c11-3789.rev.sfr.net) (Remote host closed the connection) |
| 15:56:25 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-5412-37ce-2c11-3789.rev.sfr.net) |
| 15:56:51 | → | mikess joins (~sam@user/mikess) |
| 15:59:30 | → | hueso joins (~root@user/hueso) |
| 16:09:05 | → | pyook joins (~puke@user/puke) |
| 16:15:52 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 16:16:35 | × | euandreh quits (~Thunderbi@189.6.18.7) (Ping timeout: 260 seconds) |
| 16:18:01 | × | pyook quits (~puke@user/puke) (Ping timeout: 240 seconds) |
| 16:18:54 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 16:19:51 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) |
| 16:20:18 | → | trev joins (~trev@user/trev) |
| 16:21:59 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 16:22:11 | → | pyook joins (~puke@user/puke) |
| 16:24:31 | × | trev quits (~trev@user/trev) (Client Quit) |
| 16:24:38 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:24:44 | → | econo joins (uid147250@user/econo) |
| 16:25:58 | → | trev joins (~trev@user/trev) |
| 16:26:05 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 16:29:14 | × | trev quits (~trev@user/trev) (Client Quit) |
| 16:30:08 | <hopelessness[m]> | What exactly is wrong here? When I run `parseTest foo "abc"` in ghci it does not terminate and with every character I write in the terminal my memory blows up exponentially ....... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/7739d8153d07028b41e66f0b6247a0ff1ee2b988>) |
| 16:30:38 | → | trev joins (~trev@user/trev) |
| 16:39:57 | <monochrom> | What do I import to get alphaNumChar? |
| 16:40:11 | × | trev quits (~trev@user/trev) (Ping timeout: 248 seconds) |
| 16:41:03 | <int-e> | @hoogle alphaNumChar |
| 16:41:04 | <lambdabot> | Text.Megaparsec.Byte alphaNumChar :: (MonadParsec e s m, Token s ~ Word8) => m (Token s) |
| 16:41:04 | <lambdabot> | Text.Megaparsec.Char alphaNumChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s) |
| 16:41:04 | <lambdabot> | Toml.Parser.Core alphaNumChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s) |
| 16:41:54 | <monochrom> | But I am reproducing (or refuting) hopelessness[m]'s observation and it needs to be exactly what they used. |
| 16:41:57 | <int-e> | (Maybe that should reply with an URL instead if the output is longer than 3 lines) |
| 16:43:02 | <int-e> | monochrom: I missed the context as usual. |
| 16:43:14 | <int-e> | Pasting code without imports is such bad style. |
| 16:43:32 | <sm> | hopelessness: yikes |
| 16:44:10 | <monochrom> | Yeah I already have to conjure up 4 import lines pro bono. |
| 16:44:27 | <hpc> | this is why whenever i post code, i make sure to include some extra imports just in case :D |
| 16:44:27 | <sm> | well, I think many of many will break most parsers.. (I seem to remember an error message.. from megaparsec ?) Try making one of them many1 ? |
| 16:44:53 | <int-e> | Well, there are infinitely many potential results... but it should pick the first one greedily? So ["abc"]? |
| 16:45:45 | <sm> | apparently that's not what parseTest does :) |
| 16:46:09 | <monochrom> | No, apparently none of us has actually tested the code. |
| 16:46:34 | <hpc> | hopelessness[m]: can you paste the full file, or whatever you're putting into ghci? |
| 16:46:39 | <monochrom> | Even I am still one import away from actually making a live observation. |
| 16:46:47 | <monochrom> | Not going to theorize until then. |
| 16:47:02 | <int-e> | Oh yes, I'm absolutely speculating here. |
| 16:47:40 | <int-e> | I mean, do we even know which parsec variant this is about? |
| 16:47:44 | <hpc> | nope |
| 16:48:32 | <hpc> | i mean, it's almost certainly a many.many issue though - this happens with naive implementations of (.*)* in regexes too |
| 16:48:39 | <monochrom> | "I have got a solution from stackoverflow". |
| 16:48:52 | <int-e> | monochrom: now you have 2 problems |
| 16:49:12 | <int-e> | monochrom: "I have got a solution from GPT-4" |
| 16:49:23 | <monochrom> | haha forgot that one |
| 16:49:44 | <hpc> | "i typed your symptoms into this thing and it said you have network connectivity problems" |
| 16:51:51 | hopelessness[m] | sent a code block: https://libera.ems.host/_matrix/media/v3/download/libera.chat/367cc6b691de3b768436eb8cb5a5829b7f771927 |
| 16:51:52 | → | trev joins (~trev@user/trev) |
| 16:52:05 | <hopelessness[m]> | * ```... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/f3a5f1c083fbb2d70ab57fc456ea1e2e104a27f5>) |
| 16:52:53 | <hopelessness[m]> | ghci> :set -XOverloadedStrings |
| 16:52:53 | <hopelessness[m]> | ghci> parseTest parser "abcdsfds dsfdsfö" |
| 16:53:19 | <hopelessness[m]> | This should be everything in more detail |
| 16:54:16 | <hopelessness[m]> | * ```... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/8af6b66890a58fbfeafdde0950ff829e113a53e1>) |
| 16:56:31 | <int-e> | Fascinating. *** Exception: Text.ParserCombinators.Parsec.Prim.many: combinator 'many' is applied to a parser that accepts an empty string. |
| 16:57:19 | hopelessness[m] | uploaded an image: (25KiB) < https://libera.ems.host/_matrix/media/v3/download/matrix.org/NasqoKTOrjvmxDFJoJPMkVNa/image.png > |
| 16:57:20 | <int-e> | Oh, I'm an idiot. Rather than ["abc"], the greedy result will of course be ["abc","","","",...] |
| 16:57:30 | <hopelessness[m]> | ah |
| 16:57:30 | <int-e> | And *that* will never terminate. |
| 16:57:32 | <probie> | Don't you want `some`? Allowing empty string as function names seems incorrect in pretty much all cases |
| 16:57:46 | <hopelessness[m]> | ah yes |
| 16:58:03 | <hopelessness[m]> | yeah, this solves everything |
| 16:58:10 | <hopelessness[m]> | thanks |
| 16:58:35 | → | tr_ev joins (~trev@user/trev) |
| 16:58:40 | × | trev quits (~trev@user/trev) (Killed (NickServ (GHOST command used by tr_ev))) |
| 16:58:42 | tr_ev | is now known as trev |
| 17:04:40 | <sm> | how come hopelessness didn't see the megaparsec error int-e saw |
| 17:05:15 | <int-e> | sm: because that wasn't a megaparsec error |
| 17:05:39 | <int-e> | that was parsec |
| 17:06:39 | → | Square joins (~Square4@user/square) |
| 17:06:45 | <int-e> | And I was genuinely surprised that it implements that check. |
| 17:07:09 | <sm> | I feel like I'm not seeing the whole chat log.. I see, thanks |
| 17:07:19 | → | ddellacosta joins (~ddellacos@143.244.47.70) |
| 17:07:40 | <int-e> | (Of course that means that it implements `many` specifically for its parser rather than generically at the applicative or monadic level) |
| 17:08:07 | <int-e> | sm: I didn't mention that it was parsec; the only hint was the module name. |
| 17:08:56 | → | tr_ev joins (~trev@user/trev) |
| 17:08:58 | × | trev quits (~trev@user/trev) (Read error: Connection reset by peer) |
| 17:09:08 | tr_ev | is now known as trev |
| 17:09:32 | <sm> | where did you see a module name ? |
| 17:09:44 | <int-e> | sm: it's part of the error message? |
| 17:10:33 | <sm> | I see it in the error message you pasted, only.. ah never mind, this is not important :) |
| 17:10:49 | <int-e> | sm: Yes, and it was *only* there. |
| 17:12:38 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 17:12:38 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 17:12:38 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:13:00 | <int-e> | Anyway, it was a good thing for me to try parsec, because it made me reconsider why accepting empty strings inside `many` is fatal. |
| 17:19:17 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 17:29:36 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 17:30:04 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 17:30:16 | × | euandreh quits (~Thunderbi@189.6.18.7) (Client Quit) |
| 17:30:32 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 17:31:25 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 17:36:45 | × | Square quits (~Square4@user/square) (Ping timeout: 256 seconds) |
| 17:37:30 | × | NiceBird quits (~NiceBird@185.133.111.196) (Quit: Leaving) |
| 17:37:41 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 17:37:57 | → | trev joins (~trev@user/trev) |
| 17:40:47 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 17:40:47 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 17:40:47 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:42:07 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 17:42:08 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 17:44:05 | × | mei quits (~mei@user/mei) (Ping timeout: 240 seconds) |
| 17:49:54 | → | nate1 joins (~nate@98.45.169.16) |
| 17:53:31 | zer0bitz_ | is now known as zer0bitz |
| 17:54:25 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 17:58:06 | → | biberu joins (~biberu@user/biberu) |
| 18:09:14 | → | dsrt^ joins (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 18:17:50 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 18:19:11 | → | gawen joins (~gawen@user/gawen) |
| 18:19:35 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 18:22:45 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 18:24:48 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 18:26:45 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 18:33:54 | → | mei joins (~mei@user/mei) |
| 18:42:15 | → | wroathe joins (~wroathe@50.205.197.50) |
| 18:42:15 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 18:42:15 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:48:52 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:00:18 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 19:01:48 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-5412-37ce-2c11-3789.rev.sfr.net) (Ping timeout: 260 seconds) |
| 19:04:06 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 19:07:29 | → | gurkenglas joins (~gurkengla@dynamic-046-114-182-159.46.114.pool.telefonica.de) |
| 19:07:47 | × | mikess quits (~sam@user/mikess) (Ping timeout: 246 seconds) |
| 19:09:40 | <dsal> | Is there a way to get ghc to emit a useful error if someone tries to use a function I want to remove? |
| 19:09:53 | <dsal> | I guess I can just do a normal deprecation. |
| 19:12:49 | <geekosaur> | hoonestly, it seems like the answer to that is "just remove it" |
| 19:16:48 | → | nschoe joins (~q@2a01:e0a:8e:a190:6820:9abe:c111:5b65) |
| 19:22:20 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::1) (Ping timeout: 260 seconds) |
| 19:22:26 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 19:28:51 | × | kuribas quits (~user@ptr-17d51emji3cqx0jt1rz.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 19:31:54 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-3d9e-23bb-c5ed-f735.rev.sfr.net) |
| 19:34:18 | <dsal> | Yeah. This is functionality that I want to exist but can't make work for non-technical reasons. deprecate + throw is kind of passive aggressive, but removing isn't wrong. |
| 19:35:08 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::1) |
| 19:42:47 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::1) (Ping timeout: 264 seconds) |
| 19:50:29 | <int-e> | there's a DEPRECATED pragma in GHC. |
| 19:50:47 | <geekosaur> | yes but he wants a custom error not a warning |
| 19:51:13 | <geekosaur> | and while `-Werror=…` is a thing he can't turn it on for all users linking against the package |
| 19:51:15 | <int-e> | Ah, error. |
| 19:51:46 | <int-e> | How do you link against the package without compiling first, hmm. |
| 19:51:54 | <geekosaur> | I'd suspect there's some TH thing that could be done, but the question becomes whether it's wort it |
| 19:51:57 | <int-e> | (In a world with no ABI stability.) |
| 19:52:14 | <geekosaur> | *worth |
| 19:52:33 | <int-e> | I don't see how you'd inject TH there. |
| 19:52:50 | <int-e> | (For a simple use of an exported identifier that is.) |
| 19:53:40 | <geekosaur> | depends on how TH + INLINEABLE interacts with .hi files, I guess |
| 19:54:16 | × | ix quits (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8) |
| 19:54:22 | <int-e> | A rewrite rule, perhaps? I've never tried to put TH there... I don't think it'll work though because TH expansion happens way before the simplifier runs. |
| 19:55:00 | <int-e> | And rewrite rules depend on -O. |
| 19:55:33 | <int-e> | I think the DEPRECATED pragma is the best GHC has to offer for this. |
| 19:55:49 | <int-e> | Other than, as suggested, removing the function entirely. |
| 19:55:53 | → | ix joins (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
| 19:57:56 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 19:58:31 | <int-e> | hah... how about over-engineering it with annotations and a compiler plugin :-P |
| 19:59:09 | → | jero98772 joins (~jero98772@190.158.28.80) |
| 19:59:50 | × | ix quits (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Client Quit) |
| 20:00:29 | <mauke> | what happens if you give it a type like foo :: (ThisFunctionIsDeprecatedDoNotUseIt doNotUse) => doNotUse |
| 20:01:19 | → | vglfr joins (~vglfr@37.73.81.145) |
| 20:01:44 | <mauke> | ... error message engineering? what is this, C++? |
| 20:02:33 | <tomsmeding> | foo :: TypeError (Text "Do not use this function for non-technical reasons") => () |
| 20:02:41 | <tomsmeding> | https://hackage.haskell.org/package/base-4.16.0.0/docs/GHC-TypeLits.html#g:4 |
| 20:03:08 | <tomsmeding> | dsal mauke: ^ |
| 20:03:39 | → | ix joins (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
| 20:04:17 | <mauke> | hah |
| 20:05:17 | ← | Unhammer parts (~Unhammer@user/unhammer) (ERC (IRC client for Emacs) with WeeChat) |
| 20:05:24 | <geekosaur> | heh, I know about TypeError but never considered using it that way |
| 20:05:53 | × | ix quits (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Client Quit) |
| 20:07:39 | → | ix joins (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
| 20:11:37 | <dsal> | That's actually the kind of thing I was thinking about,yeah. |
| 20:14:59 | × | jero98772 quits (~jero98772@190.158.28.80) (Ping timeout: 246 seconds) |
| 20:15:16 | <int-e> | that is clever |
| 20:15:48 | <int-e> | it won't work 100% of the time (imagine a local, unused binding, without a type signature) |
| 20:16:05 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 20:16:15 | <int-e> | or code with no type signatures (*shudder*) |
| 20:17:30 | → | trev joins (~trev@user/trev) |
| 20:18:15 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 20:22:09 | → | coot_ joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 20:22:26 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 20:23:23 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 250 seconds) |
| 20:23:24 | coot_ | is now known as coot |
| 20:27:19 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 20:27:27 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::1) |
| 20:32:13 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-3d9e-23bb-c5ed-f735.rev.sfr.net) (Ping timeout: 260 seconds) |
| 20:39:23 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-8476-90af-61c3-7964.rev.sfr.net) |
| 20:40:20 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 20:42:01 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 20:45:32 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) (Remote host closed the connection) |
| 20:47:11 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 20:50:27 | → | cheater_ joins (~Username@user/cheater) |
| 20:51:44 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 20:51:52 | cheater_ | is now known as cheater |
| 20:52:40 | → | zeenk joins (~zeenk@2a02:2f0e:7900:da01:b4a3:67c4:d0e3:beb0) |
| 20:53:11 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 20:57:37 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 20:58:20 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 21:03:14 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:04:39 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 21:07:01 | → | pharonix71 joins (~pharonix7@gateway/tor-sasl/pharonix71) |
| 21:12:28 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e40f:1779:8d3b:ad7d) |
| 21:13:42 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 21:15:39 | → | Feuermagier_ joins (~Feuermagi@user/feuermagier) |
| 21:18:24 | × | mastarija quits (~mastarija@2a05:4f46:e03:6000:10e9:88e2:3c68:2a43) (Quit: WeeChat 3.7.1) |
| 21:18:47 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 264 seconds) |
| 21:20:32 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 21:20:51 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 21:25:43 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Client Quit) |
| 21:32:06 | → | zeenk2 joins (~zeenk@188.26.30.104) |
| 21:32:31 | × | zeenk quits (~zeenk@2a02:2f0e:7900:da01:b4a3:67c4:d0e3:beb0) (Ping timeout: 260 seconds) |
| 21:33:06 | × | ft quits (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 21:36:32 | × | nschoe quits (~q@2a01:e0a:8e:a190:6820:9abe:c111:5b65) (Ping timeout: 248 seconds) |
| 21:37:36 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::1) (Ping timeout: 248 seconds) |
| 21:38:10 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 21:40:47 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 21:44:42 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:49:35 | → | jero98772 joins (~jero98772@2800:484:1d84:9000:c240:a1ed:a61f:2a0) |
| 21:49:44 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 21:49:50 | → | ft joins (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 21:51:25 | → | nate1 joins (~nate@98.45.169.16) |
| 21:56:05 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 22:00:38 | → | OscarZ joins (~oscarz@95.175.104.196) |
| 22:08:00 | × | gurkenglas quits (~gurkengla@dynamic-046-114-182-159.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 22:09:52 | → | gurkenglas joins (~gurkengla@dynamic-046-114-182-107.46.114.pool.telefonica.de) |
| 22:33:10 | → | heraldo joins (~heraldo@user/heraldo) |
| 22:39:25 | × | vglfr quits (~vglfr@37.73.81.145) (Ping timeout: 240 seconds) |
| 22:51:14 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 22:52:17 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:53:11 | → | _xor joins (~xor@74.215.46.17) |
| 22:57:04 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 248 seconds) |
| 22:58:48 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 23:03:05 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e40f:1779:8d3b:ad7d) (Remote host closed the connection) |
| 23:03:56 | → | tjnhxmzhmqgytuwt joins (~tjnhxmzhm@2001:470:69fc:105::3:70e) |
| 23:06:39 | → | tjnhxmzh1qgytuwt joins (~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net) |
| 23:07:31 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:16:16 | × | acidjnk quits (~acidjnk@p200300d6e715c4416144e158ab279f3c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 23:19:19 | × | zeenk2 quits (~zeenk@188.26.30.104) (Quit: Konversation terminated!) |
| 23:20:39 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 23:21:47 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e40f:1779:8d3b:ad7d) |
| 23:21:47 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 23:22:32 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:23:34 | × | OscarZ quits (~oscarz@95.175.104.196) (Quit: Leaving) |
| 23:36:26 | → | Me-me joins (~Me-me@146.102.215.218.dyn.iprimus.net.au) |
| 23:38:25 | × | tjnhxmzh1qgytuwt quits (~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net) (Ping timeout: 276 seconds) |
| 23:49:04 | → | acidjnk joins (~acidjnk@p200300d6e715c4246144e158ab279f3c.dip0.t-ipconnect.de) |
| 23:53:51 | → | nate1 joins (~nate@98.45.169.16) |
| 23:55:05 | × | _xor quits (~xor@74.215.46.17) (Quit: WeeChat 3.8) |
| 23:55:26 | → | _xor joins (~xor@74.215.46.17) |
| 23:55:31 | → | mauke_ joins (~mauke@user/mauke) |
| 23:57:21 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 255 seconds) |
| 23:57:22 | mauke_ | is now known as mauke |
| 23:58:42 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
All times are in UTC on 2023-04-15.