Logs on 2024-09-17 (liberachat/#haskell)
| 00:00:54 | <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" |
| 00:01:08 | <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? |
| 00:01:28 | <geekosaur> | right. and we're getting better at that all the time |
| 00:02:00 | <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 |
| 00:02:38 | <geekosaur> | and the best we can do still is adding up the clusters and subtracting out the voids |
| 00:03:04 | <geekosaur> | uh, put that wrong. computing a relative average I guess |
| 00:04:08 | <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 |
| 00:04:33 | <geekosaur> | by enough that said average must be significant enough that we have to try to take it into account |
| 00:04:44 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 00:05:47 | <geekosaur> | that's still a developing story, though, as there's still large error bars on said average density |
| 00:06:26 | × | califax quits (~califax@user/califx) (Ping timeout: 260 seconds) |
| 00:06:33 | → | califax_ joins (~califax@user/califx) |
| 00:06:35 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 00:07:50 | califax_ | is now known as califax |
| 00:09:18 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 00:10:12 | × | spew quits (~spew@2806:2a0:1522:8662::728c) (Ping timeout: 272 seconds) |
| 00:16:59 | × | troojg quits (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 00:19:28 | × | xff0x quits (~xff0x@2405:6580:b080:900:4168:f973:63de:e89d) (Quit: xff0x) |
| 00:22:04 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 00:26:27 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 00:26:40 | → | xff0x joins (~xff0x@2405:6580:b080:900:6f94:c8d2:12bd:b16a) |
| 00:29:34 | <geekosaur> | looks like https://adsabs.harvard.edu/full/2008IAUS..244..146T |
| 00:30:44 | <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) |
| 00:38:54 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 00:42:10 | <geekosaur> | and it appears to have been swallowed up by MOND theories that propose a different way to do the same thing |
| 00:42:25 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:43:41 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 00:47:07 | × | xff0x quits (~xff0x@2405:6580:b080:900:6f94:c8d2:12bd:b16a) (Ping timeout: 252 seconds) |
| 00:53:11 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:56:04 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 00:59:33 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 01:00:53 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 01:12:29 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 01:16:51 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 01:19:32 | × | athan_ quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 01:21:13 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 01:27:46 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:29:04 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 01:39:16 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 01:39:22 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:40:15 | × | ZharMeny quits (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 01:44:35 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 01:46:10 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 01:48:31 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:52:55 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 01:57:32 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:10:34 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:14:57 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 02:15:23 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 02:18:30 | × | sourcetarius quits (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 02:21:47 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:23:08 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 02:27:04 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 02:30:13 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 02:37:37 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:39:54 | × | td_ quits (~td@i53870903.versanet.de) (Ping timeout: 260 seconds) |
| 02:40:22 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:41:29 | → | td_ joins (~td@i53870933.versanet.de) |
| 02:42:16 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:49:57 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 02:49:59 | → | cheater_ joins (~Username@user/cheater) |
| 02:49:59 | cheater_ | is now known as cheater |
| 02:51:33 | × | AlexZenon quits (~alzenon@94.233.241.202) (Ping timeout: 248 seconds) |
| 02:52:45 | × | AlexNoo quits (~AlexNoo@94.233.241.202) (Ping timeout: 276 seconds) |
| 02:55:49 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:00:14 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:00:37 | → | madhavanmiui joins (~madhavanm@2409:40f4:101d:bd3d:8000::) |
| 03:01:14 | × | madhavanmiui quits (~madhavanm@2409:40f4:101d:bd3d:8000::) (Remote host closed the connection) |
| 03:12:02 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:16:44 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:28:32 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:33:14 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:33:35 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 03:34:09 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 03:34:47 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 03:44:12 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:47:10 | → | paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 03:48:38 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:54:02 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 04:00:07 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:05:04 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 04:16:14 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:17:23 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 04:19:39 | × | tt123109783243 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds) |
| 04:20:54 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:25:18 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 04:28:44 | → | tt123109783243 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 04:31:48 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:34:06 | × | athan quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 04:36:21 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 04:45:54 | → | michalz joins (~michalz@185.246.207.200) |
| 04:47:53 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:52:04 | → | euphores joins (~SASL_euph@user/euphores) |
| 04:52:27 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 05:04:07 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:08:30 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 272 seconds) |
| 05:09:07 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 05:18:19 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:20:47 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:24:11 | → | rosco joins (~rosco@175.136.158.234) |
| 05:25:21 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 05:27:48 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:32:45 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:33:51 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 05:35:42 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:37:12 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 05:38:02 | → | euleritian joins (~euleritia@dynamic-176-001-003-116.176.1.pool.telefonica.de) |
| 05:45:16 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:48:52 | <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 |
| 05:48:52 | <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. |
| 05:49:51 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 05:50:16 | → | acidjnk joins (~acidjnk@p200300d6e72cfb0329fc7c60bebd0680.dip0.t-ipconnect.de) |
| 06:02:54 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:07:12 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 06:08:17 | → | misterfish joins (~misterfis@84.53.85.146) |
| 06:08:18 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:11:15 | × | youthlic quits (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 06:11:29 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 06:11:58 | → | youthlic1 joins (~Thunderbi@user/youthlic) |
| 06:15:40 | × | youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 06:15:40 | youthlic1 | is now known as youthlic |
| 06:19:46 | → | youthlic1 joins (~Thunderbi@user/youthlic) |
| 06:19:57 | × | youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 246 seconds) |
| 06:20:05 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:21:40 | → | ash3en joins (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 06:24:06 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 06:24:28 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:24:29 | × | youthlic1 quits (~Thunderbi@user/youthlic) (Ping timeout: 260 seconds) |
| 06:25:45 | → | CiaoSen joins (~Jura@2a05:5800:244:fc00:ca4b:d6ff:fec1:99da) |
| 06:28:18 | × | ash3en quits (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Ping timeout: 265 seconds) |
| 06:28:18 | × | youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 245 seconds) |
| 06:29:24 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 06:33:57 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 06:35:34 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:35:49 | × | youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 245 seconds) |
| 06:39:54 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 06:40:52 | → | Square2 joins (~Square4@user/square) |
| 06:41:38 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 06:42:48 | → | youthlic1 joins (~Thunderbi@user/youthlic) |
| 06:43:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:46:13 | × | youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 248 seconds) |
| 06:46:33 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 06:46:54 | × | youthlic1 quits (~Thunderbi@user/youthlic) (Ping timeout: 246 seconds) |
| 06:52:25 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:55:07 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 06:56:41 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 06:57:05 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:58:17 | → | cfricke joins (~cfricke@user/cfricke) |
| 06:58:37 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 07:00:00 | × | caconym8 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:35 | → | caconym8 joins (~caconym@user/caconym) |
| 07:03:21 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 07:04:41 | <tomsmeding> | Leary: -ddump-stg-cg over -ddump-stg-final? |
| 07:04:57 | <tomsmeding> | I don't like -dsuppress-all because it makes the output ambiguous |
| 07:05:32 | <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 |
| 07:05:39 | <tomsmeding> | never got it to completion |
| 07:05:50 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 07:07:53 | <tomsmeding> | Leary: https://gitlab.haskell.org/ghc/ghc/-/blob/3939a8bf93e27d8151aa1d92bf3ce10bbbc96a72/compiler/GHC/Driver/Flags.hs#L468-472 |
| 07:09:04 | <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`. |
| 07:09:17 | <tomsmeding> | :o |
| 07:09:39 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 07:09:41 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:10:20 | <tomsmeding> | I may have misremembered, then |
| 07:10:46 | <tomsmeding> | I guess -dsuppress-module-prefixes can get ambiguous too? |
| 07:11:31 | → | lol_ joins (~lol@96.78.87.197) |
| 07:12:54 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b9e0:8939:8175:d5c:835) (Ping timeout: 260 seconds) |
| 07:13:25 | <tomsmeding> | hm I'm not sure I like -dsuppress-type-applications or -dsuppress-type-signatures either :p |
| 07:13:35 | <tomsmeding> | but they do make the listing more easily scannable |
| 07:13:48 | → | sroso joins (~sroso@user/SrOso) |
| 07:14:23 | × | dtman34 quits (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 07:14:24 | <tomsmeding> | maybe I _should_ complete that UI prototype at some point |
| 07:14:32 | <tomsmeding> | convince me that I should spend time on that |
| 07:14:42 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 07:17:33 | <Leary> | Personally, I don't think the playground needs a lot of resolution here. all(-ish) or nothing is good enough for me. |
| 07:17:59 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 07:18:26 | <tomsmeding> | maybe you're right; use suppress-all to scan, then turn it off to read what's really there |
| 07:19:00 | <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 |
| 07:19:22 | <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 |
| 07:19:40 | <tomsmeding> | so would it be better to make this panel generic from the start, instead of specific for Core? |
| 07:20:08 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 07:21:14 | → | spew joins (~spew@201.141.99.170) |
| 07:21:28 | <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) |
| 07:22:21 | × | euleritian quits (~euleritia@dynamic-176-001-003-116.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:22:38 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 07:23:30 | <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) |
| 07:24:07 | × | rosco quits (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 07:24:26 | → | dtman34 joins (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) |
| 07:27:09 | <tomsmeding> | Leary: is the current UI tridactyl-ready? |
| 07:27:18 | → | ash3en joins (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 07:27:43 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:31:44 | → | misterfish joins (~misterfis@84.53.85.146) |
| 07:32:11 | → | mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 07:32:44 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 07:41:07 | → | rosco joins (~rosco@175.136.158.234) |
| 07:41:10 | → | ubert joins (~Thunderbi@178.165.195.123.wireless.dyn.drei.com) |
| 07:42:57 | <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 |
| 07:43:38 | <tomsmeding> | probie: right, the code area is an existing library that I just pull in (ace.js) |
| 07:43:46 | <tomsmeding> | not sure if I can improve that much |
| 07:44:40 | <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. |
| 07:44:53 | <tomsmeding> | lol ok |
| 07:45:07 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:45:30 | <tomsmeding> | maybe the page should automatically re-focus the code editor after clicking the "run" button? |
| 07:45:30 | → | sourcetarius joins (~sourcetar@user/sourcetarius) |
| 07:46:17 | <Leary> | Seems good to me. |
| 07:47:17 | × | spew quits (~spew@201.141.99.170) (Quit: spew) |
| 07:50:00 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 07:51:18 | × | hiecaq quits (~hiecaq@user/hiecaq) (Ping timeout: 246 seconds) |
| 07:51:50 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 07:51:59 | → | causal joins (~eric@50.35.88.207) |
| 07:57:48 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 07:58:22 | <tomsmeding> | Leary probie: try again :) |
| 07:58:42 | <tomsmeding> | it only refocuses the editor if it was previously focused when clicking the button |
| 07:58:45 | <tomsmeding> | let me know if that works for you |
| 07:59:46 | <tomsmeding> | also, protip for you guys: if you press <C-,> in the editor, a settings pane pops up where you can enable vim keybindings |
| 07:59:54 | <tomsmeding> | not sure how well that plays with tridactyl, but it exists :p |
| 08:00:09 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:01:25 | <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. |
| 08:01:52 | <Leary> | So that restriction makes it a no-op to me. |
| 08:02:16 | <Leary> | Err, a non-change. |
| 08:02:24 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:03:22 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:07:33 | <tomsmeding> | I see! |
| 08:07:35 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 08:07:38 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 08:08:16 | <tomsmeding> | maybe it should just focus the editor unconditionally |
| 08:08:42 | <tomsmeding> | because trying to detect if the user is using such a plugin is probably a bad idea |
| 08:09:08 | → | califax joins (~califax@user/califx) |
| 08:10:54 | <tomsmeding> | hm, I'm struggling to think of a downside of that |
| 08:11:02 | <tomsmeding> | (of unconditional focusing) |
| 08:13:13 | <Leary> | So long as it's a post-button-press thing ... (not aggressively-wrestle-for-focus-upon-loss) |
| 08:13:33 | <tomsmeding> | yeah it would be triggered by the click on the Run/Core/Asm button |
| 08:14:59 | <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 |
| 08:15:38 | <tomsmeding> | ok change is live |
| 08:16:08 | <tomsmeding> | you guys should complain if interaction choices like this make your life bad |
| 08:16:14 | <tomsmeding> | I can always say "no I'm busy" :p |
| 08:18:32 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 08:18:49 | <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? |
| 08:19:17 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:22:42 | <tomsmeding> | they are the exact same thing |
| 08:22:50 | <tomsmeding> | play.haskell.org is a CNAME to play-haskell.tomsmeding.com |
| 08:23:22 | <tomsmeding> | also a note, by the way: <C-CR> in the editor re-runs with the last-used settings |
| 08:23:38 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:24:32 | <Leary> | Ah, /that/ helps. |
| 08:24:45 | <tomsmeding> | Leary: if you reload, does it say "(hi #haskell)" in the top-right corner |
| 08:26:45 | <geekosaur> | it does here fwiw |
| 08:26:58 | <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! |
| 08:27:19 | <tomsmeding> | ("hi haskell" note removed) |
| 08:28:09 | <tomsmeding> | Leary: interesting. Perhaps tridactyl refuses to give away focus while it's still processing a "normal mode" action? |
| 08:28:21 | <tomsmeding> | I could put the focus in a 0ms timeout |
| 08:28:44 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:29:15 | <tomsmeding> | Leary: I put it in a setTimeout(_, 0); does it work now? |
| 08:30:17 | <Leary> | Oh, it does. Sounds like a bit of a hack though, would that be reliable? |
| 08:30:47 | <tomsmeding> | I think it's fairly reliable. What it essentially does is "put the focus() call as the next item in the event loop" |
| 08:31:13 | <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 |
| 08:31:37 | <Leary> | I see, that should be fine then. |
| 08:31:45 | <Leary> | Yay. :) |
| 08:31:48 | <tomsmeding> | yay |
| 08:32:17 | <tomsmeding> | in nodejs there is even a special function that more specifically does this: process.nextTick(...) |
| 08:32:49 | <geekosaur> | many GUI Iframeworks have an `onIdle` or similar that does the same |
| 08:33:06 | <geekosaur> | sometimes with a delay option |
| 08:33:35 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 08:33:35 | <probie> | tomsmeding: beautiful |
| 08:33:40 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 08:33:55 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:33:57 | <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? |
| 08:34:40 | <tomsmeding> | Leary: it goes away for me if I press <esc> |
| 08:34:48 | <tomsmeding> | or does tridactyl steal <esc> :p |
| 08:35:00 | <tomsmeding> | also clicking outside of it, but that's little help probably |
| 08:35:19 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 08:35:32 | <Leary> | That could be what's happening. Could also be because my keyboard setup is weird and escape used to be capslock. |
| 08:35:45 | <Leary> | Though for similar reasons, I might not be able to use the vi mode anyway! |
| 08:35:46 | <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 |
| 08:36:47 | <tomsmeding> | probie: yay :) |
| 08:39:18 | <Leary> | Oh, I can kill it with <C-esc> |
| 08:39:35 | <Leary> | But then it refuses to come back. |
| 08:39:45 | <tomsmeding> | :o |
| 08:40:02 | <tomsmeding> | the editor needs to be focused? |
| 08:40:11 | <tomsmeding> | (it's ace that's picking up <C-,>, not me) |
| 08:40:20 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:40:26 | <Leary> | Oh, right. (oops) |
| 08:42:15 | <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. |
| 08:43:44 | → | Digitteknohippie joins (~user@user/digit) |
| 08:43:45 | <tomsmeding> | that's what I feared |
| 08:43:54 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 08:44:58 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 08:45:49 | <Leary> | (<C-esc> works again, but my muscle memory won't allow it) |
| 08:47:48 | <tomsmeding> | nah that is indeed an unfortunate experience :p |
| 08:47:52 | <tomsmeding> | but not one that I can do much about |
| 08:48:37 | <tomsmeding> | this was like the "ask a day's salary for hitting the right thing with a hammer" |
| 08:48:52 | <tomsmeding> | three commits, the collective diff of which is one well-chosen line of code |
| 08:49:46 | <tomsmeding> | ( https://github.com/haskell/play-haskell/compare/b02b658ece2c8e4bac7043483f2ca13a4fef6458..0e76527c7c7bae51952a4f2fa29a7ff7833dac27 ) |
| 08:53:32 | <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. |
| 08:53:54 | <tomsmeding> | https://github.com/haskell/play-haskell/discussions/46 |
| 08:54:04 | × | ubert quits (~Thunderbi@178.165.195.123.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 08:54:04 | <tomsmeding> | didn't hear anything back |
| 08:58:29 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 09:00:24 | → | ubert joins (~Thunderbi@178.165.165.126.wireless.dyn.drei.com) |
| 09:03:03 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 09:06:57 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 09:09:26 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 09:11:59 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 09:15:41 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 09:15:54 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 09:18:16 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 09:20:12 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 09:26:21 | → | __monty__ joins (~toonn@user/toonn) |
| 09:29:45 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 09:33:11 | Digitteknohippie | is now known as Digit |
| 09:35:08 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 09:39:34 | → | misterfish joins (~misterfis@046044172198.static.ipv4.heldenvannu.net) |
| 09:45:19 | × | vglfr quits (~vglfr@2601:14d:4e01:1370:9b8b:3d63:7b3f:ede3) (Ping timeout: 260 seconds) |
| 09:45:44 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 09:50:18 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 09:55:20 | <tomsmeding> | Leary: there is a Help link now |
| 09:55:25 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:55:32 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 09:55:52 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 09:56:02 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 09:56:26 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 09:57:51 | → | tomku joins (~tomku@user/tomku) |
| 10:00:20 | <Leary> | Nice. :) |
| 10:01:54 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:03:23 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 10:03:49 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 10:06:24 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 10:07:21 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 10:16:23 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 10:18:43 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:21:12 | → | zmt01 joins (~zmt00@user/zmt00) |
| 10:23:10 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:23:39 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 10:25:00 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 10:27:24 | × | ash3en quits (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Read error: Connection reset by peer) |
| 10:27:41 | → | ash3en joins (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 10:30:46 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:32:33 | → | swamp_ joins (~zmt00@user/zmt00) |
| 10:32:45 | → | bliminse joins (~bliminse@user/bliminse) |
| 10:33:41 | × | lockywolf quits (~lockywolf@public.lockywolf.net) (Remote host closed the connection) |
| 10:33:43 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 10:35:14 | → | lockywolf joins (~lockywolf@public.lockywolf.net) |
| 10:35:38 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 10:37:54 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 10:38:41 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 10:39:07 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 10:40:21 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 10:44:53 | → | zmt00 joins (~zmt00@user/zmt00) |
| 10:46:57 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 10:46:59 | × | swamp_ quits (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 10:50:03 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 10:50:51 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:51:32 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 10:52:20 | → | zmt01 joins (~zmt00@user/zmt00) |
| 10:52:38 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:54:08 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 265 seconds) |
| 10:55:18 | → | sinbad joins (~sinbad@user/sinbad) |
| 10:55:26 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:57:28 | × | sourcetarius quits (~sourcetar@user/sourcetarius) (Ping timeout: 272 seconds) |
| 10:57:45 | <sinbad> | How to encode a value of Data.Decimal into JSON using aeson? |
| 10:58:43 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 245 seconds) |
| 11:00:04 | × | caconym8 quits (~caconym@user/caconym) (Quit: bye) |
| 11:02:33 | → | caconym8 joins (~caconym@user/caconym) |
| 11:06:16 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:06:35 | → | ZharMeny joins (~ZharMeny@user/ZharMeny) |
| 11:06:41 | → | hgolden_ joins (~hgolden@146.70.173.229) |
| 11:09:43 | × | hgolden quits (~hgolden@169.150.203.36) (Ping timeout: 252 seconds) |
| 11:10:48 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 11:18:59 | <tomsmeding> | sinbad: as a numeric value or as a string? |
| 11:20:57 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 11:21:20 | <tomsmeding> | (in the former case: put `realToFrac x` in instead; in the latter case: put `show x` in instead) |
| 11:21:27 | <tomsmeding> | :t realToFrac |
| 11:21:28 | <lambdabot> | (Real a, Fractional b) => a -> b |
| 11:22:02 | <tomsmeding> | note that realToFrac may lose precision here |
| 11:22:17 | <tomsmeding> | (which you probably care about, since you're using Decimal) |
| 11:22:35 | → | xff0x joins (~xff0x@2405:6580:b080:900:c863:b7a9:76f1:1688) |
| 11:23:15 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:25:56 | <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. |
| 11:27:32 | × | ash3en quits (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Quit: ash3en) |
| 11:27:58 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 11:28:48 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 11:31:47 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:34:04 | × | tinjamin4 quits (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 11:35:06 | → | tinjamin4 joins (~tinjamin@banshee.h4x0r.space) |
| 11:37:09 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 11:37:52 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 11:40:00 | <sinbad> | Is there a json package which can encode Decimal numbers? |
| 11:42:24 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 11:45:37 | <tomsmeding> | sinbad: JSON itself knows only numbers, strings, lists and objects |
| 11:46:02 | <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 |
| 11:46:11 | <tomsmeding> | (oh, and `null` and booleans) |
| 11:47:18 | → | akegalj joins (~akegalj@141-136-172-97.dsl.iskon.hr) |
| 11:47:50 | → | ash3en joins (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 11:48:18 | <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) |
| 11:49:05 | <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? |
| 11:49:08 | <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) |
| 11:49:08 | × | CiaoSen quits (~Jura@2a05:5800:244:fc00:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 11:49:29 | <tomsmeding> | akegalj: the -j flag to cabal and ghc has nothing to do with runtime multithreading |
| 11:49:39 | <tomsmeding> | -j makes _compilation_ multithreaded |
| 11:50:05 | <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 |
| 11:50:17 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:50:53 | <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 |
| 11:51:06 | <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 |
| 11:51:14 | <tomsmeding> | or you can pass "-with-rtsopts=-N" to GHC, and it will default that -N flag |
| 11:51:42 | <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 |
| 11:52:07 | <akegalj> | tomsmeding: ah, my bad :/ |
| 11:52:19 | <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 |
| 11:52:37 | × | misterfish quits (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 265 seconds) |
| 11:52:39 | <tomsmeding> | akegalj: to set that -j option, use `cabal run mytestthing -- -j <n>` |
| 11:52:56 | <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 ? |
| 11:53:03 | <tomsmeding> | yes |
| 11:53:13 | <tomsmeding> | but most people pass -threaded anyway |
| 11:53:25 | <tomsmeding> | otherwise _nothing_ in your haskell program can use multiple CPU cores |
| 11:53:50 | <akegalj> | tomsmeding: make sense, yes. Thank you |
| 11:54:44 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 12:00:48 | × | ash3en quits (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Quit: ash3en) |
| 12:04:26 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:04:35 | × | sroso quits (~sroso@user/SrOso) (Quit: Leaving :)) |
| 12:06:05 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:10:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:11:16 | → | mari-estel joins (~mari-este@dynamic-176-000-146-152.176.0.pool.telefonica.de) |
| 12:12:27 | × | sinbad quits (~sinbad@user/sinbad) (Quit: Leaving.) |
| 12:16:14 | → | ash3en joins (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 12:21:48 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:23:07 | × | mari-estel quits (~mari-este@dynamic-176-000-146-152.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 12:24:52 | → | mari-estel joins (~mari-este@2a02:3032:302:3280:216:3eff:fe65:4eef) |
| 12:24:53 | × | ash3en quits (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Ping timeout: 252 seconds) |
| 12:26:44 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 12:29:33 | × | mari-estel quits (~mari-este@2a02:3032:302:3280:216:3eff:fe65:4eef) (Ping timeout: 246 seconds) |
| 12:30:27 | × | druchan quits (uid567859@user/druchan) (Quit: Connection closed for inactivity) |
| 12:32:47 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:36:06 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 12:37:44 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:50:02 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:51:03 | → | AlexNoo joins (~AlexNoo@94.233.241.56) |
| 12:53:31 | → | misterfish joins (~misterfis@87.215.131.102) |
| 12:54:33 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 12:54:56 | → | AlexZenon joins (~alzenon@94.233.241.56) |
| 12:58:44 | × | Hafydd quits (~Hafydd@user/hafydd) (Ping timeout: 245 seconds) |
| 12:59:02 | → | Hafydd joins (~Hafydd@user/hafydd) |
| 12:59:09 | × | lyxia quits (~lyxia@poisson.chat) (Ping timeout: 245 seconds) |
| 12:59:09 | × | lieven quits (~mal@ns2.wyrd.be) (Ping timeout: 245 seconds) |
| 12:59:24 | → | lyxia joins (~lyxia@poisson.chat) |
| 12:59:29 | → | mal1 joins (~mal@ns2.wyrd.be) |
| 13:01:13 | → | weary-traveler joins (~user@user/user363627) |
| 13:01:31 | → | f-a joins (ff2a@joined.irc.for-some.fun) |
| 13:04:58 | <f-a> | hello, I have a problem with encoding |
| 13:05:12 | <f-a> | I wrote a small application that needs to read a number of files |
| 13:06:09 | <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 |
| 13:07:30 | <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 |
| 13:07:33 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:08:01 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 13:08:02 | <f-a> | I guess the more general question is: this is probably a frequent occourrence, what is the sensible way to deal with it? |
| 13:09:50 | <int-e> | There's hSetEncoding |
| 13:10:32 | <int-e> | Though that'll work much better if you know the encoding to use. Autodetection sounds fragile and messy. |
| 13:12:12 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:14:18 | <Rembane> | Could you perhaps have an argument to the program that asks for the encoding? |
| 13:14:43 | <f-a> | Rembane: files might be mixed |
| 13:14:55 | <Rembane> | f-a: Oh. That's interesting. |
| 13:14:57 | → | srazkvt joins (~sarah@user/srazkvt) |
| 13:16:00 | bravespear|2 | is now known as Ranhir |
| 13:16:35 | × | Ranhir quits (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 13:17:04 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 13:18:29 | → | saccharineboi joins (~saccharin@user/saccharineboi) |
| 13:20:15 | <tomsmeding> | there is https://hackage.haskell.org/package/base-4.20.0.1/docs/System-IO.html#v:localeEncoding |
| 13:21:33 | mal1 | is now known as lieven |
| 13:21:41 | <f-a> | yup that is what I am doing now http://www.ariis.it/static/paste/tmp/paste-xcoN0c.html |
| 13:22:19 | <f-a> | it feels fragile because I am not sure Handle will be closed at the end |
| 13:22:20 | <tomsmeding> | right |
| 13:22:29 | <tomsmeding> | hClose? |
| 13:22:41 | <tomsmeding> | also System.IO.withFile, which is even better |
| 13:22:50 | <tomsmeding> | in the presence of exceptions and such |
| 13:22:53 | × | saccharineboi quits (~saccharin@user/saccharineboi) (Client Quit) |
| 13:23:06 | <tomsmeding> | (which are likely here) |
| 13:23:15 | <f-a> | yup |
| 13:23:25 | <tomsmeding> | f-a: what is your minimum ghc version? |
| 13:23:47 | <tomsmeding> | since ghc 9.0 there is hGetContents' which does not do lazy IO |
| 13:23:50 | <f-a> | I guess what Debian ships so 9.0 |
| 13:24:05 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:24:32 | → | ystael joins (~ystael@user/ystael) |
| 13:24:49 | <tomsmeding> | withFile -> hSetEncoding -> hGetContents' sounds like the best way to do this |
| 13:25:02 | <int-e> | f-a: Note that with lazy IO exceptions might arrive later... |
| 13:25:06 | <f-a> | yup, seems my best bet |
| 13:25:13 | <tomsmeding> | int-e: which is why hGetContents' |
| 13:26:06 | <int-e> | which text (assuming TI = Data.Text.IO) doesn't have |
| 13:26:27 | <tomsmeding> | int-e: that paste only goes through Text to use Data.Text.Encoding |
| 13:26:29 | <tomsmeding> | the final type is String |
| 13:26:47 | <int-e> | Oh. |
| 13:27:19 | <tomsmeding> | it would be even nicer to be able to decode a ByteString to a Text with the system locale |
| 13:27:20 | <int-e> | Wait, huh... |
| 13:27:28 | <tomsmeding> | but Data.Text.Encoding only does utf* and latin1 |
| 13:27:39 | <tomsmeding> | that's why System.IO is involved in the first place |
| 13:28:07 | <int-e> | I see, it's really only read to Text and almost immediately decoded. |
| 13:28:14 | <int-e> | unpacked I mean |
| 13:28:21 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 13:30:11 | <tomsmeding> | one could dive deep in the implementation of a System.IO.TextEncoding and reconstruct a converter from ByteString to Text(-ish?) |
| 13:30:22 | <tomsmeding> | but that's nontrivial |
| 13:30:33 | → | spew joins (~spew@201.141.99.170) |
| 13:30:40 | <tomsmeding> | in the end it seems to decode from/to ForeignPtrs |
| 13:30:44 | <tomsmeding> | it _would_ be possible |
| 13:31:23 | <Rembane> | It sounds fun in a bad way |
| 13:31:30 | <Rembane> | Like something that would result in a good blog post |
| 13:31:53 | <tomsmeding> | and then you can even publish it as a library on hackage! |
| 13:32:06 | <tomsmeding> | TextEncoding -> ByteString -> Text |
| 13:36:21 | × | michalz quits (~michalz@185.246.207.200) (Read error: Connection reset by peer) |
| 13:36:33 | <int-e> | s/Text/Maybe Text/? |
| 13:36:55 | → | michalz joins (~michalz@185.246.207.200) |
| 13:37:01 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 13:41:18 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 13:44:01 | → | mari-estel joins (~mari-este@2a02:3032:308:bf6a:216:3eff:fe65:4eef) |
| 13:47:29 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 13:47:42 | → | euleritian joins (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) |
| 13:50:33 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:51:21 | <tomsmeding> | oh definitely |
| 13:51:54 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:53:17 | → | quack joins (~quack@209.60-130-109.adsl-dyn.isp.belgacom.be) |
| 13:55:06 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:58:00 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 13:59:53 | × | mari-estel quits (~mari-este@2a02:3032:308:bf6a:216:3eff:fe65:4eef) (Quit: on the move) |
| 14:00:23 | × | euleritian quits (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 14:00:41 | → | sourcetarius joins (~sourcetar@user/sourcetarius) |
| 14:00:45 | → | euleritian joins (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) |
| 14:06:28 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:07:11 | × | son0p quits (~ff@186.121.49.191) (Read error: Connection reset by peer) |
| 14:11:09 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 14:11:53 | → | ash3en joins (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 14:19:27 | × | athan quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 14:19:28 | × | euleritian quits (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 14:19:45 | → | euleritian joins (~euleritia@dynamic-176-006-143-053.176.6.pool.telefonica.de) |
| 14:23:28 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:27:48 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 14:28:06 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:32:19 | lol_ | is now known as jcarpenter2 |
| 14:34:49 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:34:58 | <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" |
| 14:39:43 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 14:39:57 | <lortabac> | fr33domlover: you can have a look at the ScopedTypeVariables extension |
| 14:41:25 | <fr33domlover> | lortabac: Aware of it :) And I now see there's asTypeOf and proxyTypeOf, I think they'll do |
| 14:41:27 | × | ash3en quits (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Quit: ash3en) |
| 14:43:15 | <lortabac> | fr33domlover: ah yes with those helpers you may not even need to mention the type explicitly |
| 14:45:23 | × | lystra quits (~lystra@208.59.105.41) (Ping timeout: 245 seconds) |
| 14:53:03 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:56:48 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 14:57:26 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:57:27 | → | ash3en joins (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 14:58:21 | → | CiaoSen joins (~Jura@2a05:5800:244:fc00:ca4b:d6ff:fec1:99da) |
| 14:58:41 | → | lystra joins (~lystra@208.59.105.41) |
| 14:59:21 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 15:00:01 | <probie> | :t asTypeOf |
| 15:00:02 | <lambdabot> | a -> a -> a |
| 15:00:11 | ← | f-a parts (ff2a@joined.irc.for-some.fun) () |
| 15:00:26 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 15:01:11 | <probie> | :t do { x <- getLine; y <- readIO "\"foobar\"" `asTypeOf` (pure x); pure y } |
| 15:01:12 | <lambdabot> | IO String |
| 15:04:33 | → | finsternis joins (~X@23.226.237.192) |
| 15:04:57 | → | weary-traveler joins (~user@user/user363627) |
| 15:06:57 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 248 seconds) |
| 15:09:52 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:10:12 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 15:12:29 | × | spew quits (~spew@201.141.99.170) (Quit: spew) |
| 15:13:28 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 15:13:40 | → | oo_miguel joins (~Thunderbi@78.10.206.35) |
| 15:14:18 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:18:33 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 15:20:55 | → | mari-estel joins (~mari-este@2a02:3032:308:bf6a:216:3eff:fe65:4eef) |
| 15:21:43 | × | arkeet quits (~arkeet@moriya.ca) (Ping timeout: 264 seconds) |
| 15:28:09 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:29:04 | → | arkeet joins (~arkeet@moriya.ca) |
| 15:32:25 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 15:32:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 15:34:29 | × | xff0x quits (~xff0x@2405:6580:b080:900:c863:b7a9:76f1:1688) (Quit: xff0x) |
| 15:35:49 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:35:55 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 15:39:59 | × | CiaoSen quits (~Jura@2a05:5800:244:fc00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 15:40:39 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 15:46:36 | × | mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
| 15:47:45 | × | quack quits (~quack@209.60-130-109.adsl-dyn.isp.belgacom.be) (Quit: Client closed) |
| 15:47:55 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:48:14 | × | CrunchyFlakes quits (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 15:50:53 | → | CrunchyFlakes joins (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 15:53:53 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:54:09 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:56:57 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 15:59:04 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 16:12:06 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:13:56 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 16:16:21 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 16:19:24 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:20:44 | → | son0p joins (~ff@186.121.41.9) |
| 16:23:36 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 16:24:42 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 16:28:49 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:33:09 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 16:36:49 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:42:00 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 16:42:28 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 16:45:17 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 16:45:42 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:45:58 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 16:54:05 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:57:23 | × | ash3en quits (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Quit: ash3en) |
| 16:58:43 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 17:02:06 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 17:02:24 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:04:23 | xal_ | is now known as xal |
| 17:07:21 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:11:28 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:12:31 | × | mari-estel quits (~mari-este@2a02:3032:308:bf6a:216:3eff:fe65:4eef) (Quit: on the move) |
| 17:14:41 | → | ash3en joins (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) |
| 17:14:57 | → | jinsun joins (~jinsun@user/jinsun) |
| 17:16:02 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 17:16:41 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:16:57 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:17:40 | <justsomeguy> | Hello #haskell. Is there a good package for doing network inventory and subnet math, like ipaddr for Python? |
| 17:17:55 | <justsomeguy> | (or was it netaddr?) |
| 17:19:56 | <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. |
| 17:20:57 | <justsomeguy> | (It seems like there aren't many libraries for sysadmin stuff in comparison to other langauges I use) |
| 17:21:22 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 17:22:30 | <justsomeguy> | I guess the good part is that the math is simple enough that I can implement my own library. |
| 17:27:07 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:28:12 | <geekosaur> | right, there's never been a lib for that that I've found (I wanted it back in 2007ish) |
| 17:31:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 17:32:33 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 17:33:51 | <monochrom> | All open source libraries began with "I guess I have to roll my own". |
| 17:35:26 | × | xal quits (~xal@mx1.xal.systems) (Quit: bye) |
| 17:35:54 | → | xal joins (~xal@mx1.xal.systems) |
| 17:37:00 | <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. |
| 17:37:48 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:39:46 | <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). |
| 17:40:24 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 17:40:34 | × | ash3en quits (~Thunderbi@2a01:c23:9151:7c00:e470:d401:9fdb:821e) (Ping timeout: 244 seconds) |
| 17:41:14 | <monochrom> | But I still try to write some code I need :D https://github.com/treblacy/ |
| 17:42:48 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:45:36 | <geekosaur> | s/disliked/found them hard to deal with/ (surprise) |
| 17:46:42 | <monochrom> | Yeah |
| 17:46:43 | <geekosaur> | of course when I turned it into a career I promptly found myself being the face between tech and business, whoops |
| 17:47:01 | → | mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 17:47:30 | <monochrom> | The dislike was precisely because programming languages are so much more predictable than people at a whim. |
| 17:48:32 | <Rembane> | geekosaur: That sounds like the worst of two worlds |
| 17:48:52 | <geekosaur> | now add autism on top 😕 |
| 17:49:07 | <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 |
| 17:49:46 | <Rembane> | geekosaur: ^^ |
| 17:50:09 | × | akegalj quits (~akegalj@141-136-172-97.dsl.iskon.hr) (Quit: leaving) |
| 17:50:18 | <geekosaur> | (not that I was diagnosed back then, it would be another decade before the Asperger paper was unearthed) |
| 17:50:49 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:51:25 | <Rembane> | It's the old school spectrum |
| 17:51:39 | × | sourcetarius quits (~sourcetar@user/sourcetarius) (Ping timeout: 260 seconds) |
| 17:51:58 | × | rosco quits (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 17:52:16 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 17:54:02 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:56:22 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 252 seconds) |
| 17:58:08 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 17:58:39 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 18:00:19 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:06:18 | → | Squared joins (~Square@user/square) |
| 18:09:03 | × | Square2 quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 18:11:28 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:14:39 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 18:16:03 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 18:17:27 | × | athan quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Client Quit) |
| 18:20:51 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:22:21 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 18:23:03 | × | mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
| 18:25:52 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 18:26:17 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 18:26:19 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 18:28:05 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:33:04 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 18:38:48 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:43:43 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 18:47:46 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:53:06 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 18:53:41 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 18:53:52 | → | rvalue- joins (~rvalue@user/rvalue) |
| 18:54:43 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 18:59:04 | × | red-snail quits (~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:59:18 | → | Pozyomka joins (~pyon@user/pyon) |
| 18:59:54 | rvalue- | is now known as rvalue |
| 18:59:58 | → | red-snail joins (~snail@static.151.210.203.116.clients.your-server.de) |
| 19:00:00 | × | caconym8 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:38 | → | caconym8 joins (~caconym@user/caconym) |
| 19:03:59 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:08:33 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:11:06 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:13:12 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 19:17:48 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 19:20:04 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:20:13 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 19:20:28 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 19:23:35 | → | weary-traveler joins (~user@user/user363627) |
| 19:24:43 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 19:31:05 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 19:35:30 | × | athan quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 19:36:06 | → | mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 19:37:57 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:41:44 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 19:42:25 | × | oo_miguel quits (~Thunderbi@78.10.206.35) (Quit: oo_miguel) |
| 19:42:30 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:46:34 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 19:54:52 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 19:54:55 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 19:54:56 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 19:54:56 | finn_elija | is now known as FinnElija |
| 19:55:56 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 19:56:08 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:57:24 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 19:59:01 | × | Pixi quits (~Pixi@user/pixi) (Quit: Leaving) |
| 20:00:40 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:12:31 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:14:40 | → | Pixi joins (~Pixi@user/pixi) |
| 20:15:45 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 20:17:03 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 20:26:25 | × | mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 248 seconds) |
| 20:29:34 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:30:16 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 20:31:46 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 20:34:02 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:46:36 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:47:41 | × | Inst_ quits (~Inst@user/Inst) (Remote host closed the connection) |
| 20:49:38 | → | Inst joins (~Inst@user/Inst) |
| 20:50:25 | × | Inst quits (~Inst@user/Inst) (Remote host closed the connection) |
| 20:51:15 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:53:12 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 20:58:20 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:03:07 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:07:28 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 21:07:48 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:08:46 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:14:11 | → | oo_miguel joins (~Thunderbi@78.10.206.35) |
| 21:15:50 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 21:19:25 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:21:28 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:24:18 | → | mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 21:25:10 | → | pavonia joins (~user@user/siracusa) |
| 21:26:06 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:27:17 | × | Squared quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 21:28:40 | × | michalz quits (~michalz@185.246.207.200) (Remote host closed the connection) |
| 21:38:06 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:41:31 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 21:42:33 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 21:44:13 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:54:32 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:59:06 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:01:24 | → | notzmv joins (~daniel@user/notzmv) |
| 22:06:27 | × | notzmv quits (~daniel@user/notzmv) (Ping timeout: 265 seconds) |
| 22:10:13 | → | xff0x joins (~xff0x@2405:6580:b080:900:8e41:444a:2d83:f166) |
| 22:10:44 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:14:58 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 22:23:08 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:24:04 | × | mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 22:26:36 | × | oo_miguel quits (~Thunderbi@78.10.206.35) (Ping timeout: 252 seconds) |
| 22:28:19 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:28:34 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 22:31:04 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 22:33:02 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 22:33:02 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 22:36:51 | → | gmg joins (~user@user/gehmehgeh) |
| 22:45:37 | × | acidjnk quits (~acidjnk@p200300d6e72cfb0329fc7c60bebd0680.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 22:46:06 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:50:47 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:55:41 | → | oo_miguel joins (~Thunderbi@78.10.206.35) |
| 22:56:05 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:01:25 | → | Inst_ joins (~Inst@user/Inst) |
| 23:01:51 | × | Inst_ quits (~Inst@user/Inst) (Quit: Leaving) |
| 23:02:19 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:05:03 | → | Inst joins (~Inst@user/Inst) |
| 23:05:26 | × | Inst quits (~Inst@user/Inst) (Client Quit) |
| 23:05:44 | → | Inst joins (~Inst@user/Inst) |
| 23:06:56 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:07:41 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 23:09:13 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 23:12:47 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 23:12:48 | × | gentauro_ quits (~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) (Ping timeout: 252 seconds) |
| 23:17:03 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 23:18:13 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:19:38 | → | gentauro joins (~gentauro@user/gentauro) |
| 23:23:09 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 23:32:53 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 245 seconds) |
| 23:35:14 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:37:27 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 23:39:56 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:40:14 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 23:41:04 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 23:52:46 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:55:55 | × | bliminse quits (~bliminse@user/bliminse) (Ping timeout: 264 seconds) |
| 23:57:26 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 23:57:30 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 23:57:32 | → | bliminse joins (~bliminse@user/bliminse) |
All times are in UTC on 2024-09-17.