| 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...) |