| 2023-04-08 00:00:01 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-04-08 00:01:54 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-04-08 00:02:37 +0000 | malte | (~malte@mal.tc) |
| 2023-04-08 00:03:22 +0000 | califax | (~califax@user/califx) |
| 2023-04-08 00:05:07 +0000 | vglfr | (~vglfr@88.155.38.77) (Ping timeout: 276 seconds) |
| 2023-04-08 00:06:32 +0000 | <geekosaur[m]> | Actually I missed a step: on a branch instead of a release you need to run aclocal before ./configure |
| 2023-04-08 00:23:52 +0000 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2023-04-08 00:25:40 +0000 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-08 00:25:45 +0000 | Guest48 | (~Guest48@2604:4080:11a5:8050:d8a3:b401:7b54:bb05) (Quit: Client closed) |
| 2023-04-08 00:26:24 +0000 | <Umeaboy> | geekosaur[m]: Is autoreconf still needed before ./configure? |
| 2023-04-08 00:27:06 +0000 | <geekosaur> | autoreconf is aclocal plus a few other things that aren't relevant to ghc; all you really should need is aclocal |
| 2023-04-08 00:27:24 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-04-08 00:27:50 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::708a) |
| 2023-04-08 00:31:29 +0000 | <Umeaboy> | geekosaur: Does this %build part look correct to you then? https://pastebin.com/sFEfiTDR |
| 2023-04-08 00:31:39 +0000 | lbseale | (~quassel@user/ep1ctetus) |
| 2023-04-08 00:31:54 +0000 | <geekosaur> | more to the point, autoreconf runs autoheader (unneeded), aclocal, libtoolize (unneeded), autopoint (unneeded), and configure |
| 2023-04-08 00:32:08 +0000 | <geekosaur> | er, autoconf, which should also not be needed |
| 2023-04-08 00:33:12 +0000 | <geekosaur> | uh? why are you running hadrian/build before aclocal and configure? and make afterward (make isn't even supported if you're building 9.7) |
| 2023-04-08 00:33:49 +0000 | <Umeaboy> | Okey. I'm new to porting compilers. :) |
| 2023-04-08 00:34:55 +0000 | mikess | (~sam@user/mikess) |
| 2023-04-08 00:35:46 +0000 | <geekosaur> | mm, you may need autoconf at that; been a while since I updated my checkout to the point of needing it |
| 2023-04-08 00:36:03 +0000 | <geekosaur> | so autoreconf in place of aclocal to be certain |
| 2023-04-08 00:36:48 +0000 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 248 seconds) |
| 2023-04-08 00:37:46 +0000 | <geekosaur> | run hadrian/build after configure, and get rid of the make invocation because on 9.3 or later you'll get a complaint that there's no Makefile (which is correct as make is no longer supported after 9.2) |
| 2023-04-08 00:40:50 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-04-08 00:44:45 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 00:49:37 +0000 | qy | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
| 2023-04-08 00:50:08 +0000 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Ping timeout: 248 seconds) |
| 2023-04-08 00:52:16 +0000 | mikess | (~sam@user/mikess) (Ping timeout: 248 seconds) |
| 2023-04-08 00:52:47 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 2023-04-08 00:57:25 +0000 | <geekosaur[m]> | Also I still don't see you running ./boot which you need for a build from git at least |
| 2023-04-08 00:58:11 +0000 | <geekosaur[m]> | But I'm going to bed, it's getting late here |
| 2023-04-08 01:00:13 +0000 | <Umeaboy> | Okidoki. |
| 2023-04-08 01:04:32 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-08 01:04:32 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-08 01:04:32 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-08 01:10:18 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-04-08 01:13:17 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-04-08 01:16:25 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-04-08 01:19:13 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-08 01:32:26 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 01:34:09 +0000 | mikess | (~sam@user/mikess) |
| 2023-04-08 01:38:04 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 01:44:38 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 01:49:05 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::708a) (Quit: Leaving) |
| 2023-04-08 01:49:20 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-04-08 01:49:31 +0000 | dfg | (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 2023-04-08 01:52:55 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-08 01:57:45 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2023-04-08 02:04:02 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-04-08 02:04:02 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-04-08 02:04:02 +0000 | finn_elija | FinnElija |
| 2023-04-08 02:07:59 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 2023-04-08 02:08:09 +0000 | catch22 | (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) (Ping timeout: 250 seconds) |
| 2023-04-08 02:10:35 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 02:16:15 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-08 02:16:56 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-08 02:19:25 +0000 | td_ | (~td@i53870919.versanet.de) (Ping timeout: 250 seconds) |
| 2023-04-08 02:21:11 +0000 | td_ | (~td@i5387093E.versanet.de) |
| 2023-04-08 02:21:15 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f443:d600:8072:a2d3:32b3:1df4) |
| 2023-04-08 02:22:26 +0000 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:f43c:a9e1:5195:3fd4) (Ping timeout: 252 seconds) |
| 2023-04-08 02:24:21 +0000 | talismanick | (~talismani@2601:204:ef81:1430::fbe0) |
| 2023-04-08 02:26:10 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 02:27:32 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 02:28:27 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 02:32:51 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-04-08 02:40:46 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-04-08 02:45:53 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 02:47:01 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-08 03:00:24 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 03:05:00 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-08 03:13:04 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 2023-04-08 03:17:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2023-04-08 03:17:24 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-04-08 03:17:42 +0000 | tusko | (~yeurt@user/tusko) (Byeee) |
| 2023-04-08 03:18:40 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2023-04-08 03:19:25 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-04-08 03:30:08 +0000 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-04-08 03:35:01 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 03:36:49 +0000 | mei | (~mei@user/mei) (Ping timeout: 265 seconds) |
| 2023-04-08 03:43:31 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 03:49:23 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2023-04-08 03:59:05 +0000 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 250 seconds) |
| 2023-04-08 04:00:55 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2023-04-08 04:05:35 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-04-08 04:06:24 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 248 seconds) |
| 2023-04-08 04:08:13 +0000 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-04-08 04:10:31 +0000 | jwiegley | (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-04-08 04:13:02 +0000 | mei | (~mei@user/mei) |
| 2023-04-08 04:15:43 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 04:32:06 +0000 | bilegeek | (~bilegeek@25.sub-174-209-32.myvzw.com) |
| 2023-04-08 04:36:27 +0000 | bilegeek | (~bilegeek@25.sub-174-209-32.myvzw.com) (Ping timeout: 248 seconds) |
| 2023-04-08 04:36:27 +0000 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (Ping timeout: 248 seconds) |
| 2023-04-08 04:37:22 +0000 | bilegeek | (~bilegeek@216.sub-174-208-226.myvzw.com) |
| 2023-04-08 04:37:34 +0000 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
| 2023-04-08 04:38:54 +0000 | catch22 | (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) |
| 2023-04-08 04:41:59 +0000 | bilegeek_ | (~bilegeek@37.sub-174-208-228.myvzw.com) |
| 2023-04-08 04:44:30 +0000 | bilegeek | (~bilegeek@216.sub-174-208-226.myvzw.com) (Ping timeout: 268 seconds) |
| 2023-04-08 04:48:24 +0000 | catch22_ | (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) |
| 2023-04-08 04:49:03 +0000 | catch22 | (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) (Read error: Connection reset by peer) |
| 2023-04-08 04:49:48 +0000 | bilegeek | (~bilegeek@177.sub-174-228-99.myvzw.com) |
| 2023-04-08 04:50:08 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-04-08 04:50:46 +0000 | bilegeek_ | (~bilegeek@37.sub-174-208-228.myvzw.com) (Ping timeout: 265 seconds) |
| 2023-04-08 04:57:40 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2023-04-08 05:00:11 +0000 | bilegeek_ | (~bilegeek@73.sub-174-228-98.myvzw.com) |
| 2023-04-08 05:01:41 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-04-08 05:02:54 +0000 | bilegeek | (~bilegeek@177.sub-174-228-99.myvzw.com) (Ping timeout: 255 seconds) |
| 2023-04-08 05:03:28 +0000 | mikess | (~sam@user/mikess) (Ping timeout: 276 seconds) |
| 2023-04-08 05:06:50 +0000 | Parth | (~Parth@203.110.242.30) |
| 2023-04-08 05:07:17 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 05:07:18 +0000 | Parth | (~Parth@203.110.242.30) (Client Quit) |
| 2023-04-08 05:11:20 +0000 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
| 2023-04-08 05:12:28 +0000 | todi | (~snuckls@p5dca57c0.dip0.t-ipconnect.de) |
| 2023-04-08 05:12:34 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 05:19:39 +0000 | bilegeek_ | (~bilegeek@73.sub-174-228-98.myvzw.com) (Ping timeout: 248 seconds) |
| 2023-04-08 05:20:39 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-04-08 05:24:22 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 05:30:21 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-08 05:32:04 +0000 | todi | (~snuckls@p5dca57c0.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2023-04-08 05:34:31 +0000 | mikess | (~sam@user/mikess) |
| 2023-04-08 05:36:26 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 05:37:43 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 05:39:59 +0000 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2023-04-08 05:41:19 +0000 | gawen | (~gawen@user/gawen) |
| 2023-04-08 05:42:57 +0000 | trev | (~trev@user/trev) |
| 2023-04-08 05:46:25 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 05:48:27 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 05:50:16 +0000 | mikess | (~sam@user/mikess) (Ping timeout: 276 seconds) |
| 2023-04-08 05:51:04 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2023-04-08 05:53:07 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 2023-04-08 05:53:27 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-08 05:55:30 +0000 | todi | (~snuckls@p5dca57c0.dip0.t-ipconnect.de) |
| 2023-04-08 05:59:15 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-177-022.46.114.pool.telefonica.de) |
| 2023-04-08 06:00:03 +0000 | todi | (~snuckls@p5dca57c0.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-04-08 06:01:12 +0000 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-04-08 06:10:23 +0000 | nunggu | (~q@user/nunggu) |
| 2023-04-08 06:18:26 +0000 | kenran | (~user@user/kenran) |
| 2023-04-08 06:21:43 +0000 | mikess | (~sam@user/mikess) |
| 2023-04-08 06:28:26 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-04-08 06:30:34 +0000 | mikess | (~sam@user/mikess) (Ping timeout: 276 seconds) |
| 2023-04-08 06:35:24 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 06:37:05 +0000 | acidjnk | (~acidjnk@p200300d6e715c45269fa6b647c85025b.dip0.t-ipconnect.de) |
| 2023-04-08 06:37:25 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2023-04-08 06:39:51 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-04-08 06:45:29 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-04-08 06:45:55 +0000 | talismanick | (~talismani@2601:204:ef81:1430::fbe0) (Remote host closed the connection) |
| 2023-04-08 06:47:00 +0000 | talismanick | (~talismani@2601:204:ef81:1430::fbe0) |
| 2023-04-08 06:47:14 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 06:51:57 +0000 | catch22_ | (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) (Quit: Leaving) |
| 2023-04-08 07:12:29 +0000 | nunggu | (~q@user/nunggu) (Ping timeout: 255 seconds) |
| 2023-04-08 07:21:34 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-04-08 07:24:16 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 07:29:04 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 07:29:22 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-04-08 07:30:11 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-04-08 07:31:15 +0000 | Inst | (~Inst@2601:6c4:4081:54f0:2db7:7969:50f2:df0c) (Ping timeout: 260 seconds) |
| 2023-04-08 07:46:12 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-08 07:47:23 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Remote host closed the connection) |
| 2023-04-08 07:48:37 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 07:51:12 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2023-04-08 07:53:07 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 07:57:43 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-08 07:59:54 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-08 08:10:05 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 08:11:14 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-08 08:14:44 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 2023-04-08 08:25:18 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 08:29:52 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-08 08:36:32 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f443:d600:8072:a2d3:32b3:1df4) () |
| 2023-04-08 08:41:14 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-04-08 08:42:06 +0000 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:8072:a2d3:32b3:1df4) |
| 2023-04-08 08:47:51 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-08 08:49:28 +0000 | mechap | (~mechap@user/mechap) |
| 2023-04-08 08:50:50 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 08:52:08 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Ping timeout: 246 seconds) |
| 2023-04-08 08:55:31 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 08:56:59 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-04-08 09:00:08 +0000 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) (Quit: You have been kicked for being idle) |
| 2023-04-08 09:02:11 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-04-08 09:06:30 +0000 | NiceBird | (~NiceBird@185.133.111.196) |
| 2023-04-08 09:13:20 +0000 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) |
| 2023-04-08 09:20:49 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 09:21:11 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-04-08 09:25:47 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 2023-04-08 09:27:31 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-04-08 09:29:38 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-08 09:33:06 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Client Quit) |
| 2023-04-08 09:34:30 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-08 09:38:36 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 09:40:02 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 09:46:18 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-04-08 09:47:17 +0000 | califax | (~califax@user/califx) |
| 2023-04-08 09:48:59 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-08 09:52:05 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-08 09:52:47 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-08 09:53:08 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 09:54:02 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-04-08 09:58:24 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 2023-04-08 09:59:01 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-04-08 10:01:16 +0000 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-04-08 10:11:38 +0000 | andrewboltachev | (~andrey@178.141.217.5) |
| 2023-04-08 10:12:03 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 10:16:33 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-08 10:23:24 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-04-08 10:24:30 +0000 | <random-jellyfish> | how does an smt solver work? does it just translate higher level expressions to boolean expressions and feed them to a sat solver? or does it so something more complicates |
| 2023-04-08 10:24:57 +0000 | <random-jellyfish> | I'm having a hard tike reverse engineering their code... |
| 2023-04-08 10:25:02 +0000 | <random-jellyfish> | time* |
| 2023-04-08 10:25:36 +0000 | <random-jellyfish> | sorry for the typos, typing on mobile |
| 2023-04-08 10:27:49 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-08 10:29:11 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-04-08 10:29:12 +0000 | coot | (~coot@213.134.170.228) |
| 2023-04-08 10:39:10 +0000 | <pkal> | I was just reading about that in "Handbook of Satisfiability" a few days ago. That might be a useful resource to understanding how they work. |
| 2023-04-08 10:39:58 +0000 | <pkal> | It seems the chapter can be found here: https://homepage.cs.uiowa.edu/~tinelli/papers/BarSST-09.pdf |
| 2023-04-08 10:40:44 +0000 | <probie> | I remember being loaned a good book on this (and other things related to automated theorem proving), but I can't remember the name. All I remember is that all the code examples were in ocaml. I don't suppose anyone here can identify the book based on such a vague description |
| 2023-04-08 10:40:51 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-04-08 10:41:12 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-04-08 10:49:14 +0000 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 2023-04-08 10:50:08 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-08 10:51:40 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2023-04-08 10:54:29 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2023-04-08 10:55:42 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-177-022.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-04-08 10:58:40 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-04-08 11:09:26 +0000 | freemanX | (~user@203.117.163.130) (Remote host closed the connection) |
| 2023-04-08 11:19:39 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 11:22:38 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-04-08 11:22:57 +0000 | califax | (~califax@user/califx) |
| 2023-04-08 11:23:56 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 11:24:36 +0000 | Rembane | (~Rembane@li346-36.members.linode.com) (Read error: Connection reset by peer) |
| 2023-04-08 11:27:54 +0000 | todi | (~kalle3@p5dca57c0.dip0.t-ipconnect.de) |
| 2023-04-08 11:28:55 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 11:29:35 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-04-08 11:30:43 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 11:35:40 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-08 11:37:44 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 2023-04-08 11:46:34 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-08 11:47:40 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-08 11:53:04 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-04-08 11:59:54 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 12:01:54 +0000 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-08 12:02:25 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-04-08 12:03:26 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-04-08 12:04:40 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 12:08:09 +0000 | coot | (~coot@213.134.170.228) (Quit: coot) |
| 2023-04-08 12:11:53 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 12:13:18 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-177-022.46.114.pool.telefonica.de) |
| 2023-04-08 12:15:33 +0000 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-08 12:16:15 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-08 12:25:13 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 12:30:04 +0000 | drdo | (~drdo@bl7-76-103.dsl.telepac.pt) (Ping timeout: 268 seconds) |
| 2023-04-08 12:31:47 +0000 | todi | (~kalle3@p5dca57c0.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2023-04-08 12:36:19 +0000 | vglfr | (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 2023-04-08 12:36:47 +0000 | dipper | (~dipper@203.168.11.65) |
| 2023-04-08 12:36:54 +0000 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-08 12:38:03 +0000 | vglfr | (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 2023-04-08 12:38:13 +0000 | <dipper> | hi how do create a api in haskell, or does it have a framework to do that, |
| 2023-04-08 12:38:38 +0000 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-08 12:39:29 +0000 | vglfr | (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 2023-04-08 12:39:36 +0000 | <dipper> | like a api get user data in front-end |
| 2023-04-08 12:39:54 +0000 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-08 12:40:04 +0000 | <mauke> | you know, I really hate that "API" has somehow changed meaning from "application programmer interface" to "web application" |
| 2023-04-08 12:40:18 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 12:41:34 +0000 | vglfr | (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 2023-04-08 12:42:00 +0000 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-08 12:46:55 +0000 | <probie> | mauke: It's like how REST doesn't actually mean REST any more and instead just means "using HTTP" |
| 2023-04-08 12:47:11 +0000 | <dipper> | hi mauke I know what you mean, but it doesn't matter, it just a including relationship, so I measure it |
| 2023-04-08 12:48:39 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-08 12:49:45 +0000 | <dipper> | I know a Yesod , but it maybe have more choice |
| 2023-04-08 12:51:50 +0000 | <probie> | dipper: servant is very popular right now, but uses advanced type level features |
| 2023-04-08 12:52:35 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-08 12:56:19 +0000 | <darkling> | probie: I call that "HTTP-RPC", because it's so often that, too. |
| 2023-04-08 12:56:51 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Ping timeout: 250 seconds) |
| 2023-04-08 12:58:19 +0000 | <dipper> | thankyou probie I'll see it |
| 2023-04-08 12:59:27 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-04-08 12:59:52 +0000 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2023-04-08 13:01:38 +0000 | forell | (~forell@user/forell) |
| 2023-04-08 13:04:58 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-08 13:09:14 +0000 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2023-04-08 13:13:00 +0000 | tan00kee | (~paul@85.red-2-141-91.dynamicip.rima-tde.net) |
| 2023-04-08 13:13:11 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-08 13:13:59 +0000 | tan00kee | (~paul@85.red-2-141-91.dynamicip.rima-tde.net) (Client Quit) |
| 2023-04-08 13:23:08 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-04-08 13:27:13 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-04-08 13:28:41 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-08 13:37:07 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 265 seconds) |
| 2023-04-08 13:41:01 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-08 13:43:16 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 13:45:50 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-04-08 13:47:33 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-04-08 13:48:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-08 13:49:31 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2023-04-08 13:55:16 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 13:57:05 +0000 | dipper_ | (~dipper@203.168.11.65) |
| 2023-04-08 13:57:27 +0000 | dipper | (~dipper@203.168.11.65) (Ping timeout: 265 seconds) |
| 2023-04-08 14:01:55 +0000 | kenran | (~user@user/kenran) |
| 2023-04-08 14:03:02 +0000 | <jumper149> | Hi people, when do you think will there be the first frontend framework using the new JS backend? |
| 2023-04-08 14:03:24 +0000 | <jumper149> | And do you think miso and reflex will be ported? |
| 2023-04-08 14:05:51 +0000 | <dipper_> | what do you mean 'new js backend'? |
| 2023-04-08 14:08:01 +0000 | <geekosaur> | ghc 9.6.1 has javascript and wasm backends |
| 2023-04-08 14:08:02 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-08 14:08:18 +0000 | <geekosaur> | I suspect it'll be a while since they're both at "tech preview" status |
| 2023-04-08 14:08:32 +0000 | <geekosaur> | if you want production level, ghcjs is still the way to go |
| 2023-04-08 14:09:03 +0000 | andrewboltachev | (~andrey@178.141.217.5) (Quit: Leaving.) |
| 2023-04-08 14:09:21 +0000 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2023-04-08 14:09:26 +0000 | microcao | (~microcao@192.161.60.140) |
| 2023-04-08 14:10:44 +0000 | microcao | (~microcao@192.161.60.140) (Client Quit) |
| 2023-04-08 14:11:06 +0000 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-08 14:14:31 +0000 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2023-04-08 14:19:53 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2023-04-08 14:22:01 +0000 | pyook | (~puke@user/puke) (Remote host closed the connection) |
| 2023-04-08 14:22:06 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 14:22:18 +0000 | pyook | (~puke@user/puke) |
| 2023-04-08 14:26:33 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-04-08 14:28:32 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 255 seconds) |
| 2023-04-08 14:29:00 +0000 | <maralorn> | <jumper149> "And do you think miso and reflex..." <- I guess that depends a lot on library support. |
| 2023-04-08 14:29:55 +0000 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) () |
| 2023-04-08 14:30:16 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-08 14:30:53 +0000 | <maralorn> | Stuff like jsaddle needs to support it. |
| 2023-04-08 14:31:34 +0000 | <maralorn> | reflex still hangs on ghc 8.6.5 or something? They are generally not quick on stuff like that... |
| 2023-04-08 14:31:57 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-08 14:35:53 +0000 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 2023-04-08 14:35:59 +0000 | <jumper149> | maralorn: Well, both projects are depending on legacy versions of GHC by now. |
| 2023-04-08 14:36:19 +0000 | <jumper149> | There are no ambitions trying to write up something new, right? |
| 2023-04-08 14:37:00 +0000 | <geekosaur> | there are ambitions for reflex but they're kinda different from the ghc devs' ambitions as I understand it |
| 2023-04-08 14:37:10 +0000 | <geekosaur> | they want to rewire Arrow |
| 2023-04-08 14:37:58 +0000 | <geekosaur> | but if someone got that into ghc 9.8 I could see reflex being updated to take advantage of it |
| 2023-04-08 14:38:38 +0000 | <jumper149> | geekosaur: `Control.Arrow`? |
| 2023-04-08 14:39:13 +0000 | <geekosaur> | yes |
| 2023-04-08 14:39:56 +0000 | <jumper149> | Why don't they just use their own typeclasses? I don't understand why they would be blocked by GHC. |
| 2023-04-08 14:40:06 +0000 | <geekosaur> | they want it to become a symmetric monoidal category, and for the `arr` combinator to go away |
| 2023-04-08 14:40:35 +0000 | <geekosaur> | because they can take advantage of existing stuff instead of having to write their own versions |
| 2023-04-08 14:41:16 +0000 | <geekosaur> | (lots of people want `arr` to go away, it's like the main reason almost nobody uses Arrow) |
| 2023-04-08 14:44:14 +0000 | <geekosaur> | talk to Cale about it when he's around, he'll talk your ear off 🙂 |
| 2023-04-08 14:49:41 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-04-08 14:50:38 +0000 | <ski> | there's special syntax that ties to `Arrow' |
| 2023-04-08 14:50:52 +0000 | <geekosaur> | that too |
| 2023-04-08 14:51:17 +0000 | <geekosaur> | you really want to be able to use `proc`, but it requires you to use the standard `Arrow` |
| 2023-04-08 14:51:54 +0000 | <geekosaur> | and `-<` |
| 2023-04-08 14:53:57 +0000 | <jumper149> | If I wanted to read up on arrows, should I use "Generalising Monads to Arrows, by John Hughes"? Or is there anything else? |
| 2023-04-08 14:54:33 +0000 | <ski> | % :set -XArrows |
| 2023-04-08 14:54:34 +0000 | <yahb2> | <no output> |
| 2023-04-08 14:54:39 +0000 | <ski> | % :set -XRebindableSyntax |
| 2023-04-08 14:54:39 +0000 | <yahb2> | <no output> |
| 2023-04-08 14:54:43 +0000 | <ski> | % :t let (>>>) = flip (.); first f (x,y) = (f x,y); arr = undefined in proc x -> id -< x |
| 2023-04-08 14:54:43 +0000 | <yahb2> | let (>>>) = flip (.); first f (x,y) = (f x,y); arr = undefined in proc x -> id -< x ; :: forall {t}. t -> t |
| 2023-04-08 14:55:28 +0000 | <ski> | istr there was Ross Patterson paper ? |
| 2023-04-08 14:55:56 +0000 | <jumper149> | "A New Notation for Arrows, by Ross Paterson, in ICFP 2001, Firenze, Italy, pp229-240." |
| 2023-04-08 14:56:08 +0000 | <ski> | @where arrows |
| 2023-04-08 14:56:08 +0000 | <lambdabot> | http://www.haskell.org/arrows/ |
| 2023-04-08 14:56:12 +0000 | <jumper149> | From the Haddocks of `Control.Arrow` |
| 2023-04-08 15:02:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-04-08 15:03:57 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-04-08 15:06:51 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2023-04-08 15:08:16 +0000 | <maralorn> | Interesting. But there is not even a ghc proposal for modifying arrow yet, is there? |
| 2023-04-08 15:14:28 +0000 | dipper_ | (~dipper@203.168.11.65) (Ping timeout: 276 seconds) |
| 2023-04-08 15:14:42 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-04-08 15:17:16 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 15:22:07 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-04-08 15:22:08 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-04-08 15:23:17 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-08 15:26:04 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 15:30:32 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::a8c4) |
| 2023-04-08 15:36:37 +0000 | econo | (uid147250@user/econo) |
| 2023-04-08 15:40:35 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::a8c4) (Quit: Where is it) |
| 2023-04-08 15:45:30 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 15:45:38 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-04-08 15:49:06 +0000 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-08 15:49:12 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-08 15:49:45 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-04-08 15:54:23 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2023-04-08 15:58:04 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-04-08 15:59:44 +0000 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) |
| 2023-04-08 16:00:37 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-08 16:02:24 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-04-08 16:05:52 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-08 16:07:31 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-04-08 16:07:57 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 16:09:08 +0000 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) (Ping timeout: 260 seconds) |
| 2023-04-08 16:09:43 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2023-04-08 16:16:35 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-08 16:16:38 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-08 16:26:15 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2023-04-08 16:36:08 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 16:40:47 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-04-08 16:42:30 +0000 | mikess | (~sam@user/mikess) |
| 2023-04-08 16:43:04 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 16:44:11 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 16:46:24 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2023-04-08 16:49:36 +0000 | JScript | (~JScript@103.137.12.221) (Ping timeout: 248 seconds) |
| 2023-04-08 16:52:23 +0000 | JScript | (~JScript@cpe-172-193-72-46.qld.foxtel.net.au) |
| 2023-04-08 16:53:13 +0000 | smallville7123_ | (~JScript@144.48.39.29) |
| 2023-04-08 16:53:16 +0000 | smallville7123_ | (~JScript@144.48.39.29) (Max SendQ exceeded) |
| 2023-04-08 16:53:42 +0000 | smallville7123_ | (~JScript@144.48.39.29) |
| 2023-04-08 16:54:06 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-08 16:56:33 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 16:57:03 +0000 | JScript | (~JScript@cpe-172-193-72-46.qld.foxtel.net.au) (Ping timeout: 255 seconds) |
| 2023-04-08 16:59:12 +0000 | mon_aaraj | sent a hs code block: https://libera.ems.host/_matrix/media/v3/download/libera.chat/fbfe42c262829f497cafd9c8d19ceaefdd7c… |
| 2023-04-08 17:00:06 +0000 | <mon_aaraj> | s/bpa/paste/, s/st/tomsmeding.com/, s/GTJOUWWSAVYDTOT62OJDRL5HSU/uIaZKfJI/ |
| 2023-04-08 17:00:40 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 17:00:42 +0000 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) |
| 2023-04-08 17:01:11 +0000 | <mon_aaraj> | starting to think i should just go with debrujin indices. it's probably not going to change much but i feel it deep in my bones that my current implementation has tons of ways it could go wrong |
| 2023-04-08 17:04:17 +0000 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 250 seconds) |
| 2023-04-08 17:05:04 +0000 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) (Ping timeout: 248 seconds) |
| 2023-04-08 17:05:28 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 2023-04-08 17:08:56 +0000 | dfg | (~dfg@dfg.rocks) |
| 2023-04-08 17:08:57 +0000 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2023-04-08 17:08:57 +0000 | dfg | (~dfg@user/dfg) |
| 2023-04-08 17:11:50 +0000 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-08 17:14:40 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2023-04-08 17:16:35 +0000 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 265 seconds) |
| 2023-04-08 17:17:02 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-08 17:17:45 +0000 | biberu\ | (~biberu@user/biberu) |
| 2023-04-08 17:17:54 +0000 | <ski> | mon_aaraj : line 23,24 |
| 2023-04-08 17:18:13 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-08 17:18:29 +0000 | <ski> | also `eval' is partial |
| 2023-04-08 17:19:41 +0000 | <ski> | (and `freeVariables' is inefficient) |
| 2023-04-08 17:19:45 +0000 | arkeet` | (arkeet@moriya.ca) |
| 2023-04-08 17:20:19 +0000 | lyxia_ | (~lyxia@poisson.chat) |
| 2023-04-08 17:20:22 +0000 | danso_o | (~danso@user/danso) |
| 2023-04-08 17:20:39 +0000 | stilgart_ | (~Christoph@chezlefab.net) |
| 2023-04-08 17:21:36 +0000 | cln_ | (cln@wtf.cx) |
| 2023-04-08 17:22:36 +0000 | Midjak | (~Midjak@82.66.147.146) (Ping timeout: 255 seconds) |
| 2023-04-08 17:22:36 +0000 | arkeet | (~arkeet@moriya.ca) (Ping timeout: 255 seconds) |
| 2023-04-08 17:22:36 +0000 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 255 seconds) |
| 2023-04-08 17:22:36 +0000 | arkeet` | arkeet |
| 2023-04-08 17:22:48 +0000 | elevenkb | (~elevenkb@105.186.233.148) |
| 2023-04-08 17:24:37 +0000 | biberu | (~biberu@user/biberu) (Ping timeout: 255 seconds) |
| 2023-04-08 17:24:37 +0000 | lyxia | (~lyxia@poisson.chat) (Ping timeout: 255 seconds) |
| 2023-04-08 17:24:37 +0000 | cln | (~cln@wtf.cx) (Ping timeout: 255 seconds) |
| 2023-04-08 17:24:37 +0000 | stilgart | (~Christoph@chezlefab.net) (Ping timeout: 255 seconds) |
| 2023-04-08 17:24:37 +0000 | danso | (~danso@user/danso) (Ping timeout: 255 seconds) |
| 2023-04-08 17:24:37 +0000 | biberu\ | biberu |
| 2023-04-08 17:24:42 +0000 | [exa] | (~exa@srv3n.blesmrt.net) |
| 2023-04-08 17:30:29 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-04-08 17:33:08 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 17:36:07 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
| 2023-04-08 17:40:15 +0000 | vglfr | (~vglfr@46.96.169.53) (Ping timeout: 255 seconds) |
| 2023-04-08 17:48:57 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2023-04-08 17:49:31 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-08 17:50:53 +0000 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-08 17:52:08 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-04-08 18:05:38 +0000 | <mon_aaraj> | <ski> "ribosomerocker : line 23,24" <- what's wrong with them? |
| 2023-04-08 18:07:26 +0000 | jpds3 | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-08 18:09:29 +0000 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-04-08 18:15:01 +0000 | <mauke> | if var' is among the free variables of applied, you don't substitute var |
| 2023-04-08 18:15:56 +0000 | <mauke> | I'm pretty sure you're supposed to rename var' instead and then substitute var -> applied |
| 2023-04-08 18:20:08 +0000 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) |
| 2023-04-08 18:20:08 +0000 | MacSlow | (~MacSlow@213.135.13.170) |
| 2023-04-08 18:21:17 +0000 | <MacSlow> | Greetings everyone |
| 2023-04-08 18:23:56 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-04-08 18:27:16 +0000 | <ski> | (.. fwiw, i didn't actually say "ribosomerocker") |
| 2023-04-08 18:28:01 +0000 | <ski> | mon_aaraj : what mauke said |
| 2023-04-08 18:28:31 +0000 | <ski> | Saluations, MacSlow |
| 2023-04-08 18:28:58 +0000 | <mauke> | I assume the matrix bridge rewrites nicknames |
| 2023-04-08 18:29:14 +0000 | <ski> | apparently so |
| 2023-04-08 18:29:20 +0000 | <ski> | (i wasn't aware of that, before) |
| 2023-04-08 18:33:51 +0000 | vysn | (~vysn@user/vysn) |
| 2023-04-08 18:37:32 +0000 | <geekosaur> | yes |
| 2023-04-08 18:42:06 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-08 18:42:33 +0000 | MacSlow | (~MacSlow@213.135.13.170) (Quit: leaving) |
| 2023-04-08 18:49:25 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-08 18:52:17 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::d90f) |
| 2023-04-08 18:54:16 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::d90f) (Remote host closed the connection) |
| 2023-04-08 18:58:29 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-04-08 19:00:55 +0000 | elevenkb | (~elevenkb@105.186.233.148) (Quit: Client closed) |
| 2023-04-08 19:08:30 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-08 19:16:22 +0000 | Tails | (~Tails@2a06:c701:4c9c:be00:76e6:43eb:a59e:1c2a) |
| 2023-04-08 19:17:26 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-04-08 19:19:07 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-04-08 19:22:13 +0000 | Tails | (~Tails@2a06:c701:4c9c:be00:76e6:43eb:a59e:1c2a) (Ping timeout: 260 seconds) |
| 2023-04-08 19:24:25 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-04-08 19:30:36 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-04-08 19:33:31 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-08 19:37:48 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 19:38:27 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-04-08 19:38:52 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-04-08 19:39:57 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-177-022.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-04-08 19:42:00 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-176-015.46.114.pool.telefonica.de) |
| 2023-04-08 19:43:19 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-08 19:45:17 +0000 | pavonia | (~user@user/siracusa) |
| 2023-04-08 19:50:49 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-08 19:53:04 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 19:54:21 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 19:55:42 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2023-04-08 20:03:06 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-08 20:06:30 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-04-08 20:12:39 +0000 | andrewboltachev | (~andrey@178.141.217.5) |
| 2023-04-08 20:17:57 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-04-08 20:19:53 +0000 | danso_o | danso |
| 2023-04-08 20:20:05 +0000 | cheater__ | (~Username@user/cheater) |
| 2023-04-08 20:20:48 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-04-08 20:20:51 +0000 | cheater__ | cheater |
| 2023-04-08 20:23:35 +0000 | cheater_ | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-04-08 20:33:35 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-08 20:33:43 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-04-08 20:34:55 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2023-04-08 20:35:27 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::708a) |
| 2023-04-08 20:36:27 +0000 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) |
| 2023-04-08 20:36:54 +0000 | cheater__ | (~Username@user/cheater) |
| 2023-04-08 20:36:55 +0000 | cheater__ | cheater |
| 2023-04-08 20:37:39 +0000 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Remote host closed the connection) |
| 2023-04-08 20:39:04 +0000 | cheater_ | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-04-08 20:40:56 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-08 20:41:28 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-04-08 20:47:18 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 20:47:29 +0000 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-04-08 20:48:57 +0000 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 268 seconds) |
| 2023-04-08 20:50:19 +0000 | <Nosrep> | can i make stack only profile with manual cost centers |
| 2023-04-08 20:50:30 +0000 | <Nosrep> | --profile seems to add fprof auto or something like that |
| 2023-04-08 20:51:24 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2023-04-08 20:51:39 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-08 20:51:57 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-08 20:58:29 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::708a) (Quit: Leaving) |
| 2023-04-08 20:58:40 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2023-04-08 20:59:06 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-04-08 20:59:14 +0000 | haasn` | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2023-04-08 21:00:40 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-04-08 21:00:41 +0000 | cheater_ | cheater |
| 2023-04-08 21:02:51 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-08 21:04:12 +0000 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) |
| 2023-04-08 21:05:36 +0000 | <Nosrep> | hm |
| 2023-04-08 21:05:46 +0000 | <Nosrep> | -fno-prof-auto works if i add it to ghc-options during build |
| 2023-04-08 21:08:31 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 240 seconds) |
| 2023-04-08 21:08:58 +0000 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Quit: WeeChat 3.6) |
| 2023-04-08 21:11:46 +0000 | rburkholder | (~blurb@96.45.2.121) (Remote host closed the connection) |
| 2023-04-08 21:12:09 +0000 | rburkholder | (~blurb@96.45.2.121) |
| 2023-04-08 21:21:43 +0000 | <energizer> | % [] > [1] |
| 2023-04-08 21:21:43 +0000 | <yahb2> | False |
| 2023-04-08 21:21:46 +0000 | <energizer> | why is that/ |
| 2023-04-08 21:22:40 +0000 | <c_wraith> | [] uses a lexicographic ordering where [] is the minimal element |
| 2023-04-08 21:22:43 +0000 | <energizer> | ok |
| 2023-04-08 21:23:37 +0000 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.8) |
| 2023-04-08 21:24:15 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-04-08 21:26:58 +0000 | cassiopea | (~cassiopea@user/cassiopea) |
| 2023-04-08 21:27:34 +0000 | <monochrom> | Nosrep: Yeah, if you tell stack or cabal-install "enable profiling" they add -fprof-auto by default, so if you prefer manual-only, you have to override with -fno-prof-auto. |
| 2023-04-08 21:27:54 +0000 | <c_wraith> | energizer: it's sort of necessary given that String = [Char] and standard sorting for words has things like "ant" < "ante". |
| 2023-04-08 21:28:12 +0000 | <monochrom> | Err in the cabal-install case -fprop-auto-top actually. |
| 2023-04-08 21:28:21 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-08 21:28:22 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-08 21:28:22 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-08 21:28:36 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 21:28:41 +0000 | <c_wraith> | energizer: but it turns out to have convenient properties like making comparison just proceed down the two lists in lock-step |
| 2023-04-08 21:28:52 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-08 21:29:16 +0000 | <monochrom> | I know how to tell cabal-install "enable profiling but no auto at all", but I don't know what stack offers. |
| 2023-04-08 21:29:24 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 21:29:26 +0000 | <sclv> | it also means that [()] has the same ordering properties as the natural numbers they are in bijection to! |
| 2023-04-08 21:30:09 +0000 | <c_wraith> | yeah. Lots of stuff that just works out to be really convenient |
| 2023-04-08 21:30:10 +0000 | <sclv> | i.e. there is something literally "natural" about such a choice. |
| 2023-04-08 21:30:31 +0000 | <monochrom> | And it is also consistent with "deriving Ord" does lexicographical order universally for all ADTs. |
| 2023-04-08 21:30:31 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 21:30:59 +0000 | <c_wraith> | Assuming you put the [] constructor first in the (imaginary) definition, anyway |
| 2023-04-08 21:31:03 +0000 | <monochrom> | The most favourite total order. :) |
| 2023-04-08 21:33:25 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 21:34:20 +0000 | <monochrom> | Lexicographic order also has a nice straightforward correspondence with ordinals. It is a bit more significant than someone inventing it by the least thinking. |
| 2023-04-08 21:35:27 +0000 | <sclv> | arguably this is because the ordinals themselves arise by the principle of least thinking (a mathematical analogue to the physical principle of least action?) |
| 2023-04-08 21:35:40 +0000 | <monochrom> | haha good point |
| 2023-04-08 21:40:27 +0000 | AlexZenon | (~alzenon@178.34.162.18) (Ping timeout: 248 seconds) |
| 2023-04-08 21:44:46 +0000 | AlexZenon | (~alzenon@178.34.162.18) |
| 2023-04-08 21:54:48 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 21:56:53 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:d4f1:5756:cd71:d4c) (Quit: The Lounge - https://thelounge.chat) |
| 2023-04-08 21:58:33 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2023-04-08 21:59:00 +0000 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) (Ping timeout: 255 seconds) |
| 2023-04-08 22:00:07 +0000 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-04-08 22:01:35 +0000 | vysn | (~vysn@user/vysn) |
| 2023-04-08 22:01:59 +0000 | vysn | (~vysn@user/vysn) (Client Quit) |
| 2023-04-08 22:02:52 +0000 | chomwitt | (~chomwitt@2a02:587:7a0e:5000:1ac0:4dff:fedb:a3f1) |
| 2023-04-08 22:04:33 +0000 | zeenk2 | (~zeenk@2a02:2f04:a307:2300::fba) |
| 2023-04-08 22:05:11 +0000 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Ping timeout: 246 seconds) |
| 2023-04-08 22:10:37 +0000 | vysn | (~vysn@user/vysn) |
| 2023-04-08 22:11:44 +0000 | chomwitt | (~chomwitt@2a02:587:7a0e:5000:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds) |
| 2023-04-08 22:13:31 +0000 | ddellacosta | (~ddellacos@146.70.166.132) (Ping timeout: 248 seconds) |
| 2023-04-08 22:13:51 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-176-015.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-04-08 22:14:24 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 22:14:41 +0000 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 2023-04-08 22:15:41 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 22:15:48 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de) |
| 2023-04-08 22:24:45 +0000 | andrewboltachev | (~andrey@178.141.217.5) (Quit: Leaving.) |
| 2023-04-08 22:25:39 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 22:25:46 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 22:26:23 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2023-04-08 22:27:23 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-08 22:27:24 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-08 22:27:24 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-08 22:29:19 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-08 22:29:57 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-04-08 22:31:36 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2023-04-08 22:31:48 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-04-08 22:36:39 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 22:38:15 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 22:40:32 +0000 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-04-08 22:40:59 +0000 | NiceBird | (~NiceBird@185.133.111.196) (Ping timeout: 250 seconds) |
| 2023-04-08 22:48:56 +0000 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-04-08 22:56:14 +0000 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-04-08 22:58:00 +0000 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-04-08 23:00:15 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 23:01:18 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::708a) |
| 2023-04-08 23:04:26 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-04-08 23:04:32 +0000 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-08 23:04:50 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-04-08 23:07:05 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 268 seconds) |
| 2023-04-08 23:07:06 +0000 | mauke_ | mauke |
| 2023-04-08 23:11:57 +0000 | zeenk2 | (~zeenk@2a02:2f04:a307:2300::fba) (Quit: Konversation terminated!) |
| 2023-04-08 23:17:36 +0000 | acidjnk | (~acidjnk@p200300d6e715c45269fa6b647c85025b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2023-04-08 23:18:55 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-04-08 23:19:41 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Remote host closed the connection) |
| 2023-04-08 23:21:16 +0000 | phma | (~phma@host-67-44-208-55.hnremote.net) (Read error: Connection reset by peer) |
| 2023-04-08 23:21:41 +0000 | phma | (phma@2001:5b0:215d:9858:4ed8:3c0:48bf:3008) |
| 2023-04-08 23:23:54 +0000 | fmlatghor | (~lcoogan@user/fmlatghor) (WeeChat 3.8) |
| 2023-04-08 23:25:21 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 23:33:24 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::708a) (Quit: Leaving) |
| 2023-04-08 23:43:39 +0000 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2023-04-08 23:43:51 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-04-08 23:45:52 +0000 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-04-08 23:48:16 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-04-08 23:51:30 +0000 | lbseale | (~quassel@user/ep1ctetus) |
| 2023-04-08 23:52:19 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-08 23:55:03 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-08 23:55:55 +0000 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-08 23:56:59 +0000 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 23:57:43 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2023-04-08 23:59:01 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |