| 2024-09-17 00:00:54 +0000 | <geekosaur> | one might think stuff would randomly wander into them and they'd gradually lose their "void-ness", but if gravitation is actually repulsive in voids, then they actively expel anything they have in them and become more "void" |
| 2024-09-17 00:01:08 +0000 | <dolio> | Yeah, I mean, wikipedia says that the working definition is that a void has an average density less than 1/10 the average density of the universe. I guess you can only tell if that matters by knowing the actual average density, though? |
| 2024-09-17 00:01:28 +0000 | <geekosaur> | right. and we're getting better at that all the time |
| 2024-09-17 00:02:00 +0000 | <geekosaur> | as I said at the start of this, it's only within the past 10ish years that we've been in a position to talk about the actual average density |
| 2024-09-17 00:02:38 +0000 | <geekosaur> | and the best we can do still is adding up the clusters and subtracting out the voids |
| 2024-09-17 00:03:04 +0000 | <geekosaur> | uh, put that wrong. computing a relative average I guess |
| 2024-09-17 00:04:08 +0000 | <geekosaur> | so the numbers are very definitely subject to change, but we already have enough evidence to say with certainty that, since voids exist and are easy to spot with our current tech, they are necessarily below the average mass-energy density |
| 2024-09-17 00:04:33 +0000 | <geekosaur> | by enough that said average must be significant enough that we have to try to take it into account |
| 2024-09-17 00:04:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 00:05:47 +0000 | <geekosaur> | that's still a developing story, though, as there's still large error bars on said average density |
| 2024-09-17 00:06:26 +0000 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-09-17 00:06:33 +0000 | califax_ | (~califax@user/califx) |
| 2024-09-17 00:06:35 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-17 00:07:50 +0000 | califax_ | califax |
| 2024-09-17 00:09:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 00:10:12 +0000 | spew | (~spew@2806:2a0:1522:8662::728c) (Ping timeout: 272 seconds) |
| 2024-09-17 00:16:59 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-09-17 00:19:28 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4168:f973:63de:e89d) (Quit: xff0x) |
| 2024-09-17 00:22:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 00:26:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 00:26:40 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6f94:c8d2:12bd:b16a) |
| 2024-09-17 00:29:34 +0000 | <geekosaur> | looks like https://adsabs.harvard.edu/full/2008IAUS..244..146T |
| 2024-09-17 00:30:44 +0000 | <geekosaur> | except it's like a decade too early and I see no discussion about a revised average density (they say "really empty" which implies they're still using the "0, close enough" value) |
| 2024-09-17 00:38:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 00:42:10 +0000 | <geekosaur> | and it appears to have been swallowed up by MOND theories that propose a different way to do the same thing |
| 2024-09-17 00:42:25 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-17 00:43:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-17 00:47:07 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6f94:c8d2:12bd:b16a) (Ping timeout: 252 seconds) |
| 2024-09-17 00:53:11 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-17 00:56:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 00:59:33 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-09-17 01:00:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-17 01:12:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 01:16:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 01:19:32 +0000 | athan_ | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-17 01:21:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-17 01:27:46 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-17 01:29:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 01:39:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-17 01:39:22 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-17 01:40:15 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-17 01:44:35 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-09-17 01:46:10 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-17 01:48:31 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-17 01:52:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 01:57:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 02:10:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 02:14:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 02:15:23 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-17 02:18:30 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 2024-09-17 02:21:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 02:23:08 +0000 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-09-17 02:27:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-17 02:30:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-17 02:37:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 02:39:54 +0000 | td_ | (~td@i53870903.versanet.de) (Ping timeout: 260 seconds) |
| 2024-09-17 02:40:22 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-17 02:41:29 +0000 | td_ | (~td@i53870933.versanet.de) |
| 2024-09-17 02:42:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 02:49:57 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2024-09-17 02:49:59 +0000 | cheater_ | (~Username@user/cheater) |
| 2024-09-17 02:49:59 +0000 | cheater_ | cheater |
| 2024-09-17 02:51:33 +0000 | AlexZenon | (~alzenon@94.233.241.202) (Ping timeout: 248 seconds) |
| 2024-09-17 02:52:45 +0000 | AlexNoo | (~AlexNoo@94.233.241.202) (Ping timeout: 276 seconds) |
| 2024-09-17 02:55:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 03:00:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 03:00:37 +0000 | madhavanmiui | (~madhavanm@2409:40f4:101d:bd3d:8000::) |
| 2024-09-17 03:01:14 +0000 | madhavanmiui | (~madhavanm@2409:40f4:101d:bd3d:8000::) (Remote host closed the connection) |
| 2024-09-17 03:12:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 03:16:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 03:28:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 03:33:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 03:33:35 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2024-09-17 03:34:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-09-17 03:34:47 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-17 03:44:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 03:47:10 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-17 03:48:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 03:54:02 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-17 04:00:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 04:05:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-17 04:16:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 04:17:23 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-17 04:19:39 +0000 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds) |
| 2024-09-17 04:20:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 04:25:18 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-17 04:28:44 +0000 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-09-17 04:31:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 04:34:06 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-17 04:36:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 04:45:54 +0000 | michalz | (~michalz@185.246.207.200) |
| 2024-09-17 04:47:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 04:52:04 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-09-17 04:52:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 05:04:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 05:08:30 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 272 seconds) |
| 2024-09-17 05:09:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-17 05:18:19 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-17 05:20:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 05:24:11 +0000 | rosco | (~rosco@175.136.158.234) |
| 2024-09-17 05:25:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 05:27:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 05:32:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 05:33:51 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-09-17 05:35:42 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-17 05:37:12 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2024-09-17 05:38:02 +0000 | euleritian | (~euleritia@dynamic-176-001-003-116.176.1.pool.telefonica.de) |
| 2024-09-17 05:45:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 05:48:52 +0000 | <Leary> | tomsmeding: Cheers! As for flags, it's been a while since I did this kind of inspection in detail. Based on a cursory investigation of Core and STG -ddump output, it shouldn't actually matter too much which flag you use for the latter. That said, I would default to -ddump-stg-cg by analogy to -ddump-simpl: it's the intermediate, post-optimisation stage. The earlier and later stages are liable to either lack the info you want or be distorted by/for direc |
| 2024-09-17 05:48:52 +0000 | <Leary> | tness of translation. Perhaps more importantly, both Core and STG output could really do with -dsuppress-all. I would make it default, perhaps with a button to toggle the suppression. |
| 2024-09-17 05:49:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 05:50:16 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb0329fc7c60bebd0680.dip0.t-ipconnect.de) |
| 2024-09-17 06:02:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 06:07:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-17 06:08:17 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-17 06:08:18 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-17 06:11:15 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-17 06:11:29 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-17 06:11:58 +0000 | youthlic1 | (~Thunderbi@user/youthlic) |
| 2024-09-17 06:15:40 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 2024-09-17 06:15:40 +0000 | youthlic1 | youthlic |
| 2024-09-17 06:19:46 +0000 | youthlic1 | (~Thunderbi@user/youthlic) |
| 2024-09-17 06:19:57 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 246 seconds) |
| 2024-09-17 06:20:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 06:21:40 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 2024-09-17 06:24:06 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-17 06:24:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 06:24:29 +0000 | youthlic1 | (~Thunderbi@user/youthlic) (Ping timeout: 260 seconds) |
| 2024-09-17 06:25:45 +0000 | CiaoSen | (~Jura@2a05:5800:244:fc00:ca4b:d6ff:fec1:99da) |
| 2024-09-17 06:28:18 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Ping timeout: 265 seconds) |
| 2024-09-17 06:28:18 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 245 seconds) |
| 2024-09-17 06:29:24 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-17 06:33:57 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2024-09-17 06:35:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 06:35:49 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 245 seconds) |
| 2024-09-17 06:39:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 06:40:52 +0000 | Square2 | (~Square4@user/square) |
| 2024-09-17 06:41:38 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-17 06:42:48 +0000 | youthlic1 | (~Thunderbi@user/youthlic) |
| 2024-09-17 06:43:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-17 06:46:13 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 248 seconds) |
| 2024-09-17 06:46:33 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-17 06:46:54 +0000 | youthlic1 | (~Thunderbi@user/youthlic) (Ping timeout: 246 seconds) |
| 2024-09-17 06:52:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 06:55:07 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-17 06:56:41 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-17 06:57:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 06:58:17 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-17 06:58:37 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-17 07:00:00 +0000 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-17 07:00:35 +0000 | caconym8 | (~caconym@user/caconym) |
| 2024-09-17 07:03:21 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2024-09-17 07:04:41 +0000 | <tomsmeding> | Leary: -ddump-stg-cg over -ddump-stg-final? |
| 2024-09-17 07:04:57 +0000 | <tomsmeding> | I don't like -dsuppress-all because it makes the output ambiguous |
| 2024-09-17 07:05:32 +0000 | <tomsmeding> | I've been meaning to add a little UI for toggling -d flags for a long time and I even have a little prototype implemented |
| 2024-09-17 07:05:39 +0000 | <tomsmeding> | never got it to completion |
| 2024-09-17 07:05:50 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-17 07:07:53 +0000 | <tomsmeding> | Leary: https://gitlab.haskell.org/ghc/ghc/-/blob/3939a8bf93e27d8151aa1d92bf3ce10bbbc96a72/compiler/GHC/Dr… |
| 2024-09-17 07:09:04 +0000 | <Leary> | tomsmeding: Yes. Re ambiguity, that's what I thought as well, so was going to suggest pairing it with -dno-suppress-uniques. Perhaps this is indeed necessary for the range of GHC versions you support, but with current GHC `all` does not include `uniques`. |
| 2024-09-17 07:09:17 +0000 | <tomsmeding> | :o |
| 2024-09-17 07:09:39 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-17 07:09:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 07:10:20 +0000 | <tomsmeding> | I may have misremembered, then |
| 2024-09-17 07:10:46 +0000 | <tomsmeding> | I guess -dsuppress-module-prefixes can get ambiguous too? |
| 2024-09-17 07:11:31 +0000 | lol_ | (~lol@96.78.87.197) |
| 2024-09-17 07:12:54 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:8939:8175:d5c:835) (Ping timeout: 260 seconds) |
| 2024-09-17 07:13:25 +0000 | <tomsmeding> | hm I'm not sure I like -dsuppress-type-applications or -dsuppress-type-signatures either :p |
| 2024-09-17 07:13:35 +0000 | <tomsmeding> | but they do make the listing more easily scannable |
| 2024-09-17 07:13:48 +0000 | sroso | (~sroso@user/SrOso) |
| 2024-09-17 07:14:23 +0000 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2024-09-17 07:14:24 +0000 | <tomsmeding> | maybe I _should_ complete that UI prototype at some point |
| 2024-09-17 07:14:32 +0000 | <tomsmeding> | convince me that I should spend time on that |
| 2024-09-17 07:14:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-17 07:17:33 +0000 | <Leary> | Personally, I don't think the playground needs a lot of resolution here. all(-ish) or nothing is good enough for me. |
| 2024-09-17 07:17:59 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-09-17 07:18:26 +0000 | <tomsmeding> | maybe you're right; use suppress-all to scan, then turn it off to read what's really there |
| 2024-09-17 07:19:00 +0000 | <tomsmeding> | the "obvious" UI for that is a drop-down next to the Core button; perhaps a little down-arrow that opens a panel with options |
| 2024-09-17 07:19:22 +0000 | <tomsmeding> | but then we might want a field for arbitrary additional options to ghc as well, and that wouldn't be specific to one of the three run methods |
| 2024-09-17 07:19:40 +0000 | <tomsmeding> | so would it be better to make this panel generic from the start, instead of specific for Core? |
| 2024-09-17 07:20:08 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-17 07:21:14 +0000 | spew | (~spew@201.141.99.170) |
| 2024-09-17 07:21:28 +0000 | <tomsmeding> | (just to conclude that little confusion: even 8.4.4, the earliest the playground currently supports, does not include suppress-uniques in suppress-all) |
| 2024-09-17 07:22:21 +0000 | euleritian | (~euleritia@dynamic-176-001-003-116.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-17 07:22:38 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-17 07:23:30 +0000 | <Leary> | I don't really know anything about GUI design. If anything, I'd want you to make it more friendly for non-mousers (e.g. on tridactyl). (AFK: dinner) |
| 2024-09-17 07:24:07 +0000 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-17 07:24:26 +0000 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) |
| 2024-09-17 07:27:09 +0000 | <tomsmeding> | Leary: is the current UI tridactyl-ready? |
| 2024-09-17 07:27:18 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 2024-09-17 07:27:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 07:31:44 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-17 07:32:11 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-17 07:32:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-17 07:41:07 +0000 | rosco | (~rosco@175.136.158.234) |
| 2024-09-17 07:41:10 +0000 | ubert | (~Thunderbi@178.165.195.123.wireless.dyn.drei.com) |
| 2024-09-17 07:42:57 +0000 | <probie> | tomsmeding: it doesn't have a quick and easy way to focus the text area (that I could find anyway) beyond just pressing tab a bunch of times, but otherwise works well enough |
| 2024-09-17 07:43:38 +0000 | <tomsmeding> | probie: right, the code area is an existing library that I just pull in (ace.js) |
| 2024-09-17 07:43:46 +0000 | <tomsmeding> | not sure if I can improve that much |
| 2024-09-17 07:44:40 +0000 | <Leary> | Exactly. After hitting run, it's "hit tab seven times to keep typing". Gets pretty annoying after a few times, so I give up and copy-paste into/out-of vim. |
| 2024-09-17 07:44:53 +0000 | <tomsmeding> | lol ok |
| 2024-09-17 07:45:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 07:45:30 +0000 | <tomsmeding> | maybe the page should automatically re-focus the code editor after clicking the "run" button? |
| 2024-09-17 07:45:30 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-17 07:46:17 +0000 | <Leary> | Seems good to me. |
| 2024-09-17 07:47:17 +0000 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-17 07:50:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-17 07:51:18 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Ping timeout: 246 seconds) |
| 2024-09-17 07:51:50 +0000 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-09-17 07:51:59 +0000 | causal | (~eric@50.35.88.207) |
| 2024-09-17 07:57:48 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-17 07:58:22 +0000 | <tomsmeding> | Leary probie: try again :) |
| 2024-09-17 07:58:42 +0000 | <tomsmeding> | it only refocuses the editor if it was previously focused when clicking the button |
| 2024-09-17 07:58:45 +0000 | <tomsmeding> | let me know if that works for you |
| 2024-09-17 07:59:46 +0000 | <tomsmeding> | also, protip for you guys: if you press <C-,> in the editor, a settings pane pops up where you can enable vim keybindings |
| 2024-09-17 07:59:54 +0000 | <tomsmeding> | not sure how well that plays with tridactyl, but it exists :p |
| 2024-09-17 08:00:09 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-17 08:01:25 +0000 | <Leary> | Under tridactyl, you have to unfocus the text area (in effect, switch from input mode to normal mode) to access the keyboard controls to hit run. |
| 2024-09-17 08:01:52 +0000 | <Leary> | So that restriction makes it a no-op to me. |
| 2024-09-17 08:02:16 +0000 | <Leary> | Err, a non-change. |
| 2024-09-17 08:02:24 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-17 08:03:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 08:07:33 +0000 | <tomsmeding> | I see! |
| 2024-09-17 08:07:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-17 08:07:38 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-17 08:08:16 +0000 | <tomsmeding> | maybe it should just focus the editor unconditionally |
| 2024-09-17 08:08:42 +0000 | <tomsmeding> | because trying to detect if the user is using such a plugin is probably a bad idea |
| 2024-09-17 08:09:08 +0000 | califax | (~califax@user/califx) |
| 2024-09-17 08:10:54 +0000 | <tomsmeding> | hm, I'm struggling to think of a downside of that |
| 2024-09-17 08:11:02 +0000 | <tomsmeding> | (of unconditional focusing) |
| 2024-09-17 08:13:13 +0000 | <Leary> | So long as it's a post-button-press thing ... (not aggressively-wrestle-for-focus-upon-loss) |
| 2024-09-17 08:13:33 +0000 | <tomsmeding> | yeah it would be triggered by the click on the Run/Core/Asm button |
| 2024-09-17 08:14:59 +0000 | <tomsmeding> | I mean, that's why I implemented the conditional thing: if the editor is not currently focused, leave you doing your thing. But apparently that doesn't work with tridactyl |
| 2024-09-17 08:15:38 +0000 | <tomsmeding> | ok change is live |
| 2024-09-17 08:16:08 +0000 | <tomsmeding> | you guys should complain if interaction choices like this make your life bad |
| 2024-09-17 08:16:14 +0000 | <tomsmeding> | I can always say "no I'm busy" :p |
| 2024-09-17 08:18:32 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-17 08:18:49 +0000 | <Leary> | Possibly caching is getting in the way, I don't see the change. By the way, should I be testing on play-haskell.tomsmeding or play.haskell? |
| 2024-09-17 08:19:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 08:22:42 +0000 | <tomsmeding> | they are the exact same thing |
| 2024-09-17 08:22:50 +0000 | <tomsmeding> | play.haskell.org is a CNAME to play-haskell.tomsmeding.com |
| 2024-09-17 08:23:22 +0000 | <tomsmeding> | also a note, by the way: <C-CR> in the editor re-runs with the last-used settings |
| 2024-09-17 08:23:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 08:24:32 +0000 | <Leary> | Ah, /that/ helps. |
| 2024-09-17 08:24:45 +0000 | <tomsmeding> | Leary: if you reload, does it say "(hi #haskell)" in the top-right corner |
| 2024-09-17 08:26:45 +0000 | <geekosaur> | it does here fwiw |
| 2024-09-17 08:26:58 +0000 | <Leary> | Yes, and still no apparent refocusing upon keyboard entry. Now that I try mouse-keys, I can see that it does refocus on /click/ however. Weird! |
| 2024-09-17 08:27:19 +0000 | <tomsmeding> | ("hi haskell" note removed) |
| 2024-09-17 08:28:09 +0000 | <tomsmeding> | Leary: interesting. Perhaps tridactyl refuses to give away focus while it's still processing a "normal mode" action? |
| 2024-09-17 08:28:21 +0000 | <tomsmeding> | I could put the focus in a 0ms timeout |
| 2024-09-17 08:28:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 08:29:15 +0000 | <tomsmeding> | Leary: I put it in a setTimeout(_, 0); does it work now? |
| 2024-09-17 08:30:17 +0000 | <Leary> | Oh, it does. Sounds like a bit of a hack though, would that be reliable? |
| 2024-09-17 08:30:47 +0000 | <tomsmeding> | I think it's fairly reliable. What it essentially does is "put the focus() call as the next item in the event loop" |
| 2024-09-17 08:31:13 +0000 | <tomsmeding> | i.e. let all of the javascript stuff that is synchronously executing, finish, and after that (as the first asynchronous action), do the focus |
| 2024-09-17 08:31:37 +0000 | <Leary> | I see, that should be fine then. |
| 2024-09-17 08:31:45 +0000 | <Leary> | Yay. :) |
| 2024-09-17 08:31:48 +0000 | <tomsmeding> | yay |
| 2024-09-17 08:32:17 +0000 | <tomsmeding> | in nodejs there is even a special function that more specifically does this: process.nextTick(...) |
| 2024-09-17 08:32:49 +0000 | <geekosaur> | many GUI Iframeworks have an `onIdle` or similar that does the same |
| 2024-09-17 08:33:06 +0000 | <geekosaur> | sometimes with a delay option |
| 2024-09-17 08:33:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-17 08:33:35 +0000 | <probie> | tomsmeding: beautiful |
| 2024-09-17 08:33:40 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-09-17 08:33:55 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-17 08:33:57 +0000 | <Leary> | Re the settings panel: thanks for the heads-up, but I have no idea how to make it go away, and the settings don't seem to persist. Is it time to open the dreaded cookie jar? |
| 2024-09-17 08:34:40 +0000 | <tomsmeding> | Leary: it goes away for me if I press <esc> |
| 2024-09-17 08:34:48 +0000 | <tomsmeding> | or does tridactyl steal <esc> :p |
| 2024-09-17 08:35:00 +0000 | <tomsmeding> | also clicking outside of it, but that's little help probably |
| 2024-09-17 08:35:19 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-17 08:35:32 +0000 | <Leary> | That could be what's happening. Could also be because my keyboard setup is weird and escape used to be capslock. |
| 2024-09-17 08:35:45 +0000 | <Leary> | Though for similar reasons, I might not be able to use the vi mode anyway! |
| 2024-09-17 08:35:46 +0000 | <tomsmeding> | I'm hesitant to make those settings persist (if it's even possible, but with enough hacks it probably is) because what if someone messes them up and wants to reset? The panel is rendered by ace.js, I can't add UI elements there |
| 2024-09-17 08:36:47 +0000 | <tomsmeding> | probie: yay :) |
| 2024-09-17 08:39:18 +0000 | <Leary> | Oh, I can kill it with <C-esc> |
| 2024-09-17 08:39:35 +0000 | <Leary> | But then it refuses to come back. |
| 2024-09-17 08:39:45 +0000 | <tomsmeding> | :o |
| 2024-09-17 08:40:02 +0000 | <tomsmeding> | the editor needs to be focused? |
| 2024-09-17 08:40:11 +0000 | <tomsmeding> | (it's ace that's picking up <C-,>, not me) |
| 2024-09-17 08:40:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 08:40:26 +0000 | <Leary> | Oh, right. (oops) |
| 2024-09-17 08:42:15 +0000 | <Leary> | Yeah, I can't really use it becase escape already controls the outer modes. I'm sure there's a keybind to temporarily stop tridactyl from stealing it, but meh. |
| 2024-09-17 08:43:44 +0000 | Digitteknohippie | (~user@user/digit) |
| 2024-09-17 08:43:45 +0000 | <tomsmeding> | that's what I feared |
| 2024-09-17 08:43:54 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-09-17 08:44:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-17 08:45:49 +0000 | <Leary> | (<C-esc> works again, but my muscle memory won't allow it) |
| 2024-09-17 08:47:48 +0000 | <tomsmeding> | nah that is indeed an unfortunate experience :p |
| 2024-09-17 08:47:52 +0000 | <tomsmeding> | but not one that I can do much about |
| 2024-09-17 08:48:37 +0000 | <tomsmeding> | this was like the "ask a day's salary for hitting the right thing with a hammer" |
| 2024-09-17 08:48:52 +0000 | <tomsmeding> | three commits, the collective diff of which is one well-chosen line of code |
| 2024-09-17 08:49:46 +0000 | <tomsmeding> | ( https://github.com/haskell/play-haskell/compare/b02b658ece2c8e4bac7043483f2ca13a4fef6458..0e76527c… ) |
| 2024-09-17 08:53:32 +0000 | <Leary> | One last suggestion: a link somewhere on the page that lists keybindings. I don't know how I would have ever found out about <C-CR> or <C-,> without word-of-god. |
| 2024-09-17 08:53:54 +0000 | <tomsmeding> | https://github.com/haskell/play-haskell/discussions/46 |
| 2024-09-17 08:54:04 +0000 | ubert | (~Thunderbi@178.165.195.123.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-09-17 08:54:04 +0000 | <tomsmeding> | didn't hear anything back |
| 2024-09-17 08:58:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 09:00:24 +0000 | ubert | (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) |
| 2024-09-17 09:03:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 09:06:57 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2024-09-17 09:09:26 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-17 09:11:59 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-17 09:15:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 09:15:54 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-17 09:18:16 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-17 09:20:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 09:26:21 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-09-17 09:29:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 09:33:11 +0000 | Digitteknohippie | Digit |
| 2024-09-17 09:35:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-17 09:39:34 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) |
| 2024-09-17 09:45:19 +0000 | vglfr | (~vglfr@2601:14d:4e01:1370:9b8b:3d63:7b3f:ede3) (Ping timeout: 260 seconds) |
| 2024-09-17 09:45:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 09:50:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 09:55:20 +0000 | <tomsmeding> | Leary: there is a Help link now |
| 2024-09-17 09:55:25 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-17 09:55:32 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-09-17 09:55:52 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-09-17 09:56:02 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-09-17 09:56:26 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-17 09:57:51 +0000 | tomku | (~tomku@user/tomku) |
| 2024-09-17 10:00:20 +0000 | <Leary> | Nice. :) |
| 2024-09-17 10:01:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 10:03:23 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-17 10:03:49 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-17 10:06:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 10:07:21 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-17 10:16:23 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-09-17 10:18:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 10:21:12 +0000 | zmt01 | (~zmt00@user/zmt00) |
| 2024-09-17 10:23:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 10:23:39 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-09-17 10:25:00 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-09-17 10:27:24 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Read error: Connection reset by peer) |
| 2024-09-17 10:27:41 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 2024-09-17 10:30:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 10:32:33 +0000 | swamp_ | (~zmt00@user/zmt00) |
| 2024-09-17 10:32:45 +0000 | bliminse | (~bliminse@user/bliminse) |
| 2024-09-17 10:33:41 +0000 | lockywolf | (~lockywolf@public.lockywolf.net) (Remote host closed the connection) |
| 2024-09-17 10:33:43 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-17 10:35:14 +0000 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2024-09-17 10:35:38 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2024-09-17 10:37:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-17 10:38:41 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-17 10:39:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-17 10:40:21 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-17 10:44:53 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2024-09-17 10:46:57 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-17 10:46:59 +0000 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-09-17 10:50:03 +0000 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-09-17 10:50:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 10:51:32 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-17 10:52:20 +0000 | zmt01 | (~zmt00@user/zmt00) |
| 2024-09-17 10:52:38 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-17 10:54:08 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 265 seconds) |
| 2024-09-17 10:55:18 +0000 | sinbad | (~sinbad@user/sinbad) |
| 2024-09-17 10:55:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 10:57:28 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 272 seconds) |
| 2024-09-17 10:57:45 +0000 | <sinbad> | How to encode a value of Data.Decimal into JSON using aeson? |
| 2024-09-17 10:58:43 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 245 seconds) |
| 2024-09-17 11:00:04 +0000 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-17 11:02:33 +0000 | caconym8 | (~caconym@user/caconym) |
| 2024-09-17 11:06:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 11:06:35 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-17 11:06:41 +0000 | hgolden_ | (~hgolden@146.70.173.229) |
| 2024-09-17 11:09:43 +0000 | hgolden | (~hgolden@169.150.203.36) (Ping timeout: 252 seconds) |
| 2024-09-17 11:10:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 11:18:59 +0000 | <tomsmeding> | sinbad: as a numeric value or as a string? |
| 2024-09-17 11:20:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-17 11:21:20 +0000 | <tomsmeding> | (in the former case: put `realToFrac x` in instead; in the latter case: put `show x` in instead) |
| 2024-09-17 11:21:27 +0000 | <tomsmeding> | :t realToFrac |
| 2024-09-17 11:21:28 +0000 | <lambdabot> | (Real a, Fractional b) => a -> b |
| 2024-09-17 11:22:02 +0000 | <tomsmeding> | note that realToFrac may lose precision here |
| 2024-09-17 11:22:17 +0000 | <tomsmeding> | (which you probably care about, since you're using Decimal) |
| 2024-09-17 11:22:35 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c863:b7a9:76f1:1688) |
| 2024-09-17 11:23:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 11:25:56 +0000 | <sinbad> | tomsmeding: thanks, I figured realToFrac. yes I care about precision since this is a financial application. Looks I just stay with double but then json shows loong ugly decimals. |
| 2024-09-17 11:27:32 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Quit: ash3en) |
| 2024-09-17 11:27:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-17 11:28:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-17 11:31:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 11:34:04 +0000 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 2024-09-17 11:35:06 +0000 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) |
| 2024-09-17 11:37:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-17 11:37:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-17 11:40:00 +0000 | <sinbad> | Is there a json package which can encode Decimal numbers? |
| 2024-09-17 11:42:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-17 11:45:37 +0000 | <tomsmeding> | sinbad: JSON itself knows only numbers, strings, lists and objects |
| 2024-09-17 11:46:02 +0000 | <tomsmeding> | no matter what package you use to generate your JSON, you'll need to decide _somewhere_ how to represent your data in terms of those basic types |
| 2024-09-17 11:46:11 +0000 | <tomsmeding> | (oh, and `null` and booleans) |
| 2024-09-17 11:47:18 +0000 | akegalj | (~akegalj@141-136-172-97.dsl.iskon.hr) |
| 2024-09-17 11:47:50 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 2024-09-17 11:48:18 +0000 | <tomsmeding> | and no, there is probably no existing json package that has built-in encoding for Decimal, because a type class instance either has to live with the class (making the json package depend on Decimal, which is gratuitous) or with the data type (making Decimal depend on that json package, which is also gratuitous) |
| 2024-09-17 11:49:05 +0000 | <akegalj> | if I compile program with `-j4` do I have to run program with `+RTS -N` to get it run multithreaded or can I ommit `-N` and it will still run multithreaded? |
| 2024-09-17 11:49:08 +0000 | <tomsmeding> | (and in any case, any such built-in encoding would be risky, because it would choose _for_ you whether to encode as a Double or as a String, and using what formatting exactly) |
| 2024-09-17 11:49:08 +0000 | CiaoSen | (~Jura@2a05:5800:244:fc00:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2024-09-17 11:49:29 +0000 | <tomsmeding> | akegalj: the -j flag to cabal and ghc has nothing to do with runtime multithreading |
| 2024-09-17 11:49:39 +0000 | <tomsmeding> | -j makes _compilation_ multithreaded |
| 2024-09-17 11:50:05 +0000 | <tomsmeding> | the -threaded flag to ghc (which you can put in `ghc-options:` in a cabal file) makes the runtime of your program thread-aware |
| 2024-09-17 11:50:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 11:50:53 +0000 | <tomsmeding> | to actually make use of those threads, you can either pass +RTS -N (for as many threads as cores) or +RTS -N2 (for 2 threads), or call setNumCapabilities at runtime |
| 2024-09-17 11:51:06 +0000 | <akegalj> | tomsmeding: hm ok. Why https://github.com/NorfairKing/sydtest?tab=readme-ov-file#parallel-test-execution doesn't mention that. They all talk about -j |
| 2024-09-17 11:51:14 +0000 | <tomsmeding> | or you can pass "-with-rtsopts=-N" to GHC, and it will default that -N flag |
| 2024-09-17 11:51:42 +0000 | <tomsmeding> | akegalj: that would be the -j flag of the _test framework_, i.e. what you pass as an actual argument to your program if you use their defaultMain |
| 2024-09-17 11:52:07 +0000 | <akegalj> | tomsmeding: ah, my bad :/ |
| 2024-09-17 11:52:19 +0000 | <tomsmeding> | depends on the test framework whether you then also need to pass +RTS -N; perhaps not, but you'll certainly need to pass -threaded as a GHC option |
| 2024-09-17 11:52:37 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 265 seconds) |
| 2024-09-17 11:52:39 +0000 | <tomsmeding> | akegalj: to set that -j option, use `cabal run mytestthing -- -j <n>` |
| 2024-09-17 11:52:56 +0000 | <akegalj> | tomsmeding: but its still strange... if their framework wants to use -j and run in multithreaded runtime it has to first be compiled with `-threaded` right ? |
| 2024-09-17 11:53:03 +0000 | <tomsmeding> | yes |
| 2024-09-17 11:53:13 +0000 | <tomsmeding> | but most people pass -threaded anyway |
| 2024-09-17 11:53:25 +0000 | <tomsmeding> | otherwise _nothing_ in your haskell program can use multiple CPU cores |
| 2024-09-17 11:53:50 +0000 | <akegalj> | tomsmeding: make sense, yes. Thank you |
| 2024-09-17 11:54:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-17 12:00:48 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Quit: ash3en) |
| 2024-09-17 12:04:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-17 12:04:35 +0000 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-09-17 12:06:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 12:10:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 12:11:16 +0000 | mari-estel | (~mari-este@dynamic-176-000-146-152.176.0.pool.telefonica.de) |
| 2024-09-17 12:12:27 +0000 | sinbad | (~sinbad@user/sinbad) (Quit: Leaving.) |
| 2024-09-17 12:16:14 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 2024-09-17 12:21:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 12:23:07 +0000 | mari-estel | (~mari-este@dynamic-176-000-146-152.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-17 12:24:52 +0000 | mari-estel | (~mari-este@2a02:3032:302:3280:216:3eff:fe65:4eef) |
| 2024-09-17 12:24:53 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Ping timeout: 252 seconds) |
| 2024-09-17 12:26:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-17 12:29:33 +0000 | mari-estel | (~mari-este@2a02:3032:302:3280:216:3eff:fe65:4eef) (Ping timeout: 246 seconds) |
| 2024-09-17 12:30:27 +0000 | druchan | (uid567859@user/druchan) (Quit: Connection closed for inactivity) |
| 2024-09-17 12:32:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 12:36:06 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-09-17 12:37:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 12:50:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 12:51:03 +0000 | AlexNoo | (~AlexNoo@94.233.241.56) |
| 2024-09-17 12:53:31 +0000 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-17 12:54:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-17 12:54:56 +0000 | AlexZenon | (~alzenon@94.233.241.56) |
| 2024-09-17 12:58:44 +0000 | Hafydd | (~Hafydd@user/hafydd) (Ping timeout: 245 seconds) |
| 2024-09-17 12:59:02 +0000 | Hafydd | (~Hafydd@user/hafydd) |
| 2024-09-17 12:59:09 +0000 | lyxia | (~lyxia@poisson.chat) (Ping timeout: 245 seconds) |
| 2024-09-17 12:59:09 +0000 | lieven | (~mal@ns2.wyrd.be) (Ping timeout: 245 seconds) |
| 2024-09-17 12:59:24 +0000 | lyxia | (~lyxia@poisson.chat) |
| 2024-09-17 12:59:29 +0000 | mal1 | (~mal@ns2.wyrd.be) |
| 2024-09-17 13:01:13 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-17 13:01:31 +0000 | f-a | (ff2a@joined.irc.for-some.fun) |
| 2024-09-17 13:04:58 +0000 | <f-a> | hello, I have a problem with encoding |
| 2024-09-17 13:05:12 +0000 | <f-a> | I wrote a small application that needs to read a number of files |
| 2024-09-17 13:06:09 +0000 | <f-a> | I use `readFile`, but a user complained that some files are skipped. His locale is utf-8 and the files are ISO-8859 |
| 2024-09-17 13:07:30 +0000 | <f-a> | I would like to try latin1 if locale and utf-8 fails, but I am unsure how. I can read the file as ByteString, but I see no `decodeWithSystemLocale` function in Data.Text.Encoding |
| 2024-09-17 13:07:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 13:08:01 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-17 13:08:02 +0000 | <f-a> | I guess the more general question is: this is probably a frequent occourrence, what is the sensible way to deal with it? |
| 2024-09-17 13:09:50 +0000 | <int-e> | There's hSetEncoding |
| 2024-09-17 13:10:32 +0000 | <int-e> | Though that'll work much better if you know the encoding to use. Autodetection sounds fragile and messy. |
| 2024-09-17 13:12:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 13:14:18 +0000 | <Rembane> | Could you perhaps have an argument to the program that asks for the encoding? |
| 2024-09-17 13:14:43 +0000 | <f-a> | Rembane: files might be mixed |
| 2024-09-17 13:14:55 +0000 | <Rembane> | f-a: Oh. That's interesting. |
| 2024-09-17 13:14:57 +0000 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-17 13:16:00 +0000 | bravespear|2 | Ranhir |
| 2024-09-17 13:16:35 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2024-09-17 13:17:04 +0000 | Ranhir | (~Ranhir@157.97.53.139) |
| 2024-09-17 13:18:29 +0000 | saccharineboi | (~saccharin@user/saccharineboi) |
| 2024-09-17 13:20:15 +0000 | <tomsmeding> | there is https://hackage.haskell.org/package/base-4.20.0.1/docs/System-IO.html#v:localeEncoding |
| 2024-09-17 13:21:33 +0000 | mal1 | lieven |
| 2024-09-17 13:21:41 +0000 | <f-a> | yup that is what I am doing now http://www.ariis.it/static/paste/tmp/paste-xcoN0c.html |
| 2024-09-17 13:22:19 +0000 | <f-a> | it feels fragile because I am not sure Handle will be closed at the end |
| 2024-09-17 13:22:20 +0000 | <tomsmeding> | right |
| 2024-09-17 13:22:29 +0000 | <tomsmeding> | hClose? |
| 2024-09-17 13:22:41 +0000 | <tomsmeding> | also System.IO.withFile, which is even better |
| 2024-09-17 13:22:50 +0000 | <tomsmeding> | in the presence of exceptions and such |
| 2024-09-17 13:22:53 +0000 | saccharineboi | (~saccharin@user/saccharineboi) (Client Quit) |
| 2024-09-17 13:23:06 +0000 | <tomsmeding> | (which are likely here) |
| 2024-09-17 13:23:15 +0000 | <f-a> | yup |
| 2024-09-17 13:23:25 +0000 | <tomsmeding> | f-a: what is your minimum ghc version? |
| 2024-09-17 13:23:47 +0000 | <tomsmeding> | since ghc 9.0 there is hGetContents' which does not do lazy IO |
| 2024-09-17 13:23:50 +0000 | <f-a> | I guess what Debian ships so 9.0 |
| 2024-09-17 13:24:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 13:24:32 +0000 | ystael | (~ystael@user/ystael) |
| 2024-09-17 13:24:49 +0000 | <tomsmeding> | withFile -> hSetEncoding -> hGetContents' sounds like the best way to do this |
| 2024-09-17 13:25:02 +0000 | <int-e> | f-a: Note that with lazy IO exceptions might arrive later... |
| 2024-09-17 13:25:06 +0000 | <f-a> | yup, seems my best bet |
| 2024-09-17 13:25:13 +0000 | <tomsmeding> | int-e: which is why hGetContents' |
| 2024-09-17 13:26:06 +0000 | <int-e> | which text (assuming TI = Data.Text.IO) doesn't have |
| 2024-09-17 13:26:27 +0000 | <tomsmeding> | int-e: that paste only goes through Text to use Data.Text.Encoding |
| 2024-09-17 13:26:29 +0000 | <tomsmeding> | the final type is String |
| 2024-09-17 13:26:47 +0000 | <int-e> | Oh. |
| 2024-09-17 13:27:19 +0000 | <tomsmeding> | it would be even nicer to be able to decode a ByteString to a Text with the system locale |
| 2024-09-17 13:27:20 +0000 | <int-e> | Wait, huh... |
| 2024-09-17 13:27:28 +0000 | <tomsmeding> | but Data.Text.Encoding only does utf* and latin1 |
| 2024-09-17 13:27:39 +0000 | <tomsmeding> | that's why System.IO is involved in the first place |
| 2024-09-17 13:28:07 +0000 | <int-e> | I see, it's really only read to Text and almost immediately decoded. |
| 2024-09-17 13:28:14 +0000 | <int-e> | unpacked I mean |
| 2024-09-17 13:28:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-17 13:30:11 +0000 | <tomsmeding> | one could dive deep in the implementation of a System.IO.TextEncoding and reconstruct a converter from ByteString to Text(-ish?) |
| 2024-09-17 13:30:22 +0000 | <tomsmeding> | but that's nontrivial |
| 2024-09-17 13:30:33 +0000 | spew | (~spew@201.141.99.170) |
| 2024-09-17 13:30:40 +0000 | <tomsmeding> | in the end it seems to decode from/to ForeignPtrs |
| 2024-09-17 13:30:44 +0000 | <tomsmeding> | it _would_ be possible |
| 2024-09-17 13:31:23 +0000 | <Rembane> | It sounds fun in a bad way |
| 2024-09-17 13:31:30 +0000 | <Rembane> | Like something that would result in a good blog post |
| 2024-09-17 13:31:53 +0000 | <tomsmeding> | and then you can even publish it as a library on hackage! |
| 2024-09-17 13:32:06 +0000 | <tomsmeding> | TextEncoding -> ByteString -> Text |
| 2024-09-17 13:36:21 +0000 | michalz | (~michalz@185.246.207.200) (Read error: Connection reset by peer) |
| 2024-09-17 13:36:33 +0000 | <int-e> | s/Text/Maybe Text/? |
| 2024-09-17 13:36:55 +0000 | michalz | (~michalz@185.246.207.200) |
| 2024-09-17 13:37:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-17 13:41:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-17 13:44:01 +0000 | mari-estel | (~mari-este@2a02:3032:308:bf6a:216:3eff:fe65:4eef) |
| 2024-09-17 13:47:29 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-09-17 13:47:42 +0000 | euleritian | (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) |
| 2024-09-17 13:50:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 13:51:21 +0000 | <tomsmeding> | oh definitely |
| 2024-09-17 13:51:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-17 13:53:17 +0000 | quack | (~quack@209.60-130-109.adsl-dyn.isp.belgacom.be) |
| 2024-09-17 13:55:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 13:58:00 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-09-17 13:59:53 +0000 | mari-estel | (~mari-este@2a02:3032:308:bf6a:216:3eff:fe65:4eef) (Quit: on the move) |
| 2024-09-17 14:00:23 +0000 | euleritian | (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2024-09-17 14:00:41 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-17 14:00:45 +0000 | euleritian | (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) |
| 2024-09-17 14:06:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 14:07:11 +0000 | son0p | (~ff@186.121.49.191) (Read error: Connection reset by peer) |
| 2024-09-17 14:11:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-17 14:11:53 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 2024-09-17 14:19:27 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-17 14:19:28 +0000 | euleritian | (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 2024-09-17 14:19:45 +0000 | euleritian | (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) |
| 2024-09-17 14:23:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 14:27:48 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-17 14:28:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 14:32:19 +0000 | lol_ | jcarpenter2 |
| 2024-09-17 14:34:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 14:34:58 +0000 | <fr33domlover> | o/ Is there way to capture the type of an expression? E.g. if I wrote a long expression `x = ......` and I'd like to `y <- readIO @(captureTypeOf x) "foobar" |
| 2024-09-17 14:39:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-17 14:39:57 +0000 | <lortabac> | fr33domlover: you can have a look at the ScopedTypeVariables extension |
| 2024-09-17 14:41:25 +0000 | <fr33domlover> | lortabac: Aware of it :) And I now see there's asTypeOf and proxyTypeOf, I think they'll do |
| 2024-09-17 14:41:27 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Quit: ash3en) |
| 2024-09-17 14:43:15 +0000 | <lortabac> | fr33domlover: ah yes with those helpers you may not even need to mention the type explicitly |
| 2024-09-17 14:45:23 +0000 | lystra | (~lystra@208.59.105.41) (Ping timeout: 245 seconds) |
| 2024-09-17 14:53:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 14:56:48 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-17 14:57:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 14:57:27 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 2024-09-17 14:58:21 +0000 | CiaoSen | (~Jura@2a05:5800:244:fc00:ca4b:d6ff:fec1:99da) |
| 2024-09-17 14:58:41 +0000 | lystra | (~lystra@208.59.105.41) |
| 2024-09-17 14:59:21 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-09-17 15:00:01 +0000 | <probie> | :t asTypeOf |
| 2024-09-17 15:00:02 +0000 | <lambdabot> | a -> a -> a |
| 2024-09-17 15:00:11 +0000 | f-a | (ff2a@joined.irc.for-some.fun) () |
| 2024-09-17 15:00:26 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-17 15:01:11 +0000 | <probie> | :t do { x <- getLine; y <- readIO "\"foobar\"" `asTypeOf` (pure x); pure y } |
| 2024-09-17 15:01:12 +0000 | <lambdabot> | IO String |
| 2024-09-17 15:04:33 +0000 | finsternis | (~X@23.226.237.192) |
| 2024-09-17 15:04:57 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-17 15:06:57 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 248 seconds) |
| 2024-09-17 15:09:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 15:10:12 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-17 15:12:29 +0000 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-17 15:13:28 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-17 15:13:40 +0000 | oo_miguel | (~Thunderbi@78.10.206.35) |
| 2024-09-17 15:14:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 15:18:33 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-09-17 15:20:55 +0000 | mari-estel | (~mari-este@2a02:3032:308:bf6a:216:3eff:fe65:4eef) |
| 2024-09-17 15:21:43 +0000 | arkeet | (~arkeet@moriya.ca) (Ping timeout: 264 seconds) |
| 2024-09-17 15:28:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 15:29:04 +0000 | arkeet | (~arkeet@moriya.ca) |
| 2024-09-17 15:32:25 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-17 15:32:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 15:34:29 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c863:b7a9:76f1:1688) (Quit: xff0x) |
| 2024-09-17 15:35:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 15:35:55 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-09-17 15:39:59 +0000 | CiaoSen | (~Jura@2a05:5800:244:fc00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-09-17 15:40:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 15:46:36 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-09-17 15:47:45 +0000 | quack | (~quack@209.60-130-109.adsl-dyn.isp.belgacom.be) (Quit: Client closed) |
| 2024-09-17 15:47:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-17 15:48:14 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-17 15:50:53 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-09-17 15:53:53 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-17 15:54:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 15:56:57 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-17 15:59:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-17 16:12:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 16:13:56 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-17 16:16:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 16:19:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-17 16:20:44 +0000 | son0p | (~ff@186.121.41.9) |
| 2024-09-17 16:23:36 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-17 16:24:42 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-09-17 16:28:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 16:33:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 16:36:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 16:42:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-17 16:42:28 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-17 16:45:17 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-09-17 16:45:42 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-17 16:45:58 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2024-09-17 16:54:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 16:57:23 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Quit: ash3en) |
| 2024-09-17 16:58:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-17 17:02:06 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-09-17 17:02:24 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-09-17 17:04:23 +0000 | xal_ | xal |
| 2024-09-17 17:07:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-17 17:11:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 17:12:31 +0000 | mari-estel | (~mari-este@2a02:3032:308:bf6a:216:3eff:fe65:4eef) (Quit: on the move) |
| 2024-09-17 17:14:41 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 2024-09-17 17:14:57 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2024-09-17 17:16:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-17 17:16:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-17 17:16:57 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-09-17 17:17:40 +0000 | <justsomeguy> | Hello #haskell. Is there a good package for doing network inventory and subnet math, like ipaddr for Python? |
| 2024-09-17 17:17:55 +0000 | <justsomeguy> | (or was it netaddr?) |
| 2024-09-17 17:19:56 +0000 | <justsomeguy> | The `ip` and `iproute` packages have types for ip addresses, but no functions to do things like determine which subnetwork an ipaddr/cidr combination belong to, or to list all subnetworks of a network. |
| 2024-09-17 17:20:57 +0000 | <justsomeguy> | (It seems like there aren't many libraries for sysadmin stuff in comparison to other langauges I use) |
| 2024-09-17 17:21:22 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-09-17 17:22:30 +0000 | <justsomeguy> | I guess the good part is that the math is simple enough that I can implement my own library. |
| 2024-09-17 17:27:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 17:28:12 +0000 | <geekosaur> | right, there's never been a lib for that that I've found (I wanted it back in 2007ish) |
| 2024-09-17 17:31:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 17:32:33 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2024-09-17 17:33:51 +0000 | <monochrom> | All open source libraries began with "I guess I have to roll my own". |
| 2024-09-17 17:35:26 +0000 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-09-17 17:35:54 +0000 | xal | (~xal@mx1.xal.systems) |
| 2024-09-17 17:37:00 +0000 | <monochrom> | A much more accurate perspective can be obtained from changing "many other languages have it" to "many other communities have it". Availability of a library is a social issue, not a technical issue. It is a people's problem. |
| 2024-09-17 17:37:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 17:39:46 +0000 | <monochrom> | I started liking programming because when I was young I disliked people and wanted to avoid them. 40 years later, I realize that it is still controlled by people (unless I could just isolate myself in the basement and write all code I need). |
| 2024-09-17 17:40:24 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-17 17:40:34 +0000 | ash3en | (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Ping timeout: 244 seconds) |
| 2024-09-17 17:41:14 +0000 | <monochrom> | But I still try to write some code I need :D https://github.com/treblacy/ |
| 2024-09-17 17:42:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 17:45:36 +0000 | <geekosaur> | s/disliked/found them hard to deal with/ (surprise) |
| 2024-09-17 17:46:42 +0000 | <monochrom> | Yeah |
| 2024-09-17 17:46:43 +0000 | <geekosaur> | of course when I turned it into a career I promptly found myself being the face between tech and business, whoops |
| 2024-09-17 17:47:01 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-17 17:47:30 +0000 | <monochrom> | The dislike was precisely because programming languages are so much more predictable than people at a whim. |
| 2024-09-17 17:48:32 +0000 | <Rembane> | geekosaur: That sounds like the worst of two worlds |
| 2024-09-17 17:48:52 +0000 | <geekosaur> | now add autism on top 😕 |
| 2024-09-17 17:49:07 +0000 | <monochrom> | To be sure, by the time complicated and buggy software like Office become common place, perhaps people are not too badly unpredictable in comparison >:D |
| 2024-09-17 17:49:46 +0000 | <Rembane> | geekosaur: ^^ |
| 2024-09-17 17:50:09 +0000 | akegalj | (~akegalj@141-136-172-97.dsl.iskon.hr) (Quit: leaving) |
| 2024-09-17 17:50:18 +0000 | <geekosaur> | (not that I was diagnosed back then, it would be another decade before the Asperger paper was unearthed) |
| 2024-09-17 17:50:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-17 17:51:25 +0000 | <Rembane> | It's the old school spectrum |
| 2024-09-17 17:51:39 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 260 seconds) |
| 2024-09-17 17:51:58 +0000 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-17 17:52:16 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-09-17 17:54:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 17:56:22 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 252 seconds) |
| 2024-09-17 17:58:08 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-17 17:58:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-17 18:00:19 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-09-17 18:06:18 +0000 | Squared | (~Square@user/square) |
| 2024-09-17 18:09:03 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2024-09-17 18:11:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 18:14:39 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-17 18:16:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 18:17:27 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Client Quit) |
| 2024-09-17 18:20:51 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-09-17 18:22:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-17 18:23:03 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-09-17 18:25:52 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-09-17 18:26:17 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-09-17 18:26:19 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-09-17 18:28:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 18:33:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-17 18:38:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 18:43:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-17 18:47:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 18:53:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-17 18:53:41 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-17 18:53:52 +0000 | rvalue- | (~rvalue@user/rvalue) |
| 2024-09-17 18:54:43 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-09-17 18:59:04 +0000 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-17 18:59:18 +0000 | Pozyomka | (~pyon@user/pyon) |
| 2024-09-17 18:59:54 +0000 | rvalue- | rvalue |
| 2024-09-17 18:59:58 +0000 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2024-09-17 19:00:00 +0000 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-17 19:00:38 +0000 | caconym8 | (~caconym@user/caconym) |
| 2024-09-17 19:03:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 19:08:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 19:11:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-17 19:13:12 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-09-17 19:17:48 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-17 19:20:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 19:20:13 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2024-09-17 19:20:28 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-09-17 19:23:35 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-17 19:24:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-17 19:31:05 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-17 19:35:30 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-17 19:36:06 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-17 19:37:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 19:41:44 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-09-17 19:42:25 +0000 | oo_miguel | (~Thunderbi@78.10.206.35) (Quit: oo_miguel) |
| 2024-09-17 19:42:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 19:46:34 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-17 19:54:52 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-17 19:54:55 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-17 19:54:56 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2024-09-17 19:54:56 +0000 | finn_elija | FinnElija |
| 2024-09-17 19:55:56 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) |
| 2024-09-17 19:56:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 19:57:24 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-17 19:59:01 +0000 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-09-17 20:00:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 20:12:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 20:14:40 +0000 | Pixi | (~Pixi@user/pixi) |
| 2024-09-17 20:15:45 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-09-17 20:17:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-17 20:26:25 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2024-09-17 20:29:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 20:30:16 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-09-17 20:31:46 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2024-09-17 20:34:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 20:46:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 20:47:41 +0000 | Inst_ | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-09-17 20:49:38 +0000 | Inst | (~Inst@user/Inst) |
| 2024-09-17 20:50:25 +0000 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-09-17 20:51:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 20:53:12 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2024-09-17 20:58:20 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-09-17 21:03:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 21:07:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-17 21:07:48 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-17 21:08:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-17 21:14:11 +0000 | oo_miguel | (~Thunderbi@78.10.206.35) |
| 2024-09-17 21:15:50 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-17 21:19:25 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-17 21:21:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 21:24:18 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-17 21:25:10 +0000 | pavonia | (~user@user/siracusa) |
| 2024-09-17 21:26:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 21:27:17 +0000 | Squared | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2024-09-17 21:28:40 +0000 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2024-09-17 21:38:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 21:41:31 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-09-17 21:42:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-17 21:44:13 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-17 21:54:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 21:59:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 22:01:24 +0000 | notzmv | (~daniel@user/notzmv) |
| 2024-09-17 22:06:27 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-09-17 22:10:13 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8e41:444a:2d83:f166) |
| 2024-09-17 22:10:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 22:14:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-17 22:23:08 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-17 22:24:04 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2024-09-17 22:26:36 +0000 | oo_miguel | (~Thunderbi@78.10.206.35) (Ping timeout: 252 seconds) |
| 2024-09-17 22:28:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 22:28:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-17 22:31:04 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2024-09-17 22:33:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-17 22:33:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-17 22:36:51 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-09-17 22:45:37 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb0329fc7c60bebd0680.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-17 22:46:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 22:50:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 22:55:41 +0000 | oo_miguel | (~Thunderbi@78.10.206.35) |
| 2024-09-17 22:56:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-17 23:01:25 +0000 | Inst_ | (~Inst@user/Inst) |
| 2024-09-17 23:01:51 +0000 | Inst_ | (~Inst@user/Inst) (Quit: Leaving) |
| 2024-09-17 23:02:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 23:05:03 +0000 | Inst | (~Inst@user/Inst) |
| 2024-09-17 23:05:26 +0000 | Inst | (~Inst@user/Inst) (Client Quit) |
| 2024-09-17 23:05:44 +0000 | Inst | (~Inst@user/Inst) |
| 2024-09-17 23:06:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 23:07:41 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-09-17 23:09:13 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-17 23:12:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-17 23:12:48 +0000 | gentauro_ | (~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) (Ping timeout: 252 seconds) |
| 2024-09-17 23:17:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-17 23:18:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 23:19:38 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2024-09-17 23:23:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-17 23:32:53 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 245 seconds) |
| 2024-09-17 23:35:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 23:37:27 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-17 23:39:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-17 23:40:14 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-17 23:41:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-17 23:52:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-17 23:55:55 +0000 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 264 seconds) |
| 2024-09-17 23:57:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-17 23:57:30 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-17 23:57:32 +0000 | bliminse | (~bliminse@user/bliminse) |