Newest at the top
| 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:30 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 07:55:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:47:59 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2026-02-15 07:44:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 07:41:52 +0100 | karenw_ | (~karenw@user/karenw) karenw |
| 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:40:24 +0100 | <ski> | @where TaPL |
| 2026-02-15 07:39:54 +0100 | <ski> | ooc, what was the other paper ? |
| 2026-02-15 07:39:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:28:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 07:27:34 +0100 | FANTOM | (~fantom@87.75.185.177) (Ping timeout: 265 seconds) |
| 2026-02-15 07:27:28 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) (Client Quit) |
| 2026-02-15 07:26:59 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) |
| 2026-02-15 07:23:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 07:20:30 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-15 07:12:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 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:09:53 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-15 07:09:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2026-02-15 07:09:32 +0100 | humasect_ | humasect |
| 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:08:42 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2026-02-15 07:08:02 +0100 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2026-02-15 07:07:58 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-15 07:06:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 07:04:35 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-15 06:59:35 +0100 | attlin | (~user@user/attlin) (Ping timeout: 252 seconds) |
| 2026-02-15 06:55:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-15 06:53:18 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-15 06:52:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-15 06:51:38 +0100 | Vizious | (~bes@user/Vizious) (Quit: WeeChat 4.8.1) |
| 2026-02-15 06:51:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 06:49:03 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 250 seconds) |
| 2026-02-15 06:41:37 +0100 | ames | (~amelia@offtopia/offtopian/amelia) (Ping timeout: 246 seconds) |
| 2026-02-15 06:39:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 06:37:24 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-02-15 06:37:17 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-02-15 06:35:16 +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:19:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 06:19:03 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-15 06:08:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 06:03:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 06:02:21 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-15 06:02:09 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-15 05:53:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 05:52:49 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |