Newest at the top
| 2026-06-01 16:56:47 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-06-01 16:52:24 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-06-01 16:44:26 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-01 16:42:56 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-06-01 16:41:50 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-06-01 16:36:15 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-01 16:31:13 +0000 | foul_owl | (~kerry@94.156.149.95) (Ping timeout: 243 seconds) |
| 2026-06-01 16:27:28 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-06-01 16:22:08 +0000 | kuribas | (~user@188.118.57.242) (Remote host closed the connection) |
| 2026-06-01 16:21:45 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-01 16:20:45 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:9225:8669:d161:f359) (Quit: ricardomaps) |
| 2026-06-01 16:20:08 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-06-01 16:18:52 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-01 16:17:23 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2026-06-01 15:54:20 +0000 | wickedja` | (~user@2605:8d80:5431:ba1b:d500:5146:99ed:97f2) (Ping timeout: 245 seconds) |
| 2026-06-01 15:49:17 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:9225:8669:d161:f359) |
| 2026-06-01 15:45:56 +0000 | synchromesh | (~john@2406:5a00:247e:1500:29c5:b42c:d970:297d) synchromesh |
| 2026-06-01 15:44:23 +0000 | synchromesh | (~john@2406:5a00:247e:1500:6c73:518b:be6f:ed81) (Read error: Connection reset by peer) |
| 2026-06-01 15:34:43 +0000 | wickedjargon | (~user@24.244.23.59) (Ping timeout: 251 seconds) |
| 2026-06-01 15:33:36 +0000 | wickedja` | (~user@2605:8d80:5431:ba1b:d500:5146:99ed:97f2) |
| 2026-06-01 15:33:14 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-06-01 15:32:16 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-01 15:29:49 +0000 | aka_dude | (~aka_dude@192.71.166.120) |
| 2026-06-01 15:29:05 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-01 15:28:57 +0000 | aka_dude | (~aka_dude@192.71.166.120) (Client Quit) |
| 2026-06-01 15:28:04 +0000 | wickedjargon | (~user@24.244.23.59) wickedjargon |
| 2026-06-01 15:27:20 +0000 | aka_dude | (~aka_dude@192.71.166.120) |
| 2026-06-01 15:24:06 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2026-06-01 15:23:15 +0000 | aka_dude | (~aka_dude@192.71.166.120) (Quit: Gateway shutdown) |
| 2026-06-01 15:10:35 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-06-01 15:09:28 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-06-01 15:05:30 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-06-01 14:51:35 +0000 | rainbyte | (~rainbyte@181.47.219.31) rainbyte |
| 2026-06-01 14:47:05 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-06-01 14:44:25 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-06-01 14:41:45 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 272 seconds) |
| 2026-06-01 14:35:38 +0000 | CiaoSen | (~Jura@2a02:3031:2e2:74df:4e50:ddff:fe9b:8922) (Ping timeout: 268 seconds) |
| 2026-06-01 14:26:37 +0000 | CiaoSen | (~Jura@2a02:3031:2e2:74df:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-06-01 14:02:37 +0000 | <jaror> | Still, I don't think performance was one of Conal Elliotts goals |
| 2026-06-01 14:01:55 +0000 | <jaror> | (or not so much the translation itself but the programs it produces) |
| 2026-06-01 14:01:17 +0000 | <jaror> | and I think much more thought has been put into making SKI-based combinators fast than making the compiling to categories translation fast |
| 2026-06-01 14:01:08 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-01 14:00:54 +0000 | <jaror> | As far as I know compiling to categories also means you must eliminate variables in some way |
| 2026-06-01 13:59:43 +0000 | <jaror> | I think tomsmeding once told me how that is inefficient (we were discussing the automatic differentiation work by Conal Elliott, but I think the approach was similar) |
| 2026-06-01 13:58:12 +0000 | <jaror> | I guess you could implement the interfaces using assembly and then run the result |
| 2026-06-01 13:57:37 +0000 | <jaror> | You don't run categories |
| 2026-06-01 13:57:33 +0000 | <jaror> | Compiling to categories is just a completely different thing |
| 2026-06-01 13:57:14 +0000 | <mesaoptimizer> | that reminds me, how practical is Conal Elliot's "compiling to categories", if compiling to combinators is impractical as you put it |
| 2026-06-01 13:56:54 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-06-01 13:56:50 +0000 | <jaror> | Ah, I'm too used to markdown syntax |