IRCBrowse

2026/02/15

Newest at the top

2026-02-15 08:43:05 +0100karenw_karenw
2026-02-15 08:41:53 +0100attlin(~user@user/attlin) (Read error: Connection reset by peer)
2026-02-15 08:34:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-15 08:30:37 +0100mange(~mange@user/mange) (Ping timeout: 264 seconds)
2026-02-15 08:29:55 +0100FANTOM(~fantom@90.251.214.54) (Ping timeout: 265 seconds)
2026-02-15 08:29:34 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 08:27:07 +0100FANTOM_(~fantom@90.251.214.54)
2026-02-15 08:26:49 +0100AlexZenon(~alzenon@85.174.183.241)
2026-02-15 08:25:26 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-15 08:24:29 +0100Square2(~Square@user/square) (Ping timeout: 245 seconds)
2026-02-15 08:23:25 +0100Alex_delenda_est(~al_test@85.174.182.59) (Ping timeout: 264 seconds)
2026-02-15 08:20:53 +0100AlexNoo(~AlexNoo@85.174.183.241)
2026-02-15 08:20:43 +0100AlexNoo(~AlexNoo@85.174.182.59) (Read error: Connection reset by peer)
2026-02-15 08:20:43 +0100AlexZenon(~alzenon@85.174.182.59) (Read error: Connection reset by peer)
2026-02-15 08:18:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-02-15 08:18:13 +0100caubert(~caubert@user/caubert) caubert
2026-02-15 08:15:39 +0100img(~img@user/img) img
2026-02-15 08:14:23 +0100img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-15 08:13:37 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-02-15 08:12:18 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds)
2026-02-15 08:11:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 08:11:10 +0100bitdex(~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 +0100caubert(~caubert@user/caubert) (Ping timeout: 250 seconds)
2026-02-15 08:00:47 +0100FANTOM(~fantom@90.251.214.54)
2026-02-15 08:00:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-15 08:00:30 +0100caubert(~caubert@user/caubert) caubert
2026-02-15 07:55:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 07:52:37 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-02-15 07:47:59 +0100caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2026-02-15 07:44:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-15 07:41:52 +0100karenw_(~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 +0100merijn(~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 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-15 07:27:34 +0100FANTOM(~fantom@87.75.185.177) (Ping timeout: 265 seconds)
2026-02-15 07:27:28 +0100tromp(~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) (Client Quit)
2026-02-15 07:26:59 +0100tromp(~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093)
2026-02-15 07:23:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 07:20:30 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-02-15 07:12:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-15 07:11:09 +0100tcard_(~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Ping timeout: 245 seconds)
2026-02-15 07:09:53 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2026-02-15 07:09:38 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit)
2026-02-15 07:09:32 +0100humasect_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.