| 2024-09-25 00:00:08 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-09-25 00:00:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-25 00:01:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 00:09:41 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-09-25 00:09:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-25 00:11:18 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-09-25 00:12:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 00:13:55 +0200 | itaipu | (~itaipu@168.121.98.63) (Ping timeout: 264 seconds) |
| 2024-09-25 00:15:06 +0200 | demcgovern | (~demcgover@216.106.58.132.reverse.socket.net) (Quit: Client closed) |
| 2024-09-25 00:22:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-25 00:23:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 00:27:03 +0200 | itaipu | (~itaipu@168.121.99.42) itaipu |
| 2024-09-25 00:28:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 00:29:03 +0200 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 00:38:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 00:39:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 00:43:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 00:44:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 00:46:14 +0200 | athan | (~athan@108.147.188.33) (Ping timeout: 260 seconds) |
| 2024-09-25 00:50:49 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-25 00:54:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 01:00:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-25 01:03:07 +0200 | marcux | (~marcux@177.139.77.85) |
| 2024-09-25 01:03:35 +0200 | marcux | (~marcux@177.139.77.85) (Changing host) |
| 2024-09-25 01:03:35 +0200 | marcux | (~marcux@user/marcux) marcux |
| 2024-09-25 01:08:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 01:10:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 01:13:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-25 01:14:08 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-25 01:15:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-25 01:16:56 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-09-25 01:16:56 +0200 | ljdarj1 | ljdarj |
| 2024-09-25 01:17:35 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb5784448b270f7e5b02.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-25 01:20:50 +0200 | marcux | (~marcux@user/marcux) (Remote host closed the connection) |
| 2024-09-25 01:20:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-25 01:21:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-09-25 01:23:46 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:3e09:7111:c63e:2d47) |
| 2024-09-25 01:25:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:dc1b:498c:28de:28be) (Ping timeout: 276 seconds) |
| 2024-09-25 01:26:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 01:28:49 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2024-09-25 01:30:28 +0200 | krei-se- | (~krei-se@p57af2362.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-09-25 01:31:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 01:32:40 +0200 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) krei-se |
| 2024-09-25 01:36:24 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 276 seconds) |
| 2024-09-25 01:39:35 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
| 2024-09-25 01:40:20 +0200 | euandreh | (~Thunderbi@189.6.105.228) (Ping timeout: 255 seconds) |
| 2024-09-25 01:40:53 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-09-25 01:42:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 01:42:36 +0200 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2024-09-25 01:42:52 +0200 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-09-25 01:44:35 +0200 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) krei-se |
| 2024-09-25 01:45:21 +0200 | <raehik> | Is there a way to force a type variable to be inferred, in a `data` declaration? |
| 2024-09-25 01:45:59 +0200 | <raehik> | I have `data Magic (a :: k) = Magic`, which is fine, but `:t Magic` gives `Magic :: forall k (a :: k). Magic a` |
| 2024-09-25 01:47:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-25 01:47:18 +0200 | <raehik> | Alternatively, can I do what I want with a pattern synonym? |
| 2024-09-25 01:47:33 +0200 | <geekosaur> | I'm not even sure what you want |
| 2024-09-25 01:47:35 +0200 | <Lears> | What /do/ you want, though? |
| 2024-09-25 01:47:50 +0200 | <geekosaur> | ^5 |
| 2024-09-25 01:48:14 +0200 | <raehik> | I want `Magic :: forall {k} (a :: k). Magic a` |
| 2024-09-25 01:48:36 +0200 | <raehik> | I want to force `k` to be inferred (because for my uses it will be) |
| 2024-09-25 01:48:45 +0200 | <Lears> | Perhaps GADTSyntax will allow it? |
| 2024-09-25 01:49:39 +0200 | <raehik> | hmm not sure how I would write it with GADT syntax (I don't use them much) |
| 2024-09-25 01:50:11 +0200 | <Lears> | `data Magic a where Magic :: forall {k} (a :: k). Magic a` |
| 2024-09-25 01:50:39 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 246 seconds) |
| 2024-09-25 01:50:44 +0200 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/type_applications.html#manually-def… which confirms it's only supported with GADTSyntax |
| 2024-09-25 01:52:06 +0200 | <geekosaur> | and gives an example thereof |
| 2024-09-25 01:52:33 +0200 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 01:53:38 +0200 | <raehik> | thank you very much Lears , geekosaur ! I simply never knew that and didn't find it with my googling |
| 2024-09-25 01:54:46 +0200 | <geekosaur> | it is kinda unfortunate that this isn't what one normally thinks of with "inferred" (type inference being the usual thing) |
| 2024-09-25 01:55:20 +0200 | <raehik> | the pattern synonym worked as well, I didn't know they were fine with foralls |
| 2024-09-25 01:55:40 +0200 | <geekosaur> | I personally think more of "visibility" than "inference" here |
| 2024-09-25 01:55:41 +0200 | <raehik> | but the GADT is perfect |
| 2024-09-25 01:55:57 +0200 | <raehik> | geekosaur: Yeah, agreed. I went by the name in the docs |
| 2024-09-25 01:57:22 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-25 01:57:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 01:58:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-25 01:58:59 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 265 seconds) |
| 2024-09-25 02:00:50 +0200 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 02:03:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 02:05:16 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-09-25 02:06:35 +0200 | Guest93 | (~Guest93@5.195.226.142) |
| 2024-09-25 02:08:14 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 255 seconds) |
| 2024-09-25 02:10:08 +0200 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 02:10:20 +0200 | Guest93 | (~Guest93@5.195.226.142) (Client Quit) |
| 2024-09-25 02:13:51 +0200 | ubert1 | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-25 02:14:27 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2024-09-25 02:14:28 +0200 | ubert1 | ubert |
| 2024-09-25 02:15:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 02:19:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 02:28:02 +0200 | synchromesh | (~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) (Read error: Connection reset by peer) |
| 2024-09-25 02:28:08 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-25 02:28:48 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:3e09:7111:c63e:2d47) (Ping timeout: 246 seconds) |
| 2024-09-25 02:29:28 +0200 | synchromesh | (~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) synchromesh |
| 2024-09-25 02:30:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 02:35:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 02:46:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 02:49:46 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 02:51:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 02:52:15 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-09-25 03:00:33 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-09-25 03:00:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) finn_elija |
| 2024-09-25 03:01:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-25 03:02:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 03:07:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-25 03:07:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 03:07:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 03:11:11 +0200 | <EvanR> | 1 = abb⁻¹a⁻¹ (obviously) |
| 2024-09-25 03:11:14 +0200 | <EvanR> | (ab)⁻¹ = b⁻¹a⁻¹ |
| 2024-09-25 03:11:17 +0200 | <EvanR> | QED |
| 2024-09-25 03:11:36 +0200 | <EvanR> | this is a theorem about groups, but does it only work for groups? |
| 2024-09-25 03:11:49 +0200 | <EvanR> | i.e. is group laws too specific |
| 2024-09-25 03:16:39 +0200 | <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 03:17:05 +0200 | <monochrom> | You have used identity, inverse, associativity. So I say yes, you pretty much need a group. |
| 2024-09-25 03:18:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 03:19:08 +0200 | <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 03:20:12 +0200 | <EvanR> | that's cool |
| 2024-09-25 03:22:04 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-25 03:23:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 03:26:42 +0200 | <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 03:27:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-25 03:27:53 +0200 | <EvanR> | waaaaaaaaait |
| 2024-09-25 03:28:00 +0200 | <EvanR> | I know how it's too specific |
| 2024-09-25 03:28:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 03:28:23 +0200 | <EvanR> | a group is like a groupoid where all the objects are the same |
| 2024-09-25 03:28:36 +0200 | <monochrom> | Right, without commutativity, the undo of "put on socks, put on shoes" is not "take off socks, take off shoes". |
| 2024-09-25 03:28:37 +0200 | <EvanR> | shouldn't the same theorem apply to groupoids |
| 2024-09-25 03:29:33 +0200 | <haskellbridge> | <Bowuigi> It does tho |
| 2024-09-25 03:29:46 +0200 | <EvanR> | \o/ |
| 2024-09-25 03:30:11 +0200 | <haskellbridge> | <Bowuigi> The socks example was an example of a groupoid rather than a group |
| 2024-09-25 03:30:33 +0200 | <haskellbridge> | <Bowuigi> Unless you are used to putting socks on top of your shoes |
| 2024-09-25 03:30:40 +0200 | <monochrom> | :( |
| 2024-09-25 03:30:42 +0200 | <EvanR> | lol |
| 2024-09-25 03:30:47 +0200 | <monochrom> | OK fine! :) |
| 2024-09-25 03:31:02 +0200 | <monochrom> | I think some people do that. |
| 2024-09-25 03:31:22 +0200 | <EvanR> | not even people who wear sandals and socks do that |
| 2024-09-25 03:31:32 +0200 | <monochrom> | mom used to advise "it's winter, put on two pants". (I declined.) |
| 2024-09-25 03:31:43 +0200 | <EvanR> | two pants |
| 2024-09-25 03:31:50 +0200 | <EvanR> | left leg and right leg |
| 2024-09-25 03:31:55 +0200 | <haskellbridge> | <Bowuigi> You could use two shirts as an example instead |
| 2024-09-25 03:32:01 +0200 | geekosaur | wonders where overshoes fit here 😛 |
| 2024-09-25 03:32:37 +0200 | <monochrom> | I don't suppose you would put on two layers of overshoes? |
| 2024-09-25 03:33:09 +0200 | <monochrom> | The "VHS, UHS, HD, UHD, VVVVUUUUHD" progression applies. |
| 2024-09-25 03:33:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 03:33:57 +0200 | <EvanR> | highspeed CMOS |
| 2024-09-25 03:34:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-25 03:34:05 +0200 | <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 03:34:27 +0200 | <EvanR> | that's why the layers are indexed by an ordinal |
| 2024-09-25 03:34:54 +0200 | <geekosaur> | overshoe_{\omega} |
| 2024-09-25 03:35:32 +0200 | <monochrom> | haha |
| 2024-09-25 03:35:49 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 2024-09-25 03:36:16 +0200 | <monochrom> | Err, s/HS/HF/ # VHF, UHF |
| 2024-09-25 03:37:09 +0200 | <geekosaur> | that made perfect sense until they figured out how to generate and control microwave frequencies |
| 2024-09-25 03:37:41 +0200 | <geekosaur> | then they just gave up and switched to Greek suffixes |
| 2024-09-25 03:37:46 +0200 | <geekosaur> | err, prefixes |
| 2024-09-25 03:38:45 +0200 | <EvanR> | microwaves, nanowaves, picowaves |
| 2024-09-25 03:38:50 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-25 03:39:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-25 03:39:47 +0200 | <geekosaur> | I think you're up to X-rays before you need picowaves? maybe even soft gammas |
| 2024-09-25 03:39:56 +0200 | geekosaur | is too tired to work out the math |
| 2024-09-25 03:41:21 +0200 | euandreh | (~Thunderbi@189.6.105.228) (Remote host closed the connection) |
| 2024-09-25 03:41:41 +0200 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2024-09-25 03:42:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-25 03:43:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 03:47:44 +0200 | <c_wraith> | according to wikipedia, that's in the gamma range |
| 2024-09-25 03:48:02 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-25 03:49:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-25 03:50:22 +0200 | <EvanR> | HULK SMASH |
| 2024-09-25 03:51:05 +0200 | <geekosaur> | remember how high that dial got turneed up, those might have been femtos |
| 2024-09-25 03:51:16 +0200 | <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 03:51:38 +0200 | <geekosaur> | beats me |
| 2024-09-25 03:52:45 +0200 | <EvanR> | lol |
| 2024-09-25 03:53:06 +0200 | <EvanR> | it means he's nucular |
| 2024-09-25 03:54:13 +0200 | <monochrom> | Would it also be Ray with upper R? |
| 2024-09-25 03:54:29 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-25 03:54:30 +0200 | <c_wraith> | No, Ray claims to have been somewhere else at the time |
| 2024-09-25 03:56:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 03:56:54 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-25 03:59:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 04:08:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 04:08:41 +0200 | <monochrom> | haha |
| 2024-09-25 04:09:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-09-25 04:11:12 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 244 seconds) |
| 2024-09-25 04:12:31 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2024-09-25 04:12:47 +0200 | sourcetarius_ | (~sourcetar@user/sourcetarius) sourcetarius |
| 2024-09-25 04:13:08 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Read error: Connection reset by peer) |
| 2024-09-25 04:14:47 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-25 04:17:24 +0200 | td_ | (~td@i53870915.versanet.de) (Ping timeout: 260 seconds) |
| 2024-09-25 04:18:51 +0200 | td_ | (~td@i5387090E.versanet.de) td_ |
| 2024-09-25 04:19:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 04:23:57 +0200 | rekahsoft | (~rekahsoft@76.69.85.220) (Ping timeout: 246 seconds) |
| 2024-09-25 04:24:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-25 04:35:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 04:40:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 04:48:03 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 252 seconds) |
| 2024-09-25 04:49:54 +0200 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 04:50:20 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-25 04:51:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 04:55:14 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-25 04:56:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 04:56:28 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 272 seconds) |
| 2024-09-25 04:57:57 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-09-25 04:58:11 +0200 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 05:01:24 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-25 05:06:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 05:11:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-25 05:11:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 05:13:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 05:18:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 05:22:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 05:27:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 05:28:24 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Read error: Connection reset by peer) |
| 2024-09-25 05:29:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-25 05:32:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 05:38:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 05:38:51 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2024-09-25 05:39:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-09-25 05:42:51 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-09-25 05:43:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 05:44:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-25 05:44:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 05:44:41 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-09-25 05:46:37 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-09-25 05:49:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-25 05:52:30 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2024-09-25 05:54:21 +0200 | Square2 | (~Square4@user/square) Square |
| 2024-09-25 05:57:57 +0200 | hgolden | (~hgolden@23.162.40.28) hgolden |
| 2024-09-25 06:00:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 06:05:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 06:05:57 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-09-25 06:06:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-25 06:06:39 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-25 06:11:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-25 06:11:44 +0200 | sourcetarius_ | (~sourcetar@user/sourcetarius) (Ping timeout: 260 seconds) |
| 2024-09-25 06:12:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 06:15:12 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2024-09-25 06:16:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 06:16:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-25 06:20:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-25 06:31:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 06:35:54 +0200 | rosco | (~rosco@175.136.158.234) rosco |
| 2024-09-25 06:36:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 06:37:11 +0200 | synchromesh | (~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) (Read error: Connection reset by peer) |
| 2024-09-25 06:40:24 +0200 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) synchromesh |
| 2024-09-25 06:40:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-09-25 06:42:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-25 06:45:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 06:46:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 06:49:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-09-25 06:49:40 +0200 | euleritian | (~euleritia@dynamic-176-004-197-063.176.4.pool.telefonica.de) |
| 2024-09-25 06:50:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 06:53:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-25 06:54:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-09-25 06:56:47 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-25 07:00:06 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2024-09-25 07:01:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 07:02:32 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-25 07:02:50 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-09-25 07:06:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 07:07:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 07:08:08 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-09-25 07:10:36 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-09-25 07:11:11 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) dagit |
| 2024-09-25 07:13:14 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-09-25 07:14:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-25 07:17:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 07:19:02 +0200 | itaipu | (~itaipu@168.121.99.42) (Read error: Connection reset by peer) |
| 2024-09-25 07:20:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 07:21:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 07:22:32 +0200 | <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 07:30:06 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-25 07:31:58 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-25 07:32:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 07:33:50 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 07:35:38 +0200 | itaipu | (~itaipu@168.121.99.42) itaipu |
| 2024-09-25 07:37:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-25 07:40:53 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Remote host closed the connection) |
| 2024-09-25 07:41:00 +0200 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-09-25 07:42:03 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-09-25 07:42:08 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) dagit |
| 2024-09-25 07:42:30 +0200 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-25 07:43:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-25 07:44:06 +0200 | rosco | (~rosco@175.136.158.234) rosco |
| 2024-09-25 07:46:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 07:52:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 07:57:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 08:03:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 08:07:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-25 08:08:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-25 08:11:36 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Remote host closed the connection) |
| 2024-09-25 08:12:54 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) dagit |
| 2024-09-25 08:14:36 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-09-25 08:17:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-25 08:19:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 08:24:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 08:26:33 +0200 | euleritian | (~euleritia@dynamic-176-004-197-063.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-25 08:28:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 08:29:53 +0200 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) |
| 2024-09-25 08:30:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 08:32:36 +0200 | rsoeldner | (~rsoeldner@p200300cf074e62d869a0b1f76b7df2e5.dip0.t-ipconnect.de) |
| 2024-09-25 08:33:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-25 08:35:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-25 08:45:35 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer) |
| 2024-09-25 08:46:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 08:46:33 +0200 | bailsman | (~ejrietvel@revspace/participant/bailsman) bailsman |
| 2024-09-25 08:48:17 +0200 | <bailsman> | Is any monoid in the category of endofunctors necessarily a monad? |
| 2024-09-25 08:50:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-25 08:51:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 08:53:38 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-09-25 08:56:06 +0200 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds) |
| 2024-09-25 08:56:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-25 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-25 09:00:35 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-25 09:01:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 09:07:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 09:07:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 09:12:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 09:13:30 +0200 | Inst_ | Inst |
| 2024-09-25 09:13:31 +0200 | <Inst> | huh |
| 2024-09-25 09:13:37 +0200 | <Inst> | Debug.Trace can be so cute |
| 2024-09-25 09:14:09 +0200 | <Inst> | foo (x:xs) = traceShowId x + traceShow (show xs) (foo xs) |
| 2024-09-25 09:14:14 +0200 | <Inst> | foo [] = 0 |
| 2024-09-25 09:14:26 +0200 | <tomsmeding> | bailsman: https://ncatlab.org/nlab/show/monad#definition seems to claim that yes, it is |
| 2024-09-25 09:16:20 +0200 | <c_wraith> | Inst: I wouldn't do it that way. The order of evaluation of the arguments to (+) is indeterminate |
| 2024-09-25 09:17:08 +0200 | <Inst> | I'm just trying to figure out what "baby's first recursion" would look like with debug.trace |
| 2024-09-25 09:17:50 +0200 | <c_wraith> | foo (x:xs) | traceShow (x, xs) False = undefined | otherwise = x + foo xs |
| 2024-09-25 09:18:17 +0200 | <c_wraith> | lean on specified evaluation order to get traced output in a specified order |
| 2024-09-25 09:18:31 +0200 | <c_wraith> | (guards are always checked top to bottom) |
| 2024-09-25 09:19:14 +0200 | <Inst> | you could use let / where with bang patterns for it |
| 2024-09-25 09:19:23 +0200 | <haskellbridge> | <sm> The great thing about trace is you can stick it almost anywhere and you'll still get some insight |
| 2024-09-25 09:19:41 +0200 | <Inst> | i'm just wondering, does anyone actually introduce Debug.Trace early? |
| 2024-09-25 09:20:02 +0200 | <Inst> | what I'm trying to get is the standard recursion diagram generated by Debug.Trace |
| 2024-09-25 09:20:02 +0200 | <haskellbridge> | <sm> I think it should be taught early |
| 2024-09-25 09:21:08 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-25 09:22:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 09:22:21 +0200 | <haskellbridge> | <sm> insert a trace everywhere, see what you get, remove the excess ones |
| 2024-09-25 09:25:01 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-25 09:26:28 +0200 | <Inst> | did trace get reworked recently? |
| 2024-09-25 09:26:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 09:27:22 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb01cd8bad668f11f045.dip0.t-ipconnect.de) acidjnk |
| 2024-09-25 09:28:26 +0200 | <Inst> | ehhh, eventlog etc have been here forever |
| 2024-09-25 09:34:07 +0200 | ajh | (~username@hardfought/member/joes) joes |
| 2024-09-25 09:34:21 +0200 | <geekosaur> | there are some shortcomings: you're forcing `xs` earlier than the recursion without the `traceShow` might |
| 2024-09-25 09:34:40 +0200 | rsoeldner | (~rsoeldner@p200300cf074e62d869a0b1f76b7df2e5.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2024-09-25 09:40:03 +0200 | <Inst> | yeah i guess i'm inexperienced in using Debug.Trace; I've only ever used traceShowId |
| 2024-09-25 09:40:18 +0200 | <Inst> | it'd actually be pretty fun to have a breakpoint function in Debug.Trace, though |
| 2024-09-25 09:40:56 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 09:40:56 +0200 | <Inst> | *action |
| 2024-09-25 09:44:59 +0200 | <geekosaur> | what would it do in compiled code? |
| 2024-09-25 09:46:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 09:46:52 +0200 | <Inst> | pause action until keypress |
| 2024-09-25 09:47:10 +0200 | <geekosaur> | how does that interact with multiple threads? |
| 2024-09-25 09:48:00 +0200 | <Inst> | it wouldn't, and the implementation I'm thinking of right now would bug out if stdin had a buffer :( |
| 2024-09-25 09:48:05 +0200 | <geekosaur> | what happens if the user is typing into the program when it fires? |
| 2024-09-25 09:49:04 +0200 | <Lears> | @hackage breakpoint |
| 2024-09-25 09:49:05 +0200 | <lambdabot> | https://hackage.haskell.org/package/breakpoint |
| 2024-09-25 09:49:51 +0200 | <geekosaur> | (there are ways around the buffer issue, at least on POSIX. look up `/dev/tty`) |
| 2024-09-25 09:50:52 +0200 | <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 09:50:52 +0200 | <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 09:52:24 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 252 seconds) |
| 2024-09-25 09:54:00 +0200 | <lortabac> | thanks Lears, I didn't know this package |
| 2024-09-25 09:54:11 +0200 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 09:54:37 +0200 | <lortabac> | maybe not 100% reliable but it still looks very useful |
| 2024-09-25 09:55:05 +0200 | <Inst> | yeah, thanks @ Learss as well |
| 2024-09-25 09:57:18 +0200 | chele | (~chele@user/chele) chele |
| 2024-09-25 09:58:25 +0200 | <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 09:59:39 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-25 09:59:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 10:00:58 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-25 10:01:39 +0200 | <geekosaur> | (source says neither one does anything but iirc it's the codegen that has to actually implement it?) |
| 2024-09-25 10:04:16 +0200 | ajh | (~username@hardfought/member/joes) (Ping timeout: 272 seconds) |
| 2024-09-25 10:06:33 +0200 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-25 10:06:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-25 10:09:33 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2024-09-25 10:16:09 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-25 10:16:45 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-09-25 10:19:12 +0200 | morb | (~morb@108.41.100.120) |
| 2024-09-25 10:21:46 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-25 10:23:54 +0200 | morb | (~morb@108.41.100.120) (Ping timeout: 260 seconds) |
| 2024-09-25 10:24:16 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-25 10:24:52 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-25 10:25:49 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-25 10:27:59 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-25 10:34:27 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-09-25 10:40:20 +0200 | akegalj | (~akegalj@174-46.dsl.iskon.hr) akegalj |
| 2024-09-25 10:47:35 +0200 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) (Read error: Connection reset by peer) |
| 2024-09-25 10:48:58 +0200 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) synchromesh |
| 2024-09-25 10:49:50 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-25 10:50:08 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-25 10:51:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 10:54:11 +0200 | Digit | (~user@user/digit) Digit |
| 2024-09-25 10:54:13 +0200 | <cheater> | don't you just hate it when you're reading haskell code and it's just meme code |
| 2024-09-25 10:56:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-25 10:59:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-25 11:01:02 +0200 | <tomsmeding> | geekosaur: `breakpoint` doesn't seem to do anything for me either in compiled or in interpreted mode |
| 2024-09-25 11:01:36 +0200 | <tomsmeding> | compiling in profiling mode doesn't change anything (I guess it was worth a try) |
| 2024-09-25 11:14:14 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-09-25 11:17:33 +0200 | <Inst> | grrr, how do you write to stdin? |
| 2024-09-25 11:19:40 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-25 11:23:06 +0200 | <mauke> | ? ?? |
| 2024-09-25 11:23:09 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-25 11:23:22 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-25 11:26:04 +0200 | <sm> | I saw the breakpoint package work once |
| 2024-09-25 11:26:47 +0200 | <sm> | I mean, it worked when I tried it a while back |
| 2024-09-25 11:27:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 11:28:40 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-09-25 11:30:17 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2024-09-25 11:31:14 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-25 11:32:00 +0200 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-09-25 11:32:28 +0200 | lucy_ | (~lucy@user/lucy) lucy |
| 2024-09-25 11:32:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-25 11:35:25 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 252 seconds) |
| 2024-09-25 11:36:34 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-25 11:36:46 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-25 11:39:44 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-25 11:43:10 +0200 | rosco | (~rosco@175.136.158.234) rosco |
| 2024-09-25 11:45:14 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-09-25 11:45:30 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-25 11:46:14 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds) |
| 2024-09-25 11:47:18 +0200 | joes | (~username@2a02:8206:4666:6900:b62e:99ff:fe41:2800) |
| 2024-09-25 11:52:02 +0200 | joes | (~username@2a02:8206:4666:6900:b62e:99ff:fe41:2800) (Ping timeout: 265 seconds) |
| 2024-09-25 11:53:08 +0200 | <tomsmeding> | Inst: stdin is an input channel |
| 2024-09-25 11:53:15 +0200 | <tomsmeding> | you don't write to it, you read from it |
| 2024-09-25 11:53:46 +0200 | <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 11:56:52 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
| 2024-09-25 11:57:00 +0200 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2024-09-25 12:01:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 12:06:34 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-25 12:06:39 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2024-09-25 12:06:54 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-09-25 12:07:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 12:10:43 +0200 | <Inst> | tomsmeding: I'm trying to extract the buffer and replace it on use. |
| 2024-09-25 12:11:07 +0200 | <tomsmeding> | that sounds like a bad ide |
| 2024-09-25 12:11:09 +0200 | <tomsmeding> | *idea |
| 2024-09-25 12:11:41 +0200 | <Inst> | Handle__ isn't that bad, tbh, it's mostly IORefs and MVars |
| 2024-09-25 12:13:05 +0200 | <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 12:14:00 +0200 | <tomsmeding> | beware of relying on its behaviour for "production" code though |
| 2024-09-25 12:14:09 +0200 | <tomsmeding> | (whatever "production" means in your context) |
| 2024-09-25 12:14:12 +0200 | <Inst> | i think it says so in the name? |
| 2024-09-25 12:14:21 +0200 | <tomsmeding> | it's a debugging tool -- yes it says so in the name |
| 2024-09-25 12:14:27 +0200 | <tomsmeding> | it's an awesome debugging tool |
| 2024-09-25 12:14:59 +0200 | <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 12:15:12 +0200 | <Inst> | yeah, i had a phantom bug with someone's library as a consequence :( |
| 2024-09-25 12:15:15 +0200 | <tomsmeding> | that's not a situation you really want to be in |
| 2024-09-25 12:16:14 +0200 | <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 12:16:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 12:19:02 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-25 12:22:44 +0200 | <ski> | @quote refreshing.desert |
| 2024-09-25 12:22:44 +0200 | <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 12:23:03 +0200 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2024-09-25 12:25:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 12:29:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2024-09-25 12:30:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-25 12:40:48 +0200 | <Inst> | https://paste.tomsmeding.com/0cihXTeH |
| 2024-09-25 12:41:30 +0200 | <Inst> | whoops, it's a bug :( |
| 2024-09-25 12:42:04 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-25 12:42:25 +0200 | <ski> | (`trace` ()) |
| 2024-09-25 12:43:12 +0200 | <Inst> | needs parens |
| 2024-09-25 12:43:16 +0200 | <Inst> | i mean in the output |
| 2024-09-25 12:44:34 +0200 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-25 12:45:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-09-25 12:47:13 +0200 | lucy_ | (~lucy@user/lucy) (Ping timeout: 248 seconds) |
| 2024-09-25 12:52:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-25 12:53:25 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 12:54:15 +0200 | turlando | (~turlando@user/turlando) () |
| 2024-09-25 12:55:22 +0200 | turlando | (~turlando@user/turlando) turlando |
| 2024-09-25 12:57:17 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 265 seconds) |
| 2024-09-25 12:57:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-25 13:00:37 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-25 13:01:40 +0200 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 13:09:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bae7:541b:79b5:8d8e) |
| 2024-09-25 13:19:22 +0200 | kalj | (~kalj@h-158-174-207-174.NA.cust.bahnhof.se) kalj |
| 2024-09-25 13:21:22 +0200 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2024-09-25 13:28:52 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 13:31:58 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-09-25 13:34:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-25 13:37:18 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 246 seconds) |
| 2024-09-25 13:41:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-25 13:46:28 +0200 | rosco | (~rosco@175.136.158.234) (Read error: Connection reset by peer) |
| 2024-09-25 13:47:21 +0200 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-25 13:48:08 +0200 | rosco | (~rosco@175.136.158.234) rosco |
| 2024-09-25 13:48:40 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2024-09-25 13:49:00 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-09-25 13:55:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 13:58:22 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-25 14:00:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-25 14:02:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-25 14:03:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 14:07:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 14:08:36 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-25 14:09:24 +0200 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 14:19:37 +0200 | ash3en | (~Thunderbi@p200300e7b71f94df30470fd6e2c50668.dip0.t-ipconnect.de) ash3en |
| 2024-09-25 14:20:58 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 14:26:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 14:26:46 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-09-25 14:27:31 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-25 14:29:35 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
| 2024-09-25 14:34:07 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2024-09-25 14:34:40 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-25 14:40:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 14:47:43 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-25 14:49:58 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 245 seconds) |
| 2024-09-25 14:52:24 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-25 14:53:29 +0200 | kalj | (~kalj@h-158-174-207-174.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-09-25 14:57:04 +0200 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) (Read error: Connection reset by peer) |
| 2024-09-25 14:58:32 +0200 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) synchromesh |
| 2024-09-25 15:00:01 +0200 | <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 15:00:29 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-25 15:01:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 15:02:30 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2024-09-25 15:02:55 +0200 | <haskellbridge> | <carbolymer`> that --ghc-option if for the building ghc, or the runtime of the produced binary? |
| 2024-09-25 15:03:18 +0200 | <haskellbridge> | <carbolymer`> -with-rtsopts would be for runtime I guess |
| 2024-09-25 15:06:24 +0200 | crazazy | (~user@ip-145-116-179-33.wlan-int.ru.nl) crazazy |
| 2024-09-25 15:07:27 +0200 | morb | (~morb@108.41.100.120) |
| 2024-09-25 15:09:39 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2024-09-25 15:11:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-25 15:12:52 +0200 | morb | (~morb@108.41.100.120) (Ping timeout: 252 seconds) |
| 2024-09-25 15:18:13 +0200 | ash3en | (~Thunderbi@p200300e7b71f94df30470fd6e2c50668.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-25 15:21:47 +0200 | <haskellbridge> | <carbolymer`> I see that "cabal build all -j --semaphore" should be enough (for latest ghc and cabal), is that right? |
| 2024-09-25 15:27:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 15:28:33 +0200 | st_aldini | (~Thunderbi@136.48.22.91) (Ping timeout: 244 seconds) |
| 2024-09-25 15:29:33 +0200 | st_aldini | (~Thunderbi@136.48.22.91) st_aldini |
| 2024-09-25 15:29:43 +0200 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-09-25 15:29:48 +0200 | crazazy | (~user@ip-145-116-179-33.wlan-int.ru.nl) (Ping timeout: 272 seconds) |
| 2024-09-25 15:29:59 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 260 seconds) |
| 2024-09-25 15:32:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 15:38:52 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
| 2024-09-25 15:39:14 +0200 | dilaver_7 | (~dilaver_@user/dilaver-:32218) dilaver_ |
| 2024-09-25 15:40:31 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2024-09-25 15:41:54 +0200 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-25 15:43:21 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
| 2024-09-25 15:46:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 15:49:50 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-09-25 15:51:17 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds) |
| 2024-09-25 15:51:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 15:55:29 +0200 | rosco | (~rosco@175.136.158.234) rosco |
| 2024-09-25 15:56:37 +0200 | Square2 | (~Square4@user/square) Square |
| 2024-09-25 16:00:54 +0200 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-25 16:01:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 16:02:30 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-25 16:10:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 16:10:49 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-25 16:16:08 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Quit: ZNC 1.6.5 - http://znc.in) |
| 2024-09-25 16:16:08 +0200 | adamCS__ | adamCS |
| 2024-09-25 16:24:04 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 16:24:36 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-09-25 16:28:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |