Logs on 2024-11-02 (liberachat/#haskell)
| 00:02:59 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 00:06:58 | × | libertyprime quits (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds) |
| 00:08:21 | → | sprotte24 joins (~sprotte24@p200300d16f13bb00e08566d861cb45bd.dip0.t-ipconnect.de) |
| 00:10:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:12:33 | → | Square joins (~Square@user/square) |
| 00:16:03 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f30213745c1d38acbc7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:17:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 00:19:27 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:28:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:33:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 00:40:27 | → | Versality joins (~Versality@user/Versality) |
| 00:44:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:45:05 | × | sadmax quits (~user@64.130.91.66) (Ping timeout: 248 seconds) |
| 00:48:33 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 00:48:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 00:52:06 | × | sprotte24 quits (~sprotte24@p200300d16f13bb00e08566d861cb45bd.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:59:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:03:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:14:08 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 01:14:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:16:29 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 01:18:45 | → | billchenchina joins (~billchenc@223.118.51.83) |
| 01:19:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:30:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:33:36 | → | billchenchina- joins (~billchenc@2a09:bac1:31a0::17:358) |
| 01:34:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:36:19 | × | billchenchina quits (~billchenc@223.118.51.83) (Ping timeout: 260 seconds) |
| 01:45:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:52:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:52:56 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 02:03:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:05:32 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 02:06:38 | → | billchenchina joins (~billchenc@2a09:bac5:4303:174b::252:d) |
| 02:08:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:08:45 | × | billchenchina- quits (~billchenc@2a09:bac1:31a0::17:358) (Ping timeout: 276 seconds) |
| 02:10:05 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 02:14:03 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 02:19:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:23:25 | → | homonymy joins (~homonymy@user/homonymy) |
| 02:23:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 02:27:53 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:34:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:39:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 02:46:44 | × | billchenchina quits (~billchenc@2a09:bac5:4303:174b::252:d) (Ping timeout: 260 seconds) |
| 02:49:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:52:11 | × | homonymy quits (~homonymy@user/homonymy) (Ping timeout: 244 seconds) |
| 02:54:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:59:12 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 03:03:37 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 03:05:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:09:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:11:46 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Ping timeout: 252 seconds) |
| 03:12:03 | → | billchenchina joins (~billchenc@2a09:bac1:3b00:10::252:d) |
| 03:13:23 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 03:20:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:20:35 | × | billchenchina quits (~billchenc@2a09:bac1:3b00:10::252:d) (Remote host closed the connection) |
| 03:21:00 | → | billchenchina joins (~billchenc@2a09:bac1:3b00:10::252:d) |
| 03:22:12 | × | billchenchina quits (~billchenc@2a09:bac1:3b00:10::252:d) (Max SendQ exceeded) |
| 03:24:02 | → | billchenchina joins (~billchenc@2a09:bac1:3b00:10::252:d) |
| 03:24:33 | × | billchenchina quits (~billchenc@2a09:bac1:3b00:10::252:d) (Client Quit) |
| 03:27:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 03:38:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:43:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:54:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:57:09 | × | td_ quits (~td@i5387091D.versanet.de) (Ping timeout: 252 seconds) |
| 03:58:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:58:46 | → | td_ joins (~td@i5387090B.versanet.de) |
| 03:59:51 | → | libertyprime joins (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) |
| 04:00:33 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 04:01:58 | × | kimiamania quits (~924ba01d@user/kimiamania) (Quit: PegeLinux) |
| 04:02:20 | → | kimiamania joins (~924ba01d@user/kimiamania) |
| 04:03:17 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 04:09:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:13:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:21:39 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:24:23 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 04:24:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:30:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:34:24 | → | billchenchina joins (~billchenc@58-188-211-138m5.mineo.jp) |
| 04:41:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:46:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:56:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:58:09 | × | alphazone_ quits (~alphazone@2.219.56.221) (Ping timeout: 260 seconds) |
| 05:05:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 05:11:07 | → | k_hachig1 joins (~Thunderbi@2607:fea8:351d:ef0:901a:fefb:e87f:78b3) |
| 05:13:51 | k_hachig1 | is now known as k_hachig |
| 05:16:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:21:07 | × | AWizzArd quits (~code@user/awizzard) (Ping timeout: 264 seconds) |
| 05:21:53 | → | AWizzArd joins (~code@gehrels.uberspace.de) |
| 05:23:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:25:02 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 05:25:30 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 05:25:56 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 05:32:53 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 05:34:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:38:37 | → | euphores joins (~SASL_euph@user/euphores) |
| 05:39:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 05:49:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:54:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:05:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:10:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 06:12:10 | × | libertyprime quits (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds) |
| 06:15:45 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 06:17:30 | × | billchenchina quits (~billchenc@58-188-211-138m5.mineo.jp) (Read error: Connection reset by peer) |
| 06:18:42 | → | billchenchina joins (~billchenc@2a09:bac1:3b00:128::16:1c5) |
| 06:21:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:26:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:27:08 | → | billchenchina- joins (~billchenc@113x43x213x198.ap113.ftth.arteria-hikari.net) |
| 06:30:09 | × | billchenchina quits (~billchenc@2a09:bac1:3b00:128::16:1c5) (Ping timeout: 260 seconds) |
| 06:37:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:41:35 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 06:43:35 | → | libertyprime joins (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) |
| 06:45:18 | → | euandreh joins (~Thunderbi@2804:d59:891b:2c00:896a:156a:7a25:3f91) |
| 06:51:02 | × | libertyprime quits (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds) |
| 06:52:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:57:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 06:59:55 | → | billchenchina joins (~billchenc@2a09:bac1:3b00:128::16:219) |
| 07:00:06 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:30 | → | JamesMowery43 joins (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 07:00:41 | → | caconym joins (~caconym@user/caconym) |
| 07:01:39 | × | billchenchina- quits (~billchenc@113x43x213x198.ap113.ftth.arteria-hikari.net) (Ping timeout: 260 seconds) |
| 07:01:48 | → | libertyprime joins (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) |
| 07:02:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:07:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:18:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:18:25 | → | CiaoSen joins (~Jura@2a05:5800:489:ee00:ca4b:d6ff:fec1:99da) |
| 07:19:56 | × | libertyprime quits (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) (Ping timeout: 272 seconds) |
| 07:22:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:23:34 | × | Versality quits (~Versality@user/Versality) (Remote host closed the connection) |
| 07:23:58 | → | Versality joins (~Versality@84.237.180.62) |
| 07:27:37 | → | libertyprime joins (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) |
| 07:30:26 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:34:24 | × | libertyprime quits (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) (Ping timeout: 265 seconds) |
| 07:39:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:43:25 | → | libertyprime joins (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) |
| 07:45:28 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:45:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 07:46:26 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 07:48:24 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:57:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:01:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:02:54 | × | k_hachig quits (~Thunderbi@2607:fea8:351d:ef0:901a:fefb:e87f:78b3) (Ping timeout: 260 seconds) |
| 08:04:06 | × | Versality quits (~Versality@84.237.180.62) (Ping timeout: 252 seconds) |
| 08:17:34 | → | k_hachig1 joins (~Thunderbi@2607:fea8:351d:ef0:901a:fefb:e87f:78b3) |
| 08:17:39 | × | libertyprime quits (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 08:18:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:22:09 | × | k_hachig1 quits (~Thunderbi@2607:fea8:351d:ef0:901a:fefb:e87f:78b3) (Ping timeout: 260 seconds) |
| 08:22:47 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 08:23:31 | → | misterfish joins (~misterfis@84.53.85.146) |
| 08:31:52 | → | libertyprime joins (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) |
| 08:33:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:34:48 | × | billchenchina quits (~billchenc@2a09:bac1:3b00:128::16:219) (Remote host closed the connection) |
| 08:35:18 | → | billchenchina joins (~billchenc@2a09:bac1:3b00:128::16:219) |
| 08:35:18 | × | billchenchina quits (~billchenc@2a09:bac1:3b00:128::16:219) (Remote host closed the connection) |
| 08:37:41 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f820892a696b35d40af.dip0.t-ipconnect.de) |
| 08:38:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 08:42:20 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:46:38 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 08:49:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:50:09 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 08:51:02 | → | Versality joins (~Versality@84.237.180.62) |
| 08:54:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 08:56:50 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:57:27 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:58:00 | × | Versality quits (~Versality@84.237.180.62) (Ping timeout: 252 seconds) |
| 09:04:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:08:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:10:24 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:14:39 | × | CiaoSen quits (~Jura@2a05:5800:489:ee00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 09:19:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:24:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 09:28:44 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 09:31:49 | → | hgolden_ joins (~hgolden@static-198-44-129-115.cust.tzulo.com) |
| 09:34:11 | × | hgolden__ quits (~hgolden@static-198-44-129-83.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 09:35:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:39:54 | × | libertyprime quits (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 09:42:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 09:49:42 | × | xff0x quits (~xff0x@2405:6580:b080:900:26bf:a0f9:b4d:93d8) (Ping timeout: 252 seconds) |
| 09:53:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:58:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 10:00:59 | → | xff0x joins (~xff0x@2405:6580:b080:900:26bf:a0f9:b4d:93d8) |
| 10:04:41 | → | CiaoSen joins (~Jura@2a05:5800:489:ee00:ca4b:d6ff:fec1:99da) |
| 10:05:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:08:20 | × | alp quits (~alp@2001:861:e3d6:8f80:897b:546a:473c:28dc) (Remote host closed the connection) |
| 10:08:38 | → | alp joins (~alp@2001:861:e3d6:8f80:8f6f:418c:84da:d77) |
| 10:10:02 | × | alp quits (~alp@2001:861:e3d6:8f80:8f6f:418c:84da:d77) (Remote host closed the connection) |
| 10:10:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 10:10:19 | → | alp joins (~alp@2001:861:e3d6:8f80:2fe7:8a3a:9a36:54fa) |
| 10:15:14 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 10:20:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:24:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 10:28:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:38:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:42:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:53:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:58:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 11:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 11:05:05 | → | caconym joins (~caconym@user/caconym) |
| 11:06:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:13:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 11:24:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:27:58 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:28:12 | × | CiaoSen quits (~Jura@2a05:5800:489:ee00:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
| 11:28:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 11:39:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:44:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 11:55:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:59:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 12:01:36 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 12:06:06 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 12:07:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:11:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:22:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:27:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 12:38:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:43:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 12:49:30 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 12:54:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:00:31 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 13:01:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 13:04:37 | × | alp quits (~alp@2001:861:e3d6:8f80:2fe7:8a3a:9a36:54fa) (Remote host closed the connection) |
| 13:07:38 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 13:08:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:16:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 13:19:07 | → | weary-traveler joins (~user@user/user363627) |
| 13:26:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:31:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 13:31:37 | <haskellbridge> | <hellwolf> TH question: when producing a Q Exp, can I know of which top-level Dec it is part of? |
| 13:32:42 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 13:35:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:40:21 | → | misterfish joins (~misterfis@84.53.85.146) |
| 13:40:57 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:42:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:45:27 | → | euandreh1 joins (~Thunderbi@189.6.105.228) |
| 13:46:48 | × | euandreh quits (~Thunderbi@2804:d59:891b:2c00:896a:156a:7a25:3f91) (Ping timeout: 244 seconds) |
| 13:47:43 | euandreh1 | is now known as euandreh |
| 13:48:39 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 13:48:56 | × | euandreh quits (~Thunderbi@189.6.105.228) (Remote host closed the connection) |
| 13:49:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 13:50:01 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:53:01 | <haskellbridge> | <hellwolf> chatgpt says this: |
| 13:53:01 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/FvKKBjTjifYUgcmxSkLnkTDd/BWbHa2QYEHQ (3 lines) |
| 13:53:21 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 13:55:45 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 13:56:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:58:30 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 13:58:53 | → | p3n_ joins (~p3n@217.198.124.246) |
| 13:59:26 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Read error: Connection reset by peer) |
| 14:00:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:02:44 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f820892a696b35d40af.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 14:03:38 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 14:05:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 14:09:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:18:21 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 246 seconds) |
| 14:18:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 14:26:40 | → | euandreh joins (~Thunderbi@189.6.105.228) |
| 14:29:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:30:22 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f8278b45503ad64b422.dip0.t-ipconnect.de) |
| 14:35:32 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 14:36:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:41:25 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 14:45:51 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 14:47:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:52:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 14:59:56 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:02:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:05:10 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:06:13 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 15:06:55 | × | euandreh quits (~Thunderbi@189.6.105.228) (Remote host closed the connection) |
| 15:07:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 15:08:24 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 15:10:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:10:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:12:04 | → | euandreh joins (~Thunderbi@189.6.105.228) |
| 15:13:46 | × | euandreh quits (~Thunderbi@189.6.105.228) (Client Quit) |
| 15:15:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 15:21:37 | → | Square joins (~Square@user/square) |
| 15:25:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:26:29 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 15:29:33 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 15:30:11 | → | acidjnk_new3 joins (~acidjnk@p200300d6e7283f8250813e795b9be9ad.dip0.t-ipconnect.de) |
| 15:30:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 15:31:15 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f8278b45503ad64b422.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 15:33:44 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:35:19 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 15:36:30 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 15:36:58 | → | billchenchina joins (~billchenc@fs76eed94b.tkyc412.ap.nuro.jp) |
| 15:38:57 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 15:40:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:44:05 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 15:45:22 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:45:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 15:46:03 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 15:46:40 | × | billchenchina quits (~billchenc@fs76eed94b.tkyc412.ap.nuro.jp) (Remote host closed the connection) |
| 15:47:18 | → | billchenchina joins (~billchenc@fs76eed94b.tkyc412.ap.nuro.jp) |
| 15:50:22 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 15:50:39 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Remote host closed the connection) |
| 15:51:40 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |
| 15:53:18 | × | drdo quits (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 245 seconds) |
| 15:55:17 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 15:55:23 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 15:56:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:59:51 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 16:01:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:01:49 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 16:02:12 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 16:06:10 | → | libertyprime joins (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) |
| 16:11:07 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 16:11:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:11:31 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 16:17:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 16:25:57 | → | sadmax joins (~user@64.130.91.66) |
| 16:27:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:32:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:37:20 | × | libertyprime quits (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) (Ping timeout: 255 seconds) |
| 16:39:11 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:41:56 | × | aosync quits (~alews@user/aws) (Quit: WeeChat 3.2.1) |
| 16:43:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:43:27 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 16:43:51 | → | drdo joins (~drdo@bl9-110-63.dsl.telepac.pt) |
| 16:48:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 16:55:12 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 16:58:02 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 16:58:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:59:48 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 17:03:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:05:07 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:06:37 | → | android___ joins (~android@ool-182f2225.dyn.optonline.net) |
| 17:07:29 | × | billchenchina quits (~billchenc@fs76eed94b.tkyc412.ap.nuro.jp) (Remote host closed the connection) |
| 17:07:51 | → | thyriaen joins (~thyriaen@2001:4bc9:1f90:13ad:6245:cbff:fe9f:48b1) |
| 17:07:58 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 17:08:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:10:04 | → | alp joins (~alp@2001:861:e3d6:8f80:3e67:102a:f6c8:49e7) |
| 17:16:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 17:17:56 | × | android___ quits (~android@ool-182f2225.dyn.optonline.net) (K-Lined) |
| 17:20:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:27:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:29:53 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 17:30:13 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:30:18 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 17:31:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:35:31 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:41:55 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 17:43:29 | → | zaquest joins (~notzaques@5.130.79.72) |
| 17:43:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:46:16 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:48:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:49:49 | → | dolio joins (~dolio@130.44.140.168) |
| 17:50:10 | × | dolio quits (~dolio@130.44.140.168) (Client Quit) |
| 17:56:26 | × | notzmv quits (~daniel@user/notzmv) (Ping timeout: 272 seconds) |
| 17:57:24 | → | dolio joins (~dolio@130.44.140.168) |
| 17:58:20 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 17:59:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:03:35 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 18:10:44 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 18:12:11 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:13:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:13:19 | → | misterfish joins (~misterfis@84.53.85.146) |
| 18:18:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 18:18:13 | → | alphazone joins (~alphazone@2.219.56.221) |
| 18:20:44 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 18:28:06 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 18:28:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:31:14 | → | Versality joins (~Versality@84.237.180.62) |
| 18:34:06 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 18:35:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 18:35:47 | → | Digit joins (~user@user/digit) |
| 18:40:45 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:43:34 | × | Versality quits (~Versality@84.237.180.62) (Remote host closed the connection) |
| 18:46:11 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 18:46:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:51:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 18:51:28 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 18:52:02 | → | califax_ joins (~califax@user/califx) |
| 18:52:41 | × | califax quits (~califax@user/califx) (Ping timeout: 260 seconds) |
| 18:53:19 | califax_ | is now known as califax |
| 19:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:35 | → | caconym joins (~caconym@user/caconym) |
| 19:02:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:06:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 19:10:00 | → | michalz joins (~michalz@185.246.207.203) |
| 19:10:24 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
| 19:12:48 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 19:13:02 | → | misterfish joins (~misterfis@84.53.85.146) |
| 19:14:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:17:59 | × | euleritian quits (~euleritia@dynamic-176-002-141-094.176.2.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 19:18:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 19:18:59 | → | euleritian joins (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) |
| 19:21:13 | × | thyriaen quits (~thyriaen@2001:4bc9:1f90:13ad:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 19:21:21 | → | sprotte24 joins (~sprotte24@p200300d16f1da300c4b7e0625cb221a9.dip0.t-ipconnect.de) |
| 19:29:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:33:47 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 19:34:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:39:13 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:42:25 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:45:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:46:16 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 19:48:51 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 19:49:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:51:39 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 20:00:01 | ← | hiecaq` parts (~hiecaq@user/hiecaq) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 20:00:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:02:44 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 20:05:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 20:10:14 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 20:10:32 | × | acidjnk_new3 quits (~acidjnk@p200300d6e7283f8250813e795b9be9ad.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 20:11:05 | → | acidjnk joins (~acidjnk@p200300d6e7283f8250813e795b9be9ad.dip0.t-ipconnect.de) |
| 20:15:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:19:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:21:26 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
| 20:25:52 | → | libertyprime joins (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) |
| 20:30:05 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:30:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:35:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 20:40:37 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:40:37 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 20:46:24 | × | libertyprime quits (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds) |
| 20:46:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:47:57 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 20:51:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 20:52:10 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 20:55:07 | <Athas> | Is there a variant of Prettyprinter.Render.Terminal that allows for more exciting terminal colours? |
| 20:55:18 | <Athas> | I feel I cannot properly express myself using https://hackage.haskell.org/package/prettyprinter-ansi-terminal-1.1.3/docs/Prettyprinter-Render-Terminal.html#t:Color |
| 21:00:00 | → | tabemann_ joins (~tabemann@2600:1700:7990:24e0:b88c:9557:f177:e3) |
| 21:00:22 | × | tabemann quits (~tabemann@2600:1700:7990:24e0:141f:cdda:2f28:e1cc) (Read error: Connection reset by peer) |
| 21:04:34 | → | libertyprime joins (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) |
| 21:07:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:10:48 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 21:11:38 | <haskellbridge> | <sm> yes, text-ansi includes a rgb helper (pr you can make your own with ansi-terminal's setSGRCode) |
| 21:11:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:11:54 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 21:12:58 | <haskellbridge> | <sm> like this one I made yesterday (because text-ansi has some built-in terminal detection I didn't want:) |
| 21:12:58 | <haskellbridge> | sgrrgb r g b = setSGRCode [SetRGBColor Foreground $ sRGB r g b] |
| 21:14:02 | <haskellbridge> | <sm> rgb' r g b = ansiWrap (sgrrgb r g b) sgrresetfg , etc. |
| 21:16:01 | <statusbot6> | Maintenance update: Hackage will be unavailable for a planned upgrade. -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/67267208c5128b053d4b12c7 |
| 21:16:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:18:41 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:18:51 | tabemann_ | is now known as tabemann |
| 21:19:54 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 21:20:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:24:14 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:26:18 | <statusbot6> | Maintenance update: Hackage maintenance is complete. -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/67267208c5128b053d4b12c7 |
| 21:29:44 | → | dolio joins (~dolio@130.44.140.168) |
| 21:30:21 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:31:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:33:35 | <jle`> | thanks statusbot6 |
| 21:37:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 21:42:28 | <Athas> | sm: thanks. |
| 21:46:38 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 21:48:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:51:11 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 21:54:22 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:55:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:55:31 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:56:39 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 22:00:29 | → | Nachtgespenst joins (~user@user/siracusa) |
| 22:02:25 | × | sadmax quits (~user@64.130.91.66) (Ping timeout: 248 seconds) |
| 22:08:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:10:28 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 22:12:40 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 22:13:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 22:19:41 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:20:02 | <sm> | Athas: np. Recently cleaned up version: https://github.com/simonmichael/hledger/blob/master/hledger-lib/Hledger/Utils/IO.hs#L549 |
| 22:28:46 | → | dolio joins (~dolio@130.44.140.168) |
| 22:32:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:33:08 | × | libertyprime quits (~libertypr@118-92-73-199.dsl.dyn.ihug.co.nz) (Quit: Lost terminal) |
| 22:36:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 22:50:29 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 22:50:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:54:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:55:00 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 22:57:52 | → | gorignak joins (~gorignak@user/gorignak) |
| 23:05:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:10:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 23:18:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:22:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:33:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:35:02 | × | hiredman quits (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 23:40:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:42:22 | → | alphabitserial joins (~alphabits@user/alphabitserial) |
| 23:44:27 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 23:49:02 | × | alphabitserial quits (~alphabits@user/alphabitserial) (Remote host closed the connection) |
| 23:49:29 | → | alphabitserial joins (~alphabits@user/alphabitserial) |
| 23:51:11 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 23:51:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:55:26 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 23:56:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:59:58 | × | acidjnk quits (~acidjnk@p200300d6e7283f8250813e795b9be9ad.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
All times are in UTC on 2024-11-02.