Newest at the top
2024-10-12 12:18:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-12 12:13:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-12 12:10:26 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
2024-10-12 12:10:19 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 264 seconds) |
2024-10-12 12:09:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-12 12:08:18 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: ThePenguin) |
2024-10-12 12:07:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-12 12:05:02 +0200 | Everything | (~Everythin@178-133-161-246.mobile.vf-ua.net) Everything |
2024-10-12 12:04:28 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2024-10-12 12:03:26 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-12 12:02:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
2024-10-12 12:02:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-12 12:01:31 +0200 | mari-estel | (~mari-este@user/danza) danza |
2024-10-12 12:01:10 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2024-10-12 12:01:04 +0200 | mari-estel | (~mari-este@user/danza) (Remote host closed the connection) |
2024-10-12 11:57:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-10-12 11:54:57 +0200 | mari-estel | (~mari-este@user/danza) danza |
2024-10-12 11:51:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-12 11:50:08 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-10-12 11:49:33 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e03c:690:2b19:8b81) (Ping timeout: 246 seconds) |
2024-10-12 11:46:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-12 11:42:13 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 248 seconds) |
2024-10-12 11:36:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-12 11:31:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-12 11:22:30 +0200 | <Lears> | mreh: Both are fine so long as they're confined to the definition of `runYourMonad newShaderState m (YourMonad uniAl) = ...`. The latter is only nicer if it lets you actually go point-free and drop the `uniAl` argument. |
2024-10-12 11:21:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-10-12 11:19:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-12 11:18:17 +0200 | <mreh> | I had to put in a double negation to ruin my point |
2024-10-12 11:16:30 +0200 | <mreh> | isn't `flip runState newShaderState . runListT . execWriterT . runReaderT m $ uniAl` not much better? |
2024-10-12 11:15:54 +0200 | <mreh> | This is pretty egregious style, no? |
2024-10-12 11:15:46 +0200 | <mreh> | `runState (runListT (execWriterT (runReaderT m uniAl))) newShaderState` |
2024-10-12 11:12:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-12 11:08:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-12 11:02:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-12 10:57:35 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
2024-10-12 10:57:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-12 10:49:12 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-12 10:46:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-12 10:41:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-12 10:30:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-12 10:30:22 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
2024-10-12 10:30:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-12 10:29:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-12 10:28:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-12 10:27:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-12 10:25:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-12 10:23:28 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb654dea90a41b19790d.dip0.t-ipconnect.de) acidjnk |
2024-10-12 10:16:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-12 10:11:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-12 10:08:51 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |