| 2024-10-04 00:05:06 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds) |
| 2024-10-04 00:05:31 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2024-10-04 00:07:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 00:09:50 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-10-04 00:12:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 00:12:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-04 00:23:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 00:26:03 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-04 00:27:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 00:29:39 +0000 | hammond | (proscan@gateway04.insomnia247.nl) (Ping timeout: 246 seconds) |
| 2024-10-04 00:30:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 00:32:06 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-04 00:34:19 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:a9cc:355d:4963:1655) (Ping timeout: 264 seconds) |
| 2024-10-04 00:34:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-04 00:38:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 00:43:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 00:45:37 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-10-04 00:48:30 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-04 00:49:58 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1c0c:a36e:c661:24b2) (Ping timeout: 245 seconds) |
| 2024-10-04 00:54:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 00:58:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-04 01:09:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 01:09:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 01:11:16 +0000 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-10-04 01:13:18 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-04 01:13:40 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 01:14:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 01:14:16 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2024-10-04 01:15:00 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2024-10-04 01:24:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 01:24:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 01:26:21 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Ping timeout: 246 seconds) |
| 2024-10-04 01:28:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 01:29:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-04 01:40:15 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds) |
| 2024-10-04 01:40:42 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-04 01:40:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 01:42:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 01:45:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-04 01:45:41 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-04 01:47:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-04 01:48:09 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-04 01:49:29 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2024-10-04 01:56:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 01:56:18 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 02:01:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-04 02:01:48 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2024-10-04 02:06:03 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 02:11:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 02:12:07 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 264 seconds) |
| 2024-10-04 02:12:26 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2024-10-04 02:16:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-04 02:17:04 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 02:17:12 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-04 02:18:18 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-10-04 02:18:18 +0000 | td_ | (~td@i5387091A.versanet.de) (Ping timeout: 265 seconds) |
| 2024-10-04 02:19:41 +0000 | td_ | (~td@83.135.9.0) td_ |
| 2024-10-04 02:25:24 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-04 02:27:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 02:27:34 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 02:30:09 +0000 | liamzy__ | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-10-04 02:30:36 +0000 | liamzy__ | (~Inst@user/Inst) Inst |
| 2024-10-04 02:30:40 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2024-10-04 02:31:45 +0000 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-04 02:31:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 02:37:18 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) libertyprime |
| 2024-10-04 02:37:57 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-04 02:39:23 +0000 | madhavanmiui | (~madhavanm@2409:40f4:1022:436a:8000::) |
| 2024-10-04 02:40:06 +0000 | madhavanmiui | (~madhavanm@2409:40f4:1022:436a:8000::) (Remote host closed the connection) |
| 2024-10-04 02:40:39 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-10-04 02:42:17 +0000 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-04 02:42:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 02:43:59 +0000 | terrorjack4 | (~terrorjac@static.48.15.202.116.clients.your-server.de) terrorjack |
| 2024-10-04 02:47:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 02:58:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 03:02:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-04 03:12:31 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-10-04 03:13:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 03:18:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-04 03:23:05 +0000 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-04 03:27:53 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) sp1ff |
| 2024-10-04 03:29:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 03:33:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-04 03:33:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 03:34:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 03:38:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 03:43:13 +0000 | spew | (~spew@201.141.99.170) spew |
| 2024-10-04 03:43:39 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-10-04 03:44:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 03:44:53 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-04 03:48:56 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 03:49:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 03:59:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 04:04:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-04 04:09:24 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2024-10-04 04:09:25 +0000 | synchromesh | (~john@2406:5a00:241a:5600:c4f0:795f:9391:8816) (Read error: Connection reset by peer) |
| 2024-10-04 04:09:32 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 04:09:36 +0000 | liamzy__ | Inst |
| 2024-10-04 04:10:42 +0000 | synchromesh | (~john@2406:5a00:241a:5600:c4f0:795f:9391:8816) synchromesh |
| 2024-10-04 04:11:28 +0000 | <Inst> | tomsmeding: is the reason you're talking monoids is because blaze etc aren't parallelized by default? |
| 2024-10-04 04:11:47 +0000 | <Inst> | they're not parallelized by default, right? |
| 2024-10-04 04:12:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 04:12:33 +0000 | ghoulpine | (xfnw@user/meow/xfnw) (Ping timeout: 248 seconds) |
| 2024-10-04 04:13:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 04:15:04 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-10-04 04:16:47 +0000 | neuroevolutus | (~neuroevol@146.70.211.110) neuroevolutus |
| 2024-10-04 04:16:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 04:17:08 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2024-10-04 04:17:11 +0000 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-04 04:18:54 +0000 | Axma61810 | (~Axman6@user/axman6) Axman6 |
| 2024-10-04 04:20:09 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2024-10-04 04:20:36 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-04 04:21:24 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:8757:488:1b7d:9c52) |
| 2024-10-04 04:26:27 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-04 04:27:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 04:28:55 +0000 | morb | (~morb@108.41.100.120) |
| 2024-10-04 04:29:20 +0000 | michalz | (~michalz@185.246.207.222) |
| 2024-10-04 04:30:22 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:8757:488:1b7d:9c52) (Remote host closed the connection) |
| 2024-10-04 04:33:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 04:33:59 +0000 | <haskellbridge> | <thirdofmay18081814goya> given any endofunctor F over an inductive type and a non-initial F algebra (1) can we prove a catamorphism exists, and (2) can it be automatically computed? |
| 2024-10-04 04:36:04 +0000 | morb | (~morb@108.41.100.120) (Ping timeout: 252 seconds) |
| 2024-10-04 04:41:35 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 2024-10-04 04:41:39 +0000 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2024-10-04 04:44:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 04:48:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 04:50:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 04:50:34 +0000 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
| 2024-10-04 04:56:35 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-04 04:56:42 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 04:59:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 05:02:04 +0000 | <Inst> | score, stack overflow! |
| 2024-10-04 05:03:12 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-10-04 05:03:47 +0000 | <Inst> | i'm trying to hand memoize ackermann :( |
| 2024-10-04 05:03:56 +0000 | <Inst> | is 4 2 supposed to stack overflow in haskell? |
| 2024-10-04 05:04:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 05:06:09 +0000 | <Inst> | https://resources.saylor.org/wwwresources/archived/site/wp-content/uploads/2011/06/Ackermann-Funct… |
| 2024-10-04 05:06:41 +0000 | <Inst> | A(4,2) is an integer of 19729 digits |
| 2024-10-04 05:06:49 +0000 | <Inst> | so this should be expected, right? |
| 2024-10-04 05:10:36 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 05:14:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 05:15:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 05:15:57 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-04 05:16:17 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-04 05:16:18 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-04 05:19:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 05:25:34 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds) |
| 2024-10-04 05:30:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 05:34:46 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 05:35:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 05:36:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 05:39:22 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-04 05:40:31 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-10-04 05:42:03 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-10-04 05:45:14 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-04 05:46:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 05:48:46 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) libertyprime |
| 2024-10-04 05:50:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-04 05:52:43 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb8358da9a990534962a.dip0.t-ipconnect.de) acidjnk |
| 2024-10-04 05:57:15 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-04 05:59:29 +0000 | neuroevolutus | (~neuroevol@146.70.211.110) (Ping timeout: 256 seconds) |
| 2024-10-04 06:01:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 06:07:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 06:07:57 +0000 | dontdieych2 | (~a@user/dontdieych2) dontdieych2 |
| 2024-10-04 06:10:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 06:13:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 06:17:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 06:23:00 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds) |
| 2024-10-04 06:24:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-04 06:27:42 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-10-04 06:28:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 06:28:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 06:29:33 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-04 06:29:37 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-04 06:30:06 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-04 06:30:28 +0000 | califax | (~califax@user/califx) califx |
| 2024-10-04 06:33:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 06:39:46 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-04 06:40:28 +0000 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Quit: leaving) |
| 2024-10-04 06:41:30 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 06:44:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-10-04 06:44:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 06:45:05 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-04 06:45:50 +0000 | neuroevolutus | (~neuroevol@146.70.211.110) neuroevolutus |
| 2024-10-04 06:47:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-04 06:48:10 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-04 06:48:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-04 06:59:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 07:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-04 07:00:35 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-04 07:00:56 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-04 07:02:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 07:04:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-04 07:06:27 +0000 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-10-04 07:07:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 07:14:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 07:18:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-04 07:19:39 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-04 07:20:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 07:23:36 +0000 | chele | (~chele@user/chele) chele |
| 2024-10-04 07:29:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 07:34:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-04 07:35:39 +0000 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2024-10-04 07:37:23 +0000 | neuroevolutus | (~neuroevol@146.70.211.110) (Quit: Client closed) |
| 2024-10-04 07:38:45 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:8757:488:1b7d:9c52) |
| 2024-10-04 07:41:58 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 07:44:27 +0000 | vulpine | (xfnw@user/meow/xfnw) (Ping timeout: 252 seconds) |
| 2024-10-04 07:45:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 07:47:39 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-10-04 07:47:50 +0000 | akspecs_ | akspecs |
| 2024-10-04 07:47:54 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-04 07:48:17 +0000 | akspecs | (00cc8321af@2a03:6000:1812:100::11a) (Changing host) |
| 2024-10-04 07:48:17 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2024-10-04 07:51:46 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-04 07:54:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 07:55:02 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2024-10-04 07:56:36 +0000 | vanced | (~Vengeance@2.219.56.221) (Ping timeout: 276 seconds) |
| 2024-10-04 07:56:43 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 08:00:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 08:02:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-04 08:04:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 08:04:58 +0000 | xal | (~xal@mx1.xal.systems) (Quit: No Ping reply in 180 seconds.) |
| 2024-10-04 08:06:12 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2024-10-04 08:10:05 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2024-10-04 08:10:18 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-04 08:15:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 08:18:19 +0000 | synchromesh | (~john@2406:5a00:241a:5600:c4f0:795f:9391:8816) (Read error: Connection reset by peer) |
| 2024-10-04 08:19:20 +0000 | synchromesh | (~john@2406:5a00:241a:5600:869:c396:b278:a7fe) synchromesh |
| 2024-10-04 08:20:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 08:20:39 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2024-10-04 08:21:55 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 08:24:28 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-04 08:26:18 +0000 | rosco | (~rosco@183.171.73.250) rosco |
| 2024-10-04 08:29:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 08:30:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 08:35:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 08:35:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-04 08:37:39 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2024-10-04 08:38:14 +0000 | <tomsmeding> | Inst: ... was I talking about monoids? |
| 2024-10-04 08:38:29 +0000 | <Inst> | in relation to HTML libraries |
| 2024-10-04 08:38:44 +0000 | <Inst> | and performance |
| 2024-10-04 08:38:57 +0000 | <tomsmeding> | I forget lol |
| 2024-10-04 08:39:04 +0000 | <tomsmeding> | was this about association direction? |
| 2024-10-04 08:39:29 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 08:40:05 +0000 | <Inst> | "yet another HTML library" |
| 2024-10-04 08:40:23 +0000 | <tomsmeding> | I'm fairly sure I didn't have any kind of parallelisation in mind, in any case |
| 2024-10-04 08:42:19 +0000 | <tomsmeding> | Inst: about that stack overflow, I see that there's a call A(m, A(m+1, n)); does it help if you seq that A(m+1, n) call before calling into A(m, _)? |
| 2024-10-04 08:43:40 +0000 | <Inst> | i'm currently trying to rewrite everything in point free, i.e, i screwed up the recursion because the memoized version is nightmarish |
| 2024-10-04 08:44:06 +0000 | <Inst> | all of the functions are returning a tuple of a value and a new cache (Map Integer (Map Integer Integer)) |
| 2024-10-04 08:44:26 +0000 | <Inst> | and i'm point-freeing it all |
| 2024-10-04 08:44:29 +0000 | <tomsmeding> | sounds like a state monad |
| 2024-10-04 08:45:03 +0000 | <Inst> | i'm psised because python, besides likely overflowing the integer, is doing it in under 20 seconds |
| 2024-10-04 08:45:11 +0000 | <Inst> | so i must have screwed up somewhere, I just want to see how far I can get with map |
| 2024-10-04 08:45:23 +0000 | <Inst> | before trying to redo it with vector |
| 2024-10-04 08:45:25 +0000 | <tomsmeding> | python integers are bigints |
| 2024-10-04 08:46:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 08:48:39 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-04 08:48:50 +0000 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2024-10-04 08:49:06 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2024-10-04 08:50:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 08:56:07 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-04 08:56:13 +0000 | <tomsmeding> | Inst: perhaps not what you wanted, but this section https://en.wikipedia.org/wiki/Ackermann_function#Table_of_values lists formulas for small m and arbitrary n |
| 2024-10-04 08:56:22 +0000 | <tomsmeding> | if you hardcode those, things will speed up enormously |
| 2024-10-04 08:56:23 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-10-04 08:57:16 +0000 | <Inst> | it's just an exercise for manually memoizing |
| 2024-10-04 08:58:09 +0000 | CiaoSen | (~Jura@2a05:5800:20b:200:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-04 09:01:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 09:02:03 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-10-04 09:02:44 +0000 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-10-04 09:03:08 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2024-10-04 09:03:08 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-04 09:06:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-04 09:07:38 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 09:07:51 +0000 | hsw_ | (~hsw@112-104-139-62.adsl.dynamic.seed.net.tw) hsw |
| 2024-10-04 09:09:15 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2024-10-04 09:10:19 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 252 seconds) |
| 2024-10-04 09:11:15 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 09:12:29 +0000 | <Inst> | thanks for being helpful, though, tomsmeding |
| 2024-10-04 09:14:04 +0000 | dontdieych2 | (~a@user/dontdieych2) (Quit: WeeChat 4.4.2) |
| 2024-10-04 09:14:29 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-04 09:16:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 09:17:00 +0000 | califax | (~califax@user/califx) califx |
| 2024-10-04 09:17:41 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2024-10-04 09:19:39 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 09:19:46 +0000 | <tomsmeding> | cheers :) |
| 2024-10-04 09:20:10 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-04 09:20:29 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-04 09:20:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 09:21:36 +0000 | califax | (~califax@user/califx) califx |
| 2024-10-04 09:22:31 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-04 09:24:17 +0000 | califax | (~califax@user/califx) califx |
| 2024-10-04 09:27:18 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-10-04 09:28:21 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2024-10-04 09:28:30 +0000 | wanted | (~wanted@2.219.56.221) |
| 2024-10-04 09:28:41 +0000 | JamesMowery4 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-10-04 09:29:27 +0000 | <Inst> | https://paste.tomsmeding.com/Brl9demS |
| 2024-10-04 09:30:03 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 246 seconds) |
| 2024-10-04 09:30:03 +0000 | JamesMowery4 | JamesMowery |
| 2024-10-04 09:31:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 09:33:46 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2024-10-04 09:34:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 09:34:16 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2024-10-04 09:36:08 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2024-10-04 09:36:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 09:38:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-04 09:40:17 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-04 09:40:37 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
| 2024-10-04 09:41:46 +0000 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2024-10-04 09:42:32 +0000 | califax | (~califax@user/califx) califx |
| 2024-10-04 09:46:27 +0000 | vulpine | (xfnw@user/meow/xfnw) (Ping timeout: 276 seconds) |
| 2024-10-04 09:47:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 09:47:39 +0000 | CiaoSen | (~Jura@2a05:5800:20b:200:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-10-04 09:48:00 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-04 09:49:12 +0000 | califax | (~califax@user/califx) califx |
| 2024-10-04 09:51:09 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-04 09:51:41 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 09:51:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 09:51:48 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-10-04 09:57:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 09:59:25 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-04 10:02:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 10:02:59 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2024-10-04 10:06:46 +0000 | <Inst> | i see, this is embarrassing |
| 2024-10-04 10:06:50 +0000 | <Inst> | the py is so fast because it tabulates |
| 2024-10-04 10:07:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 10:12:39 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2024-10-04 10:17:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 10:17:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 10:22:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 10:23:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-04 10:27:11 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 10:31:13 +0000 | rosco | (~rosco@183.171.73.250) (Quit: Lost terminal) |
| 2024-10-04 10:32:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 10:35:10 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2024-10-04 10:36:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 10:36:43 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 10:37:37 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-04 10:40:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-04 10:41:16 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 10:44:28 +0000 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 10:45:43 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2024-10-04 10:48:06 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
| 2024-10-04 10:48:22 +0000 | hsw__ | (~hsw@112-104-11-250.adsl.dynamic.seed.net.tw) hsw |
| 2024-10-04 10:49:53 +0000 | rosco | (~rosco@183.171.73.250) rosco |
| 2024-10-04 10:50:40 +0000 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2024-10-04 10:50:57 +0000 | hsw_ | (~hsw@112-104-139-62.adsl.dynamic.seed.net.tw) (Ping timeout: 248 seconds) |
| 2024-10-04 10:51:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 10:55:10 +0000 | <kqr> | I'm creating a simple hello world-type application in Yesod, but which selects the response message at random (by lifting getStdGen in a handler.) However, every time I refresh I get the same message. I sense some sort of caching goes on, but it's not in my browser. What would be the next step to check? |
| 2024-10-04 10:55:16 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 10:55:18 +0000 | vulpine | (xfnw@user/meow/xfnw) (Ping timeout: 252 seconds) |
| 2024-10-04 10:55:45 +0000 | <kqr> | Oh, no, of course. Everytime I getStdGen I get the same generator, right? |
| 2024-10-04 10:55:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-04 10:58:58 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-04 11:01:12 +0000 | <ghoulguy> | Right |
| 2024-10-04 11:01:39 +0000 | <ghoulguy> | newStdGen |
| 2024-10-04 11:02:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-10-04 11:03:00 +0000 | <kqr> | Thanks. Yeah, that seems to have been it. (Although in my case I realised replicateM 3 randomIO is more convenient than breaking off a newStdGen.) |
| 2024-10-04 11:06:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 11:11:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-04 11:15:35 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 11:18:06 +0000 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2024-10-04 11:18:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 11:19:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-04 11:21:34 +0000 | turlando_ | (~turlando@user/turlando) () |
| 2024-10-04 11:21:59 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2024-10-04 11:22:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 11:26:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 11:33:20 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 11:33:39 +0000 | vulpine | (xfnw@user/meow/xfnw) (Ping timeout: 265 seconds) |
| 2024-10-04 11:33:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 11:34:21 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2024-10-04 11:35:27 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-04 11:36:28 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-04 11:37:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 11:38:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 11:42:30 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 11:43:59 +0000 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2024-10-04 11:47:36 +0000 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2024-10-04 11:49:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 11:52:23 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-04 11:54:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 12:00:09 +0000 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-04 12:02:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 12:04:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 12:07:04 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-04 12:08:50 +0000 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2024-10-04 12:09:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 12:10:46 +0000 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2024-10-04 12:16:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 12:16:18 +0000 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-04 12:17:21 +0000 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-10-04 12:19:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 12:20:08 +0000 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-10-04 12:20:12 +0000 | xff0x | (~xff0x@2405:6580:b080:900:858f:f870:90c:1b39) |
| 2024-10-04 12:23:31 +0000 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2024-10-04 12:23:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-04 12:26:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-04 12:27:54 +0000 | synchromesh | (~john@2406:5a00:241a:5600:869:c396:b278:a7fe) (Read error: Connection reset by peer) |
| 2024-10-04 12:29:00 +0000 | synchromesh | (~john@2406:5a00:241a:5600:869:c396:b278:a7fe) synchromesh |
| 2024-10-04 12:34:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 12:39:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-04 12:47:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 12:50:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 12:50:30 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-10-04 12:51:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-04 12:52:58 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 12:54:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-04 12:55:44 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-04 12:57:44 +0000 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2024-10-04 12:59:30 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-04 13:03:21 +0000 | vulpine | ghoulpine |
| 2024-10-04 13:05:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 13:10:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 13:10:23 +0000 | ababaiem | (~igloo@94-225-18-207.access.telenet.be) |
| 2024-10-04 13:14:45 +0000 | ababaiem | (~igloo@94-225-18-207.access.telenet.be) (Ping timeout: 246 seconds) |
| 2024-10-04 13:16:47 +0000 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-04 13:20:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 13:25:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-04 13:28:17 +0000 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) gdr3941 |
| 2024-10-04 13:30:02 +0000 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) (Client Quit) |
| 2024-10-04 13:32:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 13:36:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 13:36:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 13:39:00 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-04 13:40:28 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-10-04 13:40:36 +0000 | dolio | (~dolio@130.44.140.168) (Remote host closed the connection) |
| 2024-10-04 13:40:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 13:41:38 +0000 | hgolden__ | (~hgolden@169.150.203.23) hgolden |
| 2024-10-04 13:41:44 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-10-04 13:43:03 +0000 | youthlic1 | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-04 13:43:52 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 2024-10-04 13:43:52 +0000 | sm | (~znc@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2024-10-04 13:43:52 +0000 | youthlic1 | youthlic |
| 2024-10-04 13:44:06 +0000 | sm | (~znc@plaintextaccounting/sm) sm |
| 2024-10-04 13:44:14 +0000 | hgolden_ | (~hgolden@169.150.203.23) (Ping timeout: 252 seconds) |
| 2024-10-04 13:48:06 +0000 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) ft |
| 2024-10-04 13:50:14 +0000 | swamp_ | (~zmt00@user/zmt00) zmt00 |
| 2024-10-04 13:51:23 +0000 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Quit: leaving) |
| 2024-10-04 13:51:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 13:53:14 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-10-04 13:53:43 +0000 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2024-10-04 13:55:02 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:8757:488:1b7d:9c52) (Ping timeout: 272 seconds) |
| 2024-10-04 13:55:39 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-04 13:56:09 +0000 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-10-04 13:56:10 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 13:56:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 14:02:18 +0000 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
| 2024-10-04 14:02:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-04 14:04:40 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 14:06:04 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-10-04 14:07:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 14:09:10 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 14:12:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 14:15:38 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-04 14:21:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 14:23:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 14:23:19 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-10-04 14:24:46 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-04 14:27:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-10-04 14:28:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-04 14:28:39 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-04 14:33:02 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-04 14:36:18 +0000 | vanishing | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2024-10-04 14:38:13 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 14:39:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 14:39:44 +0000 | son0p | (~ff@186.121.100.73) (Ping timeout: 265 seconds) |
| 2024-10-04 14:41:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 14:42:05 +0000 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-04 14:42:11 +0000 | <kqr> | If I want to deploy a simple Haskell binary to a server that does not have the same glibc version, how would I go about it? I'd prefer not to compile on the server because it is a very weak server. I'd prefer not to have to keep my system's glibc versions in sync. |
| 2024-10-04 14:42:26 +0000 | <dminuoso> | kqr: You can statically link against musl. |
| 2024-10-04 14:42:47 +0000 | <kqr> | I did read about that but it did not seem obvious how to do it. Is that preferable to either Docker (?) or nix (?) |
| 2024-10-04 14:42:58 +0000 | <dminuoso> | Well you can do it *with* docker or nix |
| 2024-10-04 14:43:04 +0000 | <dminuoso> | Though nix in itself is an alternate solution |
| 2024-10-04 14:43:14 +0000 | <dminuoso> | (And docker in principle too, though I would not recommend that at all) |
| 2024-10-04 14:43:38 +0000 | <kqr> | How would nix help, come to think of it? Is it by giving the build host the glibc version of the target? |
| 2024-10-04 14:43:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-04 14:44:05 +0000 | <dminuoso> | Well if you deploy it as a nix closure, the nix closure would come with its own glibc. |
| 2024-10-04 14:45:11 +0000 | <dminuoso> | kqr: If you just want to statically link against musl, the simplest way is to spin up an alpine docker image and just compile your project inside. |
| 2024-10-04 14:45:28 +0000 | <dminuoso> | And then exfiltrate the (statically linked) binary. |
| 2024-10-04 14:45:28 +0000 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 2024-10-04 14:45:48 +0000 | <dminuoso> | (Or you can statically link against musl *using* nix too) |
| 2024-10-04 14:46:12 +0000 | <dminuoso> | Deploy as nix closure, statically link against musl *with* nix, deploy as docker container, statically link against musl *with* docker. |
| 2024-10-04 14:46:19 +0000 | <dminuoso> | All combinatinos exist. :) |
| 2024-10-04 14:46:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 14:48:23 +0000 | <kqr> | I'm guessing a bare Alpine docker image does not come with cabal-install, so I'd either have to go with an Alpine-based Haskell image, or add the necessary build tools myself? And does simply making a regular cabal build inside that image automatically result in a binary statically linked against musl? |
| 2024-10-04 14:48:49 +0000 | <kqr> | If it is that easy, that certainly sounds like the alternative I'd like to explore first. |
| 2024-10-04 14:48:51 +0000 | <dminuoso> | You can just build up the image with ghcup |
| 2024-10-04 14:48:53 +0000 | <dminuoso> | https://github.com/utdemir/ghc-musl/blob/main/Earthfile |
| 2024-10-04 14:48:56 +0000 | <dminuoso> | Take some inspiration here if you like |
| 2024-10-04 14:49:35 +0000 | <kqr> | Interesting... Thanks! |
| 2024-10-04 14:49:45 +0000 | <dminuoso> | (If you insist and blindly trust you can use the images uploaded to docker hub linked on the repos readme, but I would rather just fork/use this Earthfile to build it yourself) |
| 2024-10-04 14:50:06 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-04 14:54:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 14:56:08 +0000 | <EvanR> | ghc-musl -- depends on SDL_mixer xD |
| 2024-10-04 14:56:48 +0000 | <EvanR> | I do want to hear every source file as it gets compiled |
| 2024-10-04 14:59:51 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-04 15:00:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-04 15:05:23 +0000 | biberu\ | (~biberu@user/biberu) biberu |
| 2024-10-04 15:05:39 +0000 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-04 15:06:15 +0000 | spew | (~spew@201.141.99.170) spew |
| 2024-10-04 15:06:38 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2024-10-04 15:07:02 +0000 | myxokephale | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2024-10-04 15:07:07 +0000 | mceresa_ | (~mceresa@user/mceresa) mceresa |
| 2024-10-04 15:07:32 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 15:07:35 +0000 | TheCoffeMaker_ | (~TheCoffeM@186.136.173.70) |
| 2024-10-04 15:07:55 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2024-10-04 15:07:58 +0000 | FragByte_ | (~christian@user/fragbyte) FragByte |
| 2024-10-04 15:08:40 +0000 | gvg_ | (~dcd@user/gvg) gvg |
| 2024-10-04 15:09:52 +0000 | sudden | (~cat@user/sudden) sudden |
| 2024-10-04 15:09:59 +0000 | __monty_1 | (~toonn@user/toonn) toonn |
| 2024-10-04 15:10:03 +0000 | philopso1 | (~caecilius@pool-71-183-97-38.nycmny.fios.verizon.net) |
| 2024-10-04 15:10:15 +0000 | df | (~ben@justworks.xyz) |
| 2024-10-04 15:10:25 +0000 | Guest3971 | (~ubuntu@ec2-35-163-144-64.us-west-2.compute.amazonaws.com) pdxleif |
| 2024-10-04 15:10:38 +0000 | mewra | (~aranea@wireguard/contributorcat/mira) aranea |
| 2024-10-04 15:10:38 +0000 | machined1od | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-04 15:10:45 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
| 2024-10-04 15:11:30 +0000 | driib3182 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-10-04 15:11:40 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-10-04 15:12:07 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2024-10-04 15:12:58 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 15:13:06 +0000 | AlexZenon_2 | (~alzenon@178.34.162.53) |
| 2024-10-04 15:13:29 +0000 | mari-estel | (~mari-este@2a02:3032:30a:4c3b:216:3eff:fe65:4eef) |
| 2024-10-04 15:15:21 +0000 | raym_ | (~ray@user/raym) raym |
| 2024-10-04 15:15:37 +0000 | weary-traveler | (~user@user/user363627) (*.net *.split) |
| 2024-10-04 15:15:37 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (*.net *.split) |
| 2024-10-04 15:15:37 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (*.net *.split) |
| 2024-10-04 15:15:37 +0000 | __monty__ | (~toonn@user/toonn) (*.net *.split) |
| 2024-10-04 15:15:37 +0000 | AlexZenon | (~alzenon@178.34.162.53) (*.net *.split) |
| 2024-10-04 15:15:37 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (*.net *.split) |
| 2024-10-04 15:15:37 +0000 | raym | (~ray@user/raym) (*.net *.split) |
| 2024-10-04 15:15:38 +0000 | yoneda | (~mike@193.206.102.122) (*.net *.split) |
| 2024-10-04 15:15:38 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (*.net *.split) |
| 2024-10-04 15:15:38 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
| 2024-10-04 15:15:38 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2024-10-04 15:15:38 +0000 | gvg | (~dcd@user/gvg) (*.net *.split) |
| 2024-10-04 15:15:38 +0000 | mceresa | (~mceresa@user/mceresa) (*.net *.split) |
| 2024-10-04 15:15:38 +0000 | biberu | (~biberu@user/biberu) (*.net *.split) |
| 2024-10-04 15:15:38 +0000 | philopsos | (~caecilius@user/philopsos) (*.net *.split) |
| 2024-10-04 15:15:39 +0000 | some02 | (~cat@user/sudden) (*.net *.split) |
| 2024-10-04 15:15:39 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (*.net *.split) |
| 2024-10-04 15:15:39 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split) |
| 2024-10-04 15:15:39 +0000 | FragByte | (~christian@user/fragbyte) (*.net *.split) |
| 2024-10-04 15:15:39 +0000 | forell | (~forell@user/forell) (*.net *.split) |
| 2024-10-04 15:15:39 +0000 | df_ | (~ben@justworks.xyz) (*.net *.split) |
| 2024-10-04 15:15:39 +0000 | mira | (~aranea@wireguard/contributorcat/mira) (*.net *.split) |
| 2024-10-04 15:15:39 +0000 | pdxleif | (~ubuntu@ec2-35-163-144-64.us-west-2.compute.amazonaws.com) (*.net *.split) |
| 2024-10-04 15:15:39 +0000 | mceresa_ | mceresa |
| 2024-10-04 15:15:39 +0000 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2024-10-04 15:15:39 +0000 | FragByte_ | FragByte |
| 2024-10-04 15:15:43 +0000 | driib3182 | driib318 |
| 2024-10-04 15:15:43 +0000 | biberu\ | biberu |
| 2024-10-04 15:16:22 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2024-10-04 15:16:22 +0000 | ChanServ | +v yahb2 |
| 2024-10-04 15:18:55 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 15:18:55 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-10-04 15:20:30 +0000 | yoneda | (~mike@193.206.102.122) |
| 2024-10-04 15:22:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 15:22:12 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-10-04 15:22:36 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-10-04 15:23:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-04 15:23:31 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 15:23:43 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-10-04 15:24:02 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2024-10-04 15:25:29 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2024-10-04 15:26:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-04 15:28:08 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-04 15:29:35 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Remote host closed the connection) |
| 2024-10-04 15:29:42 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2024-10-04 15:30:34 +0000 | rosco | (~rosco@183.171.73.250) (Remote host closed the connection) |
| 2024-10-04 15:36:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 15:37:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 15:42:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-04 15:42:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-04 15:45:54 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-10-04 15:50:29 +0000 | polyphem | (~rod@p4fc2c4e0.dip0.t-ipconnect.de) polyphem |
| 2024-10-04 15:51:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 15:53:02 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-10-04 15:53:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 15:54:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-04 15:55:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-10-04 15:56:27 +0000 | mari-estel | (~mari-este@2a02:3032:30a:4c3b:216:3eff:fe65:4eef) () |
| 2024-10-04 15:57:35 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 15:57:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-04 16:01:02 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-10-04 16:02:45 +0000 | machined1od | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-10-04 16:03:36 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-04 16:04:36 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-04 16:05:35 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-04 16:06:30 +0000 | TheCoffeMaker_ | (~TheCoffeM@186.136.173.70) (Quit: So long and thanks for all the fish) |
| 2024-10-04 16:08:03 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-10-04 16:08:05 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-10-04 16:09:27 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-04 16:09:41 +0000 | synchromesh | (~john@2406:5a00:241a:5600:869:c396:b278:a7fe) (Remote host closed the connection) |
| 2024-10-04 16:13:48 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:4d79:5042:d048:a6a2) |
| 2024-10-04 16:16:36 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 16:17:18 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-04 16:21:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-10-04 16:21:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 16:24:10 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-10-04 16:27:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 16:36:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 16:37:39 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-10-04 16:38:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 16:39:04 +0000 | kmein | (~weechat@user/kmein) (Ping timeout: 260 seconds) |
| 2024-10-04 16:40:58 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2024-10-04 16:42:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-04 16:43:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-04 16:52:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-04 16:53:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-04 16:54:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 16:56:20 +0000 | michalz_ | (~michalz@185.246.207.218) |
| 2024-10-04 16:57:25 +0000 | michalz | (~michalz@185.246.207.222) (Ping timeout: 248 seconds) |
| 2024-10-04 16:58:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-04 16:59:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 17:00:51 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-04 17:02:38 +0000 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2024-10-04 17:04:56 +0000 | euphores | (~SASL_euph@user/euphores) (Remote host closed the connection) |
| 2024-10-04 17:05:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-04 17:05:54 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-04 17:09:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 17:14:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-04 17:15:39 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 17:24:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 17:24:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-04 17:25:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-10-04 17:26:19 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-10-04 17:26:36 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-04 17:28:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-04 17:29:52 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-04 17:30:27 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 17:31:29 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 248 seconds) |
| 2024-10-04 17:31:54 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-10-04 17:32:43 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-04 17:34:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 17:34:37 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-10-04 17:35:11 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-10-04 17:35:47 +0000 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-04 17:36:42 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2024-10-04 17:37:31 +0000 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-04 17:38:10 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2024-10-04 17:38:24 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2024-10-04 17:39:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 17:40:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-04 17:40:51 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-04 17:42:37 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-04 17:44:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-04 17:44:49 +0000 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 248 seconds) |
| 2024-10-04 17:45:00 +0000 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) taktoa[c] |
| 2024-10-04 17:51:09 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-04 17:54:57 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 248 seconds) |
| 2024-10-04 17:55:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 17:56:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-04 17:58:13 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-10-04 17:58:42 +0000 | neuroevolutus | (~neuroevol@146.70.211.46) neuroevolutus |
| 2024-10-04 17:59:23 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) alanz |
| 2024-10-04 17:59:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 18:00:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 18:02:15 +0000 | <monochrom> | Inst: Map (Integer, Integer) Integer should be faster then two levels of Map. You should also put it in the state of a State monad---write correct code first, make it pointfree after you understand it. It is not like pointfreeness is why the Python version is faster. |
| 2024-10-04 18:02:45 +0000 | <monochrom> | ugh s/faster then/faster than/ # I hate English |
| 2024-10-04 18:05:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-04 18:06:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 18:06:31 +0000 | neuroevolutus | (~neuroevol@146.70.211.46) (Ping timeout: 256 seconds) |
| 2024-10-04 18:06:34 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2024-10-04 18:07:08 +0000 | AlexZenon_2 | AlexZenon |
| 2024-10-04 18:10:16 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-04 18:11:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-04 18:11:52 +0000 | <c_wraith> | monochrom: don't worry, English is intended to annoy everyone |
| 2024-10-04 18:12:24 +0000 | <monochrom> | :) |
| 2024-10-04 18:13:18 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-04 18:14:17 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-04 18:15:25 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 18:15:33 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 18:16:16 +0000 | <geekosaur> | Norman soldiers, Saxon barmaids, etc. |
| 2024-10-04 18:17:29 +0000 | <Rembane> | Bloody vikings |
| 2024-10-04 18:21:05 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 248 seconds) |
| 2024-10-04 18:22:01 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-04 18:22:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 18:22:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-04 18:23:45 +0000 | systemfault | (sid267009@about/typescript/member/systemfault) (Ping timeout: 248 seconds) |
| 2024-10-04 18:24:35 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-04 18:24:44 +0000 | systemfault | (sid267009@about/typescript/member/systemfault) systemfault |
| 2024-10-04 18:26:05 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2024-10-04 18:29:37 +0000 | edm | (sid147314@id-147314.hampstead.irccloud.com) (Ping timeout: 248 seconds) |
| 2024-10-04 18:29:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-04 18:31:49 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-04 18:33:38 +0000 | edm | (sid147314@id-147314.hampstead.irccloud.com) |
| 2024-10-04 18:37:37 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2024-10-04 18:39:47 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 18:40:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 18:40:45 +0000 | danza | (~danza@user/danza) danza |
| 2024-10-04 18:41:40 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-10-04 18:42:06 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-04 18:45:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 18:45:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 18:45:37 +0000 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-10-04 18:46:59 +0000 | <KicksonButt> | Hello, world |
| 2024-10-04 18:47:31 +0000 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-04 18:50:25 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-04 18:52:43 +0000 | <KicksonButt> | I'm trying to print 1/16 as 0.0625 but Haskell gives me 6.25e-2 |
| 2024-10-04 18:53:15 +0000 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
| 2024-10-04 18:53:39 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-10-04 18:54:17 +0000 | <geekosaur> | > Numeric.showFFloat (Just 4) (1/16) "" |
| 2024-10-04 18:54:18 +0000 | <lambdabot> | "0.0625" |
| 2024-10-04 18:54:51 +0000 | <geekosaur> | you can't change the format used by the `Show` instance, though; you have to format it explicitly instead |
| 2024-10-04 18:55:24 +0000 | <geekosaur> | > Text.Printf.printf "%.4f" (1/16) |
| 2024-10-04 18:55:25 +0000 | <lambdabot> | error: |
| 2024-10-04 18:55:25 +0000 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M143143463937... |
| 2024-10-04 18:55:25 +0000 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 2024-10-04 18:55:31 +0000 | <geekosaur> | > Text.Printf.printf "%.4f" (1/16) :: String |
| 2024-10-04 18:55:32 +0000 | <lambdabot> | "0.0625" |
| 2024-10-04 18:56:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 18:56:38 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 18:59:37 +0000 | <EvanR> | > 1/16 |
| 2024-10-04 18:59:38 +0000 | <lambdabot> | 6.25e-2 |
| 2024-10-04 18:59:40 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 272 seconds) |
| 2024-10-04 18:59:42 +0000 | <EvanR> | smh |
| 2024-10-04 19:00:03 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-04 19:00:19 +0000 | <EvanR> | > printf "%g" (1/16) :: String |
| 2024-10-04 19:00:21 +0000 | <lambdabot> | "6.25e-2" |
| 2024-10-04 19:00:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-04 19:00:28 +0000 | <EvanR> | > printf "%a" (1/16) :: String |
| 2024-10-04 19:00:29 +0000 | <lambdabot> | "*Exception: printf: bad formatting char 'a' |
| 2024-10-04 19:00:38 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-04 19:00:44 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-04 19:01:14 +0000 | <EvanR> | that's unfortunate |
| 2024-10-04 19:02:40 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-04 19:03:33 +0000 | xyres137 | (~xyres137@85.73.110.232) |
| 2024-10-04 19:07:16 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
| 2024-10-04 19:11:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 19:14:51 +0000 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.60)) |
| 2024-10-04 19:16:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-04 19:16:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 19:17:48 +0000 | simendsjo | (~user@84.211.91.108) simendsjo |
| 2024-10-04 19:19:19 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-10-04 19:19:23 +0000 | xyres137 | (~xyres137@85.73.110.232) (Remote host closed the connection) |
| 2024-10-04 19:19:42 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 19:21:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-04 19:26:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 19:28:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-04 19:28:45 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2024-10-04 19:30:02 +0000 | neuroevolutus | (~neuroevol@146.70.211.46) neuroevolutus |
| 2024-10-04 19:30:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 19:32:56 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-04 19:36:14 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2024-10-04 19:36:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 19:41:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-04 19:41:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 19:42:00 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-04 19:44:59 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-04 19:47:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-04 19:47:45 +0000 | drlkf | (~drlkf@2a01:4f8:c013:4640::1) drlkf |
| 2024-10-04 19:50:43 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-04 19:54:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 19:56:09 +0000 | drlkf | (~drlkf@2a01:4f8:c013:4640::1) (Ping timeout: 276 seconds) |
| 2024-10-04 19:56:54 +0000 | drlkf | (~drlkf@chat-1.drlkf.net) drlkf |
| 2024-10-04 19:56:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-04 19:57:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 20:01:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-04 20:12:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 20:16:18 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2024-10-04 20:16:30 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-04 20:17:11 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-04 20:17:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 20:17:25 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 20:22:48 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 276 seconds) |
| 2024-10-04 20:23:59 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-04 20:26:40 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 20:28:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 20:30:36 +0000 | simendsjo | (~user@84.211.91.108) (Remote host closed the connection) |
| 2024-10-04 20:34:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-10-04 20:35:44 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-04 20:35:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-04 20:36:00 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-10-04 20:37:12 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2024-10-04 20:38:00 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 20:38:42 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-04 20:44:48 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-10-04 20:46:21 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 20:46:41 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-10-04 20:46:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 20:51:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-04 20:55:46 +0000 | Guest3971 | pdxleif |
| 2024-10-04 20:56:32 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-10-04 21:00:06 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 21:01:58 +0000 | kimiamania | (~924ba01d@user/kimiamania) (Quit: PegeLinux) |
| 2024-10-04 21:02:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 21:02:22 +0000 | kimiamania | (~924ba01d@user/kimiamania) kimiamania |
| 2024-10-04 21:03:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 21:05:16 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-04 21:05:43 +0000 | nckx | (nckx@libera/staff/owl/nckx) nckx |
| 2024-10-04 21:06:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 21:07:01 +0000 | polyphem | (~rod@p4fc2c4e0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-04 21:07:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-10-04 21:11:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-10-04 21:11:43 +0000 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 265 seconds) |
| 2024-10-04 21:15:34 +0000 | vglfr | (~vglfr@2607:fb91:1484:96c7:ad2:e57:9a71:f8c8) vglfr |
| 2024-10-04 21:17:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 21:22:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 21:23:09 +0000 | neuroevolutus | (~neuroevol@146.70.211.46) (Ping timeout: 256 seconds) |
| 2024-10-04 21:26:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 21:30:09 +0000 | michalz_ | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2024-10-04 21:30:30 +0000 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-10-04 21:31:33 +0000 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-10-04 21:32:01 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-04 21:32:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 21:37:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-04 21:39:16 +0000 | __monty_1 | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-04 21:40:13 +0000 | Digitteknohippie | Digit |
| 2024-10-04 21:40:34 +0000 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2024-10-04 21:40:36 +0000 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2024-10-04 21:40:36 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2024-10-04 21:40:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-04 21:42:22 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-10-04 21:42:33 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 244 seconds) |
| 2024-10-04 21:43:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-04 21:47:08 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-10-04 21:47:58 +0000 | neuroevolutus | (~neuroevol@146.70.211.46) neuroevolutus |
| 2024-10-04 21:48:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 21:49:27 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 21:51:49 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-04 21:52:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-04 21:53:28 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-10-04 21:53:58 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 21:54:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-04 21:55:04 +0000 | vglfr | (~vglfr@2607:fb91:1484:96c7:ad2:e57:9a71:f8c8) (Ping timeout: 260 seconds) |
| 2024-10-04 21:58:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 21:59:30 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-04 22:00:37 +0000 | supercode | (~supercode@user/supercode) supercode |
| 2024-10-04 22:02:05 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-04 22:03:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 22:07:23 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-10-04 22:07:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 22:08:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-04 22:08:19 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-10-04 22:08:19 +0000 | ChanServ | +v haskellbridge |
| 2024-10-04 22:08:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-04 22:09:31 +0000 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
| 2024-10-04 22:13:37 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-04 22:14:32 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2024-10-04 22:14:37 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-10-04 22:14:56 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-10-04 22:19:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 22:23:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 22:24:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-04 22:26:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 22:27:36 +0000 | foul_owl | (~kerry@185.219.141.160) (Ping timeout: 265 seconds) |
| 2024-10-04 22:31:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-10-04 22:32:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 22:34:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 22:40:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 22:42:30 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 22:43:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-10-04 22:48:44 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-10-04 22:50:41 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 22:51:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 22:53:27 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-04 22:54:04 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-04 22:55:25 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 22:55:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-04 22:58:38 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-10-04 23:00:37 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-04 23:00:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 23:06:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 23:09:28 +0000 | Axma61810 | Axman6 |
| 2024-10-04 23:10:20 +0000 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-04 23:11:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-04 23:11:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 23:18:04 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb8358da9a990534962a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-10-04 23:19:19 +0000 | neuroevolutus | (~neuroevol@146.70.211.46) (Ping timeout: 256 seconds) |
| 2024-10-04 23:20:28 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-04 23:22:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 23:26:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-04 23:27:11 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-10-04 23:29:12 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-10-04 23:33:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-04 23:37:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 23:39:14 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-04 23:40:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-04 23:41:58 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-10-04 23:43:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-04 23:45:28 +0000 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-10-04 23:45:49 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-04 23:47:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-04 23:47:12 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-10-04 23:49:54 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-04 23:54:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-04 23:59:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |