| 2025-02-25 00:00:34 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-02-25 00:06:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 00:07:12 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-25 00:09:12 +0100 | malte | (~malte@mal.tc) malte |
| 2025-02-25 00:09:59 +0100 | AlexNoo | (~AlexNoo@178.34.162.44) (Read error: Connection reset by peer) |
| 2025-02-25 00:11:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-25 00:11:25 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-02-25 00:12:14 +0100 | AlexNoo | (~AlexNoo@178.34.162.44) |
| 2025-02-25 00:14:01 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-25 00:17:49 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2025-02-25 00:18:12 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-25 00:20:17 +0100 | malte | (~malte@mal.tc) malte |
| 2025-02-25 00:20:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-02-25 00:21:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 00:23:20 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-25 00:26:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 00:29:47 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-25 00:30:44 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-25 00:37:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 00:37:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 00:42:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-25 00:42:39 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-02-25 00:44:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 00:50:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 00:55:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-25 00:57:47 +0100 | mange | (~user@user/mange) mange |
| 2025-02-25 01:02:39 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-02-25 01:03:10 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-02-25 01:04:25 +0100 | olivial_ | (~benjaminl@c-76-144-12-233.hsd1.or.comcast.net) (Ping timeout: 268 seconds) |
| 2025-02-25 01:06:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 01:07:05 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 244 seconds) |
| 2025-02-25 01:08:28 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 265 seconds) |
| 2025-02-25 01:11:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-25 01:14:54 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-02-25 01:19:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-25 01:22:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 01:23:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 01:27:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-25 01:27:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-25 01:38:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 01:38:41 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-02-25 01:43:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-25 01:49:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-02-25 01:51:42 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-25 01:53:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 01:56:27 +0100 | xff0x | (~xff0x@2405:6580:b080:900:6dac:d85c:a56f:65f8) (Ping timeout: 276 seconds) |
| 2025-02-25 01:57:27 +0100 | acidjnk | (~acidjnk@p200300d6e7283f506dba6a8fb70c33a2.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-02-25 01:59:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-25 01:59:34 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Quit: m5zs7k) |
| 2025-02-25 02:03:29 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-02-25 02:08:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 02:09:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 02:09:58 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 2025-02-25 02:11:03 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2025-02-25 02:12:50 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-25 02:14:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-25 02:16:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 02:17:36 +0100 | sprotte24 | (~sprotte24@p200300d16f3063004006d4006bd9f81a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-02-25 02:21:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 02:32:05 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2025-02-25 02:32:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 02:35:55 +0100 | alp | (~alp@2001:861:8ca0:4940:4960:283e:5e01:3e7b) (Ping timeout: 252 seconds) |
| 2025-02-25 02:38:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-25 02:39:15 +0100 | Square | (~Square4@user/square) Square |
| 2025-02-25 02:43:32 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-02-25 02:43:55 +0100 | califax | (~califax@user/califx) califx |
| 2025-02-25 02:43:55 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-02-25 02:46:43 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-25 02:47:10 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-25 02:47:21 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-25 02:48:22 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-25 02:48:48 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-25 02:49:11 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-25 02:49:17 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-02-25 02:49:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 02:54:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-25 02:54:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 02:59:23 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-25 03:05:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 03:06:52 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-25 03:10:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 03:21:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 03:25:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 03:36:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 03:40:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 03:43:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-25 03:44:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-25 03:50:09 +0100 | petrichor | (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 2025-02-25 03:51:56 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-25 03:52:16 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-25 03:52:59 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-02-25 03:54:30 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-25 03:54:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 03:54:37 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 268 seconds) |
| 2025-02-25 03:59:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 04:01:58 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-25 04:04:30 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-25 04:07:01 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-02-25 04:07:36 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-25 04:11:08 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-02-25 04:18:38 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-25 04:24:27 +0100 | dmoerner | (~dmoerner@fedora/dmoerner) dmoerner |
| 2025-02-25 04:26:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 04:26:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 04:26:56 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-25 04:27:48 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-25 04:29:37 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-25 04:30:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-25 04:31:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-25 04:41:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 04:46:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-25 04:47:19 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-02-25 04:57:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 05:02:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-25 05:08:42 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-25 05:08:56 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-25 05:09:02 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-02-25 05:09:27 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-25 05:12:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 05:13:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 05:17:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-25 05:20:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-25 05:21:53 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-25 05:27:11 +0100 | petrichor | (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 2025-02-25 05:28:58 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-02-25 05:29:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-25 05:31:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 05:35:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 05:39:15 +0100 | aforemny | (~aforemny@i59F4C45F.versanet.de) aforemny |
| 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:43:42 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-02-25 05:46:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 05:49:39 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-02-25 05:49:53 +0100 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-02-25 05:51:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 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:58:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 06:01:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 06:02:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-25 06:03:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-25 06:04:12 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-02-25 06:06:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-25 06:17:40 +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:33:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 06:35:13 +0100 | polyphem | (~polyphem@p4fc2ccda.dip0.t-ipconnect.de) polyphem |
| 2025-02-25 06:38:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-25 06:40:30 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-25 06:41:00 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-25 06:42:13 +0100 | sudden | (~cat@user/sudden) (Ping timeout: 248 seconds) |
| 2025-02-25 06:43:48 +0100 | polyphem | (~polyphem@p4fc2ccda.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-25 06:44:11 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-25 06:44:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 06:45:09 +0100 | k0zy | (~user@user/k0zy) k0zy |
| 2025-02-25 06:47:17 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-25 06:47:49 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |