| 2026-02-15 00:03:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 00:05:14 +0100 | elarks | (~elarks@user/yerrii) yerrii |
| 2026-02-15 00:08:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-15 00:09:35 +0100 | elarks | (~elarks@user/yerrii) (Client Quit) |
| 2026-02-15 00:18:14 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds) |
| 2026-02-15 00:18:38 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2026-02-15 00:19:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 00:23:26 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-02-15 00:23:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 00:24:44 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-15 00:26:27 +0100 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2026-02-15 00:27:42 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-15 00:29:38 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 00:34:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 00:36:10 +0100 | tromp | (~textual@2001:1c00:3487:1b00:49b4:8838:6b5e:2a21) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-15 00:37:06 +0100 | acidjnk | (~acidjnk@p200300d6e700e53408753edc2ee6991b.dip0.t-ipconnect.de) acidjnk |
| 2026-02-15 00:38:10 +0100 | acidjnk | (~acidjnk@p200300d6e700e53408753edc2ee6991b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2026-02-15 00:41:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-15 00:51:05 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2026-02-15 00:52:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 00:55:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-15 00:57:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 01:04:26 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 01:07:10 +0100 | traxex | (traxex@user/traxex) traxex |
| 2026-02-15 01:08:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 01:11:01 +0100 | Square2 | (~Square@user/square) Square |
| 2026-02-15 01:16:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 01:18:22 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 255 seconds) |
| 2026-02-15 01:28:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 01:33:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 01:34:48 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2026-02-15 01:40:11 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.10.1+deb1 - https://znc.in) |
| 2026-02-15 01:43:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 01:48:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 01:49:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-15 01:54:02 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 2026-02-15 01:56:34 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 245 seconds) |
| 2026-02-15 01:59:11 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-02-15 02:04:04 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-02-15 02:04:06 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-15 02:04:58 +0100 | <lantti> | oh, QuickCheck function "oneof" is actually "oneof" instead of "oneOf"... This strangely annoys me more than it should |
| 2026-02-15 02:06:46 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-15 02:07:24 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2026-02-15 02:13:47 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-02-15 02:14:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 02:17:09 +0100 | omidmash2 | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 02:17:10 +0100 | <humasect> | agree |
| 2026-02-15 02:19:11 +0100 | <Lears> | It's `sizeofFoo` that gets me every time. |
| 2026-02-15 02:19:16 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2026-02-15 02:19:16 +0100 | omidmash2 | omidmash |
| 2026-02-15 02:20:53 +0100 | <humasect> | oreof |
| 2026-02-15 02:21:05 +0100 | <humasect> | sizEofBar |
| 2026-02-15 02:21:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 02:32:17 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-15 02:32:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 02:33:19 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-15 02:36:51 +0100 | s3np41 | (~s3np41@078088254000.unknown.vectranet.pl) (Ping timeout: 250 seconds) |
| 2026-02-15 02:38:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 02:39:52 +0100 | s3np41 | (~s3np41@078088254000.unknown.vectranet.pl) |
| 2026-02-15 02:40:52 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-15 02:42:02 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 02:48:24 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-15 02:48:45 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-15 02:49:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 02:50:29 +0100 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2026-02-15 02:54:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 02:57:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2026-02-15 02:57:30 +0100 | ridcully | (~ridcully@p508ac876.dip0.t-ipconnect.de) (Quit: WeeChat 4.8.1) |
| 2026-02-15 02:58:28 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-02-15 03:03:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-15 03:04:22 +0100 | crazazy | (crazazy@tilde.town) (Ping timeout: 265 seconds) |
| 2026-02-15 03:05:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 03:06:46 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-15 03:10:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 03:16:17 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 2026-02-15 03:16:43 +0100 | crazazy | (~crazazy@tilde.town) crazazy |
| 2026-02-15 03:21:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 03:21:46 +0100 | crazazy | (~crazazy@tilde.town) (Ping timeout: 246 seconds) |
| 2026-02-15 03:25:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-15 03:36:10 +0100 | ridcully | (~ridcully@p508acfc8.dip0.t-ipconnect.de) ridcully |
| 2026-02-15 03:36:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 03:41:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 03:51:17 +0100 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2026-02-15 03:51:29 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-15 03:52:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 03:58:14 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-15 03:59:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 04:02:34 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 04:05:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-02-15 04:05:37 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-02-15 04:10:59 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-02-15 04:13:49 +0100 | td_ | (~td@i5387091C.versanet.de) (Ping timeout: 264 seconds) |
| 2026-02-15 04:15:17 +0100 | td_ | (~td@i53870902.versanet.de) td_ |
| 2026-02-15 04:16:02 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-02-15 04:20:24 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-02-15 04:20:34 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-02-15 04:25:40 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-02-15 04:26:20 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-15 04:26:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 04:30:16 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-02-15 04:31:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 04:35:49 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-02-15 04:39:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-15 04:41:33 +0100 | terrorjack | (~terrorjac@static.27.101.55.162.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-15 04:42:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 04:46:51 +0100 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-02-15 04:47:18 +0100 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) juri_ |
| 2026-02-15 04:47:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 04:48:08 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2026-02-15 04:49:05 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-02-15 04:51:34 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:993a:6661:111b:de9b) |
| 2026-02-15 04:51:47 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-15 04:52:34 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-15 04:57:02 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-15 04:58:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 04:59:10 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-02-15 05:03:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 05:09:12 +0100 | mange | (~mange@user/mange) mange |
| 2026-02-15 05:14:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 05:16:37 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 05:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-15 05:19:34 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-02-15 05:21:05 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 250 seconds) |
| 2026-02-15 05:29:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 05:36:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 05:36:50 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-02-15 05:42:33 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 05:45:23 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-15 05:45:35 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-15 05:45:38 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2026-02-15 05:47:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 05:52:49 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-02-15 05:53:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 06:02:09 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-15 06:02:21 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-15 06:03:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 06:08:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 06:19:03 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-15 06:19:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 06:24:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 06:35:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 06:37:17 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-02-15 06:37:24 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-02-15 06:39:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 06:41:37 +0100 | ames | (~amelia@offtopia/offtopian/amelia) (Ping timeout: 246 seconds) |
| 2026-02-15 06:49:03 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 250 seconds) |
| 2026-02-15 06:51:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 06:51:38 +0100 | Vizious | (~bes@user/Vizious) (Quit: WeeChat 4.8.1) |
| 2026-02-15 06:52:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-15 06:53:18 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-15 06:55:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-15 06:59:35 +0100 | attlin | (~user@user/attlin) (Ping timeout: 252 seconds) |
| 2026-02-15 07:04:35 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-15 07:06:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 07:07:58 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-15 07:08:02 +0100 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2026-02-15 07:08:42 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2026-02-15 07:09:00 +0100 | <jreicher> | ski: I've been pondering the Cook paper you posted a few days ago. It's interesting. Does it represent the "latest" on the topic? I saw another paper by Cook on a similar topic with a slightly different presentation. |
| 2026-02-15 07:09:32 +0100 | humasect_ | humasect |
| 2026-02-15 07:09:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2026-02-15 07:09:53 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-15 07:11:09 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Ping timeout: 245 seconds) |
| 2026-02-15 07:12:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-15 07:20:30 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-15 07:23:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 07:26:59 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) |
| 2026-02-15 07:27:28 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) (Client Quit) |
| 2026-02-15 07:27:34 +0100 | FANTOM | (~fantom@87.75.185.177) (Ping timeout: 265 seconds) |
| 2026-02-15 07:28:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 07:39:27 +0100 | <ski> | it's a relatively old paper. but some of the ideas (like different uses of existentials, for object-orientation vs. abstract data types) are also in e.g. TaPL |
| 2026-02-15 07:39:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 07:39:54 +0100 | <ski> | ooc, what was the other paper ? |
| 2026-02-15 07:40:24 +0100 | <ski> | @where TaPL |
| 2026-02-15 07:40:24 +0100 | <lambdabot> | "Types and Programming Languages" by Benjamin C. Pierce in 2002-02-01 at <https://www.cis.upenn.edu/~bcpierce/tapl/> |
| 2026-02-15 07:41:52 +0100 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-02-15 07:44:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 07:47:59 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2026-02-15 07:52:37 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-15 07:55:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 08:00:30 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 08:00:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 08:00:47 +0100 | FANTOM | (~fantom@90.251.214.54) |
| 2026-02-15 08:05:45 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 250 seconds) |
| 2026-02-15 08:10:20 +0100 | <jreicher> | https://www.cs.utexas.edu/~wcook/papers/OOPvsADT/CookOOPvsADT90.pdf |
| 2026-02-15 08:10:48 +0100 | <jreicher> | I think he might have hit upon the idea of using lambda calculus expressions for object-as-closures after this. |
| 2026-02-15 08:11:10 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-02-15 08:11:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 08:12:18 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 2026-02-15 08:13:37 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-02-15 08:14:23 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-15 08:15:39 +0100 | img | (~img@user/img) img |
| 2026-02-15 08:18:13 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 08:18:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-15 08:20:43 +0100 | AlexZenon | (~alzenon@85.174.182.59) (Read error: Connection reset by peer) |
| 2026-02-15 08:20:43 +0100 | AlexNoo | (~AlexNoo@85.174.182.59) (Read error: Connection reset by peer) |
| 2026-02-15 08:20:53 +0100 | AlexNoo | (~AlexNoo@85.174.183.241) |
| 2026-02-15 08:23:25 +0100 | Alex_delenda_est | (~al_test@85.174.182.59) (Ping timeout: 264 seconds) |
| 2026-02-15 08:24:29 +0100 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2026-02-15 08:25:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-15 08:26:49 +0100 | AlexZenon | (~alzenon@85.174.183.241) |
| 2026-02-15 08:27:07 +0100 | FANTOM_ | (~fantom@90.251.214.54) |
| 2026-02-15 08:29:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 08:29:55 +0100 | FANTOM | (~fantom@90.251.214.54) (Ping timeout: 265 seconds) |
| 2026-02-15 08:30:37 +0100 | mange | (~mange@user/mange) (Ping timeout: 264 seconds) |
| 2026-02-15 08:34:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 08:41:53 +0100 | attlin | (~user@user/attlin) (Read error: Connection reset by peer) |
| 2026-02-15 08:43:05 +0100 | karenw_ | karenw |
| 2026-02-15 08:44:42 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-15 08:45:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 08:46:54 +0100 | caubert | (~caubert@user/caubert) (Quit: WeeChat 4.8.1) |
| 2026-02-15 08:50:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 09:01:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 09:01:07 +0100 | tt12316070 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-15 09:06:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 09:06:42 +0100 | tt12316070 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-02-15 09:08:55 +0100 | youthlic | (~user@user/youthlic) youthlic |
| 2026-02-15 09:10:12 +0100 | youthlic | (~user@user/youthlic) () |
| 2026-02-15 09:15:02 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) |
| 2026-02-15 09:16:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 09:22:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 09:28:34 +0100 | qqq_ | (~qqq@185.54.22.240) |
| 2026-02-15 09:29:09 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-02-15 09:29:25 +0100 | qqq | (~qqq@185.54.22.240) (Ping timeout: 264 seconds) |
| 2026-02-15 09:32:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 09:37:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 09:45:19 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-15 09:47:25 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-15 09:48:15 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-15 09:48:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 09:54:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-15 09:55:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 09:56:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 10:01:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 10:08:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) |
| 2026-02-15 10:12:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 10:17:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 10:18:27 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-15 10:20:20 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-15 10:26:57 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-15 10:27:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 10:33:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 10:37:20 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-02-15 10:43:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 10:47:50 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-15 10:48:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 10:58:12 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-02-15 11:05:06 +0100 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2026-02-15 11:05:19 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-02-15 11:06:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-15 11:11:27 +0100 | Guest83 | (~Guest83@182.48.209.54) |
| 2026-02-15 11:12:52 +0100 | <Guest83> | Hello |
| 2026-02-15 11:14:37 +0100 | <ski> | hullo |
| 2026-02-15 11:15:02 +0100 | <Guest83> | New to Haskell |
| 2026-02-15 11:15:19 +0100 | <Guest83> | Tried Ocaml but found it difficult |
| 2026-02-15 11:15:20 +0100 | <fgarcia> | putStrLn "hi!" |
| 2026-02-15 11:15:43 +0100 | <ski> | % putStrLn "hi!" |
| 2026-02-15 11:15:43 +0100 | <yahb2> | hi! |
| 2026-02-15 11:15:54 +0100 | <Guest83> | Awesome way of saying Hi |
| 2026-02-15 11:16:04 +0100 | <ski> | do you have access to some introductory learning material ? |
| 2026-02-15 11:16:15 +0100 | wickedjargon | (~user@2605:8d80:5431:85d9:cfea:c35e:7de8:a913) wickedjargon |
| 2026-02-15 11:16:35 +0100 | <Guest83> | I am on the getting started page of Haskell |
| 2026-02-15 11:17:04 +0100 | <ski> | do you know any other programming language ? |
| 2026-02-15 11:17:10 +0100 | <Guest83> | Yes Python |
| 2026-02-15 11:17:35 +0100 | <ski> | if you're new to functional programming, it will be a bit like learning to program from scratch all over again |
| 2026-02-15 11:17:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 11:17:59 +0100 | <Guest83> | Read about good things of functional programming so thought of giving it a try |
| 2026-02-15 11:18:21 +0100 | <ski> | the book "Haskell : The Craft of Functional Programming" by Simon Thompson is a nice intro |
| 2026-02-15 11:18:23 +0100 | <Guest83> | I don't mind learning from scratch |
| 2026-02-15 11:18:27 +0100 | <ski> | there's other nice books, as well |
| 2026-02-15 11:18:39 +0100 | <Guest83> | Great Ski. Thanks for the guidance |
| 2026-02-15 11:20:02 +0100 | <ski> | you could try "Learn You a Haskell for Great Good!" <https://learnyouahaskell.github.io/>, if you want. it covers basics |
| 2026-02-15 11:20:09 +0100 | <ski> | doesn't have exercises, though |
| 2026-02-15 11:20:15 +0100 | <ski> | @where CIS194 |
| 2026-02-15 11:20:15 +0100 | <lambdabot> | <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html> |
| 2026-02-15 11:20:23 +0100 | <ski> | is a course, which has exercises you can try |
| 2026-02-15 11:20:52 +0100 | <ski> | oh, and you can ask here, if you have questions about particular things |
| 2026-02-15 11:21:17 +0100 | <ski> | (do note that it may at times take a little while for people to notice your question, so i'd recommend waiting at least half an hour) |
| 2026-02-15 11:22:14 +0100 | <Guest83> | Sure, Ski. Much appreciated. Do you all use the same nicknames? |
| 2026-02-15 11:22:46 +0100 | <ski> | most people tend to stick to one (or sometimes a few) nicknames |
| 2026-02-15 11:23:06 +0100 | <ski> | well, at least people who stick around, keep chatting, here |
| 2026-02-15 11:23:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-15 11:23:24 +0100 | <ski> | if you type in |
| 2026-02-15 11:23:33 +0100 | <ski> | /nick myNewNickname |
| 2026-02-15 11:23:39 +0100 | <ski> | it should change your nickname |
| 2026-02-15 11:24:29 +0100 | <srazkvt> | i have a few usernames i switch between, either this username, or a variant of it, or just my first name for more casual chats with friends |
| 2026-02-15 11:24:48 +0100 | <srazkvt> | but i don't go much outside of those |
| 2026-02-15 11:24:59 +0100 | <Guest83> | Thank you, Ski. I am liking the functional programming approach. I hope I stick around with Haskell for long because i easily get demotivated if I hit a roadblock in my learning. |
| 2026-02-15 11:25:42 +0100 | <ski> | asking people for help can be quite useful, when you'tr stumbling over something |
| 2026-02-15 11:26:24 +0100 | <Guest83> | I found this resource. Looks like a good start https://www.seas.upenn.edu/~cis1940/spring13/lectures/01-intro.html |
| 2026-02-15 11:26:43 +0100 | <ski> | yea, that's the first lecture of the CIS194 course |
| 2026-02-15 11:26:47 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-15 11:26:51 +0100 | <srazkvt> | yea, from my experience haskell people are generally nice when it comes to helping out newcomers |
| 2026-02-15 11:27:01 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-15 11:27:07 +0100 | <ski> | (well, maybe a variant of it ? .. "1940" ?) |
| 2026-02-15 11:27:42 +0100 | <Guest83> | Thank you for making me feel so welcome here. I am curious to start my journey. |
| 2026-02-15 11:28:16 +0100 | <ski> | you're welcome |
| 2026-02-15 11:33:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 11:34:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-02-15 11:35:11 +0100 | <tomsmeding> | probie: the playground now has experimental support for {-# OPTIONS -fllvm #-} |
| 2026-02-15 11:35:24 +0100 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2026-02-15 11:35:48 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-02-15 11:36:52 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-02-15 11:39:07 +0100 | <Guest83> | Guys thank you for your help. I will come back with m learnings shortly |
| 2026-02-15 11:40:30 +0100 | <tomsmeding> | I guess also int-e ^ :p |
| 2026-02-15 11:40:46 +0100 | <tomsmeding> | bug reports welcome |
| 2026-02-15 11:40:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 11:41:16 +0100 | ames | (~amelia@offtopia/offtopian/amelia) {ames} |
| 2026-02-15 11:41:26 +0100 | <tomsmeding> | it has only llvm 15 for now, which means it ought to work for GHC >= 9.6 |
| 2026-02-15 11:41:41 +0100 | Guest83 | (~Guest83@182.48.209.54) (Quit: Client closed) |
| 2026-02-15 11:51:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 11:53:14 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-15 11:53:54 +0100 | omidmash | (~omidmash@user/omidmash) (Killed (NickServ (GHOST command used by omidmash_!~root@user/omidmash))) |
| 2026-02-15 11:54:11 +0100 | omidmash0 | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 11:56:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 12:03:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 12:08:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-15 12:16:10 +0100 | divya | (divya@140.238.251.170) (Ping timeout: 245 seconds) |
| 2026-02-15 12:16:40 +0100 | natto17 | (~natto@129.154.243.159) (Ping timeout: 256 seconds) |
| 2026-02-15 12:18:09 +0100 | natto17 | (~natto@129.154.243.159) natto |
| 2026-02-15 12:18:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 12:19:31 +0100 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-02-15 12:21:34 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 2026-02-15 12:22:27 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-15 12:24:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 12:26:45 +0100 | Digit | digitteknohippie |
| 2026-02-15 12:26:51 +0100 | digitteknohippie | Digit |
| 2026-02-15 12:28:42 +0100 | ft | (~ft@p4fc2afab.dip0.t-ipconnect.de) ft |
| 2026-02-15 12:34:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 12:39:12 +0100 | divya | (divya@140.238.251.170) divya |
| 2026-02-15 12:39:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 12:50:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 12:50:52 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2026-02-15 12:51:06 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-02-15 12:55:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-15 13:01:55 +0100 | fun-safe-math | (~fun-safe-@97.115.234.213) () |
| 2026-02-15 13:03:47 +0100 | fun-safe-math | (~fun-safe-@97.115.234.213) fun-safe-math |
| 2026-02-15 13:04:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 13:05:22 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-15 13:05:25 +0100 | karenw_ | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2026-02-15 13:07:32 +0100 | omidmash0 | omidmash |
| 2026-02-15 13:08:38 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-15 13:11:35 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-15 13:11:58 +0100 | omidmash | (~omidmash@user/omidmash) (Killed (NickServ (GHOST command used by omidmash_!~root@user/omidmash))) |
| 2026-02-15 13:12:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 13:12:16 +0100 | omidmash8 | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 13:23:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 13:23:53 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-15 13:28:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-15 13:28:49 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2026-02-15 13:32:55 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-02-15 13:36:07 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-15 13:39:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 13:44:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 13:55:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 14:00:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-15 14:05:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 14:10:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 14:13:25 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-15 14:20:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 14:25:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 14:35:24 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-15 14:36:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 14:36:45 +0100 | omidmash8 | omidmash |
| 2026-02-15 14:38:13 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) (Quit: Bye!) |
| 2026-02-15 14:42:03 +0100 | omidmash | (~omidmash@user/omidmash) (Killed (NickServ (GHOST command used by omidmash_!~root@user/omidmash))) |
| 2026-02-15 14:42:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 14:42:16 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 14:42:22 +0100 | omidmash | (~omidmash@user/omidmash) (Killed (NickServ (GHOST command used by omidmash_!~root@user/omidmash))) |
| 2026-02-15 14:42:40 +0100 | omidmash5 | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 14:52:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 14:55:47 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-02-15 14:56:42 +0100 | Guest83 | (~Guest83@182.48.209.54) |
| 2026-02-15 14:56:47 +0100 | Guest83 | (~Guest83@182.48.209.54) (Client Quit) |
| 2026-02-15 14:57:21 +0100 | Guest83 | (~Guest83@182.48.209.54) |
| 2026-02-15 14:57:45 +0100 | Guest83 | (~Guest83@182.48.209.54) (Client Quit) |
| 2026-02-15 14:59:27 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-02-15 14:59:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 15:00:27 +0100 | omidmash5 | omidmash |