2026/02/15

Newest at the top

2026-02-15 20:12:11 +0100wickedjargon(~user@24.83.46.194) wickedjargon
2026-02-15 20:11:08 +0100 <jreicher> mainstream languages) is the ability to break referential transparency by having direct control over mutable state.
2026-02-15 20:11:07 +0100 <jreicher> ski: I have a problem with this Cook paper. The model of OO presented here, being based on closures and expressible in lambda calculus, is something that can be done Haskell, but I don't think that's how many people use the term "OO" or think of Haskell. I agree completely with the main point ADTs vs objects, but I suspect it should be explained using a word other than "object", because (IMO) an essential part of OO programming (in
2026-02-15 20:08:24 +0100ft(~ft@p4fc2afab.dip0.t-ipconnect.de) (Quit: Lost terminal)
2026-02-15 20:04:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-15 20:04:39 +0100camblsoup(~camblsoup@d64-180-5-83.bchsia.telus.net) (Client Quit)
2026-02-15 20:04:29 +0100nisstyre(wes@user/nisstyre) nisstyre
2026-02-15 20:01:13 +0100camblsoup(~camblsoup@d64-180-5-83.bchsia.telus.net)
2026-02-15 20:00:59 +0100halloy3316(~halloy331@d64-180-5-83.bchsia.telus.net) (Client Quit)
2026-02-15 20:00:09 +0100dyniec(~dyniec@dybiec.info)
2026-02-15 19:59:45 +0100halloy3316(~halloy331@d64-180-5-83.bchsia.telus.net)
2026-02-15 19:59:32 +0100dyniec(~dyniec@dybiec.info) (Remote host closed the connection)
2026-02-15 19:57:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 19:57:35 +0100emmanuelux_(~em@92-184-96-253.mobile.fr.orangecustomers.net)
2026-02-15 19:57:24 +0100emmanuelux(~em@user/emmanuelux) (Ping timeout: 252 seconds)
2026-02-15 19:48:22 +0100nisstyre(wes@user/nisstyre) (Quit: WeeChat 4.7.1)
2026-02-15 19:47:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-15 19:42:45 +0100wickedjargon(~user@24.83.46.194) (Remote host closed the connection)
2026-02-15 19:41:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 19:41:17 +0100ft(~ft@p4fc2afab.dip0.t-ipconnect.de) ft
2026-02-15 19:41:09 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-02-15 19:38:33 +0100ft(~ft@p4fc2afab.dip0.t-ipconnect.de) (Quit: Lost terminal)
2026-02-15 19:37:56 +0100Maxdamantus(~Maxdamant@user/maxdamantus) Maxdamantus
2026-02-15 19:37:49 +0100hsw(~hsw@106.104.102.45) (Ping timeout: 264 seconds)
2026-02-15 19:37:30 +0100koz(~koz@121.99.240.58)
2026-02-15 19:37:13 +0100Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds)
2026-02-15 19:37:13 +0100koz_(~koz@121.99.240.58) (Ping timeout: 264 seconds)
2026-02-15 19:35:11 +0100hsw_(~hsw@106.104.102.45) hsw
2026-02-15 19:30:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-15 19:29:09 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-15 19:27:34 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-02-15 19:25:52 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 19:18:09 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-15 19:17:02 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2026-02-15 19:15:44 +0100krei-se(~krei-se@p5dea1d59.dip0.t-ipconnect.de) krei-se
2026-02-15 19:14:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-15 19:11:17 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-02-15 19:10:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 19:09:13 +0100emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-02-15 19:07:36 +0100tromp(~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093)
2026-02-15 19:06:53 +0100krei-se-(~krei-se@p200300f1cfff3e880001000000000001.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
2026-02-15 19:03:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-15 19:01:50 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2026-02-15 19:01:49 +0100notzmv(~umar@user/notzmv) (Ping timeout: 264 seconds)
2026-02-15 19:01:05 +0100lbseale(~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2026-02-15 18:58:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 18:54:21 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2026-02-15 18:52:28 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-02-15 18:48:18 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-15 18:47:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)