Logs: liberachat/#haskell
| 2025-08-28 11:32:40 | <Lycurgus> | kuribas, ack |
| 2025-08-28 11:33:57 | → | califax joins (~califax@user/califx) |
| 2025-08-28 11:34:24 | → | haritz joins (~hrtz@209.35.65.79) |
| 2025-08-28 11:34:24 | × | haritz quits (~hrtz@209.35.65.79) (Changing host) |
| 2025-08-28 11:34:24 | → | haritz joins (~hrtz@user/haritz) |
| 2025-08-28 11:38:17 | → | tromp joins (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) |
| 2025-08-28 11:39:34 | <kuribas> | I think organic is taken synonym with self organising, effortless, ... |
| 2025-08-28 11:41:00 | <jreicher> | ski: Church's thesis is an idea in the absence of axioms. That's the whole point. If anything it suggests the axioms and not the other way round. |
| 2025-08-28 11:43:09 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-28 11:43:47 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-28 11:48:43 | <Franciman> | jreicher: i also like to see it as an empirical law |
| 2025-08-28 11:48:50 | <Franciman> | like newton's gravity laws |
| 2025-08-28 11:49:03 | <Franciman> | you keep it while it holds, then when somebody comes up with realtivity |
| 2025-08-28 11:49:05 | <Franciman> | you drop it |
| 2025-08-28 11:49:27 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-28 11:51:47 | × | tromp quits (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-28 11:53:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-28 11:58:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-28 12:01:48 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-08-28 12:03:03 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2025-08-28 12:04:33 | × | literon quits (~literon@2E8B6C41.catv.pool.telekom.hu) (Quit: Client closed) |
| 2025-08-28 12:08:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-28 12:10:50 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-28 12:10:54 | × | fp quits (~Thunderbi@2001:708:150:10::72df) (Quit: fp) |
| 2025-08-28 12:11:00 | → | fp1 joins (~Thunderbi@wireless-86-50-141-108.open.aalto.fi) |
| 2025-08-28 12:11:04 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-08-28 12:12:56 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) |
| 2025-08-28 12:12:56 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host) |
| 2025-08-28 12:12:56 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-08-28 12:13:18 | fp1 | is now known as fp |
| 2025-08-28 12:13:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-28 12:15:38 | × | aku quits (aku@65.108.245.241) (Quit: Lost terminal) |
| 2025-08-28 12:16:57 | → | aku joins (aku@65.108.245.241) |
| 2025-08-28 12:18:25 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-08-28 12:24:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-28 12:29:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-28 12:32:02 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-28 12:33:26 | → | tbahne joins (~tbahne@user/tbahne) |
| 2025-08-28 12:40:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-28 12:43:35 | × | meejah quits (~meejah@rutas.meejah.ca) (Server closed connection) |
| 2025-08-28 12:43:44 | → | meejah joins (~meejah@rutas.meejah.ca) |
| 2025-08-28 12:45:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-28 12:45:32 | trickard_ | is now known as trickard |
| 2025-08-28 12:45:56 | → | tromp joins (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) |
| 2025-08-28 12:46:12 | × | AlexNoo quits (~AlexNoo@5.139.233.33) (Quit: Leaving) |
| 2025-08-28 12:47:04 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) |
| 2025-08-28 12:47:04 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host) |
| 2025-08-28 12:47:04 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-08-28 12:52:34 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-28 12:54:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-28 12:57:07 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-08-28 13:00:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-28 13:03:59 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) |
| 2025-08-28 13:03:59 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host) |
| 2025-08-28 13:03:59 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-08-28 13:06:12 | <Athas> | Is the OverloadedLists extension known to be very annoying to use? Just enabling it leads to lots of errors about ambiguity. |
| 2025-08-28 13:06:52 | <Athas> | I suppose my coding style may simply be inappropriate, but it looks like most of my list literals become ambiguous. |
| 2025-08-28 13:08:54 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-28 13:12:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-28 13:16:49 | <probie> | It was less bad before `foldable` |
| 2025-08-28 13:17:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-28 13:21:57 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) |
| 2025-08-28 13:21:57 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host) |
| 2025-08-28 13:21:57 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-08-28 13:22:41 | <Athas> | Right, it's definitely Foldable that creates the ambiguities. |
| 2025-08-28 13:22:54 | <Athas> | It would perhaps be useful if it defaulted to lists in ambiguous cases, but currently it seems completely useless. |
| 2025-08-28 13:23:28 | <haskellbridge> | <Morj> Yeah I had a similar problem. That's why nowadays I leave explicit fromList calls |
| 2025-08-28 13:25:37 | <Leary> | Athas: Tried `default ([])`? |
| 2025-08-28 13:27:09 | <Athas> | Leary: does that work? |
| 2025-08-28 13:27:16 | <Leary> | I don't know. :) |
| 2025-08-28 13:27:34 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-28 13:27:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-28 13:28:19 | <Athas> | It does not. But the error message complains that [] is not an instance of IsString, so I'm guessing OverloadedStrings got to that bit of notation first. |
| 2025-08-28 13:28:34 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-28 13:31:31 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-08-28 13:31:47 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-08-28 13:32:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-28 13:33:01 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-28 13:36:13 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-08-28 13:39:47 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-28 13:42:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-28 13:43:28 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-08-28 13:43:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-28 13:45:27 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-28 13:47:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-08-28 13:48:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-28 13:49:58 | → | AlexZenon joins (~alzenon@5.139.233.33) |
| 2025-08-28 13:53:14 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-28 13:55:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-28 13:55:08 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-28 13:58:59 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-08-28 14:00:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-28 14:00:13 | × | fp quits (~Thunderbi@wireless-86-50-141-108.open.aalto.fi) (Ping timeout: 260 seconds) |
| 2025-08-28 14:03:09 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-28 14:04:18 | × | ubert1 quits (~Thunderbi@178.165.186.86.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2025-08-28 14:09:37 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-28 14:09:51 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-08-28 14:10:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-28 14:13:01 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) |
| 2025-08-28 14:13:01 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host) |
All times are in UTC.