| 2025-11-15 00:01:43 +0100 | pterobul | (~Thunderbi@user/pterobul) (Quit: pterobul) |
| 2025-11-15 00:01:55 +0100 | deptype | (~deptype@2406:b400:3a:73c2:f3b6:2436:37c8:5abf) (Remote host closed the connection) |
| 2025-11-15 00:02:30 +0100 | deptype | (~deptype@2406:b400:3a:73c2:5d92:b87c:3090:d399) |
| 2025-11-15 00:03:05 +0100 | Nachtgespenst_ | Nachtgespenst |
| 2025-11-15 00:21:37 +0100 | cgnarne | (~pk@user/cgnarne) cgnarne |
| 2025-11-15 00:21:57 +0100 | deptype | (~deptype@2406:b400:3a:73c2:5d92:b87c:3090:d399) (Remote host closed the connection) |
| 2025-11-15 00:22:13 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2025-11-15 00:22:32 +0100 | deptype | (~deptype@2406:b400:3a:73c2:8f81:4d70:d1e9:c538) |
| 2025-11-15 00:25:03 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-15 00:30:22 +0100 | Googulator62 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 00:30:37 +0100 | Googulator62 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 00:33:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:c091:8d2b:d263:84cc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-15 00:34:51 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-15 00:35:00 +0100 | sindu | (~sindu@77.19.134.151.tmi.telenormobil.no) (Ping timeout: 256 seconds) |
| 2025-11-15 00:38:43 +0100 | comerijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-15 00:42:03 +0100 | deptype | (~deptype@2406:b400:3a:73c2:8f81:4d70:d1e9:c538) (Remote host closed the connection) |
| 2025-11-15 00:42:18 +0100 | deptype | (~deptype@2406:b400:3a:73c2:2054:e5ed:d26e:b2fa) |
| 2025-11-15 00:49:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 00:50:26 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-15 00:55:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 00:58:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-15 01:01:25 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-15 01:01:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 01:02:06 +0100 | deptype | (~deptype@2406:b400:3a:73c2:2054:e5ed:d26e:b2fa) (Remote host closed the connection) |
| 2025-11-15 01:02:19 +0100 | deptype | (~deptype@2406:b400:3a:73c2:c924:f6f1:d173:eae3) |
| 2025-11-15 01:04:12 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-15 01:04:40 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-15 01:05:28 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-11-15 01:05:41 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 01:05:41 +0100 | Googulator62 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 01:06:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-15 01:08:14 +0100 | zeenk_ | (~zeenk@82.78.233.217) (Quit: Konversation terminated!) |
| 2025-11-15 01:09:40 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-15 01:12:44 +0100 | looking | (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed) |
| 2025-11-15 01:15:30 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-15 01:17:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 01:18:16 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-15 01:18:37 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-11-15 01:18:57 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-15 01:20:09 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-11-15 01:22:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 01:22:38 +0100 | deptype | (~deptype@2406:b400:3a:73c2:c924:f6f1:d173:eae3) (Remote host closed the connection) |
| 2025-11-15 01:22:51 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cdf6:f8f7:92c0:11c1) |
| 2025-11-15 01:22:55 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-15 01:23:10 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-15 01:23:31 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-15 01:26:06 +0100 | Googulator50 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 01:26:07 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 01:28:32 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2025-11-15 01:28:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-15 01:30:05 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-15 01:30:26 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-15 01:31:05 +0100 | spew | (~spew@user/spew) spew |
| 2025-11-15 01:31:18 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Remote host closed the connection) |
| 2025-11-15 01:33:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 01:36:58 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-15 01:37:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-15 01:38:23 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2025-11-15 01:42:40 +0100 | deptype | (~deptype@2406:b400:3a:73c2:cdf6:f8f7:92c0:11c1) (Remote host closed the connection) |
| 2025-11-15 01:42:52 +0100 | deptype | (~deptype@2406:b400:3a:73c2:6946:cc2a:760e:168f) |
| 2025-11-15 01:43:26 +0100 | kaankeskin | (~kaankeski@user/kaankeskin) (Ping timeout: 265 seconds) |
| 2025-11-15 01:44:23 +0100 | kaankeskin | (~kaankeski@user/kaankeskin) kaankeskin |
| 2025-11-15 01:48:56 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-15 01:48:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 01:50:22 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-15 01:51:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-15 01:54:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 01:55:11 +0100 | AlexNoo_ | (~AlexNoo@178.34.151.158) |
| 2025-11-15 01:55:28 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-15 01:58:49 +0100 | AlexNoo | (~AlexNoo@5.139.233.178) (Ping timeout: 264 seconds) |
| 2025-11-15 01:58:52 +0100 | AlexZenon | (~alzenon@5.139.233.178) (Ping timeout: 256 seconds) |
| 2025-11-15 02:00:40 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 2025-11-15 02:02:42 +0100 | deptype | (~deptype@2406:b400:3a:73c2:6946:cc2a:760e:168f) (Remote host closed the connection) |
| 2025-11-15 02:02:55 +0100 | deptype | (~deptype@2406:b400:3a:73c2:123f:5c36:6169:ff58) |
| 2025-11-15 02:04:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 02:05:50 +0100 | AlexZenon | (~alzenon@178.34.151.158) |
| 2025-11-15 02:05:52 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 02:06:17 +0100 | Googulator50 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 02:12:34 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-15 02:13:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 02:13:14 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-11-15 02:13:38 +0100 | Inline | (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) (Ping timeout: 244 seconds) |
| 2025-11-15 02:17:30 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 02:20:28 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 02:20:38 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 02:22:49 +0100 | deptype | (~deptype@2406:b400:3a:73c2:123f:5c36:6169:ff58) (Remote host closed the connection) |
| 2025-11-15 02:23:02 +0100 | deptype | (~deptype@2406:b400:3a:73c2:1fe9:83cd:9c0:2c5) |
| 2025-11-15 02:23:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 02:26:21 +0100 | Inline | (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) Inline |
| 2025-11-15 02:28:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 02:31:10 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-11-15 02:31:23 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-11-15 02:31:53 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-11-15 02:32:24 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-15 02:33:15 +0100 | 092AAJ4NW | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 02:33:15 +0100 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-11-15 02:33:28 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-15 02:33:31 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-11-15 02:33:40 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 245 seconds) |
| 2025-11-15 02:35:24 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-15 02:39:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 02:42:50 +0100 | deptype | (~deptype@2406:b400:3a:73c2:1fe9:83cd:9c0:2c5) (Remote host closed the connection) |
| 2025-11-15 02:43:03 +0100 | deptype | (~deptype@2406:b400:3a:73c2:a098:1c3:fe34:8853) |
| 2025-11-15 02:43:22 +0100 | spew | (~spew@user/spew) (Quit: WeeChat 4.6.3) |
| 2025-11-15 02:43:27 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 02:43:46 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-15 02:44:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 02:50:35 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 02:50:39 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 02:51:52 +0100 | acidjnk | (~acidjnk@p200300d6e717192040ac95c287188d84.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-11-15 02:54:39 +0100 | trickard_ | trickard |
| 2025-11-15 02:55:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 02:56:39 +0100 | otto_s | (~user@p4ff27f5d.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-15 03:02:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-15 03:02:50 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-15 03:03:13 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-15 03:03:22 +0100 | deptype | (~deptype@2406:b400:3a:73c2:a098:1c3:fe34:8853) (Remote host closed the connection) |
| 2025-11-15 03:03:36 +0100 | deptype | (~deptype@2406:b400:3a:73c2:68f9:54e7:c1ae:5f7e) |
| 2025-11-15 03:04:42 +0100 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-11-15 03:06:18 +0100 | EvanR | (~EvanR@2600:1700:ba69:10:fc0b:ad5:c171:5a72) (Ping timeout: 256 seconds) |
| 2025-11-15 03:06:39 +0100 | otto_s | (~user@p5de2f1db.dip0.t-ipconnect.de) |
| 2025-11-15 03:10:40 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 03:10:41 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 03:13:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 03:18:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-15 03:21:50 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-15 03:21:50 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-11-15 03:21:52 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-11-15 03:23:03 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-11-15 03:23:19 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-11-15 03:23:24 +0100 | myxos | (~myxos@2001:579:8380:f20:e1c:e3b9:dc1a:668f) (Ping timeout: 252 seconds) |
| 2025-11-15 03:23:43 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-11-15 03:24:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-15 03:27:20 +0100 | myxos | (~myxos@wsip-70-166-126-146.ph.ph.cox.net) myxokephale |
| 2025-11-15 03:29:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 03:29:35 +0100 | EvanR_ | EvanR |
| 2025-11-15 03:30:00 +0100 | khuldraeseth | (~khuldraes@2601:180:8300:c550::ecd2) |
| 2025-11-15 03:34:19 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 03:34:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-15 03:38:28 +0100 | khuldraeseth | (~khuldraes@2601:180:8300:c550::ecd2) (Quit: WeeChat 4.7.1) |
| 2025-11-15 03:39:09 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2025-11-15 03:39:59 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-15 03:42:34 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2025-11-15 03:43:55 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 03:44:08 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-15 03:45:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 03:46:16 +0100 | <jreicher> | @help |
| 2025-11-15 03:46:16 +0100 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2025-11-15 03:46:21 +0100 | <jreicher> | @help tell |
| 2025-11-15 03:46:21 +0100 | <lambdabot> | tell <nick> <message>. When <nick> shows activity, tell them <message>. |
| 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: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:21 +0100 | <jreicher> | contain "shift" goes away also. |
| 2025-11-15 03:48:21 +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:37 +0100 | <lambdabot> | Consider it noted. |
| 2025-11-15 03:50:40 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 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:53:39 +0100 | <jreicher> | Oh, codolio I think you're the same person? If so, ^ |
| 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:55:42 +0100 | deptype | (~deptype@2406:b400:3a:73c2:3739:7d1b:7456:5c4f) |
| 2025-11-15 03:56:14 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-15 04:06:16 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-15 04:10:42 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-15 04:12:48 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-15 04:13:09 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-15 04:15:39 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 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:50 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 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:16:13 +0100 | deptype | (~deptype@2406:b400:3a:73c2:8974:e356:296e:12ca) |
| 2025-11-15 04:17:08 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 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:20:49 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 04:25:59 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 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:26:43 +0100 | td__ | (~td@2001:9e8:19c5:1800:ec98:e836:5d0:9712) (Ping timeout: 264 seconds) |
| 2025-11-15 04:28:01 +0100 | td_ | (~td@i53870938.versanet.de) |
| 2025-11-15 04:29:34 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-15 04:30:47 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-15 04:34:25 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 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:36:03 +0100 | deptype | (~deptype@2406:b400:3a:73c2:8974:e356:296e:12ca) (Remote host closed the connection) |
| 2025-11-15 04:36:15 +0100 | deptype | (~deptype@2406:b400:3a:73c2:3627:f9a3:22:eaf4) |
| 2025-11-15 04:47:01 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 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:49:49 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-11-15 04:50:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 04:53:50 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 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:56:17 +0100 | deptype | (~deptype@2406:b400:3a:73c2:34a7:4ca9:c20f:cca0) |
| 2025-11-15 04:59:00 +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 05:06:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 05:08:08 +0100 | trickard_ | trickard |
| 2025-11-15 05:25:41 +0100 | Googulator39 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 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:35:48 +0100 | annamalai | (~annamalai@2409:4042:4c48:4ad4::9e4a:ad13) (Read error: Connection reset by peer) |
| 2025-11-15 05:36:09 +0100 | annamalai | (~annamalai@157.32.205.30) annamalai |