2026/05/18

2026-05-18 00:01:29 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:bca4:a732:642:9903)
2026-05-18 00:03:47 +0000EvanR(~EvanR@user/evanr) (Quit: Leaving)
2026-05-18 00:05:06 +0000nhar(~noah@76.33.110.8) (Ping timeout: 246 seconds)
2026-05-18 00:06:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-18 00:11:03 +0000nhar(~noah@76.33.110.8)
2026-05-18 00:11:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-05-18 00:17:40 +0000nhar(~noah@76.33.110.8) (Ping timeout: 245 seconds)
2026-05-18 00:17:43 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:bca4:a732:642:9903) (Ping timeout: 244 seconds)
2026-05-18 00:18:49 +0000nhar(~noah@76.33.110.8)
2026-05-18 00:18:59 +0000troojg(~troojg@user/troojg) troojg
2026-05-18 00:19:54 +0000AlexZenon(~alzenon@85.174.181.90) (Ping timeout: 244 seconds)
2026-05-18 00:19:54 +0000Alex_delenda_est(~al_test@85.174.181.90) (Ping timeout: 244 seconds)
2026-05-18 00:20:18 +0000AlexNoo(~AlexNoo@85.174.181.90) (Ping timeout: 244 seconds)
2026-05-18 00:27:06 +0000emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-05-18 00:28:09 +0000emmanuelux(~em@user/emmanuelux) emmanuelux
2026-05-18 00:28:10 +0000nhar(~noah@76.33.110.8) (Ping timeout: 244 seconds)
2026-05-18 00:28:51 +0000tri(~tri@ool-4a5ac1f4.dyn.optonline.net)
2026-05-18 00:30:41 +0000emmanuelux(~em@user/emmanuelux) (Client Quit)
2026-05-18 00:32:59 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-05-18 00:33:05 +0000emmanuelux(~em@user/emmanuelux) emmanuelux
2026-05-18 00:34:28 +0000tri(~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 265 seconds)
2026-05-18 00:34:43 +0000acidjnk_new(~acidjnk@p200300d6e700e5126ddf7eb9d383a6ca.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2026-05-18 00:38:54 +0000nhar(~noah@76.33.110.8)
2026-05-18 00:38:59 +0000emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-05-18 00:39:03 +0000tri(~tri@ool-4a5ac1f4.dyn.optonline.net)
2026-05-18 00:40:34 +0000emmanuelux(~em@user/emmanuelux) emmanuelux
2026-05-18 00:41:14 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-18 00:44:18 +0000nhar(~noah@76.33.110.8) (Ping timeout: 246 seconds)
2026-05-18 00:44:55 +0000tri(~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 268 seconds)
2026-05-18 00:47:55 +0000nhar(~noah@76.33.110.8)
2026-05-18 00:49:14 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 268 seconds)
2026-05-18 00:51:38 +0000xff0x(~xff0x@2405:6580:b080:900:40a6:d293:9f7c:9394) (Ping timeout: 252 seconds)
2026-05-18 00:52:34 +0000nhar(~noah@76.33.110.8) (Ping timeout: 248 seconds)
2026-05-18 00:56:01 +0000tri(~tri@ool-4a5ac1f4.dyn.optonline.net)
2026-05-18 00:57:43 +0000tri(~tri@ool-4a5ac1f4.dyn.optonline.net) (Remote host closed the connection)
2026-05-18 00:58:27 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-18 00:58:44 +0000tri(~tri@ool-4a5ac1f4.dyn.optonline.net)
2026-05-18 00:59:27 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds)
2026-05-18 01:00:37 +0000weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2026-05-18 01:00:39 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2026-05-18 01:02:47 +0000weary-traveler(~user@user/user363627) user363627
2026-05-18 01:03:18 +0000tri(~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 244 seconds)
2026-05-18 01:05:10 +0000tri(~tri@ool-4a5ac1f4.dyn.optonline.net)
2026-05-18 01:09:21 +0000nhar(~noah@76.33.110.8)
2026-05-18 01:12:00 +0000byorgey(~byorgey@user/byorgey) (Ping timeout: 255 seconds)
2026-05-18 01:25:04 +0000byorgey(~byorgey@user/byorgey) byorgey
2026-05-18 01:25:58 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:6bd3:f312:6faa:2458)
2026-05-18 01:27:04 +0000nhar(~noah@76.33.110.8) (Ping timeout: 244 seconds)
2026-05-18 01:32:14 +0000arahael(~wetfoot@user/arahael) (Ping timeout: 244 seconds)
2026-05-18 01:32:40 +0000arahael(~wetfoot@user/arahael) arahael
2026-05-18 01:35:39 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-18 01:39:02 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-05-18 01:39:33 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-05-18 01:40:41 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-05-18 01:43:47 +0000nhar(~noah@76.33.110.8)
2026-05-18 01:48:12 +0000 <monochrom> (Belated) Fortunately, the Giry monad is how you can deal with probability over probabilities!
2026-05-18 01:48:51 +0000 <monochrom> More precisely, a distribution over a family of distributions.
2026-05-18 01:49:26 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-05-18 01:49:35 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:6bd3:f312:6faa:2458) (Quit: ricardomaps)
2026-05-18 01:50:14 +0000jj_apropo
2026-05-18 01:51:00 +0000apropoomentic
2026-05-18 01:51:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-18 01:56:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-05-18 01:57:49 +0000troojg(~troojg@user/troojg) (Ping timeout: 245 seconds)
2026-05-18 01:59:45 +0000tri(~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 245 seconds)
2026-05-18 02:00:01 +0000Flow(~none@gentoo/developer/flow) (Quit: WeeChat 4.7.2)
2026-05-18 02:00:50 +0000tri(~tri@74.90.193.244)
2026-05-18 02:01:23 +0000Flow(~none@gentoo/developer/flow) flow
2026-05-18 02:07:22 +0000tri(~tri@74.90.193.244) (Ping timeout: 244 seconds)
2026-05-18 02:09:19 +0000nhar(~noah@76.33.110.8) (Ping timeout: 264 seconds)
2026-05-18 02:09:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-18 02:09:53 +0000nhar(~noah@76.33.110.8)
2026-05-18 02:11:15 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-05-18 02:12:19 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 264 seconds)
2026-05-18 02:14:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-05-18 02:14:09 +0000td_(~td@i5387093F.versanet.de) (Ping timeout: 272 seconds)
2026-05-18 02:18:44 +0000nhar(~noah@76.33.110.8) (Ping timeout: 244 seconds)
2026-05-18 02:20:02 +0000nhar(~noah@76.33.110.8)
2026-05-18 02:22:24 +0000wickedjargon(~user@2605:8d80:5431:4912:3a92:10df:44a8:f5d4) wickedjargon
2026-05-18 02:25:21 +0000nhar(~noah@76.33.110.8) (Ping timeout: 255 seconds)
2026-05-18 02:27:02 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-18 02:27:24 +0000nhar(~noah@76.33.110.8)
2026-05-18 02:27:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-18 02:28:15 +0000puke(~puke@user/puke) (Ping timeout: 246 seconds)
2026-05-18 02:32:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-05-18 02:35:42 +0000nhar(~noah@76.33.110.8) (Ping timeout: 255 seconds)
2026-05-18 02:36:16 +0000nhar(~noah@76.33.110.8)
2026-05-18 02:36:34 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 248 seconds)
2026-05-18 02:40:30 +0000nhar(~noah@76.33.110.8) (Ping timeout: 246 seconds)
2026-05-18 02:42:59 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2026-05-18 02:43:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-18 02:45:33 +0000puke(~puke@user/puke) puke
2026-05-18 02:46:38 +0000nhar(~noah@76.33.110.8)
2026-05-18 02:50:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-05-18 02:51:31 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-18 02:53:12 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds)
2026-05-18 02:55:19 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds)
2026-05-18 02:55:25 +0000monochrom(~trebla@216.138.220.146) (Quit: ZNC - https://znc.in)
2026-05-18 02:58:39 +0000nhar(~noah@76.33.110.8) (Ping timeout: 245 seconds)
2026-05-18 02:59:22 +0000nhar(~noah@76.33.110.8)
2026-05-18 03:01:04 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-05-18 03:01:11 +0000chexum_(~quassel@gateway/tor-sasl/chexum) chexum
2026-05-18 03:01:59 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 245 seconds)
2026-05-18 03:08:20 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-05-18 03:08:49 +0000spew(~spew@user/spew) spew
2026-05-18 03:11:23 +0000spew(~spew@user/spew) (Client Quit)
2026-05-18 03:15:50 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-18 03:22:34 +0000Eoco(~ian@128.101.131.218) (Quit: WeeChat 4.4.2)
2026-05-18 03:22:46 +0000sp1ff(~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) sp1ff
2026-05-18 03:22:52 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-18 03:26:25 +0000nhar(~noah@76.33.110.8) (Ping timeout: 245 seconds)