Newest at the top
| 2026-02-16 00:45:25 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-02-16 00:43:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-16 00:41:37 +0100 | michalz | (~michalz@185.246.207.201) |
| 2026-02-16 00:41:11 +0100 | michalz | (~michalz@185.246.207.205) (Read error: Connection reset by peer) |
| 2026-02-16 00:39:54 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-16 00:38:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-16 00:36:33 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-16 00:27:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-16 00:22:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-16 00:12:41 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-16 00:12:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-16 00:08:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-16 00:07:46 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-02-16 00:06:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 23:55:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 23:53:47 +0100 | emmanuelux | (~em@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2026-02-15 23:51:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 23:48:56 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 23:45:36 +0100 | emmanuelux_ | (~em@2a01cb011051ddce36cff6fffefa7e31.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2026-02-15 23:44:29 +0100 | polykernel_ | polykernel |
| 2026-02-15 23:44:29 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-02-15 23:44:06 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-15 23:44:00 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-15 23:43:51 +0100 | califax | (~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-15 23:40:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 23:39:57 +0100 | Miroboru | (~myrvoll@84.214.174.190) Miroboru |
| 2026-02-15 23:35:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 23:33:28 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-02-15 23:33:19 +0100 | Miroboru | (~myrvoll@188.113.115.67) (Ping timeout: 264 seconds) |
| 2026-02-15 23:32:21 +0100 | michalz | (~michalz@185.246.207.205) |
| 2026-02-15 23:29:33 +0100 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2026-02-15 23:24:23 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-02-15 23:23:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 23:22:34 +0100 | emmanuelux_ | (~em@2a01cb011051ddce36cff6fffefa7e31.ipv6.abo.wanadoo.fr) |
| 2026-02-15 23:22:31 +0100 | emmanuelux | (~em@user/emmanuelux) (Ping timeout: 244 seconds) |
| 2026-02-15 23:21:43 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-15 23:19:09 +0100 | ft | (~ft@p4fc2afab.dip0.t-ipconnect.de) ft |
| 2026-02-15 23:06:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 23:06:04 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-02-15 23:03:13 +0100 | <monochrom> | >:) |
| 2026-02-15 23:03:10 +0100 | <lambdabot> | negate . (-) 1 |
| 2026-02-15 23:03:10 +0100 | <monochrom> | @pl \y -> negate (1 - y) |
| 2026-02-15 23:02:08 +0100 | <larsivi> | ok, so slowly starting to understand this :) At least I have something that works. Thanks again! |
| 2026-02-15 22:56:18 +0100 | <mauke> | (-) x = (\y -> x - y) |
| 2026-02-15 22:55:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 22:55:33 +0100 | <int-e> | a - b = -(b - a) is elementary |
| 2026-02-15 22:55:23 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-15 22:54:59 +0100 | <larsivi> | yeah, that turns out to negate the result |
| 2026-02-15 22:54:34 +0100 | <lambdabot> | [43,-41] |
| 2026-02-15 22:54:33 +0100 | <mauke> | > sequence [(+1), ((-) 1)] 42 |