Newest at the top
| 2025-11-15 05:36:09 +0100 | annamalai | (~annamalai@157.32.205.30) annamalai |
| 2025-11-15 05:35:48 +0100 | annamalai | (~annamalai@2409:4042:4c48:4ad4::9e4a:ad13) (Read error: Connection reset by peer) |
| 2025-11-15 05:26:10 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 05:25:41 +0100 | Googulator39 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 05:08:08 +0100 | trickard_ | trickard |
| 2025-11-15 05:06:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 05:04:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 04:59:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 04:56:17 +0100 | deptype | (~deptype@2406:b400:3a:73c2:34a7:4ca9:c20f:cca0) |
| 2025-11-15 04:56:04 +0100 | deptype | (~deptype@2406:b400:3a:73c2:3627:f9a3:22:eaf4) (Remote host closed the connection) |
| 2025-11-15 04:53:50 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-15 04:50:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 04:49:49 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-11-15 04:49:33 +0100 | bggd | (~bgg@2a01:e0a:819:1510:cb15:dfb4:31e5:1dfe) (Remote host closed the connection) |
| 2025-11-15 04:47:01 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 04:36:15 +0100 | deptype | (~deptype@2406:b400:3a:73c2:3627:f9a3:22:eaf4) |
| 2025-11-15 04:36:03 +0100 | deptype | (~deptype@2406:b400:3a:73c2:8974:e356:296e:12ca) (Remote host closed the connection) |
| 2025-11-15 04:35:50 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-15 04:34:25 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-15 04:30:47 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-15 04:29:34 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-15 04:28:01 +0100 | td_ | (~td@i53870938.versanet.de) |
| 2025-11-15 04:26:43 +0100 | td__ | (~td@2001:9e8:19c5:1800:ec98:e836:5d0:9712) (Ping timeout: 264 seconds) |
| 2025-11-15 04:26:26 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 04:25:59 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 04:20:49 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 04:20:39 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 04:17:08 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-15 04:16:13 +0100 | deptype | (~deptype@2406:b400:3a:73c2:8974:e356:296e:12ca) |
| 2025-11-15 04:16:01 +0100 | deptype | (~deptype@2406:b400:3a:73c2:3739:7d1b:7456:5c4f) (Remote host closed the connection) |
| 2025-11-15 04:15:50 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-15 04:15:39 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 04:15:39 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 04:13:09 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-15 04:12:48 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-15 04:10:42 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-15 04:06:16 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-15 03:56:14 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-15 03:55:42 +0100 | deptype | (~deptype@2406:b400:3a:73c2:3739:7d1b:7456:5c4f) |
| 2025-11-15 03:55:29 +0100 | deptype | (~deptype@2406:b400:3a:73c2:68f9:54e7:c1ae:5f7e) (Remote host closed the connection) |
| 2025-11-15 03:53:39 +0100 | <jreicher> | Oh, codolio I think you're the same person? If so, ^ |
| 2025-11-15 03:50:40 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 03:50:40 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 03:48:37 +0100 | <lambdabot> | Consider it noted. |
| 2025-11-15 03:48:37 +0100 | <jreicher> | @tell dolio contain "shift" goes away also. |
| 2025-11-15 03:48:21 +0100 | <lambdabot> | Consider it noted. |
| 2025-11-15 03:48:21 +0100 | <jreicher> | contain "shift" goes away also. |
| 2025-11-15 03:48:20 +0100 | <jreicher> | @tell dolio I think also part of the problem is the way numbers are being treated in some lambda calculus dialects, which differs a lot from, e.g., Church numerals. If numbers are represented as abstractions, they can only be used when they are in head position as it's no longer possible to "inspect" them, which a primitive like + is trying to do. If you take that away I think the ambiguity of evaluation order with operands that might |
| 2025-11-15 03:48:14 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-15 03:46:21 +0100 | <lambdabot> | tell <nick> <message>. When <nick> shows activity, tell them <message>. |