| 2024-09-25 00:00:50 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 00:03:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 00:05:16 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-09-25 00:06:35 +0000 | Guest93 | (~Guest93@5.195.226.142) |
| 2024-09-25 00:08:14 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 255 seconds) |
| 2024-09-25 00:10:08 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 00:10:20 +0000 | Guest93 | (~Guest93@5.195.226.142) (Client Quit) |
| 2024-09-25 00:13:51 +0000 | ubert1 | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-25 00:14:27 +0000 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2024-09-25 00:14:28 +0000 | ubert1 | ubert |
| 2024-09-25 00:15:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 00:19:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 00:28:02 +0000 | synchromesh | (~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) (Read error: Connection reset by peer) |
| 2024-09-25 00:28:08 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-25 00:28:48 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:3e09:7111:c63e:2d47) (Ping timeout: 246 seconds) |
| 2024-09-25 00:29:28 +0000 | synchromesh | (~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) synchromesh |
| 2024-09-25 00:30:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 00:35:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 00:46:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 00:49:46 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 00:51:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 00:52:15 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-09-25 01:00:33 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-09-25 01:00:55 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) finn_elija |
| 2024-09-25 01:01:42 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-25 01:02:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 01:07:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-25 01:07:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 01:07:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 01:11:11 +0000 | <EvanR> | 1 = abb⁻¹a⁻¹ (obviously) |
| 2024-09-25 01:11:14 +0000 | <EvanR> | (ab)⁻¹ = b⁻¹a⁻¹ |
| 2024-09-25 01:11:17 +0000 | <EvanR> | QED |
| 2024-09-25 01:11:36 +0000 | <EvanR> | this is a theorem about groups, but does it only work for groups? |
| 2024-09-25 01:11:49 +0000 | <EvanR> | i.e. is group laws too specific |
| 2024-09-25 01:16:39 +0000 | <Lears> | Groups are pretty general; they only have a few laws. You're already using identity, invertibility and associativity---that's all of them. I suppose you could weaken associativity to `(w * x) * (y * z) = w * ((x * y) * z)`, but I doubt that gives you anything of interest. |
| 2024-09-25 01:17:05 +0000 | <monochrom> | You have used identity, inverse, associativity. So I say yes, you pretty much need a group. |
| 2024-09-25 01:18:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 01:19:08 +0000 | <Lears> | Ah, no; with identity that's not even a weakening: a * (b * c) = (1 * a) * (b * c) = 1 * ((a * b) * c) = (a * b) * c |
| 2024-09-25 01:20:12 +0000 | <EvanR> | that's cool |
| 2024-09-25 01:22:04 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-25 01:23:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 01:26:42 +0000 | <EvanR> | that formula makes way more sense now, ignoring the mathematical proof of it, after thinking of it like invertible functions. If you want to invert "do b, then do a to the product of that", you have to first undo a then undo b |
| 2024-09-25 01:27:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-25 01:27:53 +0000 | <EvanR> | waaaaaaaaait |
| 2024-09-25 01:28:00 +0000 | <EvanR> | I know how it's too specific |
| 2024-09-25 01:28:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 01:28:23 +0000 | <EvanR> | a group is like a groupoid where all the objects are the same |
| 2024-09-25 01:28:36 +0000 | <monochrom> | Right, without commutativity, the undo of "put on socks, put on shoes" is not "take off socks, take off shoes". |
| 2024-09-25 01:28:37 +0000 | <EvanR> | shouldn't the same theorem apply to groupoids |
| 2024-09-25 01:29:33 +0000 | <haskellbridge> | <Bowuigi> It does tho |
| 2024-09-25 01:29:46 +0000 | <EvanR> | \o/ |
| 2024-09-25 01:30:11 +0000 | <haskellbridge> | <Bowuigi> The socks example was an example of a groupoid rather than a group |
| 2024-09-25 01:30:33 +0000 | <haskellbridge> | <Bowuigi> Unless you are used to putting socks on top of your shoes |
| 2024-09-25 01:30:40 +0000 | <monochrom> | :( |
| 2024-09-25 01:30:42 +0000 | <EvanR> | lol |
| 2024-09-25 01:30:47 +0000 | <monochrom> | OK fine! :) |
| 2024-09-25 01:31:02 +0000 | <monochrom> | I think some people do that. |
| 2024-09-25 01:31:22 +0000 | <EvanR> | not even people who wear sandals and socks do that |
| 2024-09-25 01:31:32 +0000 | <monochrom> | mom used to advise "it's winter, put on two pants". (I declined.) |
| 2024-09-25 01:31:43 +0000 | <EvanR> | two pants |
| 2024-09-25 01:31:50 +0000 | <EvanR> | left leg and right leg |
| 2024-09-25 01:31:55 +0000 | <haskellbridge> | <Bowuigi> You could use two shirts as an example instead |
| 2024-09-25 01:32:01 +0000 | geekosaur | wonders where overshoes fit here 😛 |
| 2024-09-25 01:32:37 +0000 | <monochrom> | I don't suppose you would put on two layers of overshoes? |
| 2024-09-25 01:33:09 +0000 | <monochrom> | The "VHS, UHS, HD, UHD, VVVVUUUUHD" progression applies. |
| 2024-09-25 01:33:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 01:33:57 +0000 | <EvanR> | highspeed CMOS |
| 2024-09-25 01:34:05 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-25 01:34:05 +0000 | <monochrom> | I mean, if you start having two layers of overshoes, the outer layer would have to be called something like "ultrashoes" or something ridiculous and soon you will run out of superlatives. |
| 2024-09-25 01:34:27 +0000 | <EvanR> | that's why the layers are indexed by an ordinal |
| 2024-09-25 01:34:54 +0000 | <geekosaur> | overshoe_{\omega} |
| 2024-09-25 01:35:32 +0000 | <monochrom> | haha |
| 2024-09-25 01:35:49 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 2024-09-25 01:36:16 +0000 | <monochrom> | Err, s/HS/HF/ # VHF, UHF |
| 2024-09-25 01:37:09 +0000 | <geekosaur> | that made perfect sense until they figured out how to generate and control microwave frequencies |
| 2024-09-25 01:37:41 +0000 | <geekosaur> | then they just gave up and switched to Greek suffixes |
| 2024-09-25 01:37:46 +0000 | <geekosaur> | err, prefixes |
| 2024-09-25 01:38:45 +0000 | <EvanR> | microwaves, nanowaves, picowaves |
| 2024-09-25 01:38:50 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-25 01:39:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-25 01:39:47 +0000 | <geekosaur> | I think you're up to X-rays before you need picowaves? maybe even soft gammas |
| 2024-09-25 01:39:56 +0000 | geekosaur | is too tired to work out the math |
| 2024-09-25 01:41:21 +0000 | euandreh | (~Thunderbi@189.6.105.228) (Remote host closed the connection) |
| 2024-09-25 01:41:41 +0000 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2024-09-25 01:42:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-25 01:43:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 01:47:44 +0000 | <c_wraith> | according to wikipedia, that's in the gamma range |
| 2024-09-25 01:48:02 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-25 01:49:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-25 01:50:22 +0000 | <EvanR> | HULK SMASH |
| 2024-09-25 01:51:05 +0000 | <geekosaur> | remember how high that dial got turneed up, those might have been femtos |
| 2024-09-25 01:51:16 +0000 | <c_wraith> | I have a friend who has both physics training and reads a lot of comics. He claims that Hulks powers come from GAMMA rays, not gamma rays. Whatever that capitalization means. |
| 2024-09-25 01:51:38 +0000 | <geekosaur> | beats me |
| 2024-09-25 01:52:45 +0000 | <EvanR> | lol |
| 2024-09-25 01:53:06 +0000 | <EvanR> | it means he's nucular |
| 2024-09-25 01:54:13 +0000 | <monochrom> | Would it also be Ray with upper R? |
| 2024-09-25 01:54:29 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-25 01:54:30 +0000 | <c_wraith> | No, Ray claims to have been somewhere else at the time |
| 2024-09-25 01:56:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 01:56:54 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-25 01:59:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 02:08:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 02:08:41 +0000 | <monochrom> | haha |
| 2024-09-25 02:09:14 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-09-25 02:11:12 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 244 seconds) |
| 2024-09-25 02:12:31 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2024-09-25 02:12:47 +0000 | sourcetarius_ | (~sourcetar@user/sourcetarius) sourcetarius |
| 2024-09-25 02:13:08 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Read error: Connection reset by peer) |
| 2024-09-25 02:14:47 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-25 02:17:24 +0000 | td_ | (~td@i53870915.versanet.de) (Ping timeout: 260 seconds) |
| 2024-09-25 02:18:51 +0000 | td_ | (~td@i5387090E.versanet.de) td_ |
| 2024-09-25 02:19:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 02:23:57 +0000 | rekahsoft | (~rekahsoft@76.69.85.220) (Ping timeout: 246 seconds) |
| 2024-09-25 02:24:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-25 02:35:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 02:40:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 02:48:03 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 252 seconds) |
| 2024-09-25 02:49:54 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 02:50:20 +0000 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-25 02:51:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 02:55:14 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-25 02:56:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 02:56:28 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 272 seconds) |
| 2024-09-25 02:57:57 +0000 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-09-25 02:58:11 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 03:01:24 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-25 03:06:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 03:11:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-25 03:11:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 03:13:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 03:18:41 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 03:22:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 03:27:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 03:28:24 +0000 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Read error: Connection reset by peer) |
| 2024-09-25 03:29:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-25 03:32:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 03:38:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 03:38:51 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2024-09-25 03:39:37 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-09-25 03:42:51 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-09-25 03:43:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 03:44:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-25 03:44:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 03:44:41 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-09-25 03:46:37 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-09-25 03:49:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-25 03:52:30 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2024-09-25 03:54:21 +0000 | Square2 | (~Square4@user/square) Square |
| 2024-09-25 03:57:57 +0000 | hgolden | (~hgolden@23.162.40.28) hgolden |
| 2024-09-25 04:00:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 04:05:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 04:05:57 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-09-25 04:06:32 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-25 04:06:39 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-25 04:11:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-25 04:11:44 +0000 | sourcetarius_ | (~sourcetar@user/sourcetarius) (Ping timeout: 260 seconds) |
| 2024-09-25 04:12:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 04:15:12 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2024-09-25 04:16:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 04:16:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-25 04:20:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-25 04:31:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 04:35:54 +0000 | rosco | (~rosco@175.136.158.234) rosco |
| 2024-09-25 04:36:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 04:37:11 +0000 | synchromesh | (~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) (Read error: Connection reset by peer) |
| 2024-09-25 04:40:24 +0000 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) synchromesh |
| 2024-09-25 04:40:56 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-09-25 04:42:32 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-25 04:45:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 04:46:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 04:49:19 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-09-25 04:49:40 +0000 | euleritian | (~euleritia@dynamic-176-004-197-063.176.4.pool.telefonica.de) |
| 2024-09-25 04:50:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 04:53:20 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-25 04:54:33 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-09-25 04:56:47 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-25 05:00:06 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2024-09-25 05:01:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 05:02:32 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-25 05:02:50 +0000 | michalz | (~michalz@185.246.207.203) |
| 2024-09-25 05:06:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 05:07:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 05:08:08 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-09-25 05:10:36 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-09-25 05:11:11 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) dagit |
| 2024-09-25 05:13:14 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-09-25 05:14:34 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-25 05:17:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 05:19:02 +0000 | itaipu | (~itaipu@168.121.99.42) (Read error: Connection reset by peer) |
| 2024-09-25 05:20:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 05:21:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 05:22:32 +0000 | <jle`> | i'm going to be traveling to tokyo shortly, anyone know if there is any haskell happenings going on these days over there? |
| 2024-09-25 05:30:06 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-25 05:31:58 +0000 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-25 05:32:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 05:33:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 05:35:38 +0000 | itaipu | (~itaipu@168.121.99.42) itaipu |
| 2024-09-25 05:37:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-25 05:40:53 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Remote host closed the connection) |
| 2024-09-25 05:41:00 +0000 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-09-25 05:42:03 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-09-25 05:42:08 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) dagit |
| 2024-09-25 05:42:30 +0000 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-25 05:43:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-25 05:44:06 +0000 | rosco | (~rosco@175.136.158.234) rosco |
| 2024-09-25 05:46:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 05:52:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 05:57:20 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 06:03:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 06:07:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-25 06:08:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-25 06:11:36 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Remote host closed the connection) |
| 2024-09-25 06:12:54 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) dagit |
| 2024-09-25 06:14:36 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-09-25 06:17:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-25 06:19:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 06:24:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 06:26:33 +0000 | euleritian | (~euleritia@dynamic-176-004-197-063.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-25 06:28:05 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 06:29:53 +0000 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) |
| 2024-09-25 06:30:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 06:32:36 +0000 | rsoeldner | (~rsoeldner@p200300cf074e62d869a0b1f76b7df2e5.dip0.t-ipconnect.de) |
| 2024-09-25 06:33:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-25 06:35:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-25 06:45:35 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer) |
| 2024-09-25 06:46:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 06:46:33 +0000 | bailsman | (~ejrietvel@revspace/participant/bailsman) bailsman |
| 2024-09-25 06:48:17 +0000 | <bailsman> | Is any monoid in the category of endofunctors necessarily a monad? |
| 2024-09-25 06:50:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-25 06:51:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 06:53:38 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-09-25 06:56:06 +0000 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds) |
| 2024-09-25 06:56:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-25 07:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-25 07:00:35 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-25 07:01:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 07:07:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 07:07:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 07:12:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 07:13:30 +0000 | Inst_ | Inst |
| 2024-09-25 07:13:31 +0000 | <Inst> | huh |
| 2024-09-25 07:13:37 +0000 | <Inst> | Debug.Trace can be so cute |
| 2024-09-25 07:14:09 +0000 | <Inst> | foo (x:xs) = traceShowId x + traceShow (show xs) (foo xs) |
| 2024-09-25 07:14:14 +0000 | <Inst> | foo [] = 0 |
| 2024-09-25 07:14:26 +0000 | <tomsmeding> | bailsman: https://ncatlab.org/nlab/show/monad#definition seems to claim that yes, it is |
| 2024-09-25 07:16:20 +0000 | <c_wraith> | Inst: I wouldn't do it that way. The order of evaluation of the arguments to (+) is indeterminate |
| 2024-09-25 07:17:08 +0000 | <Inst> | I'm just trying to figure out what "baby's first recursion" would look like with debug.trace |
| 2024-09-25 07:17:50 +0000 | <c_wraith> | foo (x:xs) | traceShow (x, xs) False = undefined | otherwise = x + foo xs |
| 2024-09-25 07:18:17 +0000 | <c_wraith> | lean on specified evaluation order to get traced output in a specified order |
| 2024-09-25 07:18:31 +0000 | <c_wraith> | (guards are always checked top to bottom) |
| 2024-09-25 07:19:14 +0000 | <Inst> | you could use let / where with bang patterns for it |
| 2024-09-25 07:19:23 +0000 | <haskellbridge> | <sm> The great thing about trace is you can stick it almost anywhere and you'll still get some insight |
| 2024-09-25 07:19:41 +0000 | <Inst> | i'm just wondering, does anyone actually introduce Debug.Trace early? |
| 2024-09-25 07:20:02 +0000 | <Inst> | what I'm trying to get is the standard recursion diagram generated by Debug.Trace |
| 2024-09-25 07:20:02 +0000 | <haskellbridge> | <sm> I think it should be taught early |
| 2024-09-25 07:21:08 +0000 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-25 07:22:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 07:22:21 +0000 | <haskellbridge> | <sm> insert a trace everywhere, see what you get, remove the excess ones |
| 2024-09-25 07:25:01 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-25 07:26:28 +0000 | <Inst> | did trace get reworked recently? |
| 2024-09-25 07:26:41 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 07:27:22 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb01cd8bad668f11f045.dip0.t-ipconnect.de) acidjnk |
| 2024-09-25 07:28:26 +0000 | <Inst> | ehhh, eventlog etc have been here forever |
| 2024-09-25 07:34:07 +0000 | ajh | (~username@hardfought/member/joes) joes |
| 2024-09-25 07:34:21 +0000 | <geekosaur> | there are some shortcomings: you're forcing `xs` earlier than the recursion without the `traceShow` might |
| 2024-09-25 07:34:40 +0000 | rsoeldner | (~rsoeldner@p200300cf074e62d869a0b1f76b7df2e5.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2024-09-25 07:40:03 +0000 | <Inst> | yeah i guess i'm inexperienced in using Debug.Trace; I've only ever used traceShowId |
| 2024-09-25 07:40:18 +0000 | <Inst> | it'd actually be pretty fun to have a breakpoint function in Debug.Trace, though |
| 2024-09-25 07:40:56 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 07:40:56 +0000 | <Inst> | *action |
| 2024-09-25 07:44:59 +0000 | <geekosaur> | what would it do in compiled code? |
| 2024-09-25 07:46:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 07:46:52 +0000 | <Inst> | pause action until keypress |
| 2024-09-25 07:47:10 +0000 | <geekosaur> | how does that interact with multiple threads? |
| 2024-09-25 07:48:00 +0000 | <Inst> | it wouldn't, and the implementation I'm thinking of right now would bug out if stdin had a buffer :( |
| 2024-09-25 07:48:05 +0000 | <geekosaur> | what happens if the user is typing into the program when it fires? |
| 2024-09-25 07:49:04 +0000 | <Lears> | @hackage breakpoint |
| 2024-09-25 07:49:05 +0000 | <lambdabot> | https://hackage.haskell.org/package/breakpoint |
| 2024-09-25 07:49:51 +0000 | <geekosaur> | (there are ways around the buffer issue, at least on POSIX. look up `/dev/tty`) |
| 2024-09-25 07:50:52 +0000 | <geekosaur> | but in the end there's at most one keyboard and trying to use it for more than one thing at the same time always ends poorly |
| 2024-09-25 07:50:52 +0000 | <Inst> | i mean you can imagine people learning Debug.Trace on day one, but the alternatives would either need packages or unsafePerformIO on day 1 :( |
| 2024-09-25 07:52:24 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 252 seconds) |
| 2024-09-25 07:54:00 +0000 | <lortabac> | thanks Lears, I didn't know this package |
| 2024-09-25 07:54:11 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 07:54:37 +0000 | <lortabac> | maybe not 100% reliable but it still looks very useful |
| 2024-09-25 07:55:05 +0000 | <Inst> | yeah, thanks @ Learss as well |
| 2024-09-25 07:57:18 +0000 | chele | (~chele@user/chele) chele |
| 2024-09-25 07:58:25 +0000 | <geekosaur> | there's also https://downloads.haskell.org/ghc/latest/docs/libraries/base-4.20.0.0-1f57/GHC-Exts.html#g:17 whoich iirc is ignored in compiled code and acts as if you (conditionally) set a breakpoint in ghci |
| 2024-09-25 07:59:39 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-25 07:59:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 08:00:58 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-25 08:01:39 +0000 | <geekosaur> | (source says neither one does anything but iirc it's the codegen that has to actually implement it?) |
| 2024-09-25 08:04:16 +0000 | ajh | (~username@hardfought/member/joes) (Ping timeout: 272 seconds) |
| 2024-09-25 08:06:33 +0000 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-25 08:06:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-25 08:09:33 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2024-09-25 08:16:09 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-25 08:16:45 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-09-25 08:19:12 +0000 | morb | (~morb@108.41.100.120) |
| 2024-09-25 08:21:46 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-25 08:23:54 +0000 | morb | (~morb@108.41.100.120) (Ping timeout: 260 seconds) |
| 2024-09-25 08:24:16 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-25 08:24:52 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-25 08:25:49 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-25 08:27:59 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-25 08:34:27 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-09-25 08:40:20 +0000 | akegalj | (~akegalj@174-46.dsl.iskon.hr) akegalj |
| 2024-09-25 08:47:35 +0000 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) (Read error: Connection reset by peer) |
| 2024-09-25 08:48:58 +0000 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) synchromesh |
| 2024-09-25 08:49:50 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-25 08:50:08 +0000 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-25 08:51:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 08:54:11 +0000 | Digit | (~user@user/digit) Digit |
| 2024-09-25 08:54:13 +0000 | <cheater> | don't you just hate it when you're reading haskell code and it's just meme code |
| 2024-09-25 08:56:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-25 08:59:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-25 09:01:02 +0000 | <tomsmeding> | geekosaur: `breakpoint` doesn't seem to do anything for me either in compiled or in interpreted mode |
| 2024-09-25 09:01:36 +0000 | <tomsmeding> | compiling in profiling mode doesn't change anything (I guess it was worth a try) |
| 2024-09-25 09:14:14 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-09-25 09:17:33 +0000 | <Inst> | grrr, how do you write to stdin? |
| 2024-09-25 09:19:40 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-25 09:23:06 +0000 | <mauke> | ? ?? |
| 2024-09-25 09:23:09 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-25 09:23:22 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-25 09:26:04 +0000 | <sm> | I saw the breakpoint package work once |
| 2024-09-25 09:26:47 +0000 | <sm> | I mean, it worked when I tried it a while back |
| 2024-09-25 09:27:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 09:28:40 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-09-25 09:30:17 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2024-09-25 09:31:14 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-25 09:32:00 +0000 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-09-25 09:32:28 +0000 | lucy_ | (~lucy@user/lucy) lucy |
| 2024-09-25 09:32:32 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-25 09:35:25 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 252 seconds) |
| 2024-09-25 09:36:34 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-25 09:36:46 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-25 09:39:44 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-25 09:43:10 +0000 | rosco | (~rosco@175.136.158.234) rosco |
| 2024-09-25 09:45:14 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-09-25 09:45:30 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-25 09:46:14 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds) |
| 2024-09-25 09:47:18 +0000 | joes | (~username@2a02:8206:4666:6900:b62e:99ff:fe41:2800) |
| 2024-09-25 09:52:02 +0000 | joes | (~username@2a02:8206:4666:6900:b62e:99ff:fe41:2800) (Ping timeout: 265 seconds) |
| 2024-09-25 09:53:08 +0000 | <tomsmeding> | Inst: stdin is an input channel |
| 2024-09-25 09:53:15 +0000 | <tomsmeding> | you don't write to it, you read from it |
| 2024-09-25 09:53:46 +0000 | <tomsmeding> | sm: the 'breakpoint' package seems to be a GHC plugin, there's also a suggestively named function at GHC.Exts.breakpoint |
| 2024-09-25 09:56:52 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
| 2024-09-25 09:57:00 +0000 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2024-09-25 10:01:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 10:06:34 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-25 10:06:39 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2024-09-25 10:06:54 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-09-25 10:07:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 10:10:43 +0000 | <Inst> | tomsmeding: I'm trying to extract the buffer and replace it on use. |
| 2024-09-25 10:11:07 +0000 | <tomsmeding> | that sounds like a bad ide |
| 2024-09-25 10:11:09 +0000 | <tomsmeding> | *idea |
| 2024-09-25 10:11:41 +0000 | <Inst> | Handle__ isn't that bad, tbh, it's mostly IORefs and MVars |
| 2024-09-25 10:13:05 +0000 | <Inst> | but w/e, I guess the essence of today's rant is Debug.Trace is awesome and I should use it more |
| 2024-09-25 10:14:00 +0000 | <tomsmeding> | beware of relying on its behaviour for "production" code though |
| 2024-09-25 10:14:09 +0000 | <tomsmeding> | (whatever "production" means in your context) |
| 2024-09-25 10:14:12 +0000 | <Inst> | i think it says so in the name? |
| 2024-09-25 10:14:21 +0000 | <tomsmeding> | it's a debugging tool -- yes it says so in the name |
| 2024-09-25 10:14:27 +0000 | <tomsmeding> | it's an awesome debugging tool |
| 2024-09-25 10:14:59 +0000 | <tomsmeding> | but it can be tempting to "forget" that the output that you're using very effectively is actually coming from trace calls |
| 2024-09-25 10:15:12 +0000 | <Inst> | yeah, i had a phantom bug with someone's library as a consequence :( |
| 2024-09-25 10:15:15 +0000 | <tomsmeding> | that's not a situation you really want to be in |
| 2024-09-25 10:16:14 +0000 | <Inst> | i'm just trying to get to the stage where i'm comfortable enough with Debug.Trace so that it can demonstrate recursion, I just don't think in terms of Debug.Trace for that |
| 2024-09-25 10:16:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 10:19:02 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-25 10:22:44 +0000 | <ski> | @quote refreshing.desert |
| 2024-09-25 10:22:44 +0000 | <lambdabot> | chromatic says: My productivity increased when Autrijus told me about Haskell's trace function. He called it a refreshing desert in the oasis of referential transparency. |
| 2024-09-25 10:23:03 +0000 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2024-09-25 10:25:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 10:29:45 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2024-09-25 10:30:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-25 10:40:48 +0000 | <Inst> | https://paste.tomsmeding.com/0cihXTeH |
| 2024-09-25 10:41:30 +0000 | <Inst> | whoops, it's a bug :( |
| 2024-09-25 10:42:04 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-25 10:42:25 +0000 | <ski> | (`trace` ()) |
| 2024-09-25 10:43:12 +0000 | <Inst> | needs parens |
| 2024-09-25 10:43:16 +0000 | <Inst> | i mean in the output |
| 2024-09-25 10:44:34 +0000 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-25 10:45:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-09-25 10:47:13 +0000 | lucy_ | (~lucy@user/lucy) (Ping timeout: 248 seconds) |
| 2024-09-25 10:52:40 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-25 10:53:25 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 10:54:15 +0000 | turlando | (~turlando@user/turlando) () |
| 2024-09-25 10:55:22 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2024-09-25 10:57:17 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 265 seconds) |
| 2024-09-25 10:57:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-25 11:00:37 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-25 11:01:40 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 11:09:21 +0000 | xff0x | (~xff0x@2405:6580:b080:900:bae7:541b:79b5:8d8e) |
| 2024-09-25 11:19:22 +0000 | kalj | (~kalj@h-158-174-207-174.NA.cust.bahnhof.se) kalj |
| 2024-09-25 11:21:22 +0000 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2024-09-25 11:28:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 11:31:58 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-09-25 11:34:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-25 11:37:18 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 246 seconds) |
| 2024-09-25 11:41:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-25 11:46:28 +0000 | rosco | (~rosco@175.136.158.234) (Read error: Connection reset by peer) |
| 2024-09-25 11:47:21 +0000 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-25 11:48:08 +0000 | rosco | (~rosco@175.136.158.234) rosco |
| 2024-09-25 11:48:40 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2024-09-25 11:49:00 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-09-25 11:55:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 11:58:22 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-25 12:00:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-25 12:02:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-25 12:03:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 12:07:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 12:08:36 +0000 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-25 12:09:24 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 12:19:37 +0000 | ash3en | (~Thunderbi@p200300e7b71f94df30470fd6e2c50668.dip0.t-ipconnect.de) ash3en |
| 2024-09-25 12:20:58 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 12:26:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 12:26:46 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-09-25 12:27:31 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-25 12:29:35 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
| 2024-09-25 12:34:07 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2024-09-25 12:34:40 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-25 12:40:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 12:47:43 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-25 12:49:58 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 245 seconds) |
| 2024-09-25 12:52:24 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-25 12:53:29 +0000 | kalj | (~kalj@h-158-174-207-174.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-09-25 12:57:04 +0000 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) (Read error: Connection reset by peer) |
| 2024-09-25 12:58:32 +0000 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) synchromesh |
| 2024-09-25 13:00:01 +0000 | <haskellbridge> | <carbolymer`> in this command: "cabal build all --enable-tests -j --ghc-option=-j4", the "--ghc-option=j4" seems redundant? (machine has 4 cores) |
| 2024-09-25 13:00:29 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-25 13:01:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 13:02:30 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2024-09-25 13:02:55 +0000 | <haskellbridge> | <carbolymer`> that --ghc-option if for the building ghc, or the runtime of the produced binary? |
| 2024-09-25 13:03:18 +0000 | <haskellbridge> | <carbolymer`> -with-rtsopts would be for runtime I guess |
| 2024-09-25 13:06:24 +0000 | crazazy | (~user@ip-145-116-179-33.wlan-int.ru.nl) crazazy |
| 2024-09-25 13:07:27 +0000 | morb | (~morb@108.41.100.120) |
| 2024-09-25 13:09:39 +0000 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2024-09-25 13:11:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-25 13:12:52 +0000 | morb | (~morb@108.41.100.120) (Ping timeout: 252 seconds) |
| 2024-09-25 13:18:13 +0000 | ash3en | (~Thunderbi@p200300e7b71f94df30470fd6e2c50668.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-25 13:21:47 +0000 | <haskellbridge> | <carbolymer`> I see that "cabal build all -j --semaphore" should be enough (for latest ghc and cabal), is that right? |
| 2024-09-25 13:27:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 13:28:33 +0000 | st_aldini | (~Thunderbi@136.48.22.91) (Ping timeout: 244 seconds) |
| 2024-09-25 13:29:33 +0000 | st_aldini | (~Thunderbi@136.48.22.91) st_aldini |
| 2024-09-25 13:29:43 +0000 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-09-25 13:29:48 +0000 | crazazy | (~user@ip-145-116-179-33.wlan-int.ru.nl) (Ping timeout: 272 seconds) |
| 2024-09-25 13:29:59 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 260 seconds) |
| 2024-09-25 13:32:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 13:38:52 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
| 2024-09-25 13:39:14 +0000 | dilaver_7 | (~dilaver_@user/dilaver-:32218) dilaver_ |
| 2024-09-25 13:40:31 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2024-09-25 13:41:54 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 13:43:21 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
| 2024-09-25 13:46:37 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 13:49:50 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-09-25 13:51:17 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds) |
| 2024-09-25 13:51:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 13:55:29 +0000 | rosco | (~rosco@175.136.158.234) rosco |
| 2024-09-25 13:56:37 +0000 | Square2 | (~Square4@user/square) Square |
| 2024-09-25 14:00:54 +0000 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-25 14:01:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 14:02:30 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-25 14:10:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 14:10:49 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-25 14:16:08 +0000 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Quit: ZNC 1.6.5 - http://znc.in) |
| 2024-09-25 14:16:08 +0000 | adamCS__ | adamCS |
| 2024-09-25 14:24:04 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 14:24:36 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-09-25 14:28:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-25 14:37:55 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 14:42:29 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 14:52:53 +0000 | setofsets | (~setofsets@2804:ccc:513:1a00:1069:8442:386a:459) |
| 2024-09-25 14:55:12 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-25 14:59:20 +0000 | <Inst> | probably could be cleaned up further |
| 2024-09-25 14:59:20 +0000 | <Inst> | https://paste.tomsmeding.com/cyYgn3MX |
| 2024-09-25 14:59:42 +0000 | <Inst> | would be more fun to mod it into a foldr or foldl', and the parens behavior is undesirable |
| 2024-09-25 15:03:17 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 248 seconds) |
| 2024-09-25 15:04:33 +0000 | acarrico | (~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) |
| 2024-09-25 15:13:56 +0000 | lucy | (~lucy@user/lucy) (Ping timeout: 265 seconds) |
| 2024-09-25 15:16:52 +0000 | Guest78 | (~Guest78@c-73-162-81-23.hsd1.ca.comcast.net) |
| 2024-09-25 15:23:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 15:27:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-25 15:28:17 +0000 | Guest78 | (~Guest78@c-73-162-81-23.hsd1.ca.comcast.net) (Quit: Client closed) |
| 2024-09-25 15:30:06 +0000 | JamesMowery1 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-09-25 15:30:21 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-09-25 15:31:49 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 2024-09-25 15:31:49 +0000 | JamesMowery1 | JamesMowery |
| 2024-09-25 15:35:10 +0000 | cross_ | cross |
| 2024-09-25 15:35:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-25 15:37:13 +0000 | JamesMowery0 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-09-25 15:38:29 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 248 seconds) |
| 2024-09-25 15:38:29 +0000 | JamesMowery0 | JamesMowery |
| 2024-09-25 15:41:05 +0000 | setofsets | (~setofsets@2804:ccc:513:1a00:1069:8442:386a:459) (Quit: Client closed) |
| 2024-09-25 15:46:08 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-09-25 15:46:47 +0000 | JamesMowery2 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-09-25 15:49:09 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 248 seconds) |
| 2024-09-25 15:49:09 +0000 | JamesMowery2 | JamesMowery |
| 2024-09-25 15:49:12 +0000 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-25 15:49:35 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-25 15:52:55 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-25 15:57:01 +0000 | akegalj | (~akegalj@174-46.dsl.iskon.hr) (Quit: leaving) |
| 2024-09-25 15:57:07 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 16:10:24 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds) |
| 2024-09-25 16:10:41 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-09-25 16:20:51 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-09-25 16:21:13 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-25 16:21:27 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-09-25 16:21:28 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-09-25 16:28:35 +0000 | polyphem | (~rod@p3ee3f486.dip0.t-ipconnect.de) polyphem |
| 2024-09-25 16:29:42 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-09-25 16:36:14 +0000 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-25 16:44:48 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-09-25 16:45:49 +0000 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) ft |
| 2024-09-25 16:54:08 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-25 16:54:30 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-25 16:55:22 +0000 | asdfaksjdflak123 | (~asdfaksjd@146.255.226.194) |
| 2024-09-25 17:01:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 17:02:14 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-25 17:04:30 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2024-09-25 17:05:54 +0000 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) (Read error: Connection reset by peer) |
| 2024-09-25 17:06:29 +0000 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2024-09-25 17:07:07 +0000 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) synchromesh |
| 2024-09-25 17:13:59 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-09-25 17:16:52 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-25 17:17:47 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-25 17:23:11 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 17:25:09 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-25 17:25:28 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-09-25 17:28:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 17:33:17 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2024-09-25 17:34:00 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-25 17:35:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-09-25 17:39:20 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-09-25 17:39:43 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-09-25 17:41:15 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2024-09-25 17:45:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-09-25 17:49:25 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-25 17:55:57 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-09-25 17:58:41 +0000 | Square3 | (~Square4@user/square) Square |
| 2024-09-25 17:58:41 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 18:00:41 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-09-25 18:01:03 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-09-25 18:01:33 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-25 18:03:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 18:03:37 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-09-25 18:05:59 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-09-25 18:07:28 +0000 | sdrfan123 | (~sdrfan123@2607:fb90:df8d:eacb:45de:a3d5:2e62:9e0c) |
| 2024-09-25 18:08:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 18:10:40 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-09-25 18:13:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 18:15:44 +0000 | hammond | (proscan@gateway04.insomnia247.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 18:27:27 +0000 | <sm> | @where hoogle |
| 2024-09-25 18:27:28 +0000 | <lambdabot> | https://hoogle.haskell.org |
| 2024-09-25 18:28:04 +0000 | hammond | (proscan@gateway04.insomnia247.nl) |
| 2024-09-25 18:28:15 +0000 | <sm> | @where+ shoogle https://www.stackage.org |
| 2024-09-25 18:28:16 +0000 | <lambdabot> | I will never forget. |
| 2024-09-25 18:28:19 +0000 | <sm> | @where+ mhoogle https://hoogle.mangoiv.com |
| 2024-09-25 18:28:19 +0000 | <lambdabot> | Done. |
| 2024-09-25 18:29:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 18:30:34 +0000 | <monochrom> | mango |
| 2024-09-25 18:30:57 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-09-25 18:31:07 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) ash3en |
| 2024-09-25 18:31:19 +0000 | <geekosaur> | maybe you want the main one to point to the others as backups? |
| 2024-09-25 18:31:58 +0000 | <monochrom> | Yeah no one will actually remember the passwords "shoogle" and "mhoogle". |
| 2024-09-25 18:31:59 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-25 18:32:27 +0000 | <monochrom> | @where has absolute zero discoverability. |
| 2024-09-25 18:33:42 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 18:33:48 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Client Quit) |
| 2024-09-25 18:34:18 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-09-25 18:34:41 +0000 | <haskellbridge> | <sm> no-one remembers many of these, but I at least can search and find them: https://haskell-links.org/?q=hoogle (new ones will show up in a few minutes) |
| 2024-09-25 18:34:57 +0000 | <haskellbridge> | <sm> how'd you mean geekosaur ? |
| 2024-09-25 18:35:22 +0000 | <haskellbridge> | <sm> hayoo.. that could be dropped I think |
| 2024-09-25 18:35:49 +0000 | <monochrom> | Putting all 3 URLs under "@where hoogle" |
| 2024-09-25 18:36:21 +0000 | <ski> | or at least mentioning the other ones, from the main one |
| 2024-09-25 18:36:37 +0000 | <haskellbridge> | <sm> IME where doesn't handle that too well, it's easiest when each entry is one url |
| 2024-09-25 18:37:18 +0000 | <haskellbridge> | <sm> but at least I can type "hal hoogle" in browser address bar and see them all |
| 2024-09-25 18:37:28 +0000 | <haskellbridge> | <sm> where should do a similar search showing multiple matches IMHO |
| 2024-09-25 18:37:34 +0000 | <monochrom> | @where paste |
| 2024-09-25 18:37:34 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-09-25 18:37:56 +0000 | <monochrom> | That should mean @where stores arbitrary text as long as there is no newline. |
| 2024-09-25 18:38:33 +0000 | <ski> | @where Io |
| 2024-09-25 18:38:34 +0000 | <lambdabot> | Raphael L. Levien's language with continuations as fundamental structure, described in his paper "Io: a new programming notation" (1989-09-10) at <http://dl.acm.org/citation.cfm?id=70931.70934> and |
| 2024-09-25 18:38:34 +0000 | <lambdabot> | in chapter 2 of Raphael A. Finkel's book `APLD', implementations `Amalthea',`Ganymede' - (perhaps you were looking for `@wiki Introduction to IO' ?) |
| 2024-09-25 18:38:44 +0000 | <monochrom> | But meh, I don't even use hoogle, so I won't do anything about it. |
| 2024-09-25 18:38:51 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-25 18:39:22 +0000 | <haskellbridge> | <sm> yes, it can do it, but I personally find that single-link entries are most useful (for my web app in particular, and for overall simplicity and searchability) |
| 2024-09-25 18:39:42 +0000 | <haskellbridge> | <sm> feel free to try other arrangements, you can update with @where+ |
| 2024-09-25 18:40:01 +0000 | <haskellbridge> | <sm> anyway, once hoogle comes back noone will remember these :) |
| 2024-09-25 18:41:31 +0000 | <haskellbridge> | <sm> btw I never remember, who operates lambdabot - is it you ski ? |
| 2024-09-25 18:41:44 +0000 | <geekosaur> | int-e |
| 2024-09-25 18:41:48 +0000 | <geekosaur> | @version |
| 2024-09-25 18:41:48 +0000 | <lambdabot> | lambdabot 5.3.0.1 |
| 2024-09-25 18:41:48 +0000 | <lambdabot> | git clone https://github.com/lambdabot/lambdabot |
| 2024-09-25 18:41:50 +0000 | <haskellbridge> | <sm> ah yes, thanks |
| 2024-09-25 18:41:53 +0000 | <geekosaur> | hm, wrong one |
| 2024-09-25 18:41:58 +0000 | <geekosaur> | @where L.hs |
| 2024-09-25 18:41:58 +0000 | <lambdabot> | what lambdabot has in scope is at https://silicon.int-e.eu/lambdabot/State/Pristine.hs |
| 2024-09-25 18:42:06 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-09-25 18:42:34 +0000 | <haskellbridge> | <sm> @where hayoo |
| 2024-09-25 18:42:45 +0000 | <geekosaur> | need to split it into two lines |
| 2024-09-25 18:42:50 +0000 | <haskellbridge> | <sm> @where hayoo |
| 2024-09-25 18:43:09 +0000 | <haskellbridge> | <sm> ..something.. |
| 2024-09-25 18:43:10 +0000 | <haskellbridge> | @where hayoo (I forgot) |
| 2024-09-25 18:43:10 +0000 | <lambdabot> | http://hayoo.fh-wedel.de/ -- See also Hoogle: http://haskell.org/hoogle http://fpcomplete.com/hoogle |
| 2024-09-25 18:43:19 +0000 | <haskellbridge> | <geekosaur> . |
| 2024-09-25 18:43:19 +0000 | <haskellbridge> | @where hayoo |
| 2024-09-25 18:43:22 +0000 | <haskellbridge> | <sm> there's a multi-url one |
| 2024-09-25 18:43:30 +0000 | <haskellbridge> | <geekosaur> argh, got a space inserted |
| 2024-09-25 18:43:49 +0000 | <haskellbridge> | <geekosaur> (my client is being a little weird, took multiple tries to even send that) |
| 2024-09-25 18:44:12 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-09-25 18:45:01 +0000 | <int-e> | @seen int-e |
| 2024-09-25 18:45:01 +0000 | <lambdabot> | You are in #esolangs, #haskell-offtopic, #ghc and #haskell.. |
| 2024-09-25 18:45:20 +0000 | <ski> | @seen mmorrow |
| 2024-09-25 18:45:20 +0000 | <lambdabot> | I haven't seen mmorrow. |
| 2024-09-25 18:45:25 +0000 | <sm> | @seen lambdabot |
| 2024-09-25 18:45:25 +0000 | <lambdabot> | Yes, I'm here. I'm in ##villagegreen, #lambdacalculus, #esolangs, #scannedinavian, #bfpg, #kmonad, #xmonad, #haskell-it-offtopic, #haskell-cs, #haskell-tw, #haskell-es, #haskell-au, #haskell-it, # |
| 2024-09-25 18:45:25 +0000 | <lambdabot> | haskell-cn, #haskell-ghcup, #haskell-lens, #haskell-in-depth, #haskell-offtopic, #haskell-blah, #haskell-beginners, #ghc and #haskell |
| 2024-09-25 18:45:41 +0000 | <ski> | @seen TheHunter |
| 2024-09-25 18:45:42 +0000 | <lambdabot> | I haven't seen TheHunter. |
| 2024-09-25 18:45:57 +0000 | asdfaksjdflak123 | (~asdfaksjd@146.255.226.194) (Ping timeout: 256 seconds) |
| 2024-09-25 18:46:59 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 18:47:54 +0000 | <geekosaur> | And yes, references to Hayoo can go now |
| 2024-09-25 18:48:00 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-25 18:48:09 +0000 | <sm> | @where+ hayoo |
| 2024-09-25 18:48:09 +0000 | <lambdabot> | It is forgotten. |
| 2024-09-25 18:48:19 +0000 | <geekosaur> | It'll take HF involvement to bring Holumbus back to usability |
| 2024-09-25 18:48:42 +0000 | <geekosaur> | (that being the research-project search engine on which Hayoo had been based) |
| 2024-09-25 18:48:43 +0000 | <haskellbridge> | <sm> good: |
| 2024-09-25 18:48:43 +0000 | <haskellbridge> | @where links |
| 2024-09-25 18:48:43 +0000 | <lambdabot> | https://haskell-links.org collected Haskell links and search tools, including @where links |
| 2024-09-25 18:48:55 +0000 | <haskellbridge> | <sm> bad (why doesn't this work ?): |
| 2024-09-25 18:48:55 +0000 | <haskellbridge> | @where where |
| 2024-09-25 18:48:56 +0000 | <lambdabot> | ^^^^^^ |
| 2024-09-25 18:49:40 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-25 18:50:16 +0000 | <monochrom> | It works, IMO. |
| 2024-09-25 18:50:43 +0000 | <haskellbridge> | <sm> I expected it to find one of these links: https://haskell-links.org/?q=where |
| 2024-09-25 18:50:54 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-25 18:51:26 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-25 18:51:39 +0000 | <geekosaur> | same thing as with the @seen above, LB handles it itself |
| 2024-09-25 18:51:49 +0000 | <monochrom> | Isn't that a haskell-links.org problem, not an @where problem? |
| 2024-09-25 18:51:52 +0000 | <geekosaur> | probably that's not a good idea here |
| 2024-09-25 18:52:17 +0000 | <geekosaur> | no, I think @where shouldn't intercept that lookup |
| 2024-09-25 18:52:33 +0000 | <geekosaur> | it's not doing anything useful |
| 2024-09-25 18:52:35 +0000 | <monochrom> | Oh speaking of self-reference. |
| 2024-09-25 18:53:56 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-25 18:54:18 +0000 | <monochrom> | My colleagues shared the story that a CS prof entered law school and took CS courses for electives, and after thoroughly checking the rules, he enrolled in a CS course he taught and it's perfectly legal. >:) |
| 2024-09-25 18:54:19 +0000 | <sm> | I was just wondering why the "where" search pattern should be handled specially and give an obscure error |
| 2024-09-25 18:54:47 +0000 | <geekosaur> | it's not an obscure error, it's a smart-ass self-ref |
| 2024-09-25 18:55:08 +0000 | <geekosaur> | it should go |
| 2024-09-25 18:55:18 +0000 | <sm> | bah.. whoosh way over my head |
| 2024-09-25 18:56:02 +0000 | <sm> | I must be more alert to jokes from tools :) |
| 2024-09-25 18:56:11 +0000 | <geekosaur> | (smart-ass responses are an early days thing, most of them probably shouldn't be a thing any more) |
| 2024-09-25 18:57:04 +0000 | <sm> | 👍🏻 |
| 2024-09-25 18:57:45 +0000 | <int-e> | That @where where response isn't built in; it's a normal entry in its "database". |
| 2024-09-25 18:58:19 +0000 | <geekosaur> | you sure? haskell-links.org is pulling from that db and sm says that's not what it gets? |
| 2024-09-25 18:58:20 +0000 | <Franciman> | do you use a relational database for lambdabot? |
| 2024-09-25 18:58:28 +0000 | <geekosaur> | it's all text |
| 2024-09-25 18:58:31 +0000 | <Franciman> | nice |
| 2024-09-25 18:58:34 +0000 | <geekosaur> | flat text files |
| 2024-09-25 18:58:43 +0000 | <Franciman> | good old string |
| 2024-09-25 18:58:44 +0000 | <geekosaur> | granting that they're read into Maps internally |
| 2024-09-25 18:58:46 +0000 | <monochrom> | Probably quadratic-time search. |
| 2024-09-25 18:58:58 +0000 | <monochrom> | OK just kidding |
| 2024-09-25 18:59:45 +0000 | <int-e> | yes I'm sure. |
| 2024-09-25 19:00:03 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-25 19:00:34 +0000 | <int-e> | Franciman: this particular thing is stored as a gzip-compressed text file that stores keys and associated strings alternatingly |
| 2024-09-25 19:00:41 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-25 19:01:53 +0000 | <int-e> | geekosaur: you can see that none of the keys is "where". |
| 2024-09-25 19:02:42 +0000 | <ski> | @yhjulwwiefzojcbxybbruweejw |
| 2024-09-25 19:02:42 +0000 | <lambdabot> | "\"#$%&'()*+,\"" |
| 2024-09-25 19:02:57 +0000 | <int-e> | (The key is labelled "ID". So either it's filtered because ^^^^^^ is not a link, or it doesn't search by ID) |
| 2024-09-25 19:04:36 +0000 | <sm> | yes I see - haskell-links.org ignores entries without a url. I had forgotten. |
| 2024-09-25 19:06:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 19:08:05 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-09-25 19:10:26 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-25 19:15:36 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-25 19:15:54 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-09-25 19:17:44 +0000 | lxsameer | (lxsameer@Serene/lxsameer) lxsameer |
| 2024-09-25 19:19:59 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 19:24:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 19:26:52 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-25 19:27:38 +0000 | sdrfan123 | (~sdrfan123@2607:fb90:df8d:eacb:45de:a3d5:2e62:9e0c) (Quit: Client closed) |
| 2024-09-25 19:29:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 19:29:54 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-25 19:32:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 19:35:25 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-25 19:37:30 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-25 19:39:49 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-25 19:40:05 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-09-25 19:40:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 19:40:49 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) ash3en |
| 2024-09-25 19:44:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-25 19:47:24 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-09-25 19:47:29 +0000 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2024-09-25 19:48:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-25 19:48:59 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-09-25 19:52:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 19:55:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 19:57:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-25 19:58:29 +0000 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-09-25 20:01:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-25 20:04:14 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2024-09-25 20:06:56 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-25 20:07:05 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) ash3en |
| 2024-09-25 20:09:27 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Client Quit) |
| 2024-09-25 20:09:32 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 2024-09-25 20:10:26 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 20:11:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 20:14:36 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-25 20:15:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-25 20:16:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 20:17:45 +0000 | athan | (~athan@2600:382:2d19:73c:17d9:ebb7:e730:bcbf) athan |
| 2024-09-25 20:21:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-25 20:22:56 +0000 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2024-09-25 20:27:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 20:28:34 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-25 20:29:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 20:32:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-25 20:34:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 20:34:43 +0000 | hiecaq` | (~hiecaq@user/hiecaq) hiecaq |
| 2024-09-25 20:36:17 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Ping timeout: 255 seconds) |
| 2024-09-25 20:39:30 +0000 | michalz_ | (~michalz@185.246.207.205) |
| 2024-09-25 20:39:58 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-09-25 20:40:09 +0000 | athan | (~athan@2600:382:2d19:73c:17d9:ebb7:e730:bcbf) (Ping timeout: 246 seconds) |
| 2024-09-25 20:40:56 +0000 | michalz | (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 2024-09-25 20:43:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 20:47:04 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-09-25 20:47:50 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-25 20:48:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 20:50:17 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) ash3en |
| 2024-09-25 20:53:43 +0000 | athan | (~athan@2600:382:2d19:73c:a48e:d16f:56f:3204) athan |
| 2024-09-25 20:59:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 21:00:06 +0000 | lxsameer | (lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-09-25 21:03:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-25 21:04:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 21:06:04 +0000 | Guest46 | (~Guest46@2001:871:216:aeef:9173:3d69:4538:17f0) |
| 2024-09-25 21:08:47 +0000 | Guest46 | (~Guest46@2001:871:216:aeef:9173:3d69:4538:17f0) (Client Quit) |
| 2024-09-25 21:14:39 +0000 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) (Read error: Connection reset by peer) |
| 2024-09-25 21:14:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 21:15:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 21:15:42 +0000 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) synchromesh |
| 2024-09-25 21:18:19 +0000 | michalz_ | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2024-09-25 21:20:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-25 21:22:14 +0000 | polyphem | (~rod@p3ee3f486.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2024-09-25 21:28:06 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-09-25 21:30:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 21:30:54 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-09-25 21:31:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-25 21:35:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 21:37:14 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 21:41:06 +0000 | masterbuilder | (~quassel@user/masterbuilder) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-09-25 21:41:14 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) ash3en |
| 2024-09-25 21:43:47 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-25 21:46:15 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-25 21:46:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 21:51:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 21:52:49 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-09-25 21:53:07 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-25 21:53:12 +0000 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2024-09-25 21:55:11 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-25 21:57:59 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-25 21:59:36 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-25 22:02:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 22:07:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-25 22:10:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 22:11:44 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-09-25 22:18:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 22:22:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 22:27:46 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2024-09-25 22:33:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-25 22:33:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 22:34:36 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-09-25 22:34:38 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-09-25 22:37:08 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 22:39:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-25 22:41:23 +0000 | rdcdr_ | (~rdcdr@75-172-9-7.tukw.qwest.net) (Changing host) |
| 2024-09-25 22:41:23 +0000 | rdcdr_ | (~rdcdr@user/rdcdr) rdcdr |
| 2024-09-25 22:42:25 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 22:48:49 +0000 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 22:49:33 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 245 seconds) |
| 2024-09-25 22:49:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 22:53:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-25 22:54:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 22:54:44 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-25 22:55:56 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 22:56:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 22:59:07 +0000 | rdcdr_ | rdcdr |
| 2024-09-25 23:01:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-25 23:01:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-25 23:04:15 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-09-25 23:06:57 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb01cd8bad668f11f045.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-25 23:10:34 +0000 | athan | (~athan@2600:382:2d19:73c:a48e:d16f:56f:3204) (Ping timeout: 260 seconds) |
| 2024-09-25 23:12:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 23:13:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 23:17:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-25 23:18:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-25 23:27:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 23:31:30 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-09-25 23:32:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 23:34:51 +0000 | comonad | (~comonad@p200300d02705e800d14b563ba919432f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-09-25 23:36:13 +0000 | comonad | (~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de) |
| 2024-09-25 23:43:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 23:46:57 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-25 23:47:09 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-25 23:48:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 23:48:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 23:49:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-25 23:57:50 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 23:59:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 23:59:31 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |