Newest at the top
2025-08-28 20:08:27 +0200 | Googulator33 | (~Googulato@2a01-036d-0106-28ad-d14e-68ce-c41e-4464.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
2025-08-28 20:04:39 +0200 | Googulator9 | (~Googulato@2a01-036d-0106-28ad-d14e-68ce-c41e-4464.pool6.digikabel.hu) |
2025-08-28 20:04:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-28 20:03:37 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-08-28 20:03:00 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-08-28 20:00:23 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-08-28 19:59:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-28 19:51:42 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-08-28 19:50:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-28 19:49:05 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
2025-08-28 19:49:01 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
2025-08-28 19:48:58 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-28 19:48:20 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2025-08-28 19:45:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-28 19:44:51 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-08-28 19:44:51 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host) |
2025-08-28 19:44:51 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) |
2025-08-28 19:35:15 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-08-28 19:34:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-28 19:33:09 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
2025-08-28 19:29:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-28 19:29:35 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-28 19:28:44 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
2025-08-28 19:19:08 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
2025-08-28 19:19:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-28 19:17:34 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2025-08-28 19:16:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
2025-08-28 19:13:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-28 19:13:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-08-28 19:12:49 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-08-28 19:12:35 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-28 19:09:49 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 260 seconds) |
2025-08-28 19:08:14 +0200 | sprotte24 | (~sprotte24@p200300d16f0bc80029e95c83e39d93ca.dip0.t-ipconnect.de) |
2025-08-28 19:04:31 +0200 | ggVGc | (~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 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) (Server closed connection) |
2025-08-28 19:03:58 +0200 | peterbecich | (~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 +0200 | qqe | (~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 +0200 | krei-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 +0200 | tzh | (~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 +0200 | lightspell45 | (~lightspel@dhcp-143-103-27-110.gobrightspeed.net) (Ping timeout: 250 seconds) |