2025/08/28

Newest at the top

2025-08-28 20:08:27 +0200Googulator33(~Googulato@2a01-036d-0106-28ad-d14e-68ce-c41e-4464.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-08-28 20:04:39 +0200Googulator9(~Googulato@2a01-036d-0106-28ad-d14e-68ce-c41e-4464.pool6.digikabel.hu)
2025-08-28 20:04:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-28 20:03:37 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-28 20:03:00 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-28 20:00:23 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-08-28 19:59:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-28 19:51:42 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-08-28 19:50:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-28 19:49:05 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-08-28 19:49:01 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-08-28 19:48:58 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-28 19:48:20 +0200hakutaku(~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2025-08-28 19:45:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-28 19:44:51 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-08-28 19:44:51 +0200arandombit(~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host)
2025-08-28 19:44:51 +0200arandombit(~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6)
2025-08-28 19:35:15 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-08-28 19:34:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-28 19:33:09 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-08-28 19:29:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-28 19:29:35 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-08-28 19:28:44 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) ft
2025-08-28 19:19:08 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds)
2025-08-28 19:19:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-28 19:17:34 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2025-08-28 19:16:04 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus)
2025-08-28 19:13:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-28 19:13:19 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-08-28 19:12:49 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-08-28 19:12:35 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-28 19:09:49 +0200jreicher(~user@user/jreicher) (Ping timeout: 260 seconds)
2025-08-28 19:08:14 +0200sprotte24(~sprotte24@p200300d16f0bc80029e95c83e39d93ca.dip0.t-ipconnect.de)
2025-08-28 19:04:31 +0200ggVGc(~ggVGc@a.lowtech.earth)
2025-08-28 19:04:12 +0200 <lightspell52> That makes so more sense, than you. I will give that a try.
2025-08-28 19:04:08 +0200ggVGc(~ggVGc@a.lowtech.earth) (Server closed connection)
2025-08-28 19:03:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-28 19:01:54 +0200 <EvanR> 2nd argument ? 3rd position
2025-08-28 19:01:25 +0200 <EvanR> the third argument is a monad, which has to have kind * -> *
2025-08-28 19:00:42 +0200qqe(~qqq@185.54.20.59)
2025-08-28 19:00:30 +0200 <EvanR> I typoed that: StateT Game (StateT RNG IO) a
2025-08-28 19:00:26 +0200krei-se-(~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-28 18:59:38 +0200 <EvanR> which is why a dedicated RandomT would be more ergonomic
2025-08-28 18:59:14 +0200 <EvanR> but because they're both StateT the disambiguation for the StateT methods gets fun
2025-08-28 18:58:27 +0200 <EvanR> not a monad
2025-08-28 18:58:24 +0200 <EvanR> where RNG is the type for the generator state, whatever that is
2025-08-28 18:58:08 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-08-28 18:57:54 +0200 <EvanR> it would be like StateT Game (StateT RNG IO a)
2025-08-28 18:56:29 +0200 <lightspell52> That's complete nonsense code. Just trying to communicate the concept, something here just hasn't clicked yet for me.
2025-08-28 18:56:05 +0200lightspell45(~lightspel@dhcp-143-103-27-110.gobrightspeed.net) (Ping timeout: 250 seconds)