| 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 |
| 2025-11-15 05:39:18 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-15 05:39:31 +0100 | DetourNe- | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-15 05:41:49 +0100 | DetourNe- | DetourNetworkUK |
| 2025-11-15 05:50:38 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-15 05:50:52 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-15 05:51:33 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-15 05:55:22 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 05:57:16 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-15 05:57:16 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-11-15 05:57:16 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-11-15 05:57:16 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-11-15 05:57:16 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-15 05:57:30 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-15 05:58:07 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-15 06:01:59 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-11-15 06:03:07 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 06:05:39 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 06:05:42 +0100 | Googulator39 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 06:06:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-15 06:06:46 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-11-15 06:07:59 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-15 06:10:38 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 06:10:46 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 06:11:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 06:11:19 +0100 | Inline | (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) (Ping timeout: 255 seconds) |
| 2025-11-15 06:12:19 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Client Quit) |
| 2025-11-15 06:12:24 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 06:13:34 +0100 | qqe | (~qqq@185.54.21.203) |
| 2025-11-15 06:16:15 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 06:16:28 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-15 06:16:49 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Remote host closed the connection) |
| 2025-11-15 06:22:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 06:25:37 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 06:25:43 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 06:27:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 06:30:46 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 06:30:46 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 06:36:01 +0100 | Inline | (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) Inline |
| 2025-11-15 06:38:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 06:40:35 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 06:40:48 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-15 06:43:47 +0100 | jangerma1 | (~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net) |
| 2025-11-15 06:45:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 06:50:08 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-11-15 06:51:11 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-15 06:55:38 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 06:55:43 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 06:56:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 06:58:04 +0100 | deptype | (~deptype@2406:b400:3a:73c2:34a7:4ca9:c20f:cca0) (Ping timeout: 256 seconds) |
| 2025-11-15 07:04:48 +0100 | bggd | (~bgg@2a01:e0a:819:1510:b3bb:df97:ee88:22a7) |
| 2025-11-15 07:06:01 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 07:06:04 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 07:06:34 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-15 07:12:47 +0100 | trickard_ | trickard |
| 2025-11-15 07:15:46 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 07:15:46 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 07:19:12 +0100 | deptype | (~deptype@124.123.128.236) |
| 2025-11-15 07:19:36 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 07:24:12 +0100 | qqe | (~qqq@185.54.21.203) (Remote host closed the connection) |
| 2025-11-15 07:27:26 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-11-15 07:29:28 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 07:45:38 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 07:45:43 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 07:55:30 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-15 08:07:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 08:07:59 +0100 | annamalai | (~annamalai@157.32.205.30) (Read error: Connection reset by peer) |
| 2025-11-15 08:08:13 +0100 | annamalai | (~annamalai@2409:4042:4c48:4ad4::9e4a:ad13) annamalai |
| 2025-11-15 08:18:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 08:20:57 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 250 seconds) |
| 2025-11-15 08:23:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 08:33:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 08:36:56 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 08:39:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-15 08:49:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 08:50:16 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-15 08:54:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 09:05:24 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) |
| 2025-11-15 09:05:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 09:10:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 09:15:45 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 09:15:56 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 09:16:59 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-15 09:21:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 09:25:33 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 09:25:40 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 09:32:17 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-15 09:38:26 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-15 09:42:23 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-15 09:45:39 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 09:45:46 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 09:50:30 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-11-15 09:52:32 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 09:53:25 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-15 09:57:48 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2025-11-15 09:58:29 +0100 | cgnarne | (~pk@user/cgnarne) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-11-15 10:01:43 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-15 10:02:31 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-15 10:06:04 +0100 | Googulator65 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 10:06:23 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 10:16:24 +0100 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-11-15 10:16:46 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-15 10:25:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 10:30:41 +0100 | Googulator65 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 10:30:44 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 10:33:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 10:34:57 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-15 10:39:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 10:40:28 +0100 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-11-15 10:43:26 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-11-15 10:49:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 10:50:40 +0100 | Googulator9 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 10:50:46 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 10:53:48 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-15 11:08:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 11:25:42 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 11:25:46 +0100 | Googulator9 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 11:37:44 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-15 11:45:37 +0100 | Googulator49 | (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-15 11:45:49 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 11:50:35 +0100 | Googulator49 | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 11:50:47 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 11:53:34 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-15 11:54:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 11:54:33 +0100 | trickard_ | trickard |
| 2025-11-15 11:57:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) |
| 2025-11-15 11:58:19 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-15 12:03:45 +0100 | acidjnk | (~acidjnk@p200300d6e7171920f5066731f9227f8d.dip0.t-ipconnect.de) acidjnk |
| 2025-11-15 12:04:04 +0100 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 12:04:16 +0100 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-15 12:05:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 12:08:16 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-15 12:08:47 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) |
| 2025-11-15 12:09:44 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-15 12:19:24 +0100 | trickard___ | (~trickard@cpe-59-98-47-163.wireline.com.au) |
| 2025-11-15 12:20:30 +0100 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-11-15 12:24:17 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 12:25:13 +0100 | trickard___ | (~trickard@cpe-59-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-15 12:29:47 +0100 | trickard_ | (~trickard@cpe-59-98-47-163.wireline.com.au) |
| 2025-11-15 12:58:49 +0100 | trickard_ | trickard |
| 2025-11-15 13:09:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-15 13:11:51 +0100 | qqe | (~qqq@185.54.20.32) |
| 2025-11-15 13:17:28 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 255 seconds) |
| 2025-11-15 13:18:24 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 13:19:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 13:20:40 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 13:20:53 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 13:21:37 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-15 13:23:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 13:25:49 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-15 13:33:11 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-15 13:34:11 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-15 13:34:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 13:35:28 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 13:35:42 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 13:37:12 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-15 13:39:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 13:40:23 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 13:45:55 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-15 13:50:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 13:54:58 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2025-11-15 14:00:15 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-15 14:00:43 +0100 | Googulator75 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 14:00:49 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 14:15:44 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 14:15:49 +0100 | Googulator75 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 14:20:20 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-15 14:24:24 +0100 | Zemy_ | (~Zemy@2600:100c:b04a:3839:a04f:d0ff:fe84:c322) |
| 2025-11-15 14:24:24 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-15 14:24:58 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-11-15 14:29:08 +0100 | Zemy_ | (~Zemy@2600:100c:b04a:3839:a04f:d0ff:fe84:c322) (Ping timeout: 256 seconds) |
| 2025-11-15 14:30:37 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 14:30:45 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 14:35:52 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 14:36:14 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 14:45:30 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 14:45:37 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 14:50:48 +0100 | Googulator17 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 14:50:48 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 14:52:28 +0100 | qqe | (~qqq@185.54.20.32) (Quit: Lost terminal) |
| 2025-11-15 14:54:44 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) |
| 2025-11-15 15:03:45 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-15 15:04:49 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2025-11-15 15:19:36 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-15 15:21:32 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-11-15 15:23:10 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-11-15 15:23:28 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Client Quit) |
| 2025-11-15 15:25:02 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-11-15 15:29:57 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-15 15:31:52 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-11-15 15:32:01 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2025-11-15 15:35:24 +0100 | Googulator17 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 15:35:36 +0100 | Googulator17 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 15:40:30 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-11-15 15:42:48 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-15 15:49:59 +0100 | acarrico1 | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-15 15:50:51 +0100 | looking | (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) |
| 2025-11-15 15:51:34 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 15:56:24 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-11-15 15:57:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-15 16:03:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 16:04:02 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-15 16:04:11 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-15 16:06:59 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-15 16:07:23 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-15 16:15:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 16:21:29 +0100 | looking | (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed) |
| 2025-11-15 16:23:11 +0100 | looking | (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) |
| 2025-11-15 16:37:03 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-15 16:43:51 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-15 16:46:02 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-15 16:47:05 +0100 | acarrico1 | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 250 seconds) |
| 2025-11-15 16:54:53 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 250 seconds) |
| 2025-11-15 16:55:09 +0100 | Guest2000 | (~Guest2000@83.172.89.229) |
| 2025-11-15 16:55:46 +0100 | <Guest2000> | Is it just me, or the link/thumb to "Functional Programming in Haskell by Graham Hutton" dead? |
| 2025-11-15 16:55:52 +0100 | <Guest2000> | or is* |
| 2025-11-15 16:57:44 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 16:59:13 +0100 | <Guest2000> | at haskell.org frontpage that is. |
| 2025-11-15 17:00:20 +0100 | acidjnk | (~acidjnk@p200300d6e7171920f5066731f9227f8d.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-11-15 17:01:08 +0100 | <Rembane> | This one? https://www.youtube.com/watch?v=IzQTfh-Iuds&list=PLF1Z-APd9zK7usPMx3LGMZEHrECUGodd3&index=2 Yeah, it's private |
| 2025-11-15 17:01:12 +0100 | <Rembane> | ...for me too |
| 2025-11-15 17:01:26 +0100 | <mauke> | "Websites prove their identity via certificates, which are valid for a set time period. The certificate for haskell.org expired on 11/4/2025." |
| 2025-11-15 17:02:19 +0100 | <int-e> | Guest2000: interesting. the play list still exists: https://www.youtube.com/playlist?list=PLF1Z-APd9zK7usPMx3LGMZEHrECUGodd3 |
| 2025-11-15 17:02:52 +0100 | <int-e> | (but the video ids have changed) |
| 2025-11-15 17:03:14 +0100 | <int-e> | presumable they've been replaced by newer recordings |
| 2025-11-15 17:04:05 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-11-15 17:04:09 +0100 | <Guest2000> | Oh ok. Lets hope someone fixes it soon. Gives a bit of a bad look for anyone new arriving at the page. |
| 2025-11-15 17:04:11 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-15 17:04:49 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-15 17:05:47 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 17:06:20 +0100 | <int-e> | That seems overly dramatic. |
| 2025-11-15 17:06:26 +0100 | ljdarj1 | ljdarj |
| 2025-11-15 17:07:30 +0100 | <mauke> | oh good, haskell.org has different ssl certificates on ipv4 and ipv6 |
| 2025-11-15 17:07:47 +0100 | <int-e> | ...lol? |
| 2025-11-15 17:08:04 +0100 | <mauke> | https://www.ssllabs.com/ssltest/analyze.html?d=haskell.org |
| 2025-11-15 17:09:15 +0100 | Googulator17 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-11-15 17:11:15 +0100 | traxex | (traxex@user/traxex) traxex |
| 2025-11-15 17:15:44 +0100 | Guest2000 | (~Guest2000@83.172.89.229) (Quit: Client closed) |
| 2025-11-15 17:16:58 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-15 17:17:51 +0100 | <int-e> | mauke: heh maybe lead with the fact that the IPv6 one has expired :) |
| 2025-11-15 17:20:15 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) |
| 2025-11-15 17:20:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-15 17:21:06 +0100 | <int-e> | mauke: is it safe to assume that you've told #haskell-infrastructure about this? |
| 2025-11-15 17:24:28 +0100 | <haskellbridge> | <sm> @irc_libera.chat_guest2000:kf8nh.com: certainly |
| 2025-11-15 17:24:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-11-15 17:24:57 +0100 | looking | (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed) |
| 2025-11-15 17:25:25 +0100 | <mauke> | int-e: no |
| 2025-11-15 17:25:35 +0100 | <mauke> | and I didn't know it was only the ipv6 one |
| 2025-11-15 17:25:50 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 17:25:53 +0100 | <mauke> | all I saw was that I couldn't open haskell.org anymore |
| 2025-11-15 17:25:54 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 17:28:45 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2025-11-15 17:29:43 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-11-15 17:30:13 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-15 17:34:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 17:39:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 17:39:44 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-11-15 17:45:31 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 17:45:42 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 17:51:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 17:54:21 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-15 17:54:40 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-15 17:57:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 17:57:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 17:58:38 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-15 18:01:46 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-15 18:05:44 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 18:05:50 +0100 | Googulator69 | (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-15 18:13:15 +0100 | AlexNoo_ | AlexNoo |
| 2025-11-15 18:15:22 +0100 | acidjnk | (~acidjnk@p200300d6e71719200dae54d3d04eac45.dip0.t-ipconnect.de) acidjnk |
| 2025-11-15 18:16:19 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 18:17:09 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 18:20:39 +0100 | Googulator18 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 18:20:49 +0100 | Googulator69 | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 18:20:50 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-11-15 18:25:38 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 18:31:19 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-11-15 18:40:10 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 256 seconds) |
| 2025-11-15 18:40:38 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 18:40:43 +0100 | Googulator18 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 18:54:30 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-15 18:54:48 +0100 | vanishing | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2025-11-15 18:55:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-15 18:57:40 +0100 | <codolio> | jreicher: That sounds like fixing an evaluation order. Like I said, you can do that, but then Church-Rosser becomes vacuous, because the fixed evaluation order means there is only ever one reduction step for each term, so there is no actual branching that needs to be reconciled. |
| 2025-11-15 18:58:44 +0100 | <codolio> | It's not necessarily a bad solution. And you can have multiple evaluation orders in a single calculus. |
| 2025-11-15 19:00:35 +0100 | <codolio> | But, it doesn't really fix what is hard to think about with regard to 'effects' and laziness. I think the aspect that makes it hard to think about is that you can no longer think about the delimiting lexically, because the shifts do not actually happen until they are evaluated. |
| 2025-11-15 19:00:38 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 19:00:42 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 19:02:02 +0100 | <codolio> | So when you write `reset (... shift ...)` that doesn't mean that the `shift` is actually delimited by that `reset`, because the expression within may not evaluate the shift. |
| 2025-11-15 19:02:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-15 19:03:53 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-15 19:04:35 +0100 | <codolio> | The systems I know of that have both laziness and continuations are significant departures from just lambda calculus. |
| 2025-11-15 19:07:55 +0100 | robertm | (robertm@lattice.rojoma.com) (Ping timeout: 250 seconds) |
| 2025-11-15 19:09:08 +0100 | codolio | dolio |
| 2025-11-15 19:09:21 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) (Quit: PegeLinux) |
| 2025-11-15 19:10:04 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-15 19:10:46 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) kimiamania |
| 2025-11-15 19:14:14 +0100 | krei-se | (~krei-se@p200300f1cf2e0c01000000000000c8c6.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-11-15 19:14:53 +0100 | krei-se | (~krei-se@p50829bd3.dip0.t-ipconnect.de) krei-se |
| 2025-11-15 19:15:28 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 19:15:40 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 19:17:34 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-15 19:20:50 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 19:20:50 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 19:26:56 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-15 19:27:15 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) |
| 2025-11-15 19:30:52 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 19:33:48 +0100 | krei-se | (~krei-se@p50829bd3.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-11-15 19:34:28 +0100 | ChanServ | (ChanServ@services.libera.chat) (*.net *.split) |
| 2025-11-15 19:35:23 +0100 | Nachtgespenst | (~user@ip5f5bf4bb.dynamic.kabel-deutschland.de) |
| 2025-11-15 19:35:28 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 19:35:38 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 19:38:51 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-11-15 19:41:00 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 19:41:24 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 19:45:41 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 19:45:41 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Client Quit) |
| 2025-11-15 19:48:23 +0100 | ChanServ | (ChanServ@services.libera.chat) |
| 2025-11-15 19:48:23 +0100 | iridium.libera.chat | +o ChanServ |
| 2025-11-15 19:49:39 +0100 | Nachtgespenst | (~user@ip5f5bf4bb.dynamic.kabel-deutschland.de) (Changing host) |
| 2025-11-15 19:49:39 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-15 19:53:51 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-15 19:53:56 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-15 19:55:14 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-15 19:55:31 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 246 seconds) |
| 2025-11-15 19:59:00 +0100 | trickard | (~trickard@cpe-59-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-15 19:59:10 +0100 | trickard__ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-15 20:03:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 20:05:22 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-11-15 20:05:42 +0100 | Everything | (~Everythin@46.96.11.48) Everything |
| 2025-11-15 20:07:17 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
| 2025-11-15 20:07:43 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
| 2025-11-15 20:08:21 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 20:08:34 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-15 20:08:51 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 20:10:18 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-15 20:11:57 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-15 20:12:26 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-15 20:16:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-15 20:18:14 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-11-15 20:21:03 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-11-15 20:23:24 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2025-11-15 20:24:46 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2025-11-15 20:26:11 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-15 20:28:20 +0100 | <haskellbridge> | <sm> tcard_ hi.. is the rust-focussed https://engineering.iog.io/2023-01-26-hs-bindgen-introduction/ the same as that being discussed at https://dl.acm.org/doi/10.1145/3759164.3759350 ? |
| 2025-11-15 20:28:33 +0100 | <haskellbridge> | <sm> or is it a name collision ? |
| 2025-11-15 20:29:44 +0100 | <c_wraith> | pretty sure that's the same tool. |
| 2025-11-15 20:30:18 +0100 | trickard__ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-15 20:30:31 +0100 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-15 20:32:04 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-15 20:32:09 +0100 | <int-e> | https://github.com/well-typed/hs-bindgen looks quite different from https://github.com/yvan-sraka/hs-bindgen |
| 2025-11-15 20:32:31 +0100 | <int-e> | (voting for name collision) |
| 2025-11-15 20:34:01 +0100 | <haskellbridge> | <sm> for context: the entertaining https://www.youtube.com/watch?v=BhaBzbzEbKg video struggled to bring C structs across the FFI boundary and I wondered what's current best practice, and magic_rb pointed me to hs-bindgen |
| 2025-11-15 20:34:21 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2025-11-15 20:35:46 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-15 20:37:13 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2025-11-15 20:37:41 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2025-11-15 20:39:19 +0100 | <haskellbridge> | <sm> great links, thank you |
| 2025-11-15 20:40:45 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-15 20:41:35 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 20:42:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-15 20:44:43 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-15 20:44:55 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2025-11-15 20:45:29 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-15 20:47:05 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-15 20:47:07 +0100 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-11-15 20:47:15 +0100 | sindu | (~sindu@77.19.134.151.tmi.telenormobil.no) |
| 2025-11-15 20:48:37 +0100 | Digit | (~user@user/digit) Digit |
| 2025-11-15 20:51:51 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-11-15 20:52:39 +0100 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-11-15 20:53:17 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-15 21:08:53 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-15 21:10:43 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:10:47 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:20:02 +0100 | spew | (~spew@user/spew) spew |
| 2025-11-15 21:20:35 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:20:39 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:21:22 +0100 | ChanServ | +o geekosaur |
| 2025-11-15 21:24:04 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-15 21:25:50 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:25:50 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:27:32 +0100 | <geekosaur> | I opped up because they're working on services. But I'm a little busy so ping me if needed |
| 2025-11-15 21:35:27 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:35:39 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:36:05 +0100 | <jreicher> | dolio: I take your point (two points, really), but I don't think it's like fixing evaluation order any more than the normal lambda calculus is. I think it's a confusion in the story we are telling about types and arguments. Take, for example, in a Church-numeral arithmetic, that we would probably have (* 0 (K 5)) -> 0, but (* (K 5) 0) -> 5 (or maybe (K (K 5)), etc. depending on implementation of *). What's going on here is (K 5) is not |
| 2025-11-15 21:36:05 +0100 | <jreicher> | the sort of object that should be given to the usual story of *, but if we ignore that story what happened is perfectly fine, because abstractions are not commutative. |
| 2025-11-15 21:42:38 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-15 21:43:18 +0100 | geekosaur | -o geekosaur |
| 2025-11-15 21:45:46 +0100 | califax_ | (~califax@user/califx) califx |
| 2025-11-15 21:46:10 +0100 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-15 21:46:57 +0100 | Square3 | (~Square@user/square) (Ping timeout: 250 seconds) |
| 2025-11-15 21:47:03 +0100 | califax_ | califax |
| 2025-11-15 21:51:27 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-15 21:54:37 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-15 21:55:45 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 21:55:46 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 21:59:01 +0100 | saurcron | (uid575716@user/saurcron) (Quit: Connection closed for inactivity) |
| 2025-11-15 22:07:16 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-15 22:11:28 +0100 | trickard_ | trickard |
| 2025-11-15 22:13:14 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-15 22:20:36 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-11-15 22:20:46 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 22:20:53 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 22:25:01 +0100 | oxapentane | (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 2025-11-15 22:25:35 +0100 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
| 2025-11-15 22:28:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-15 22:30:40 +0100 | Googulator48 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 22:30:40 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |