| 2024-09-06 00:00:12 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-09-06 00:00:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 00:01:14 +0200 | oo_miguel | (~Thunderbi@78.10.207.45) (Ping timeout: 260 seconds) |
| 2024-09-06 00:02:24 +0200 | athan | (~athan@2600:382:3a29:3ae2:2541:beb:5d67:8d9c) (Ping timeout: 260 seconds) |
| 2024-09-06 00:05:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 00:08:26 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-09-06 00:10:45 +0200 | Yumemi | (~Yumemi@2001:bc8:47a0:1b14::1) (Quit: .) |
| 2024-09-06 00:10:49 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Ping timeout: 245 seconds) |
| 2024-09-06 00:11:05 +0200 | Yumemi | (~Yumemi@chamoin.net) |
| 2024-09-06 00:11:58 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (Remote host closed the connection) |
| 2024-09-06 00:13:11 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2024-09-06 00:16:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 00:16:20 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) |
| 2024-09-06 00:16:20 +0200 | ChanServ | +v yahb2 |
| 2024-09-06 00:18:02 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-06 00:18:53 +0200 | krei-se | (~krei-se@p57af29f0.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-09-06 00:18:53 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 00:21:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-06 00:21:23 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-09-06 00:22:52 +0200 | pavonia | (~user@user/siracusa) |
| 2024-09-06 00:23:17 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 00:24:24 +0200 | mikess | (~mikess@user/mikess) (Quit: mikess) |
| 2024-09-06 00:31:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 00:33:28 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2024-09-06 00:33:52 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2024-09-06 00:34:46 +0200 | christiaanb | (uid84827@id-84827.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-06 00:36:38 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 00:36:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-06 00:40:51 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 00:41:21 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-09-06 00:47:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 00:49:42 +0200 | euleritian | (~euleritia@dynamic-176-006-132-001.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-06 00:49:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-06 00:50:46 +0200 | krei-se | (~krei-se@p57af29f0.dip0.t-ipconnect.de) |
| 2024-09-06 00:52:15 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 00:52:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-06 00:56:43 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 00:59:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-06 01:03:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 01:08:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 01:08:33 +0200 | uli-fem | (~uli-fem@120.18.170.208) |
| 2024-09-06 01:09:09 +0200 | uli-fem | (~uli-fem@120.18.170.208) (Changing host) |
| 2024-09-06 01:09:09 +0200 | uli-fem | (~uli-fem@user/uli-fem) |
| 2024-09-06 01:12:12 +0200 | mml | (~mml@157-131-53-74.fiber.dynamic.sonic.net) |
| 2024-09-06 01:19:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 01:20:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-06 01:23:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 01:31:05 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-09-06 01:35:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 01:38:18 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb86616a3f2ff56a8996.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-06 01:39:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 01:42:57 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 01:47:09 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 01:47:56 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-09-06 01:49:03 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-09-06 01:50:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 01:55:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-06 01:58:54 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-06 02:01:01 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 02:01:14 +0200 | uli-fem | (~uli-fem@user/uli-fem) (Read error: Connection reset by peer) |
| 2024-09-06 02:02:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-06 02:05:17 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 02:05:24 +0200 | uli-fem | (~uli-fem@120.18.170.208) |
| 2024-09-06 02:06:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 02:11:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 02:22:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 02:27:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-06 02:31:39 +0200 | <Axman6> | mauke: Am I missing something in that paper, in the definition of `bookseller` it just ends? Feels like there's lines missing |
| 2024-09-06 02:33:34 +0200 | <geekosaur> | looks complete to me, the rest is on the first column of the next page |
| 2024-09-06 02:34:14 +0200 | <Axman6> | ah, runClient is indented, right |
| 2024-09-06 02:34:41 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-06 02:35:25 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 02:38:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 02:39:51 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 02:43:24 +0200 | Guest30 | (~Guest30@77.100.154.60) |
| 2024-09-06 02:43:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-06 02:43:42 +0200 | Guest30 | (~Guest30@77.100.154.60) (Client Quit) |
| 2024-09-06 02:52:13 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 02:54:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 02:56:49 +0200 | vglfr | (~vglfr@2601:14d:4e01:1370:71d6:bfd8:becf:12cb) (Ping timeout: 260 seconds) |
| 2024-09-06 02:56:51 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 02:58:08 +0200 | vglfr | (~vglfr@2607:fb90:eaac:5d4:ad3:f757:81b5:4809) |
| 2024-09-06 02:58:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 03:03:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-06 03:03:36 +0200 | uli-fem | (~uli-fem@120.18.170.208) (Ping timeout: 246 seconds) |
| 2024-09-06 03:06:40 +0200 | uli-fem | (~uli-fem@120.18.170.208) |
| 2024-09-06 03:07:19 +0200 | vglfr | (~vglfr@2607:fb90:eaac:5d4:ad3:f757:81b5:4809) (Ping timeout: 260 seconds) |
| 2024-09-06 03:09:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 03:14:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 03:25:14 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 03:25:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 03:29:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-06 03:29:43 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 03:30:19 +0200 | uli-fem | (~uli-fem@120.18.170.208) (Read error: Connection reset by peer) |
| 2024-09-06 03:30:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 03:31:55 +0200 | vglfr | (~vglfr@2607:fb90:eaac:5d4:ad3:f757:81b5:4809) |
| 2024-09-06 03:35:11 +0200 | CrunchyFlakes | (~CrunchyFl@31.18.102.35) (Read error: Connection reset by peer) |
| 2024-09-06 03:37:38 +0200 | vglfr | (~vglfr@2607:fb90:eaac:5d4:ad3:f757:81b5:4809) (Read error: Connection reset by peer) |
| 2024-09-06 03:37:45 +0200 | CrunchyFlakes | (~CrunchyFl@31.18.102.35) |
| 2024-09-06 03:37:57 +0200 | vglfr | (~vglfr@c-73-163-164-68.hsd1.md.comcast.net) |
| 2024-09-06 03:41:04 +0200 | uli-fem | (~uli-fem@120.18.170.208) |
| 2024-09-06 03:41:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 03:43:15 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 03:46:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 03:47:14 +0200 | spenat_ | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) (Ping timeout: 255 seconds) |
| 2024-09-06 03:47:51 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 03:50:00 +0200 | spenat | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) |
| 2024-09-06 03:51:20 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 03:55:47 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 03:57:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 04:02:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 04:02:37 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-06 04:02:57 +0200 | Mateon1 | (~Thunderbi@user/meow/Mateon1) (Ping timeout: 248 seconds) |
| 2024-09-06 04:02:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 04:03:23 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-06 04:03:42 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-09-06 04:07:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-06 04:08:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-06 04:18:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 04:21:48 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 04:23:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-06 04:26:23 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 04:32:25 +0200 | uli-fem | (~uli-fem@120.18.170.208) (Changing host) |
| 2024-09-06 04:32:25 +0200 | uli-fem | (~uli-fem@user/uli-fem) |
| 2024-09-06 04:32:48 +0200 | Mateon1 | (~Thunderbi@user/meow/Mateon1) |
| 2024-09-06 04:34:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 04:36:27 +0200 | uli-fem | (~uli-fem@user/uli-fem) (Read error: Connection reset by peer) |
| 2024-09-06 04:39:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-06 04:39:52 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 04:39:53 +0200 | spenat | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2024-09-06 04:44:26 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Remote host closed the connection) |
| 2024-09-06 04:45:07 +0200 | spenat | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) |
| 2024-09-06 04:45:33 +0200 | SethTisue | (sid14912@ilkley.irccloud.com) (Ping timeout: 252 seconds) |
| 2024-09-06 04:45:46 +0200 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) |
| 2024-09-06 04:45:55 +0200 | integral | (sid296274@user/integral) (Ping timeout: 252 seconds) |
| 2024-09-06 04:45:57 +0200 | uli-fem | (~uli-fem@120.18.170.208) |
| 2024-09-06 04:46:04 +0200 | tnks | (sid412124@helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 2024-09-06 04:46:15 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) |
| 2024-09-06 04:46:21 +0200 | integral | (sid296274@user/integral) |
| 2024-09-06 04:50:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 04:53:29 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:4840:2ad9:7736:e7f5) (Ping timeout: 260 seconds) |
| 2024-09-06 04:53:33 +0200 | td_ | (~td@i53870939.versanet.de) (Ping timeout: 276 seconds) |
| 2024-09-06 04:54:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 04:55:00 +0200 | td_ | (~td@i53870938.versanet.de) |
| 2024-09-06 04:55:28 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 04:59:49 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 05:06:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 05:10:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 05:13:48 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-09-06 05:13:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-06 05:16:08 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-09-06 05:21:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 05:24:58 +0200 | Mateon1 | (~Thunderbi@user/meow/Mateon1) (Ping timeout: 245 seconds) |
| 2024-09-06 05:26:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 05:28:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-06 05:29:07 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 05:33:49 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 05:37:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 05:38:32 +0200 | aforemny | (~aforemny@2001:9e8:6cfb:d00:89c3:59d4:5ce3:af24) |
| 2024-09-06 05:38:50 +0200 | uli-fem | (~uli-fem@120.18.170.208) (Read error: Connection reset by peer) |
| 2024-09-06 05:39:33 +0200 | aforemny_ | (~aforemny@i59F516F7.versanet.de) (Ping timeout: 248 seconds) |
| 2024-09-06 05:42:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 05:44:20 +0200 | uli-fem | (~uli-fem@120.18.170.208) |
| 2024-09-06 05:44:30 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 05:46:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-06 05:49:07 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 05:52:17 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 05:53:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 05:56:29 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 05:56:35 +0200 | Mateon1 | (~Thunderbi@user/meow/Mateon1) |
| 2024-09-06 05:58:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 06:09:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 06:09:54 +0200 | uli-fem | (~uli-fem@120.18.170.208) (Ping timeout: 260 seconds) |
| 2024-09-06 06:14:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 06:19:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 06:25:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-06 06:26:13 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 06:27:09 +0200 | <haskellbridge> | <Bowuigi> thirdofmay18081814goya the magical "|" you were looking for before is called "union type" or "untagged union type". I wouldn't recommend using it and even less inferring it as it is one of the main culprits of TypeScript not behaving that well on type inference |
| 2024-09-06 06:29:38 +0200 | <haskellbridge> | <Bowuigi> For example, "if x then true else 2" is of type "Bool | Nat" instead of generating an error. The eliminator is in this case "typeof", which is type reflection but at runtime, needing to track more types at runtime rather than just typing a bit more for extra safety |
| 2024-09-06 06:30:29 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 06:30:49 +0200 | <haskellbridge> | <Bowuigi> More generally, union types are variants on the trivial row theory, that is, the one without labels/tags |
| 2024-09-06 06:35:06 +0200 | <haskellbridge> | <Bowuigi> They also correspond to "v.any" ("v" is any variant, "any" is the "bottom label") in Leijen's 2004 type system, tho that one is static and explicit so either the context desambiguates (by type) or you do via a type application |
| 2024-09-06 06:39:52 +0200 | <haskellbridge> | <Bowuigi> And re:typeclasses, the models that I know about are either THIH's, Agda/Gluon's (records marked as instances and mechanisms for autoinferring applications of those) and intersection types via records and "any". Technically you can also just pass the dictionary yourself, which is possible even in the lambda calculus |
| 2024-09-06 06:42:16 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 06:46:55 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 06:47:14 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-06 06:47:33 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-06 06:53:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 06:56:16 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 06:57:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 07:00:31 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 07:01:03 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 07:03:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 07:05:37 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 07:07:51 +0200 | uli-fem | (~uli-fem@120.18.170.208) |
| 2024-09-06 07:08:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 07:09:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 07:12:19 +0200 | uli-fem | (~uli-fem@120.18.170.208) (Ping timeout: 260 seconds) |
| 2024-09-06 07:12:26 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-06 07:12:29 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2024-09-06 07:14:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-06 07:15:39 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2024-09-06 07:20:25 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-06 07:20:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 07:25:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-06 07:25:58 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 07:31:07 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 07:32:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-09-06 07:33:02 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-09-06 07:33:43 +0200 | euleritian | (~euleritia@dynamic-176-006-136-017.176.6.pool.telefonica.de) |
| 2024-09-06 07:36:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 07:38:55 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-09-06 07:40:08 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-09-06 07:43:12 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 276 seconds) |
| 2024-09-06 07:44:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 07:46:31 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 07:47:50 +0200 | poscat0x04 | (~poscat@user/poscat) |
| 2024-09-06 07:48:29 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2024-09-06 07:48:42 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb18d599a27a2741de4e.dip0.t-ipconnect.de) |
| 2024-09-06 07:50:57 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 07:55:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 08:00:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 08:01:48 +0200 | michalz | (~michalz@185.246.207.215) |
| 2024-09-06 08:08:06 +0200 | vlad_ | (~vlad@102.217.157.32) (Ping timeout: 246 seconds) |
| 2024-09-06 08:11:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 08:16:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-06 08:16:51 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 08:20:44 +0200 | meejah | (~meejah@rutas.meejah.ca) (Ping timeout: 260 seconds) |
| 2024-09-06 08:20:53 +0200 | meejah | (~meejah@rutas.meejah.ca) |
| 2024-09-06 08:21:33 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 08:21:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 08:25:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-06 08:26:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-06 08:33:37 +0200 | ouroboros | (~ouroboros@user/ouroboros) (Quit: Bye.) |
| 2024-09-06 08:33:37 +0200 | acro | (~acro@user/acro) (Quit: Bye.) |
| 2024-09-06 08:34:16 +0200 | acro | (~acro@user/acro) |
| 2024-09-06 08:36:06 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-06 08:36:47 +0200 | ouroboros | (~ouroboros@user/ouroboros) |
| 2024-09-06 08:37:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 08:38:39 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-09-06 08:41:02 +0200 | igemnace | (~igemnace@user/igemnace) |
| 2024-09-06 08:41:36 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-09-06 08:42:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-06 08:47:41 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-06 08:50:03 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 08:53:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 08:54:25 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 08:55:12 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 08:56:09 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-09-06 08:58:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-06 08:59:31 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 09:01:48 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-06 09:03:42 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-09-06 09:13:23 +0200 | EarlPitts | (~EarlPitts@2E8B7DD6.catv.pool.telekom.hu) |
| 2024-09-06 09:22:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 09:27:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 09:34:08 +0200 | euleritian | (~euleritia@dynamic-176-006-136-017.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-06 09:34:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-06 09:37:44 +0200 | ash3en | (~Thunderbi@2a01:c23:8d79:dc00:11ac:6af0:ae6:f44d) |
| 2024-09-06 09:38:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 09:39:26 +0200 | <tomsmeding> | fr33domlover int-e: it is indeed a long-standing open problem https://gitlab.haskell.org/ghc/ghc/-/issues/25238#note_582181 |
| 2024-09-06 09:40:06 +0200 | <tomsmeding> | my summary of the linked issue (after skimming it): the current implementation has problems, but every solution proposed so far is either very hard to implement or suffers from the same or other problems -- or both |
| 2024-09-06 09:40:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-06 09:43:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-06 09:50:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-06 09:52:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-09-06 09:53:28 +0200 | euleritian | (~euleritia@dynamic-176-006-136-017.176.6.pool.telefonica.de) |
| 2024-09-06 09:57:17 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-09-06 09:59:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 10:02:36 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-3dd6-8d96-1a80-04a4.rev.sfr.net) |
| 2024-09-06 10:02:46 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-3dd6-8d96-1a80-04a4.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-06 10:03:07 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-3dd6-8d96-1a80-04a4.rev.sfr.net) |
| 2024-09-06 10:08:47 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-06 10:16:14 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
| 2024-09-06 10:19:42 +0200 | uli-fem | (~lambdapin@203.221.238.251) |
| 2024-09-06 10:19:46 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-09-06 10:19:50 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-06 10:20:01 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-06 10:20:56 +0200 | oo_miguel | (~Thunderbi@78.10.207.45) |
| 2024-09-06 10:23:26 +0200 | ash3en | (~Thunderbi@2a01:c23:8d79:dc00:11ac:6af0:ae6:f44d) (Quit: ash3en) |
| 2024-09-06 10:26:35 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-09-06 10:29:45 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-06 10:29:59 +0200 | ash3en | (~Thunderbi@146.70.124.222) |
| 2024-09-06 10:33:48 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-09-06 10:36:01 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-06 10:46:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Read error: Connection reset by peer) |
| 2024-09-06 10:46:14 +0200 | comerijn | (~merijn@77.242.116.146) |
| 2024-09-06 10:55:55 +0200 | euleritian | (~euleritia@dynamic-176-006-136-017.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-09-06 10:59:42 +0200 | ubert | (~Thunderbi@178.165.164.61.wireless.dyn.drei.com) |
| 2024-09-06 11:01:09 +0200 | CiaoSen | (~Jura@2a05:5800:458:ff00:ca4b:d6ff:fec1:99da) |
| 2024-09-06 11:02:17 +0200 | vglfr | (~vglfr@c-73-163-164-68.hsd1.md.comcast.net) (Read error: Connection reset by peer) |
| 2024-09-06 11:02:41 +0200 | vglfr | (~vglfr@c-73-163-164-68.hsd1.md.comcast.net) |
| 2024-09-06 11:07:56 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-09-06 11:10:10 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-09-06 11:12:10 +0200 | chele | (~chele@user/chele) |
| 2024-09-06 11:12:39 +0200 | gehmehgeh | gmg |
| 2024-09-06 11:14:32 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-09-06 11:14:45 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-09-06 11:19:31 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-09-06 11:28:43 +0200 | EarlPitts | (~EarlPitts@2E8B7DD6.catv.pool.telekom.hu) (Remote host closed the connection) |
| 2024-09-06 11:29:03 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 11:36:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 11:38:07 +0200 | driib31 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-06 11:38:44 +0200 | driib31 | (~driib@vmi931078.contaboserver.net) |
| 2024-09-06 11:39:29 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2024-09-06 11:51:27 +0200 | euleritian | (~euleritia@dynamic-176-006-136-017.176.6.pool.telefonica.de) |
| 2024-09-06 11:51:35 +0200 | Guest6969 | (~Guest6969@46.236.169.166) |
| 2024-09-06 11:53:32 +0200 | Guest6969 | (~Guest6969@46.236.169.166) (Quit: Client closed) |
| 2024-09-06 11:55:50 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-06 11:56:18 +0200 | uli-fem | (~lambdapin@203.221.238.251) (Ping timeout: 246 seconds) |
| 2024-09-06 11:58:03 +0200 | CiaoSen | (~Jura@2a05:5800:458:ff00:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-09-06 12:04:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-06 12:06:22 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-3dd6-8d96-1a80-04a4.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-06 12:07:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-656e-0c23-f4cb-c80e.rev.sfr.net) |
| 2024-09-06 12:19:40 +0200 | ash3en | (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 2024-09-06 12:21:48 +0200 | euleritian | (~euleritia@dynamic-176-006-136-017.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-06 12:22:06 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-09-06 12:28:42 +0200 | uli-fem | (~lambdapin@203.221.238.251) |
| 2024-09-06 12:33:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 12:36:41 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-06 12:45:03 +0200 | ell | (~ellie@user/ellie) (Quit: Leaving) |
| 2024-09-06 12:45:48 +0200 | ell | (~ellie@user/ellie) |
| 2024-09-06 12:47:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 13:02:02 +0200 | b20n | (sid115913@uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 2024-09-06 13:02:13 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
| 2024-09-06 13:27:03 +0200 | causal | (~eric@50.35.88.207) |
| 2024-09-06 13:31:15 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-06 13:32:33 +0200 | ubert | (~Thunderbi@178.165.164.61.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2024-09-06 13:45:34 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Remote host closed the connection) |
| 2024-09-06 13:45:52 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) |
| 2024-09-06 13:47:52 +0200 | ubert | (~Thunderbi@178.165.164.61.wireless.dyn.drei.com) |
| 2024-09-06 14:01:46 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-09-06 14:02:17 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-09-06 14:11:56 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Quit: WeeChat 4.4.1) |
| 2024-09-06 14:12:23 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) |
| 2024-09-06 14:13:29 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Client Quit) |
| 2024-09-06 14:13:43 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) |
| 2024-09-06 14:16:54 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-06 14:19:12 +0200 | poscat0x04 | (~poscat@user/poscat) (Quit: Bye) |
| 2024-09-06 14:20:22 +0200 | poscat | (~poscat@user/poscat) |
| 2024-09-06 14:34:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-06 14:45:46 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-09-06 15:07:19 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-09-06 15:11:09 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-09-06 15:15:42 +0200 | <int-e> | tomsmeding: Good to know. |
| 2024-09-06 15:16:19 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-06 15:18:07 +0200 | mceresa | ManiMedia |
| 2024-09-06 15:19:57 +0200 | ManiMedia | mceresa |
| 2024-09-06 15:33:44 +0200 | sayurc | (~sayu@2a02:6ea0:c859:3::a03d) |
| 2024-09-06 15:35:40 +0200 | itaipu | (~itaipu@168.121.99.143) (Ping timeout: 252 seconds) |
| 2024-09-06 15:37:05 +0200 | sayurc | (~sayu@2a02:6ea0:c859:3::a03d) (Client Quit) |
| 2024-09-06 15:38:12 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 246 seconds) |
| 2024-09-06 15:38:30 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-09-06 15:43:07 +0200 | talismanick | (~user@2601:644:937c:ed10:536b:7670:fffc:851a) |
| 2024-09-06 15:46:07 +0200 | sayurc | (~Srain@169.150.203.35) |
| 2024-09-06 15:46:54 +0200 | sayurc | (~Srain@169.150.203.35) (Remote host closed the connection) |
| 2024-09-06 15:48:42 +0200 | itaipu | (~itaipu@168.121.98.229) |
| 2024-09-06 15:52:17 +0200 | sayurc | (~Srain@169.150.203.35) |
| 2024-09-06 15:53:39 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-06 15:57:48 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-06 16:05:29 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 260 seconds) |
| 2024-09-06 16:05:50 +0200 | euleritian | (~euleritia@dynamic-176-006-138-056.176.6.pool.telefonica.de) |
| 2024-09-06 16:11:06 +0200 | td_ | (~td@i53870938.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-09-06 16:14:39 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-06 16:16:35 +0200 | td_ | (~td@i53870938.versanet.de) |
| 2024-09-06 16:16:57 +0200 | Artea | (~Lufia@vps.artea.ovh) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-06 16:21:39 +0200 | Artea | (~Lufia@vps.artea.ovh) |
| 2024-09-06 16:28:01 +0200 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: thanks a lot for this comment, I'll be researching these. what's THIH btw? |
| 2024-09-06 16:30:18 +0200 | ubert | (~Thunderbi@178.165.164.61.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-09-06 16:32:30 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-656e-0c23-f4cb-c80e.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-06 16:33:03 +0200 | <tomsmeding> | @where thih |
| 2024-09-06 16:33:03 +0200 | <lambdabot> | http://web.cecs.pdx.edu/~mpj/thih/ |
| 2024-09-06 16:33:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-0086-3f0d-9250-607f.rev.sfr.net) |
| 2024-09-06 16:33:54 +0200 | <haskellbridge> | <thirdofmay18081814goya> tomsmeding: thanks! |
| 2024-09-06 16:36:51 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-0086-3f0d-9250-607f.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-06 16:38:34 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-b0a8-2e9b-ab8b-6041.rev.sfr.net) |
| 2024-09-06 16:41:14 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 255 seconds) |
| 2024-09-06 16:44:20 +0200 | czy | (~user@global-5-173.n-2.net.cam.ac.uk) |
| 2024-09-06 16:46:26 +0200 | ubert | (~Thunderbi@178.165.164.61.wireless.dyn.drei.com) |
| 2024-09-06 16:52:05 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-06 16:53:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-06 16:55:47 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-b0a8-2e9b-ab8b-6041.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-06 16:56:04 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-b0a8-2e9b-ab8b-6041.rev.sfr.net) |
| 2024-09-06 17:01:11 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E6700B93D810C58171531.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 17:05:21 +0200 | EarlPitts | (~EarlPitts@2E8B7DD6.catv.pool.telekom.hu) |
| 2024-09-06 17:10:15 +0200 | EarlPitts | (~EarlPitts@2E8B7DD6.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 17:12:44 +0200 | Artea | (~Lufia@vps.artea.ovh) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-06 17:13:13 +0200 | athan | (~athan@107.115.229.34) |
| 2024-09-06 17:18:18 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-09-06 17:22:53 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:94d6:485c:40c3:1bb4) |
| 2024-09-06 17:23:16 +0200 | Artea | (~Lufia@vps.artea.ovh) |
| 2024-09-06 17:23:31 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 17:27:49 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 17:29:48 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-09-06 17:32:34 +0200 | spew | (~spew@201.141.99.170) |
| 2024-09-06 17:36:31 +0200 | spew | (~spew@201.141.99.170) (Client Quit) |
| 2024-09-06 17:37:37 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-06 17:43:47 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds) |
| 2024-09-06 17:47:40 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-09-06 17:48:09 +0200 | spew | (~spew@201.141.99.170) |
| 2024-09-06 17:52:37 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-06 17:54:12 +0200 | Artea | (~Lufia@vps.artea.ovh) (Ping timeout: 272 seconds) |
| 2024-09-06 17:57:29 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 17:59:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-06 18:01:49 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 18:02:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-06 18:03:18 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-b0a8-2e9b-ab8b-6041.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-06 18:04:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-f435-2124-bb47-fe6a.rev.sfr.net) |
| 2024-09-06 18:07:50 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3411-c6a7-f435-2124-bb47-fe6a.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-06 18:10:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 18:11:42 +0200 | spew | (~spew@201.141.99.170) (Read error: Connection reset by peer) |
| 2024-09-06 18:16:19 +0200 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) |
| 2024-09-06 18:16:47 +0200 | spew | (~spew@201.141.99.170) |
| 2024-09-06 18:18:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 18:24:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-06 18:25:03 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-06 18:26:00 +0200 | Square2 | (~Square4@user/square) |
| 2024-09-06 18:28:00 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-06 18:29:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 18:29:54 +0200 | euleritian | (~euleritia@dynamic-176-006-138-056.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-06 18:30:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-06 18:31:03 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 18:31:50 +0200 | sayurc | (~Srain@169.150.203.35) (Remote host closed the connection) |
| 2024-09-06 18:34:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 18:35:15 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 18:36:38 +0200 | nonzen | (~nonzen@user/nonzen) (Quit: Gone) |
| 2024-09-06 18:36:38 +0200 | sajith | (~sajith@user/sajith) (Quit: Gone) |
| 2024-09-06 18:36:58 +0200 | nonzen | (~nonzen@user/nonzen) |
| 2024-09-06 18:37:19 +0200 | itaipu | (~itaipu@168.121.98.229) (Ping timeout: 260 seconds) |
| 2024-09-06 18:37:30 +0200 | sajith | (~sajith@user/sajith) |
| 2024-09-06 18:45:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 18:45:43 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2024-09-06 18:46:50 +0200 | nonzen | (~nonzen@user/nonzen) (Quit: Gone) |
| 2024-09-06 18:46:50 +0200 | sajith | (~sajith@user/sajith) (Quit: Gone) |
| 2024-09-06 18:47:31 +0200 | nonzen | (~nonzen@user/nonzen) |
| 2024-09-06 18:48:03 +0200 | sajith | (~sajith@user/sajith) |
| 2024-09-06 18:49:41 +0200 | itaipu | (~itaipu@168.121.99.162) |
| 2024-09-06 18:50:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 18:57:48 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 19:01:04 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-06 19:01:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 19:01:41 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-06 19:02:27 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 19:09:47 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-06 19:09:53 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-06 19:14:23 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 19:16:02 +0200 | Square | (~Square@user/square) |
| 2024-09-06 19:18:19 +0200 | Pixi` | (~Pixi@user/pixi) |
| 2024-09-06 19:18:53 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 19:19:20 +0200 | m5zs7k_ | (aquares@web10.mydevil.net) |
| 2024-09-06 19:19:39 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Read error: Connection reset by peer) |
| 2024-09-06 19:19:42 +0200 | remmie | (ianremsen@tilde.team) (Ping timeout: 252 seconds) |
| 2024-09-06 19:20:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-06 19:20:48 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2024-09-06 19:20:48 +0200 | hgolden_ | (~hgolden@23.162.40.69) |
| 2024-09-06 19:21:05 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2024-09-06 19:21:13 +0200 | remmie | (ianremsen@tilde.team) |
| 2024-09-06 19:21:32 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 252 seconds) |
| 2024-09-06 19:22:04 +0200 | shawwwn | (sid6132@helmsley.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-09-06 19:23:14 +0200 | hgolden | (~hgolden@23.162.40.69) (Ping timeout: 260 seconds) |
| 2024-09-06 19:25:38 +0200 | czy | (~user@global-5-173.n-2.net.cam.ac.uk) (Ping timeout: 248 seconds) |
| 2024-09-06 19:26:18 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) |
| 2024-09-06 19:27:53 +0200 | m5zs7k_ | m5zs7k |
| 2024-09-06 19:31:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 19:36:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-06 19:39:31 +0200 | <hololeap> | anyone know why rio hasn't been updated in over 2 years? |
| 2024-09-06 19:44:20 +0200 | <Clint> | did yesod replace it with something else? |
| 2024-09-06 19:44:59 +0200 | athan | (~athan@107.115.229.34) (Ping timeout: 252 seconds) |
| 2024-09-06 19:47:03 +0200 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-09-06 19:47:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 19:49:31 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 19:54:01 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 19:55:03 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-06 19:55:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 19:55:22 +0200 | briandaed | (~root@185.234.210.211) |
| 2024-09-06 19:56:07 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-06 19:56:40 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-06 19:56:40 +0200 | ChanServ | +v haskellbridge |
| 2024-09-06 19:56:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 20:00:15 +0200 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2024-09-06 20:00:34 +0200 | nurupo | (~nurupo.ga@user/nurupo) |
| 2024-09-06 20:01:33 +0200 | <hololeap> | yeah, no idea: https://github.com/yesodweb/yesod/issues/1645 |
| 2024-09-06 20:01:41 +0200 | <hololeap> | anyway, I was just curious |
| 2024-09-06 20:06:13 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2024-09-06 20:07:13 +0200 | ubert | (~Thunderbi@178.165.164.61.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2024-09-06 20:08:42 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-06 20:16:27 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 20:18:35 +0200 | vglfr | (~vglfr@c-73-163-164-68.hsd1.md.comcast.net) (Ping timeout: 255 seconds) |
| 2024-09-06 20:19:02 +0200 | vglfr | (~vglfr@2607:fb91:14aa:6784:ac39:6af7:66f8:e11e) |
| 2024-09-06 20:20:39 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 20:25:39 +0200 | vglfr | (~vglfr@2607:fb91:14aa:6784:ac39:6af7:66f8:e11e) (Ping timeout: 260 seconds) |
| 2024-09-06 20:26:28 +0200 | vglfr | (~vglfr@2607:fb90:ea5c:924c:ad3:f751:69a7:fc36) |
| 2024-09-06 20:31:15 +0200 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) (Quit: Leaving) |
| 2024-09-06 20:31:54 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 272 seconds) |
| 2024-09-06 20:33:35 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-09-06 20:35:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-06 20:38:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-06 20:47:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-06 20:48:22 +0200 | aljustiet | (aljustiet@here.and.ready-to.party) |
| 2024-09-06 20:49:00 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-06 20:49:57 +0200 | <haskellbridge> | <thirdofmay18081814goya> does logic programming have some neat things |
| 2024-09-06 20:51:03 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 20:51:08 +0200 | <dolio> | Sure. |
| 2024-09-06 20:52:41 +0200 | <haskellbridge> | <thirdofmay18081814goya> dolio: what things in it do you find neat |
| 2024-09-06 20:53:49 +0200 | <dolio> | Well, usually, the mechanism for computation is similar to the unification that is used for checking types, so it would be very easy to write type checkers with them. |
| 2024-09-06 20:54:42 +0200 | <dolio> | You just write down the typing rules, more or less. |
| 2024-09-06 20:55:02 +0200 | <haskellbridge> | <thirdofmay18081814goya> huh cool! |
| 2024-09-06 20:55:07 +0200 | <ski> | being able to specify things relationally, without explicit demarcation of inputs vs. output gives more flexibility, and, to some extent, reusability |
| 2024-09-06 20:55:19 +0200 | <ski> | built-in search is cool |
| 2024-09-06 20:55:20 +0200 | <dolio> | Or, type inference, I guess. |
| 2024-09-06 20:55:27 +0200 | <dolio> | Not just checking. |
| 2024-09-06 20:55:47 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 20:56:24 +0200 | <ski> | logic programming combines smoothly with constraint programming, into constraint logic programming |
| 2024-09-06 20:56:35 +0200 | <dolio> | The only part I'm uncertain how you'd handle is generalization. |
| 2024-09-06 20:57:42 +0200 | <ski> | iirc, lambdaProlog has a primitive for that |
| 2024-09-06 20:57:59 +0200 | <dolio> | Ah. |
| 2024-09-06 20:58:02 +0200 | <[exa]> | generalization as in "generic programming" ? |
| 2024-09-06 20:58:07 +0200 | <ski> | no |
| 2024-09-06 20:58:26 +0200 | <dolio> | No, at some point you want to say, "take all the unground logic variables and turn them into object variables." |
| 2024-09-06 20:58:36 +0200 | <ski> | generalization as in `let id x = x in (id False,id [True])' |
| 2024-09-06 20:58:48 +0200 | <ski> | (inferring `id' here to be polymorphic) |
| 2024-09-06 21:00:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 21:02:35 +0200 | <dolio> | It's sort of a logic version of some kind of 'impure' operation. It involves treating a logic variable X in a way that isn't just standing in for a potential solution. You want to ask about the status of the variable itself. |
| 2024-09-06 21:03:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-06 21:04:27 +0200 | <ski> | yes, it's not steadfast |
| 2024-09-06 21:04:40 +0200 | <ski> | (it breaks commutativity of conjunction) |
| 2024-09-06 21:04:54 +0200 | <ski> | (at least, as usually done) |
| 2024-09-06 21:05:31 +0200 | <[exa]> | ah this |
| 2024-09-06 21:06:18 +0200 | Square | (~Square@user/square) |
| 2024-09-06 21:07:29 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 21:08:36 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-06 21:11:56 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-09-06 21:12:13 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 21:12:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 21:17:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-06 21:20:04 +0200 | ubert | (~Thunderbi@178.165.164.61.wireless.dyn.drei.com) |
| 2024-09-06 21:20:55 +0200 | AlexNoo_ | (~AlexNoo@94.233.240.119) |
| 2024-09-06 21:23:15 +0200 | AlexZenon | (~alzenon@5.139.233.35) (Ping timeout: 252 seconds) |
| 2024-09-06 21:24:21 +0200 | ash3en | (~Thunderbi@2a01:c23:9010:d500:5065:7130:66b2:af79) |
| 2024-09-06 21:24:34 +0200 | vglfr | (~vglfr@2607:fb90:ea5c:924c:ad3:f751:69a7:fc36) (Ping timeout: 260 seconds) |
| 2024-09-06 21:24:43 +0200 | AlexNoo | (~AlexNoo@5.139.233.35) (Ping timeout: 264 seconds) |
| 2024-09-06 21:25:02 +0200 | vglfr | (~vglfr@2601:14d:4e01:1370:3909:c471:2d0b:32f9) |
| 2024-09-06 21:28:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 21:33:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 21:35:09 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-09-06 21:36:12 +0200 | AlexZenon | (~alzenon@94.233.240.119) |
| 2024-09-06 21:37:24 +0200 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) |
| 2024-09-06 21:41:30 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 21:44:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 21:45:50 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-06 21:46:00 +0200 | AlexZenon | (~alzenon@94.233.240.119) (Ping timeout: 272 seconds) |
| 2024-09-06 21:46:13 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 21:49:48 +0200 | AlexZenon | (~alzenon@94.233.240.119) |
| 2024-09-06 21:50:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 21:56:39 +0200 | ash3en | (~Thunderbi@2a01:c23:9010:d500:5065:7130:66b2:af79) (Quit: ash3en) |
| 2024-09-06 21:58:00 +0200 | <briandaed> | I'm lost, suppose I write a small library and want to limit dependencies count, it will expose some list of sum types zipped with some literals, should I use String or Text for literals? |
| 2024-09-06 22:00:56 +0200 | <haskellbridge> | <magic_rb> Text almost always Text |
| 2024-09-06 22:01:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 22:01:43 +0200 | <dmj`> | briandaed: text is a boot package so it will always be available in all ghc distributions w/o needing to query hackage. If performance is a big deal then use text, if not just use String, or you could try to keep it generic and let the user decide, there is an IsString class |
| 2024-09-06 22:02:18 +0200 | <briandaed> | IsString way sounds nice |
| 2024-09-06 22:05:32 +0200 | AlexNoo_ | AlexNoo |
| 2024-09-06 22:08:01 +0200 | <dmj`> | you could use a type variable and then the API will be constrained on IsString, and no need to embed the IsString constraint inside the datatype w/ existential quantification |
| 2024-09-06 22:08:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-06 22:12:15 +0200 | <briandaed> | hmm.. without IsString constraint compiler complains that it's missing |
| 2024-09-06 22:12:39 +0200 | ubert | (~Thunderbi@178.165.164.61.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2024-09-06 22:13:37 +0200 | <ski> | add it on the type signatures of the relevant operations |
| 2024-09-06 22:15:13 +0200 | ubert | (~Thunderbi@178.165.164.61.wireless.dyn.drei.com) |
| 2024-09-06 22:16:31 +0200 | <[exa]> | briandaed: what are you doing with the literals in your library? might be useful to just completely abstract out the literal type. |
| 2024-09-06 22:17:02 +0200 | <briandaed> | need them for lookup table, searching by 'name' |
| 2024-09-06 22:17:40 +0200 | <dmj`> | sounds like an Ord key constraint |
| 2024-09-06 22:17:43 +0200 | <[exa]> | yourfunction :: Ord lit => lit -> something -> something ? |
| 2024-09-06 22:17:46 +0200 | <[exa]> | yap |
| 2024-09-06 22:17:50 +0200 | <dmj`> | ^ |
| 2024-09-06 22:17:52 +0200 | <ski> | will the library need to use string literals, or only the user of the library ? |
| 2024-09-06 22:18:16 +0200 | <[exa]> | briandaed: people may like to replace literals with integers etc. |
| 2024-09-06 22:18:54 +0200 | <briandaed> | not in this case, I need to convert between iso639-1/2/3 codes and language name, i.e. "English" |
| 2024-09-06 22:19:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 22:19:39 +0200 | <[exa]> | ah okay then integers is not it |
| 2024-09-06 22:22:10 +0200 | <[exa]> | are the literals somehow surprisingly long? |
| 2024-09-06 22:22:40 +0200 | <[exa]> | if it's language codes and names I guess it's rarely going over 16 chars, right? |
| 2024-09-06 22:22:49 +0200 | <briandaed> | exactly |
| 2024-09-06 22:24:21 +0200 | <[exa]> | will you need to compare or match excruciating heaps of them? |
| 2024-09-06 22:24:31 +0200 | <[exa]> | if not, go string |
| 2024-09-06 22:25:48 +0200 | <[exa]> | if yes, comparing text may get faster in cases |
| 2024-09-06 22:26:10 +0200 | <briandaed> | yeah but String seems to be so hated, some libraries (i.e. Protolude) ban them completly, IsString looks to be a good compromise, user will decide what is expected type |
| 2024-09-06 22:26:51 +0200 | <haskellbridge> | <Bowuigi> Technically you could store the entire string into a number, that would be faster than both text and string |
| 2024-09-06 22:27:07 +0200 | <[exa]> | :] here we go |
| 2024-09-06 22:27:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 22:28:07 +0200 | <briandaed> | sounds like a hack, but it would be quite big numbers I think and not too userfriendly |
| 2024-09-06 22:28:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-06 22:29:13 +0200 | <[exa]> | btw with IsString, you'd need to convert to your storage type anyway, right? |
| 2024-09-06 22:29:44 +0200 | <[exa]> | (because otherwise you'd go back to (IsString lit, Ord lit) => ... ) |
| 2024-09-06 22:30:13 +0200 | <haskellbridge> | <Bowuigi> You need 128 bits for 16 ASCII characters, decent enough |
| 2024-09-06 22:30:33 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-09-06 22:30:35 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-06 22:32:41 +0200 | <geekosaur> | briandaed, the downside of IsString is that you can get into situations where things get converted a lot, especially if you use mono-traversable to further paper over the differences between String and Text |
| 2024-09-06 22:33:29 +0200 | <geekosaur> | and of course going through a typeclass adds its own overhead |
| 2024-09-06 22:33:50 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 22:34:01 +0200 | <EvanR> | do string literal Text get precompiled or are they converted at runtime |
| 2024-09-06 22:34:25 +0200 | <EvanR> | if not how do you do that |
| 2024-09-06 22:35:08 +0200 | ubert | (~Thunderbi@178.165.164.61.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-09-06 22:35:28 +0200 | <haskellbridge> | <Bowuigi> The longest ISO language name is "Norwegian Nynorsk", 17 bytes (136 bits), tho endonyms may be longer |
| 2024-09-06 22:35:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 22:35:35 +0200 | <briandaed> | both enums and literals hardcoded, the question was to go with strings (base) or with texts(additional dependency), bet on IsStrin |
| 2024-09-06 22:35:49 +0200 | athan | (~athan@2600:382:1f08:e70a:9bdb:ae1f:f17b:112) |
| 2024-09-06 22:36:28 +0200 | <haskellbridge> | <Bowuigi> Hmmm a trie using the codes may be even faster. Anyway, strings should be fine tbh |
| 2024-09-06 22:36:28 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2024-09-06 22:37:25 +0200 | <briandaed> | as for names as Int(eger)s, even for just 128bits I doubt they are supported by ghc/hardware, probably will land as Integers so again not too fast, not that I need so much optimizations here |
| 2024-09-06 22:38:21 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 22:38:42 +0200 | <monochrom> | string literal Text are converted at run time. |
| 2024-09-06 22:39:29 +0200 | <monochrom> | Fortunately, one once. |
| 2024-09-06 22:39:51 +0200 | <haskellbridge> | <Bowuigi> Huh, TIL, I guess flatparse uses TH because of that |
| 2024-09-06 22:40:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 22:41:00 +0200 | <monochrom> | text comes with GHC, so it is not very terrible to depend on text. Although, that was changed once and may change again one day. |
| 2024-09-06 22:47:57 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:94d6:485c:40c3:1bb4) (Ping timeout: 252 seconds) |
| 2024-09-06 22:48:33 +0200 | <EvanR> | is there a way to specify a pre-made Text in the code |
| 2024-09-06 22:49:04 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 22:49:07 +0200 | <monochrom> | The only pre-made Text is empty. |
| 2024-09-06 22:49:43 +0200 | <briandaed> | monochrom: oops I didn't know that, but indeed https://downloads.haskell.org/ghc/latest/docs/libraries/index.html Text is there |
| 2024-09-06 22:50:13 +0200 | <monochrom> | OK if you break the abstraction layer you can write a primitive array and wrap it in the internal Text constructor. |
| 2024-09-06 22:51:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 22:52:08 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:d5ba:7298:a21a:356f) |
| 2024-09-06 22:52:43 +0200 | <EvanR> | can you even make a pre-made primitive array? xD |
| 2024-09-06 22:53:39 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 22:53:57 +0200 | tv | (~tv@user/tv) |
| 2024-09-06 22:54:00 +0200 | <monochrom> | Hrm now I have to check the GHC user's guide... |
| 2024-09-06 22:56:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-06 22:57:05 +0200 | <monochrom> | Yeah probably can't. |
| 2024-09-06 22:57:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-06 23:01:27 +0200 | kimiamania2 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-09-06 23:01:48 +0200 | kimiamania2 | (~65804703@user/kimiamania) |
| 2024-09-06 23:02:07 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-06 23:02:17 +0200 | briandaed | (~root@185.234.210.211) (Quit: leaving) |
| 2024-09-06 23:05:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 23:05:55 +0200 | <monochrom> | OK the closest you can get is turn on MagicHash, then things like "hello"# is a UTF-8 NUL-terminated sequence, and the type is Addr# so you get the address of where that sequence is statically stored. |
| 2024-09-06 23:06:50 +0200 | <dolio> | There might be a way to write rules that take advantage of that. |
| 2024-09-06 23:07:26 +0200 | <geekosaur> | people keep requesting support for Text literals. the frustrating point is that, as they are compiled in, they already are — but you can't get at that form directly, the runtime always converts it to String |
| 2024-09-06 23:07:45 +0200 | <dolio> | I.E. I thought string literals end up as something involving those hash strings at some point during compilation. Not sure how reliable it is, though. |
| 2024-09-06 23:09:34 +0200 | <geekosaur> | they always are, because storing String literals in an executable would be a massive waste of space |
| 2024-09-06 23:09:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 23:10:01 +0200 | <geekosaur> | even compressing out the list structure, it'd be 4 bytes vs. (usually) 1 per character |
| 2024-09-06 23:12:15 +0200 | <monochrom> | I was wrong about UTF-8. It's ISO-Latin-1. |
| 2024-09-06 23:12:32 +0200 | peruser | (~peruser@syn-024-217-228-144.res.spectrum.com) |
| 2024-09-06 23:12:38 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-09-06 23:13:09 +0200 | Inst | (~Inst@user/Inst) |
| 2024-09-06 23:13:59 +0200 | <dolio> | Example core: main = putStrLn (ghc-prim:GHC.CString.unpackCString# "hello"#) |
| 2024-09-06 23:14:28 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2024-09-06 23:15:12 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-09-06 23:16:24 +0200 | <monochrom> | Likewise for OverloadedString with Text. Basically Data.Text.Show.$wunpackCStringAscii# "hello"# |
| 2024-09-06 23:17:09 +0200 | <dolio> | Okay, so they do hook into that somehow. |
| 2024-09-06 23:17:40 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2024-09-06 23:17:48 +0200 | <EvanR> | that's hilarious, it's already optimized but you can't get to it |
| 2024-09-06 23:20:28 +0200 | <dolio> | You can get it with rules. That's how text does it. |
| 2024-09-06 23:20:42 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-09-06 23:20:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 23:23:06 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 23:23:43 +0200 | athan | (~athan@2600:382:1f08:e70a:9bdb:ae1f:f17b:112) (Ping timeout: 245 seconds) |
| 2024-09-06 23:25:08 +0200 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2024-09-06 23:25:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 23:27:39 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 23:32:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-06 23:36:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 23:38:06 +0200 | peruser | (~peruser@syn-024-217-228-144.res.spectrum.com) (Quit: Client closed) |
| 2024-09-06 23:40:49 +0200 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) (Quit: Leaving) |
| 2024-09-06 23:41:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 23:47:48 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) |
| 2024-09-06 23:52:01 +0200 | EarlPitts | (~EarlPitts@20014C4C1C6E670010D8FFE22A66D832.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-09-06 23:52:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-06 23:54:31 +0200 | Guest77 | (~Guest90@104.221.28.25) |
| 2024-09-06 23:57:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-06 23:58:27 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |