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