2026/05/15

2026-05-15 00:01:27 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 244 seconds)
2026-05-15 00:04:57 +0000tri(~tri@ool-44c70bcb.dyn.optonline.net)
2026-05-15 00:11:00 +0000tri(~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds)
2026-05-15 00:12:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-15 00:14:06 +0000AlexNoo_(~AlexNoo@85.174.181.90)
2026-05-15 00:17:02 +0000AlexZenon(~alzenon@94.233.241.177) (Ping timeout: 265 seconds)
2026-05-15 00:17:07 +0000Alex_delenda_est(~al_test@94.233.241.177) (Ping timeout: 264 seconds)
2026-05-15 00:17:21 +0000AlexNoo(~AlexNoo@94.233.241.177) (Ping timeout: 244 seconds)
2026-05-15 00:17:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-15 00:20:35 +0000emmanuelux(~em@user/emmanuelux) (Ping timeout: 252 seconds)
2026-05-15 00:20:54 +0000AlexZenon(~alzenon@85.174.181.90)
2026-05-15 00:28:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-15 00:30:56 +0000emmanuelux(~em@user/emmanuelux) emmanuelux
2026-05-15 00:33:42 +0000Pozyomka(~pyon@user/pyon) (Quit: brb)
2026-05-15 00:34:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-05-15 00:35:01 +0000Pozyomka(~pyon@user/pyon) pyon
2026-05-15 00:39:26 +0000tri(~tri@ool-44c70bcb.dyn.optonline.net)
2026-05-15 00:45:25 +0000tri(~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 276 seconds)
2026-05-15 00:46:17 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-15 00:51:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-05-15 00:51:18 +0000paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 255 seconds)
2026-05-15 00:51:48 +0000craunts795335385(~craunts@136.158.7.226)
2026-05-15 00:52:02 +0000xff0x(~xff0x@2405:6580:b080:900:c0ba:1c73:d25a:2e80) (Ping timeout: 248 seconds)
2026-05-15 00:54:17 +0000paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2026-05-15 00:59:01 +0000xff0x(~xff0x@2405:6580:b080:900:94b8:17a0:cf07:b333)
2026-05-15 01:02:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-15 01:03:51 +0000tri(~tri@ool-44c70bcb.dyn.optonline.net)
2026-05-15 01:04:04 +0000xff0x(~xff0x@2405:6580:b080:900:94b8:17a0:cf07:b333) (Ping timeout: 245 seconds)
2026-05-15 01:07:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-05-15 01:12:14 +0000tri(~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds)
2026-05-15 01:17:52 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-15 01:23:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-05-15 01:25:58 +0000tri(~tri@ool-44c70bcb.dyn.optonline.net)
2026-05-15 01:26:01 +0000acidjnk_new3(~acidjnk@p200300d6e700e572c501f488808c0283.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2026-05-15 01:30:55 +0000tri(~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds)
2026-05-15 01:33:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-15 01:38:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-05-15 01:43:16 +0000tri(~tri@ool-44c70bcb.dyn.optonline.net)
2026-05-15 01:48:30 +0000tri(~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds)
2026-05-15 01:49:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-15 01:54:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-15 02:01:11 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-05-15 02:03:39 +0000tri(~tri@ool-44c70bcb.dyn.optonline.net)
2026-05-15 02:04:23 +0000crazazy(crazazy@tilde.town) (Quit: WeeChat 4.6.3)
2026-05-15 02:05:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-15 02:06:18 +0000td_(~td@i5387092A.versanet.de) (Ping timeout: 256 seconds)
2026-05-15 02:08:11 +0000td_(~td@83.135.9.15)
2026-05-15 02:08:12 +0000tri(~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 265 seconds)
2026-05-15 02:11:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-05-15 02:13:53 +0000layline_layline-away
2026-05-15 02:14:08 +0000layline-away(~layline@149.154.26.39) (Quit: ZZZzzz…)
2026-05-15 02:15:19 +0000 <monochrom> I'm devil's advocate and I say that one can always defunctionalize all of dynamic dispatch (table of function pointers), continuations (functions again), and effect systems (continuations again, and see the previous item) to just message passing.
2026-05-15 02:18:01 +0000 <monochrom> I have claimed isomorphisms between all of them, so "clearly" any one of them can be said to encompass the others. More clear is that none of them is more profound than the others, and furthermore the whole consideration is nothing profound either.
2026-05-15 02:19:39 +0000Square(~Square@user/square) Square
2026-05-15 02:21:32 +0000tri(~tri@ool-44c70bcb.dyn.optonline.net)
2026-05-15 02:23:17 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn