| 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) |
| 2024-09-25 16:37:55 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 16:42:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 16:52:53 +0200 | setofsets | (~setofsets@2804:ccc:513:1a00:1069:8442:386a:459) |
| 2024-09-25 16:55:12 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-25 16:59:20 +0200 | <Inst> | probably could be cleaned up further |
| 2024-09-25 16:59:20 +0200 | <Inst> | https://paste.tomsmeding.com/cyYgn3MX |
| 2024-09-25 16:59:42 +0200 | <Inst> | would be more fun to mod it into a foldr or foldl', and the parens behavior is undesirable |
| 2024-09-25 17:03:17 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 248 seconds) |
| 2024-09-25 17:04:33 +0200 | acarrico | (~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) |
| 2024-09-25 17:13:56 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 265 seconds) |
| 2024-09-25 17:16:52 +0200 | Guest78 | (~Guest78@c-73-162-81-23.hsd1.ca.comcast.net) |
| 2024-09-25 17:23:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 17:27:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-25 17:28:17 +0200 | Guest78 | (~Guest78@c-73-162-81-23.hsd1.ca.comcast.net) (Quit: Client closed) |
| 2024-09-25 17:30:06 +0200 | JamesMowery1 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-09-25 17:30:21 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-09-25 17:31:49 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 2024-09-25 17:31:49 +0200 | JamesMowery1 | JamesMowery |
| 2024-09-25 17:35:10 +0200 | cross_ | cross |
| 2024-09-25 17:35:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-25 17:37:13 +0200 | JamesMowery0 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-09-25 17:38:29 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 248 seconds) |
| 2024-09-25 17:38:29 +0200 | JamesMowery0 | JamesMowery |
| 2024-09-25 17:41:05 +0200 | setofsets | (~setofsets@2804:ccc:513:1a00:1069:8442:386a:459) (Quit: Client closed) |
| 2024-09-25 17:46:08 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-09-25 17:46:47 +0200 | JamesMowery2 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-09-25 17:49:09 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 248 seconds) |
| 2024-09-25 17:49:09 +0200 | JamesMowery2 | JamesMowery |
| 2024-09-25 17:49:12 +0200 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-25 17:49:35 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-25 17:52:55 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-09-25 17:57:01 +0200 | akegalj | (~akegalj@174-46.dsl.iskon.hr) (Quit: leaving) |
| 2024-09-25 17:57:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 18:10:24 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds) |
| 2024-09-25 18:10:41 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-09-25 18:20:51 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-09-25 18:21:13 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-25 18:21:27 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-09-25 18:21:28 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-09-25 18:28:35 +0200 | polyphem | (~rod@p3ee3f486.dip0.t-ipconnect.de) polyphem |
| 2024-09-25 18:29:42 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-09-25 18:36:14 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-25 18:44:48 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-09-25 18:45:49 +0200 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) ft |
| 2024-09-25 18:54:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-25 18:54:30 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-25 18:55:22 +0200 | asdfaksjdflak123 | (~asdfaksjd@146.255.226.194) |
| 2024-09-25 19:01:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 19:02:14 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-25 19:04:30 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2024-09-25 19:05:54 +0200 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) (Read error: Connection reset by peer) |
| 2024-09-25 19:06:29 +0200 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2024-09-25 19:07:07 +0200 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) synchromesh |
| 2024-09-25 19:13:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-09-25 19:16:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-25 19:17:47 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-25 19:23:11 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 19:25:09 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-25 19:25:28 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-09-25 19:28:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 19:33:17 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2024-09-25 19:34:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-25 19:35:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-09-25 19:39:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-09-25 19:39:43 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-09-25 19:41:15 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2024-09-25 19:45:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-09-25 19:49:25 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-25 19:55:57 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-09-25 19:58:41 +0200 | Square3 | (~Square4@user/square) Square |
| 2024-09-25 19:58:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 20:00:41 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-09-25 20:01:03 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-09-25 20:01:33 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-25 20:03:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 20:03:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-09-25 20:05:59 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-09-25 20:07:28 +0200 | sdrfan123 | (~sdrfan123@2607:fb90:df8d:eacb:45de:a3d5:2e62:9e0c) |
| 2024-09-25 20:08:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 20:10:40 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-09-25 20:13:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 20:15:44 +0200 | hammond | (proscan@gateway04.insomnia247.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 20:27:27 +0200 | <sm> | @where hoogle |
| 2024-09-25 20:27:28 +0200 | <lambdabot> | https://hoogle.haskell.org |
| 2024-09-25 20:28:04 +0200 | hammond | (proscan@gateway04.insomnia247.nl) |
| 2024-09-25 20:28:15 +0200 | <sm> | @where+ shoogle https://www.stackage.org |
| 2024-09-25 20:28:16 +0200 | <lambdabot> | I will never forget. |
| 2024-09-25 20:28:19 +0200 | <sm> | @where+ mhoogle https://hoogle.mangoiv.com |
| 2024-09-25 20:28:19 +0200 | <lambdabot> | Done. |
| 2024-09-25 20:29:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 20:30:34 +0200 | <monochrom> | mango |
| 2024-09-25 20:30:57 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-09-25 20:31:07 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) ash3en |
| 2024-09-25 20:31:19 +0200 | <geekosaur> | maybe you want the main one to point to the others as backups? |
| 2024-09-25 20:31:58 +0200 | <monochrom> | Yeah no one will actually remember the passwords "shoogle" and "mhoogle". |
| 2024-09-25 20:31:59 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-25 20:32:27 +0200 | <monochrom> | @where has absolute zero discoverability. |
| 2024-09-25 20:33:42 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-25 20:33:48 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Client Quit) |
| 2024-09-25 20:34:18 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-09-25 20:34:41 +0200 | <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 20:34:57 +0200 | <haskellbridge> | <sm> how'd you mean geekosaur ? |
| 2024-09-25 20:35:22 +0200 | <haskellbridge> | <sm> hayoo.. that could be dropped I think |
| 2024-09-25 20:35:49 +0200 | <monochrom> | Putting all 3 URLs under "@where hoogle" |
| 2024-09-25 20:36:21 +0200 | <ski> | or at least mentioning the other ones, from the main one |
| 2024-09-25 20:36:37 +0200 | <haskellbridge> | <sm> IME where doesn't handle that too well, it's easiest when each entry is one url |
| 2024-09-25 20:37:18 +0200 | <haskellbridge> | <sm> but at least I can type "hal hoogle" in browser address bar and see them all |
| 2024-09-25 20:37:28 +0200 | <haskellbridge> | <sm> where should do a similar search showing multiple matches IMHO |
| 2024-09-25 20:37:34 +0200 | <monochrom> | @where paste |
| 2024-09-25 20:37:34 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-09-25 20:37:56 +0200 | <monochrom> | That should mean @where stores arbitrary text as long as there is no newline. |
| 2024-09-25 20:38:33 +0200 | <ski> | @where Io |
| 2024-09-25 20:38:34 +0200 | <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 20:38:34 +0200 | <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 20:38:44 +0200 | <monochrom> | But meh, I don't even use hoogle, so I won't do anything about it. |
| 2024-09-25 20:38:51 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-25 20:39:22 +0200 | <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 20:39:42 +0200 | <haskellbridge> | <sm> feel free to try other arrangements, you can update with @where+ |
| 2024-09-25 20:40:01 +0200 | <haskellbridge> | <sm> anyway, once hoogle comes back noone will remember these :) |
| 2024-09-25 20:41:31 +0200 | <haskellbridge> | <sm> btw I never remember, who operates lambdabot - is it you ski ? |
| 2024-09-25 20:41:44 +0200 | <geekosaur> | int-e |
| 2024-09-25 20:41:48 +0200 | <geekosaur> | @version |
| 2024-09-25 20:41:48 +0200 | <lambdabot> | lambdabot 5.3.0.1 |
| 2024-09-25 20:41:48 +0200 | <lambdabot> | git clone https://github.com/lambdabot/lambdabot |
| 2024-09-25 20:41:50 +0200 | <haskellbridge> | <sm> ah yes, thanks |
| 2024-09-25 20:41:53 +0200 | <geekosaur> | hm, wrong one |
| 2024-09-25 20:41:58 +0200 | <geekosaur> | @where L.hs |
| 2024-09-25 20:41:58 +0200 | <lambdabot> | what lambdabot has in scope is at https://silicon.int-e.eu/lambdabot/State/Pristine.hs |
| 2024-09-25 20:42:06 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-09-25 20:42:34 +0200 | <haskellbridge> | <sm> @where hayoo |
| 2024-09-25 20:42:45 +0200 | <geekosaur> | need to split it into two lines |
| 2024-09-25 20:42:50 +0200 | <haskellbridge> | <sm> @where hayoo |
| 2024-09-25 20:43:09 +0200 | <haskellbridge> | <sm> ..something.. |
| 2024-09-25 20:43:10 +0200 | <haskellbridge> | @where hayoo (I forgot) |
| 2024-09-25 20:43:10 +0200 | <lambdabot> | http://hayoo.fh-wedel.de/ -- See also Hoogle: http://haskell.org/hoogle http://fpcomplete.com/hoogle |
| 2024-09-25 20:43:19 +0200 | <haskellbridge> | <geekosaur> . |
| 2024-09-25 20:43:19 +0200 | <haskellbridge> | @where hayoo |
| 2024-09-25 20:43:22 +0200 | <haskellbridge> | <sm> there's a multi-url one |
| 2024-09-25 20:43:30 +0200 | <haskellbridge> | <geekosaur> argh, got a space inserted |
| 2024-09-25 20:43:49 +0200 | <haskellbridge> | <geekosaur> (my client is being a little weird, took multiple tries to even send that) |
| 2024-09-25 20:44:12 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-09-25 20:45:01 +0200 | <int-e> | @seen int-e |
| 2024-09-25 20:45:01 +0200 | <lambdabot> | You are in #esolangs, #haskell-offtopic, #ghc and #haskell.. |
| 2024-09-25 20:45:20 +0200 | <ski> | @seen mmorrow |
| 2024-09-25 20:45:20 +0200 | <lambdabot> | I haven't seen mmorrow. |
| 2024-09-25 20:45:25 +0200 | <sm> | @seen lambdabot |
| 2024-09-25 20:45:25 +0200 | <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 20:45:25 +0200 | <lambdabot> | haskell-cn, #haskell-ghcup, #haskell-lens, #haskell-in-depth, #haskell-offtopic, #haskell-blah, #haskell-beginners, #ghc and #haskell |
| 2024-09-25 20:45:41 +0200 | <ski> | @seen TheHunter |
| 2024-09-25 20:45:42 +0200 | <lambdabot> | I haven't seen TheHunter. |
| 2024-09-25 20:45:57 +0200 | asdfaksjdflak123 | (~asdfaksjd@146.255.226.194) (Ping timeout: 256 seconds) |
| 2024-09-25 20:46:59 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 20:47:54 +0200 | <geekosaur> | And yes, references to Hayoo can go now |
| 2024-09-25 20:48:00 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-25 20:48:09 +0200 | <sm> | @where+ hayoo |
| 2024-09-25 20:48:09 +0200 | <lambdabot> | It is forgotten. |
| 2024-09-25 20:48:19 +0200 | <geekosaur> | It'll take HF involvement to bring Holumbus back to usability |
| 2024-09-25 20:48:42 +0200 | <geekosaur> | (that being the research-project search engine on which Hayoo had been based) |
| 2024-09-25 20:48:43 +0200 | <haskellbridge> | <sm> good: |
| 2024-09-25 20:48:43 +0200 | <haskellbridge> | @where links |
| 2024-09-25 20:48:43 +0200 | <lambdabot> | https://haskell-links.org collected Haskell links and search tools, including @where links |
| 2024-09-25 20:48:55 +0200 | <haskellbridge> | <sm> bad (why doesn't this work ?): |
| 2024-09-25 20:48:55 +0200 | <haskellbridge> | @where where |
| 2024-09-25 20:48:56 +0200 | <lambdabot> | ^^^^^^ |
| 2024-09-25 20:49:40 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-25 20:50:16 +0200 | <monochrom> | It works, IMO. |
| 2024-09-25 20:50:43 +0200 | <haskellbridge> | <sm> I expected it to find one of these links: https://haskell-links.org/?q=where |
| 2024-09-25 20:50:54 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-25 20:51:26 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-25 20:51:39 +0200 | <geekosaur> | same thing as with the @seen above, LB handles it itself |
| 2024-09-25 20:51:49 +0200 | <monochrom> | Isn't that a haskell-links.org problem, not an @where problem? |
| 2024-09-25 20:51:52 +0200 | <geekosaur> | probably that's not a good idea here |
| 2024-09-25 20:52:17 +0200 | <geekosaur> | no, I think @where shouldn't intercept that lookup |
| 2024-09-25 20:52:33 +0200 | <geekosaur> | it's not doing anything useful |
| 2024-09-25 20:52:35 +0200 | <monochrom> | Oh speaking of self-reference. |
| 2024-09-25 20:53:56 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-25 20:54:18 +0200 | <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 20:54:19 +0200 | <sm> | I was just wondering why the "where" search pattern should be handled specially and give an obscure error |
| 2024-09-25 20:54:47 +0200 | <geekosaur> | it's not an obscure error, it's a smart-ass self-ref |
| 2024-09-25 20:55:08 +0200 | <geekosaur> | it should go |
| 2024-09-25 20:55:18 +0200 | <sm> | bah.. whoosh way over my head |
| 2024-09-25 20:56:02 +0200 | <sm> | I must be more alert to jokes from tools :) |
| 2024-09-25 20:56:11 +0200 | <geekosaur> | (smart-ass responses are an early days thing, most of them probably shouldn't be a thing any more) |
| 2024-09-25 20:57:04 +0200 | <sm> | 👍🏻 |
| 2024-09-25 20:57:45 +0200 | <int-e> | That @where where response isn't built in; it's a normal entry in its "database". |
| 2024-09-25 20:58:19 +0200 | <geekosaur> | you sure? haskell-links.org is pulling from that db and sm says that's not what it gets? |
| 2024-09-25 20:58:20 +0200 | <Franciman> | do you use a relational database for lambdabot? |
| 2024-09-25 20:58:28 +0200 | <geekosaur> | it's all text |
| 2024-09-25 20:58:31 +0200 | <Franciman> | nice |
| 2024-09-25 20:58:34 +0200 | <geekosaur> | flat text files |
| 2024-09-25 20:58:43 +0200 | <Franciman> | good old string |
| 2024-09-25 20:58:44 +0200 | <geekosaur> | granting that they're read into Maps internally |
| 2024-09-25 20:58:46 +0200 | <monochrom> | Probably quadratic-time search. |
| 2024-09-25 20:58:58 +0200 | <monochrom> | OK just kidding |
| 2024-09-25 20:59:45 +0200 | <int-e> | yes I'm sure. |
| 2024-09-25 21:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-25 21:00:34 +0200 | <int-e> | Franciman: this particular thing is stored as a gzip-compressed text file that stores keys and associated strings alternatingly |
| 2024-09-25 21:00:41 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-25 21:01:53 +0200 | <int-e> | geekosaur: you can see that none of the keys is "where". |
| 2024-09-25 21:02:42 +0200 | <ski> | @yhjulwwiefzojcbxybbruweejw |
| 2024-09-25 21:02:42 +0200 | <lambdabot> | "\"#$%&'()*+,\"" |
| 2024-09-25 21:02:57 +0200 | <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 21:04:36 +0200 | <sm> | yes I see - haskell-links.org ignores entries without a url. I had forgotten. |
| 2024-09-25 21:06:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 21:08:05 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-09-25 21:10:26 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-09-25 21:15:36 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-25 21:15:54 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-09-25 21:17:44 +0200 | lxsameer | (lxsameer@Serene/lxsameer) lxsameer |
| 2024-09-25 21:19:59 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 21:24:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 21:26:52 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-25 21:27:38 +0200 | sdrfan123 | (~sdrfan123@2607:fb90:df8d:eacb:45de:a3d5:2e62:9e0c) (Quit: Client closed) |
| 2024-09-25 21:29:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 21:29:54 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-25 21:32:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 21:35:25 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-25 21:37:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-25 21:39:49 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-25 21:40:05 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-09-25 21:40:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 21:40:49 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) ash3en |
| 2024-09-25 21:44:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-25 21:47:24 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-09-25 21:47:29 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2024-09-25 21:48:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-25 21:48:59 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-09-25 21:52:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 21:55:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 21:57:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-25 21:58:29 +0200 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-09-25 22:01:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-25 22:04:14 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2024-09-25 22:06:56 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-25 22:07:05 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) ash3en |
| 2024-09-25 22:09:27 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Client Quit) |
| 2024-09-25 22:09:32 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 2024-09-25 22:10:26 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 22:11:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 22:14:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-25 22:15:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-25 22:16:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 22:17:45 +0200 | athan | (~athan@2600:382:2d19:73c:17d9:ebb7:e730:bcbf) athan |
| 2024-09-25 22:21:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-25 22:22:56 +0200 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2024-09-25 22:27:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 22:28:34 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-25 22:29:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 22:32:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-25 22:34:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 22:34:43 +0200 | hiecaq` | (~hiecaq@user/hiecaq) hiecaq |
| 2024-09-25 22:36:17 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Ping timeout: 255 seconds) |
| 2024-09-25 22:39:30 +0200 | michalz_ | (~michalz@185.246.207.205) |
| 2024-09-25 22:39:58 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-09-25 22:40:09 +0200 | athan | (~athan@2600:382:2d19:73c:17d9:ebb7:e730:bcbf) (Ping timeout: 246 seconds) |
| 2024-09-25 22:40:56 +0200 | michalz | (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 2024-09-25 22:43:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 22:47:04 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-09-25 22:47:50 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-25 22:48:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 22:50:17 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) ash3en |
| 2024-09-25 22:53:43 +0200 | athan | (~athan@2600:382:2d19:73c:a48e:d16f:56f:3204) athan |
| 2024-09-25 22:59:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 23:00:06 +0200 | lxsameer | (lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-09-25 23:03:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-25 23:04:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 23:06:04 +0200 | Guest46 | (~Guest46@2001:871:216:aeef:9173:3d69:4538:17f0) |
| 2024-09-25 23:08:47 +0200 | Guest46 | (~Guest46@2001:871:216:aeef:9173:3d69:4538:17f0) (Client Quit) |
| 2024-09-25 23:14:39 +0200 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) (Read error: Connection reset by peer) |
| 2024-09-25 23:14:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 23:15:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-25 23:15:42 +0200 | synchromesh | (~john@2406:5a00:241a:5600:ac18:5792:28a:df5a) synchromesh |
| 2024-09-25 23:18:19 +0200 | michalz_ | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2024-09-25 23:20:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-25 23:22:14 +0200 | polyphem | (~rod@p3ee3f486.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2024-09-25 23:28:06 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-09-25 23:30:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 23:30:54 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-09-25 23:31:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-25 23:35:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 23:37:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 23:41:06 +0200 | masterbuilder | (~quassel@user/masterbuilder) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-09-25 23:41:14 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) ash3en |
| 2024-09-25 23:43:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-25 23:46:15 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-25 23:46:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 23:51:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-25 23:52:49 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-09-25 23:53:07 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-25 23:53:12 +0200 | ash3en | (~Thunderbi@ip1f1118e6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2024-09-25 23:55:11 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-25 23:57:59 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-25 23:59:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |