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