Newest at the top
| 2026-05-24 14:47:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 14:37:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-24 14:34:48 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-05-24 14:32:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 14:21:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-24 14:16:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 14:16:23 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-05-24 14:15:40 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-05-24 14:10:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-24 14:05:03 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-05-24 14:04:54 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-24 14:04:43 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-05-24 14:04:41 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-05-24 14:03:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 14:01:11 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-24 13:53:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 270 seconds) |
| 2026-05-24 13:50:10 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) (Ping timeout: 245 seconds) |
| 2026-05-24 13:46:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 13:45:02 +0000 | humasect | (~humasect@192.249.132.90) humasect |
| 2026-05-24 13:45:00 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-05-24 13:44:20 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-05-24 13:43:21 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-05-24 13:41:59 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-05-24 13:35:57 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-24 13:31:10 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-24 13:26:33 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-05-24 13:24:26 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) fp |
| 2026-05-24 13:23:21 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-05-24 13:21:11 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-05-24 13:19:43 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-05-24 13:13:16 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-05-24 13:12:59 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-24 13:12:59 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-05-24 13:12:59 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-05-24 13:12:37 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 276 seconds) |
| 2026-05-24 13:09:03 +0000 | <tomsmeding> | aren't those two orthogonal concerns? |
| 2026-05-24 13:09:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-24 13:08:44 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-05-24 13:08:40 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-05-24 13:07:42 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-05-24 13:04:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 13:01:42 +0000 | <segfaultfizzbuzz> | doesn't lazy evaluation tend to conflict with amdahl's law? |
| 2026-05-24 13:01:22 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-220-130.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2026-05-24 12:58:11 +0000 | <[exa]> | ok I might just do it for the concrete case I guess, the extra packaging around is better avoided and I don't want a whole effect system, but at least I'll have a "correct-sounding" name for the thing |
| 2026-05-24 12:56:22 +0000 | <Leary> | Yes, that's one incarnation. |
| 2026-05-24 12:53:52 +0000 | <[exa]> | oh would that be this thing essentially? https://hackage-content.haskell.org/package/mmorph-1.2.2/docs/Control-Monad-Morph.html#t:MFunctor |
| 2026-05-24 12:53:20 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-05-24 12:52:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 242 seconds) |
| 2026-05-24 12:52:17 +0000 | morj | (~morj@user/morj) morj |
| 2026-05-24 12:51:48 +0000 | <Leary> | (of type `(m ~> n) -> t m ~> t n`) |