2024/10/04

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