| 2026-05-28 00:05:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 00:10:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-28 00:12:12 +0000 | Chiang-KaiShek | (~NSA@171.33.191.92) CommanderBond007 |
| 2026-05-28 00:13:57 +0000 | CryptLab | (~NSA@185.203.218.244) (Ping timeout: 251 seconds) |
| 2026-05-28 00:15:00 +0000 | Chiang-KaiShek | (~NSA@171.33.191.92) (Remote host closed the connection) |
| 2026-05-28 00:21:16 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-28 00:25:36 +0000 | Chiang-KaiShek | (~NSA@2.59.157.235) CommanderBond007 |
| 2026-05-28 00:25:48 +0000 | Chiang-KaiShek | CipherLab |
| 2026-05-28 00:26:18 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-28 00:28:30 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e53288db76fae8cf16d1.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-05-28 00:37:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 00:38:49 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-05-28 00:42:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 243 seconds) |
| 2026-05-28 00:42:14 +0000 | tv | (~tv@user/tv) tv |
| 2026-05-28 00:52:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 00:57:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-28 01:03:22 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-05-28 01:08:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 01:08:39 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4042:a09a:c152:9ea5) (Ping timeout: 252 seconds) |
| 2026-05-28 01:15:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-28 01:26:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 01:31:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-28 01:38:08 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-28 01:41:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 01:45:47 +0000 | bedbedbde | (~bedbedbde@user/bedbedbde) bedbedbde |
| 2026-05-28 01:46:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 243 seconds) |
| 2026-05-28 01:53:01 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-05-28 01:57:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 02:02:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-28 02:08:07 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-05-28 02:09:13 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-05-28 02:10:27 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-05-28 02:21:48 +0000 | tt1231607019780 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-05-28 02:28:00 +0000 | CiaoSen | (~Jura@2a02:3035:bec:a1b9:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-05-28 02:29:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 02:31:26 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-28 02:34:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-28 02:34:42 +0000 | bedbedbde | (~bedbedbde@user/bedbedbde) (Read error: Connection reset by peer) |
| 2026-05-28 02:41:39 +0000 | s00pcan_ | (~s00pcan@24.73.63.94) s00pcan |
| 2026-05-28 02:43:30 +0000 | s00pcan | (~s00pcan@24.73.63.94) (Ping timeout: 248 seconds) |
| 2026-05-28 02:45:16 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) (Remote host closed the connection) |
| 2026-05-28 02:45:17 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-28 02:50:15 +0000 | s00pcan_ | (~s00pcan@24.73.63.94) (Remote host closed the connection) |
| 2026-05-28 02:50:24 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-28 02:55:40 +0000 | s00pcan | (~s00pcan@24.73.63.94) s00pcan |
| 2026-05-28 02:58:39 +0000 | CiaoSen | (~Jura@2a02:3035:bec:a1b9:4e50:ddff:fe9b:8922) (Ping timeout: 252 seconds) |
| 2026-05-28 03:01:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 03:01:14 +0000 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2026-05-28 03:03:56 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-05-28 03:04:06 +0000 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 244 seconds) |
| 2026-05-28 03:06:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-05-28 03:13:39 +0000 | CiaoSen | (~Jura@2a02:3035:bec:a1b9:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-05-28 03:18:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 03:22:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-28 03:27:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 03:27:52 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-05-28 03:31:23 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-05-28 03:32:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 278 seconds) |
| 2026-05-28 03:35:37 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2026-05-28 03:41:09 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-05-28 03:42:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 03:48:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-28 03:50:28 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 252 seconds) |
| 2026-05-28 03:52:18 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-28 03:57:23 +0000 | michalz | (~michalz@185.246.207.201) |
| 2026-05-28 03:58:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 04:05:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-28 04:06:22 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-28 04:16:43 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-28 04:21:42 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-28 04:23:28 +0000 | Square2 | (~Square@user/square) Square |
| 2026-05-28 04:27:12 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2026-05-28 04:28:22 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-28 04:32:40 +0000 | reyu | (~reyu@znc.reyuzenfold.com) (Ping timeout: 245 seconds) |
| 2026-05-28 04:33:34 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-05-28 04:39:43 +0000 | reyu | (~reyu@znc.reyuzenfold.com) Reyu |
| 2026-05-28 04:43:55 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-28 04:46:17 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-28 04:48:39 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-28 04:54:42 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-28 04:59:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 05:03:02 +0000 | siraben | (~siraben@user/siraben) (Remote host closed the connection) |
| 2026-05-28 05:04:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 267 seconds) |
| 2026-05-28 05:08:27 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-05-28 05:15:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 05:15:10 +0000 | Square2 | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2026-05-28 05:19:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2026-05-28 05:24:04 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-05-28 05:24:24 +0000 | califax | (~califax@user/califx) califx |
| 2026-05-28 05:29:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 05:30:38 +0000 | siraben | (~siraben@user/siraben) siraben |
| 2026-05-28 05:35:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-28 05:40:44 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-05-28 05:45:13 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 248 seconds) |
| 2026-05-28 05:47:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 05:49:17 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-05-28 05:52:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-28 05:52:24 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-05-28 05:53:05 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-28 06:02:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 06:07:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-28 06:11:59 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-05-28 06:12:15 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-28 06:12:47 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-05-28 06:13:51 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-28 06:18:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 06:20:52 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-05-28 06:21:05 +0000 | califax | (~califax@user/califx) califx |
| 2026-05-28 06:21:59 +0000 | CiaoSen | (~Jura@2a02:3035:bec:a1b9:4e50:ddff:fe9b:8922) (Ping timeout: 244 seconds) |
| 2026-05-28 06:22:34 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-05-28 06:23:14 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-28 06:23:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-28 06:26:58 +0000 | miked | (~miked@86.124.137.12) |
| 2026-05-28 06:36:48 +0000 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-28 06:40:59 +0000 | CiaoSen | (~Jura@2a02:3035:bec:a1b9:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-05-28 06:41:20 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-28 06:45:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 06:47:27 +0000 | CiaoSen | (~Jura@2a02:3035:bec:a1b9:4e50:ddff:fe9b:8922) (Ping timeout: 252 seconds) |
| 2026-05-28 06:50:40 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-05-28 06:50:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-28 06:57:14 +0000 | miked | (~miked@86.124.137.12) (Quit: miked) |
| 2026-05-28 07:01:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 07:02:15 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-05-28 07:03:59 +0000 | ft | (~ft@p4fc2aedc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-05-28 07:06:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 261 seconds) |
| 2026-05-28 07:16:18 +0000 | slomp | (~slomp@47-158-196-170.lsan.ca.frontiernet.net) (Read error: Connection reset by peer) |
| 2026-05-28 07:16:32 +0000 | slomp | (~slomp@47-158-196-170.lsan.ca.frontiernet.net) |
| 2026-05-28 07:17:34 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-28 07:20:08 +0000 | skum | (~skum@user/skum) (Ping timeout: 259 seconds) |
| 2026-05-28 07:24:25 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 2026-05-28 07:27:25 +0000 | skum | (~skum@user/skum) skum |
| 2026-05-28 07:28:02 +0000 | CiaoSen | (~Jura@2a02:3035:bec:a1b9:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-05-28 07:37:10 +0000 | fp1 | (~Thunderbi@130.233.70.60) fp |
| 2026-05-28 07:37:13 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-28 07:49:59 +0000 | dunj3 | (~dunj3@2a01:239:328:1600::1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-05-28 08:00:14 +0000 | chele | (~chele@user/chele) chele |
| 2026-05-28 08:01:10 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-05-28 08:01:50 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-28 08:06:47 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-05-28 08:09:57 +0000 | CiaoSen | (~Jura@2a02:3035:bec:a1b9:4e50:ddff:fe9b:8922) (Ping timeout: 252 seconds) |
| 2026-05-28 08:14:43 +0000 | CiaoSen | (~Jura@2a02:3035:bec:a1b9:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-05-28 08:17:52 +0000 | skum | (~skum@user/skum) (Ping timeout: 256 seconds) |
| 2026-05-28 08:22:38 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-05-28 08:23:23 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-28 08:24:04 +0000 | Rakua | (~Rakua@dynamic-176-005-190-242.176.5.pool.telefonica.de) |
| 2026-05-28 08:31:45 +0000 | hsw_ | (~hsw@106.104.102.114) hsw |
| 2026-05-28 08:32:24 +0000 | hsw | (~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) (Ping timeout: 240 seconds) |
| 2026-05-28 08:36:54 +0000 | CiaoSen | (~Jura@2a02:3035:bec:a1b9:4e50:ddff:fe9b:8922) (Ping timeout: 252 seconds) |
| 2026-05-28 08:38:53 +0000 | CiaoSen | (~Jura@dynamic-046-114-152-196.46.114.pool.telefonica.de) CiaoSen |
| 2026-05-28 08:44:03 +0000 | rainbyte | (~rainbyte@181.47.219.31) (Write error: error:80000068:system library::Connection reset by peer) |
| 2026-05-28 08:44:23 +0000 | rainbyte | (~rainbyte@181.47.219.31) rainbyte |
| 2026-05-28 08:44:43 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-28 08:44:58 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-28 08:57:32 +0000 | fp1 | (~Thunderbi@130.233.70.60) (Ping timeout: 256 seconds) |
| 2026-05-28 08:58:57 +0000 | CiaoSen | (~Jura@dynamic-046-114-152-196.46.114.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2026-05-28 09:00:40 +0000 | skum | (~skum@user/skum) skum |
| 2026-05-28 09:04:23 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-28 09:10:10 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-05-28 09:11:00 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-05-28 09:16:35 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-05-28 09:18:51 +0000 | AlexNoo_ | (~AlexNoo@85.174.182.98) |
| 2026-05-28 09:21:13 +0000 | Alex_delenda_est | (~al_test@94.233.241.168) (Ping timeout: 248 seconds) |
| 2026-05-28 09:21:20 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-05-28 09:22:17 +0000 | AlexZenon | (~alzenon@94.233.241.168) (Ping timeout: 248 seconds) |
| 2026-05-28 09:22:31 +0000 | AlexNoo | (~AlexNoo@94.233.241.168) (Ping timeout: 264 seconds) |
| 2026-05-28 09:28:22 +0000 | AlexZenon | (~alzenon@85.174.182.98) |
| 2026-05-28 09:33:21 +0000 | acidjnk | (~acidjnk@p200300d6e700e577d42522049b9ed5ca.dip0.t-ipconnect.de) acidjnk |
| 2026-05-28 09:33:21 +0000 | mauke | (~mauke@user/mauke) (Read error: Connection reset by peer) |
| 2026-05-28 09:33:21 +0000 | preflex | (~preflex@user/mauke/bot/preflex) (Read error: Connection reset by peer) |
| 2026-05-28 09:35:43 +0000 | Rakua | (~Rakua@dynamic-176-005-190-242.176.5.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2026-05-28 09:36:00 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:5528:6cdb:4792:b224) (Ping timeout: 246 seconds) |
| 2026-05-28 09:37:14 +0000 | AlexNoo_ | AlexNoo |
| 2026-05-28 09:37:42 +0000 | jcarpenter2 | (~lol@96.78.87.197) |
| 2026-05-28 09:37:48 +0000 | Alex_delenda_est | (~al_test@85.174.182.98) |
| 2026-05-28 09:38:25 +0000 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2026-05-28 09:39:18 +0000 | mauke | (~mauke@user/mauke) mauke |
| 2026-05-28 09:39:21 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e577d42522049b9ed5ca.dip0.t-ipconnect.de) |
| 2026-05-28 09:47:01 +0000 | cross | (~cross@spitfire.i.gajendra.net) (Remote host closed the connection) |
| 2026-05-28 09:52:06 +0000 | CiaoSen | (~Jura@dynamic-046-114-152-196.46.114.pool.telefonica.de) CiaoSen |
| 2026-05-28 09:56:15 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-28 10:06:19 +0000 | noctux | (~noctux@user/noctux) (Ping timeout: 264 seconds) |
| 2026-05-28 10:07:05 +0000 | preflex | (~preflex@user/mauke/bot/preflex) (Ping timeout: 248 seconds) |
| 2026-05-28 10:08:07 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 264 seconds) |
| 2026-05-28 10:08:07 +0000 | synchromesh | (~john@2406:5a00:247e:1500:d530:488b:442c:8d03) (Read error: Connection reset by peer) |
| 2026-05-28 10:09:35 +0000 | synchromesh | (~john@2406:5a00:247e:1500:d530:488b:442c:8d03) synchromesh |
| 2026-05-28 10:11:19 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-28 10:16:42 +0000 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2026-05-28 10:17:15 +0000 | noctux | (~noctux@user/noctux) noctux |
| 2026-05-28 10:19:13 +0000 | mauke | (~mauke@user/mauke) mauke |
| 2026-05-28 10:32:11 +0000 | noctux | (~noctux@user/noctux) (Ping timeout: 245 seconds) |
| 2026-05-28 10:32:11 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2026-05-28 10:33:08 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-05-28 10:33:22 +0000 | preflex_ | (~preflex@user/mauke/bot/preflex) preflex |
| 2026-05-28 10:33:27 +0000 | noctux | (~noctux@user/noctux) noctux |
| 2026-05-28 10:36:16 +0000 | preflex | (~preflex@user/mauke/bot/preflex) (Ping timeout: 276 seconds) |
| 2026-05-28 10:36:31 +0000 | preflex_ | preflex |
| 2026-05-28 10:58:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-28 11:00:41 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-28 11:04:48 +0000 | chewybread | (~chewybrea@240b:10:9502:4100:249b:94f9:cb6c:dc2) |
| 2026-05-28 11:04:48 +0000 | chewybread | (~chewybrea@240b:10:9502:4100:249b:94f9:cb6c:dc2) (Changing host) |
| 2026-05-28 11:04:48 +0000 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2026-05-28 11:05:32 +0000 | chewybread | (~chewybrea@user/chewybread) (Remote host closed the connection) |
| 2026-05-28 11:09:04 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2026-05-28 11:09:17 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2026-05-28 11:10:03 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 272 seconds) |
| 2026-05-28 11:17:00 +0000 | CiaoSen | (~Jura@dynamic-046-114-152-196.46.114.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2026-05-28 11:21:13 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-05-28 11:24:37 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-28 11:25:45 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2026-05-28 11:30:17 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 257 seconds) |
| 2026-05-28 11:33:03 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-28 11:33:17 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) |
| 2026-05-28 11:40:50 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-05-28 11:44:22 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-28 11:45:49 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-05-28 11:49:25 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-28 11:49:40 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) |
| 2026-05-28 11:52:42 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-28 11:52:52 +0000 | xff0x | (~xff0x@2405:6580:b080:900:595b:2fdf:b5f7:ed87) |
| 2026-05-28 11:54:07 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-28 11:54:21 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 252 seconds) |
| 2026-05-28 12:07:09 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-05-28 12:08:14 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-28 12:08:31 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) |
| 2026-05-28 12:10:46 +0000 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 256 seconds) |
| 2026-05-28 12:11:54 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 256 seconds) |
| 2026-05-28 12:13:28 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-05-28 12:36:36 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 246 seconds) |
| 2026-05-28 12:39:15 +0000 | Square3 | (~Square4@user/square) Square |
| 2026-05-28 12:39:37 +0000 | Square2 | (~Square@user/square) Square |
| 2026-05-28 12:59:46 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-05-28 13:02:10 +0000 | bedbedbde | (~bedbedbde@user/bedbedbde) bedbedbde |
| 2026-05-28 13:09:27 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-28 13:10:50 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) rekahsoft |
| 2026-05-28 13:16:10 +0000 | myxos | (~myxos@67-1-178-42.tcso.qwest.net) (Remote host closed the connection) |
| 2026-05-28 13:23:33 +0000 | voidapex11 | (~voidapex1@82-132-232-200.dab.02.net) |
| 2026-05-28 13:24:42 +0000 | <voidapex11> | What is the best way to start learning haskell, and what resources would you recomend using? |
| 2026-05-28 13:26:28 +0000 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) juri_ |
| 2026-05-28 13:27:14 +0000 | voidapex11 | (~voidapex1@82-132-232-200.dab.02.net) (Quit: leaving) |
| 2026-05-28 13:27:54 +0000 | myxos | (~myxos@67-1-178-42.tcso.qwest.net) myxokephale |
| 2026-05-28 13:30:10 +0000 | <mauke> | I don't know about "best", but https://www.haskell.org/get-started/#next-steps |
| 2026-05-28 13:37:04 +0000 | <[exa]> | oh they left already :/ |
| 2026-05-28 13:42:08 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-28 13:46:34 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-05-28 13:46:34 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-05-28 13:46:34 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-28 13:47:43 +0000 | bedbedbde | (~bedbedbde@user/bedbedbde) (Read error: Connection reset by peer) |
| 2026-05-28 13:53:02 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-28 14:14:21 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2026-05-28 14:16:40 +0000 | CiaoSen | (~Jura@2a02:3035:6d8:f193:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-05-28 14:24:45 +0000 | CiaoSen | (~Jura@2a02:3035:6d8:f193:4e50:ddff:fe9b:8922) (Ping timeout: 245 seconds) |
| 2026-05-28 14:28:41 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-05-28 14:37:06 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2026-05-28 14:37:31 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-28 14:39:22 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-28 14:42:55 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-28 14:43:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-28 15:18:28 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-28 15:41:22 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-28 15:50:14 +0000 | merijn | (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 2026-05-28 15:50:17 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-05-28 15:56:01 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-05-28 15:56:58 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-28 16:01:34 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-05-28 16:02:12 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-05-28 16:06:22 +0000 | sabino | (~sabino@user/sabino) sabino |
| 2026-05-28 16:07:46 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-05-28 16:09:39 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-28 16:12:05 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2026-05-28 16:18:55 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-05-28 16:19:15 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-05-28 16:22:43 +0000 | pfc | (~pfc@user/pfc) (Ping timeout: 276 seconds) |
| 2026-05-28 16:24:41 +0000 | raym | (~ray@user/raym) raym |
| 2026-05-28 16:27:30 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2026-05-28 16:31:07 +0000 | xdej | (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 2026-05-28 16:32:31 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-28 16:41:03 +0000 | gentauro | (~gentauro@user/gentauro) (Quit: leaving) |
| 2026-05-28 16:42:06 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-05-28 16:42:12 +0000 | vgtw_ | (~vgtw@user/vgtw) vgtw |
| 2026-05-28 16:42:33 +0000 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 272 seconds) |
| 2026-05-28 16:47:28 +0000 | Googulator33 | (~Googulato@193-226-241-87.pool.digikabel.hu) |
| 2026-05-28 16:51:02 +0000 | Googulator | (~Googulato@84-236-52-41.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-05-28 16:54:38 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2026-05-28 16:57:07 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2026-05-28 17:02:20 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-28 17:15:00 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2026-05-28 17:15:00 +0000 | zq | (~zq@xorshift.org) |
| 2026-05-28 17:15:19 +0000 | <zq> | is there a term for the fact that let-expressions can be de-sugared into lambda application? |
| 2026-05-28 17:17:44 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 274 seconds) |
| 2026-05-28 17:17:54 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-05-28 17:23:02 +0000 | ft | (~ft@p4fc2aedc.dip0.t-ipconnect.de) ft |
| 2026-05-28 17:43:23 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-05-28 17:45:52 +0000 | <dolio> | Can they? |
| 2026-05-28 17:46:33 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-05-28 17:47:35 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-28 17:47:53 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 248 seconds) |
| 2026-05-28 17:48:12 +0000 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
| 2026-05-28 17:49:06 +0000 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2026-05-28 18:01:50 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-28 18:02:43 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-05-28 18:14:51 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2026-05-28 18:15:27 +0000 | Googulator33 | (~Googulato@193-226-241-87.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-28 18:15:45 +0000 | Googulator33 | (~Googulato@193-226-241-87.pool.digikabel.hu) |
| 2026-05-28 18:36:18 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-28 18:37:12 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 244 seconds) |
| 2026-05-28 18:40:14 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-28 18:40:25 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-05-28 18:45:10 +0000 | bggd | (~bgg@user/bggd) (Ping timeout: 245 seconds) |
| 2026-05-28 18:48:40 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:c9c9:a53e:abaa:714) |
| 2026-05-28 18:48:41 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:c9c9:a53e:abaa:714) (Changing host) |
| 2026-05-28 18:48:41 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-05-28 18:53:27 +0000 | bggd | (~bgg@user/bggd) (Ping timeout: 252 seconds) |
| 2026-05-28 18:58:29 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-05-28 19:00:03 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-05-28 19:10:06 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-05-28 19:11:23 +0000 | <lortabac> | actually it's a good question |
| 2026-05-28 19:11:49 +0000 | <lortabac> | can 'let' in Haskell be implemented by desugaring to lambda application? |
| 2026-05-28 19:12:20 +0000 | <lortabac> | I suppose you would need 'fix' as a primitive |
| 2026-05-28 19:13:07 +0000 | <lortabac> | or can you define 'let' with 'fix', and 'fix' with 'let'? It seems hard |
| 2026-05-28 19:14:27 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-05-28 19:14:57 +0000 | <int-e> | @src fix |
| 2026-05-28 19:14:57 +0000 | <lambdabot> | fix f = let x = f x in x |
| 2026-05-28 19:15:14 +0000 | <int-e> | (that's the easy part of course) |
| 2026-05-28 19:16:19 +0000 | <c_wraith> | you can't define let in Haskell (as standardized) because it has a special rule in type checking. |
| 2026-05-28 19:17:18 +0000 | <c_wraith> | > let f = (+1) in (f 1 :: Int, f 2 :: Double) |
| 2026-05-28 19:17:19 +0000 | <lambdabot> | (2,3.0) |
| 2026-05-28 19:17:30 +0000 | <lortabac> | can't you typecheck before desugaring? |
| 2026-05-28 19:17:43 +0000 | <lortabac> | this doesn't sound like a hard blocker |
| 2026-05-28 19:18:08 +0000 | <lortabac> | the real issue is that you need at least one of 'fix' or 'let' as a primitive |
| 2026-05-28 19:18:26 +0000 | <c_wraith> | > (\f -> (f 1 :: Int, f 2 :: Double)) (+1) |
| 2026-05-28 19:18:27 +0000 | <lambdabot> | Couldn't match expected type ‘Double’ with actual type ‘Int’ |
| 2026-05-28 19:18:27 +0000 | <lambdabot> | In the expression: f 2 :: Double |
| 2026-05-28 19:18:27 +0000 | <lambdabot> | In the expression: (f 1 :: Int, f 2 :: Double) |
| 2026-05-28 19:18:45 +0000 | <c_wraith> | the thing is, Haskell requires both of those behaviors. (as specified) |
| 2026-05-28 19:19:37 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 272 seconds) |
| 2026-05-28 19:19:52 +0000 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (Quit: Bye) |
| 2026-05-28 19:20:00 +0000 | <c_wraith> | I'd argue that if you need special rules for type checking them differently, you haven't implemented one in terms of the other. |
| 2026-05-28 19:20:04 +0000 | <lortabac> | I may be missing something. The typechecker knows whether it's a 'let' or a lambda and can decide whether to generalize or not |
| 2026-05-28 19:20:26 +0000 | <c_wraith> | their type checking behavior is part of the semantics of the construct. |
| 2026-05-28 19:20:27 +0000 | <lortabac> | desugaring happens later |
| 2026-05-28 19:20:37 +0000 | <lortabac> | ah ok, I see what you mean |
| 2026-05-28 19:21:07 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-05-28 19:21:59 +0000 | <c_wraith> | for the purpose of being an intermediate representation... yeah, you could unify them at that point. |
| 2026-05-28 19:22:24 +0000 | <int-e> | lortabac: check out the (semi-formal) translation in https://www.haskell.org/onlinereport/exps.html#sect3.12 |
| 2026-05-28 19:24:27 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-05-28 19:24:32 +0000 | <lortabac> | int-e: "where fix is the least fixpoint operator" -> it seems to assume that fix is a primitive |
| 2026-05-28 19:24:46 +0000 | <int-e> | yes |
| 2026-05-28 19:25:45 +0000 | <lortabac> | interesting |
| 2026-05-28 19:25:59 +0000 | <geekosaur> | the Haskell-level `fix` isn't, but `let` is defined as `letrec` in Haskell so must have `fix` semantics |
| 2026-05-28 19:26:42 +0000 | <geekosaur> | (and IIRC `fix` is defined in terms of `let`?) |
| 2026-05-28 19:27:03 +0000 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) TimWolla |
| 2026-05-28 19:27:08 +0000 | <int-e> | lortabac: This is the hard part of the question whether `fix` and `letrec` can be defined in terms of each other. |
| 2026-05-28 19:33:44 +0000 | <lortabac> | probably impossible with a typed Core |
| 2026-05-28 19:35:05 +0000 | <int-e> | Yeah in practice that desugaring is more about translating mutual recusion into a single fixed point. And GHC doesn't even do that; STG has a recursive let (and at the Cmm level that recusion is built into thunks with mutual references on the heap) |
| 2026-05-28 19:36:14 +0000 | <jaror> | I think this is called Bekić's bisection lemma: https://en.wikipedia.org/wiki/Beki%C4%87's_theorem |
| 2026-05-28 19:37:05 +0000 | <jaror> | Should be just fine even with typed Core |
| 2026-05-28 19:42:42 +0000 | <int-e> | jaror: That bisection isn't attractive as an actual translation because it would duplicate computations. |
| 2026-05-28 19:43:25 +0000 | <int-e> | It's still relevant semantically I guess. Explains why it doesn't matter which of the mutually recursive values you evaluate first. |
| 2026-05-28 19:45:24 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 244 seconds) |
| 2026-05-28 20:02:17 +0000 | Sinbad | (~peter@0x5857e667-catv-dyn.rev.komnet.hu) |
| 2026-05-28 20:02:42 +0000 | <mauke> | can't you define 'fix' using a newtype? |
| 2026-05-28 20:07:26 +0000 | <tomsmeding> | can you? If you don't have value recursion, how are you going to loop? |
| 2026-05-28 20:09:18 +0000 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2026-05-28 20:09:24 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2026-05-28 20:10:36 +0000 | <Leary> | tomsmeding: https://gist.github.com/LSLeary/4c7f3ab7622d991cfa22c36efbaf0674 |
| 2026-05-28 20:11:41 +0000 | <tomsmeding> | oh, I've seen this before. The NOINLINE is the juicy part :) |
| 2026-05-28 20:12:17 +0000 | tomsmeding | . o O ( https://downloads.haskell.org/ghc/latest/docs/users_guide/bugs.html#bugs-in-ghc ) |
| 2026-05-28 20:12:18 +0000 | <c_wraith> | it still requires type recursion to work. The next trick is to reimplement type-level fix |
| 2026-05-28 20:13:33 +0000 | <mauke> | https://en.wikipedia.org/wiki/Fixed-point_combinator#Type_for_the_Y_combinator |
| 2026-05-28 20:21:38 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-28 20:22:37 +0000 | <int-e> | Right. You get a fixed point combinator. You don't get sharing though. (yfix (1:) produces an infinite heap object) |
| 2026-05-28 20:27:44 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-28 20:31:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-28 20:31:56 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 266 seconds) |