Newest at the top
| 2025-02-25 07:03:58 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::a1d8) ensyde |
| 2025-02-25 07:03:11 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-02-25 07:01:16 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 2025-02-25 07:00:42 +0100 | fp1 | (~Thunderbi@wireless-86-50-141-43.open.aalto.fi) (Ping timeout: 244 seconds) |
| 2025-02-25 06:59:55 +0100 | alp | (~alp@2001:861:8ca0:4940:1509:d62f:8652:bd61) |
| 2025-02-25 06:58:33 +0100 | califax | (~califax@user/califx) califx |
| 2025-02-25 06:57:40 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-02-25 06:56:36 +0100 | fp1 | (~Thunderbi@wireless-86-50-141-43.open.aalto.fi) fp |
| 2025-02-25 06:55:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-25 06:54:18 +0100 | sudden | (~cat@user/sudden) sudden |
| 2025-02-25 06:49:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 06:49:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-25 06:47:49 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-25 06:47:17 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-25 06:45:09 +0100 | k0zy | (~user@user/k0zy) k0zy |
| 2025-02-25 06:44:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 06:44:11 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-25 06:43:48 +0100 | polyphem | (~polyphem@p4fc2ccda.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-25 06:42:13 +0100 | sudden | (~cat@user/sudden) (Ping timeout: 248 seconds) |
| 2025-02-25 06:41:00 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-25 06:40:30 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-25 06:38:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-25 06:35:13 +0100 | polyphem | (~polyphem@p4fc2ccda.dip0.t-ipconnect.de) polyphem |
| 2025-02-25 06:33:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 06:22:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-25 06:17:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 06:06:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-25 06:04:12 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-02-25 06:03:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-25 06:02:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-25 06:01:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 05:58:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 05:57:54 +0100 | <ski> | "exponentiation involves instantiating one numeral to `r -> r`" -- did this, for implication goals, in a logic programming prototype, having unbounded number of continuation levels (and then `IO' or `ST s' at the bottom, for update-in-place of logic variables) |
| 2025-02-25 05:51:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 05:49:53 +0100 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-02-25 05:49:39 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-02-25 05:46:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 05:43:42 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-02-25 05:39:35 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc6:4c00:6a7:4bec:d8bb:d20c) (Ping timeout: 244 seconds) |
| 2025-02-25 05:39:15 +0100 | aforemny | (~aforemny@i59F4C45F.versanet.de) aforemny |
| 2025-02-25 05:35:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 05:31:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 05:29:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-25 05:28:58 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-02-25 05:27:11 +0100 | petrichor | (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 2025-02-25 05:21:53 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-25 05:20:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-25 05:17:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-25 05:13:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 05:12:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |