Newest at the top
| 2026-03-05 17:47:13 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 17:47:03 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 17:46:03 +0100 | myme | (~myme@2a01:799:d5e:5f00:332d:919:8ee8:93eb) myme |
| 2026-03-05 17:44:45 +0100 | myme | (~myme@2a01:799:d5e:5f00:3864:a0fc:2539:2c1f) (Ping timeout: 245 seconds) |
| 2026-03-05 17:42:50 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-03-05 17:41:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 2026-03-05 17:41:25 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 17:36:25 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-05 17:36:02 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2026-03-05 17:34:21 +0100 | <Leary> | ski: Updated: https://gist.github.com/LSLeary/70a398c9814156ce3e698d6df52dd9cf |
| 2026-03-05 17:34:18 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 17:33:28 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-05 17:27:17 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 17:26:34 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 244 seconds) |
| 2026-03-05 17:24:29 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 17:23:55 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 17:17:35 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2026-03-05 17:15:26 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 17:13:55 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-03-05 17:12:59 +0100 | loungerry_ | (~loungerry@150.241.86.78) |
| 2026-03-05 17:12:48 +0100 | loungerry_ | (~loungerry@user/loungerry-:45058) (Quit: left) |
| 2026-03-05 17:07:17 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 17:05:38 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 17:04:57 +0100 | n0den1te | (~n0den1te@user/n0den1te) (Quit: leaving) |
| 2026-03-05 17:03:01 +0100 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-05 17:01:49 +0100 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-05 17:01:41 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 16:56:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-05 16:52:57 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 16:52:46 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-05 16:39:07 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-05 16:34:03 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-03-05 16:33:47 +0100 | gabiruh_ | (~gabiruh@191.252.222.55) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-05 16:31:40 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-03-05 16:27:37 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-05 16:26:37 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-03-05 16:24:54 +0100 | gabiruh_ | (~gabiruh@191.252.222.55) gabiruh |
| 2026-03-05 16:24:51 +0100 | gabiruh | (~gabiruh@191.252.222.55) (Read error: Connection reset by peer) |
| 2026-03-05 16:23:53 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 16:23:46 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 16:14:48 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds) |
| 2026-03-05 16:13:45 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-03-05 16:13:10 +0100 | <ski> | it's a quite neat idea for how to do a heterogenous concatenative stack, without stack constructors |
| 2026-03-05 16:13:05 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-03-05 16:11:19 +0100 | <Leary> | Yeah, that was more just to get the idea of the divide across. |
| 2026-03-05 16:10:03 +0100 | <ski> | (type of e.g. `dup' should clarify this) |
| 2026-03-05 16:09:04 +0100 | <ski> | but yea .. it's not too clear to me how to hide it behind a `newtype' in a meaningful (nontrivial) way |
| 2026-03-05 16:05:33 +0100 | <ski> | "that last `f` should have been on the RHS" -- ah, that's what was confusing me |
| 2026-03-05 16:03:34 +0100 | <Leary> | Well, it's just a way to indicate where the "arguments" end and the "result" begins (that last `f` should have been on the RHS). If your stack type had it's implementation details hidden by a newtype, that's probably where the constructor would be. |
| 2026-03-05 16:01:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |