Newest at the top
| 2026-03-05 22:10:54 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-05 22:09:58 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 22:08:53 +0100 | [exa] | (~exa@user/exa/x-3587197) [exa] |
| 2026-03-05 22:07:52 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2026-03-05 22:06:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 22:01:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 21:57:04 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 2026-03-05 21:56:24 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 21:56:11 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 21:55:29 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 21:50:34 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 21:47:07 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 21:46:34 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 2026-03-05 21:45:51 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 21:41:03 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-05 21:35:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 21:33:43 +0100 | kuribas | (~user@2a02:1810:2825:6000:d4d2:7bb2:8f5b:632a) kuribas |
| 2026-03-05 21:29:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 21:22:42 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-05 21:22:21 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-05 21:21:20 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 21:20:42 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 21:18:32 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 21:16:50 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 248 seconds) |
| 2026-03-05 21:15:07 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-05 21:14:15 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 21:13:24 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 21:11:49 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 21:04:25 +0100 | humasect | (~humasect@192.249.132.90) humasect |
| 2026-03-05 20:59:30 +0100 | gabiruh | (~gabiruh@191.252.222.55) gabiruh |
| 2026-03-05 20:51:06 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-03-05 20:49:27 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 267 seconds) |
| 2026-03-05 20:48:50 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Ping timeout: 268 seconds) |
| 2026-03-05 20:48:13 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-05 20:48:03 +0100 | kuribas | (~user@2a02:1810:2825:6000:67a:4325:ab5b:92a9) (Ping timeout: 244 seconds) |
| 2026-03-05 20:47:50 +0100 | <ski> | (in Forth, `cond (...) (...)' would correspond to `if ... else ... then', which i'd say is reasonably close (mixfix like in Agda would get closer). of course, no compile-time words, in the above model) |
| 2026-03-05 20:44:04 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 20:43:43 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-05 20:41:10 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 20:40:56 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2026-03-05 20:39:37 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 20:36:41 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 20:32:11 +0100 | rainbyte | (~rainbyte@2800:810:5fa:2b1:ead4:b2fc:4979:be59) rainbyte |
| 2026-03-05 20:31:28 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-05 20:30:57 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2026-03-05 20:30:27 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 20:24:10 +0100 | <EvanR> | laziness reigns |
| 2026-03-05 20:22:46 +0100 | Tuplanolla | (~Tuplanoll@88.114.89.88) Tuplanolla |
| 2026-03-05 20:22:39 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 20:21:59 +0100 | <ski> | interesting to note how tail recursion turns into monomorphic recursion, while non-tail recursion turns into polymorphic recursion |