Newest at the top
| 2026-02-15 09:22:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 09:16:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 09:15:02 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) |
| 2026-02-15 09:10:12 +0100 | youthlic | (~user@user/youthlic) () |
| 2026-02-15 09:08:55 +0100 | youthlic | (~user@user/youthlic) youthlic |
| 2026-02-15 09:06:42 +0100 | tt12316070 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-02-15 09:06:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 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:01:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 08:50:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 08:46:54 +0100 | caubert | (~caubert@user/caubert) (Quit: WeeChat 4.8.1) |
| 2026-02-15 08:45:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 08:44:42 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-15 08:43:05 +0100 | karenw_ | karenw |
| 2026-02-15 08:41:53 +0100 | attlin | (~user@user/attlin) (Read error: Connection reset by peer) |
| 2026-02-15 08:34:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 08:30:37 +0100 | mange | (~mange@user/mange) (Ping timeout: 264 seconds) |
| 2026-02-15 08:29:55 +0100 | FANTOM | (~fantom@90.251.214.54) (Ping timeout: 265 seconds) |
| 2026-02-15 08:29:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 08:27:07 +0100 | FANTOM_ | (~fantom@90.251.214.54) |
| 2026-02-15 08:26:49 +0100 | AlexZenon | (~alzenon@85.174.183.241) |
| 2026-02-15 08:25:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-15 08:24:29 +0100 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2026-02-15 08:23:25 +0100 | Alex_delenda_est | (~al_test@85.174.182.59) (Ping timeout: 264 seconds) |
| 2026-02-15 08:20:53 +0100 | AlexNoo | (~AlexNoo@85.174.183.241) |
| 2026-02-15 08:20:43 +0100 | AlexNoo | (~AlexNoo@85.174.182.59) (Read error: Connection reset by peer) |
| 2026-02-15 08:20:43 +0100 | AlexZenon | (~alzenon@85.174.182.59) (Read error: Connection reset by peer) |
| 2026-02-15 08:18:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-15 08:18:13 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 08:15:39 +0100 | img | (~img@user/img) img |
| 2026-02-15 08:14:23 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-15 08:13:37 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 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:11:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 08:11:10 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 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:10:20 +0100 | <jreicher> | https://www.cs.utexas.edu/~wcook/papers/OOPvsADT/CookOOPvsADT90.pdf |
| 2026-02-15 08:05:45 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 250 seconds) |
| 2026-02-15 08:00:47 +0100 | FANTOM | (~fantom@90.251.214.54) |
| 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 |