| 2025-02-04 00:02:52 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 00:03:23 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 00:03:41 +0100 | byte | (~mu@user/byte) (Quit: Leaving) |
| 2025-02-04 00:04:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 00:11:00 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-02-04 00:13:03 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 00:13:35 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 00:18:58 +0100 | euleritian | (~euleritia@dynamic-176-006-140-194.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-04 00:19:15 +0100 | euleritian | (~euleritia@dynamic-176-006-140-194.176.6.pool.telefonica.de) |
| 2025-02-04 00:19:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 00:23:14 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 00:23:45 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 00:23:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 00:33:25 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 00:33:56 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 00:34:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 00:34:57 +0100 | euleritian | (~euleritia@dynamic-176-006-140-194.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-04 00:35:14 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-04 00:36:18 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-04 00:37:12 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-02-04 00:37:47 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-04 00:39:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-02-04 00:39:21 +0100 | euleritian | (~euleritia@dynamic-176-006-140-194.176.6.pool.telefonica.de) |
| 2025-02-04 00:39:43 +0100 | euleritian | (~euleritia@dynamic-176-006-140-194.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-04 00:40:01 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-04 00:40:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-04 00:41:01 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 00:43:36 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 00:44:07 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 00:45:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-04 00:48:59 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-02-04 00:50:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 00:53:47 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 00:54:18 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 00:55:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 01:01:03 +0100 | byte | (~mu@user/byte) byte |
| 2025-02-04 01:05:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 01:08:50 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 01:09:22 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 01:09:35 +0100 | Googulator47 | Googulator |
| 2025-02-04 01:10:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 01:19:02 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 01:19:33 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 01:21:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 01:23:45 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-02-04 01:24:17 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f21dc911a675e4b1045.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-02-04 01:25:01 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-04 01:26:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-04 01:29:13 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 01:29:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 01:29:45 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 01:33:27 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 01:36:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 01:39:24 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 01:39:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 01:39:55 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 01:43:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-04 01:49:03 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2025-02-04 01:49:35 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 01:50:06 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 01:50:11 +0100 | sprotte24 | (~sprotte24@p200300d16f26a80008f1d39836015ac5.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-04 01:54:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 01:59:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 01:59:46 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 02:00:17 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 02:02:17 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-02-04 02:02:28 +0100 | hueso | (~root@user/hueso) (Remote host closed the connection) |
| 2025-02-04 02:03:11 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-02-04 02:03:46 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-02-04 02:07:12 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-02-04 02:09:11 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-04 02:09:57 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 02:10:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 02:10:28 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 02:12:11 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-04 02:14:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-04 02:16:04 +0100 | otto_s | (~user@p4ff27d2f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-02-04 02:17:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 02:17:20 +0100 | otto_s | (~user@p5b044e98.dip0.t-ipconnect.de) |
| 2025-02-04 02:20:08 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 02:20:39 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 02:21:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 02:23:14 +0100 | hueso | (~root@user/hueso) (Remote host closed the connection) |
| 2025-02-04 02:23:43 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-02-04 02:25:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 02:26:44 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 2025-02-04 02:27:26 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-02-04 02:29:58 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2025-02-04 02:30:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 02:30:19 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 02:30:49 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 02:38:50 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-02-04 02:40:30 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 02:40:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 02:41:01 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 02:45:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-04 02:47:34 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-02-04 02:49:22 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-04 02:50:41 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 02:51:12 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 02:56:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 02:56:33 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-02-04 03:00:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 03:00:52 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 03:01:23 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 03:05:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 03:09:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 03:11:03 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 03:11:34 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 03:11:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 03:12:06 +0100 | hueso | (~root@user/hueso) (Remote host closed the connection) |
| 2025-02-04 03:13:07 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-02-04 03:15:27 +0100 | yegorc | (~yegorc@user/yegorc) yegorc |
| 2025-02-04 03:18:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 03:21:14 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 03:21:45 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 03:29:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 03:31:25 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 03:31:56 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 03:34:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 03:41:36 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 03:42:07 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 03:45:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 03:49:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 03:49:44 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2025-02-04 03:50:34 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-02-04 03:51:47 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 03:52:18 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 03:53:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 03:57:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 04:00:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 04:01:57 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 04:02:28 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 04:03:14 +0100 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) (Ping timeout: 248 seconds) |
| 2025-02-04 04:03:46 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) (Ping timeout: 248 seconds) |
| 2025-02-04 04:03:46 +0100 | bgtdsword | (b968c1779f@2a03:6000:1812:100::1460) (Ping timeout: 248 seconds) |
| 2025-02-04 04:04:20 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-02-04 04:04:50 +0100 | jakzale | (6291399afa@user/jakzale) (Ping timeout: 248 seconds) |
| 2025-02-04 04:04:52 +0100 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) simendsjo |
| 2025-02-04 04:05:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-04 04:06:11 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2025-02-04 04:06:13 +0100 | jakzale | (6291399afa@user/jakzale) jakzale |
| 2025-02-04 04:06:57 +0100 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-02-04 04:12:08 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 04:12:39 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 04:15:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 04:17:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 04:20:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 04:22:19 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 04:22:50 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 04:23:57 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 244 seconds) |
| 2025-02-04 04:25:22 +0100 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) tabemann |
| 2025-02-04 04:30:45 +0100 | <sim590> | I'm trying to enable math equations inside my haddock documentation, but it doesn't work? I'm following the documentation here https://haskell-haddock.readthedocs.io/latest/markup.html. I tried \[...\] and \(...\). Nothing works. I ran with --mathjax URL param: cabal v2-haddock --haddock-option=--mathjax=https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js and without. Doesn't work. |
| 2025-02-04 04:31:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 04:32:30 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 04:33:01 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 04:34:25 +0100 | <sim590> | I remember I used to be able to do it a couple years ago. Dunno why it doesn't work anymore. |
| 2025-02-04 04:35:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 04:42:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 04:42:41 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 04:43:12 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 04:44:29 +0100 | bgtdsword | (b968c1779f@2a03:6000:1812:100::1460) |
| 2025-02-04 04:46:25 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 04:46:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 04:47:05 +0100 | <sim590> | OK, so that's weird, but mathjax doesn't work when viewing the index.html file locally. It does work when it's in the package candidate though. |
| 2025-02-04 04:49:05 +0100 | <geekosaur> | that may be your browser, some of them restrict what a local file is allowed to do |
| 2025-02-04 04:52:52 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 04:53:23 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 04:53:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-04 04:53:38 +0100 | <sim590> | Indeed, it is my browser. I just tried with chromium and it works. Damn. I didn't thought of that first. |
| 2025-02-04 04:54:22 +0100 | <sim590> | I was literally diffing the two HTML files and looking for clues... In the end, it was simpler.. |
| 2025-02-04 05:03:03 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 05:03:34 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:04:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 05:08:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 05:13:14 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 05:13:45 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:23:25 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 05:23:56 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:28:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 05:30:26 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 05:33:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-04 05:33:36 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 05:34:07 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:34:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-04 05:38:16 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-02-04 05:41:21 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-02-04 05:43:47 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 05:44:18 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:44:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 05:48:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 05:53:04 +0100 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 260 seconds) |
| 2025-02-04 05:53:58 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 05:54:29 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:59:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-02-04 05:59:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 06:04:09 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 06:04:40 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:04:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-04 06:12:35 +0100 | xff0x | (~xff0x@2404:7a85:a201:8600:8984:c3a1:4f28:41e4) |
| 2025-02-04 06:14:20 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 06:14:51 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:15:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 06:15:37 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-04 06:18:50 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 06:20:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 06:22:24 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 265 seconds) |
| 2025-02-04 06:22:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 06:24:31 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 06:25:02 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:27:53 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-04 06:28:12 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 06:28:43 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:29:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 06:31:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 06:33:24 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 06:33:54 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:37:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 06:38:10 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-02-04 06:38:19 +0100 | michalz | (~michalz@185.246.207.205) |
| 2025-02-04 06:38:35 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 06:39:07 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:42:42 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2025-02-04 06:43:46 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 06:44:16 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:48:29 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-02-04 06:48:57 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 06:49:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 06:49:28 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:53:30 +0100 | lol_ | (~lol@2603:3016:1e01:b9c0:41a0:c194:66be:75a1) |
| 2025-02-04 06:53:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-04 06:54:08 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 06:54:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-02-04 06:54:39 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:58:06 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:1941:93e:5ca4:6d26) (Ping timeout: 276 seconds) |
| 2025-02-04 06:59:19 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 06:59:50 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 07:01:16 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-04 07:04:30 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 07:05:01 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 07:05:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 07:07:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 07:09:41 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 07:10:12 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 07:10:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-04 07:11:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 07:14:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 07:14:52 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 07:15:23 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 07:19:25 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-04 07:19:44 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 07:20:15 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 07:20:47 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 07:21:18 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 07:22:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 07:23:02 +0100 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-02-04 07:23:34 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-04 07:24:26 +0100 | gorignak | (~gorignak@user/gorignak) (Remote host closed the connection) |
| 2025-02-04 07:24:29 +0100 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2025-02-04 07:33:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 07:37:16 +0100 | <haskellbridge> | <Axman6> I may no enjoy python... but being able to import a debugger in the middle of a broken piece of code and step through things is pretty nice. |
| 2025-02-04 07:37:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-04 07:48:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 07:53:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 07:54:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 07:55:34 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Quit: WeeChat 4.3.3) |
| 2025-02-04 07:55:34 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-04 07:57:20 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 244 seconds) |
| 2025-02-04 07:57:39 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 07:59:05 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-02-04 07:59:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 08:00:55 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2025-02-04 08:00:57 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-04 08:01:06 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-02-04 08:02:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-04 08:04:35 +0100 | CiaoSen | (~Jura@2a05:5800:21f:b100:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-04 08:04:55 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-02-04 08:06:34 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-04 08:10:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 08:15:08 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f07b0ea430b6086a678.dip0.t-ipconnect.de) |
| 2025-02-04 08:19:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 08:23:37 +0100 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-02-04 08:25:19 +0100 | akegalj | (~akegalj@89-172-245-131.adsl.net.t-com.hr) akegalj |
| 2025-02-04 08:26:08 +0100 | hughjfch1 | (~hughjfche@vmi2417424.contaboserver.net) (Ping timeout: 265 seconds) |
| 2025-02-04 08:34:36 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 08:41:42 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-04 08:44:24 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 2025-02-04 08:46:04 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 08:48:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 08:50:15 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 08:52:10 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-04 08:55:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-04 09:00:54 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-04 09:04:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-02-04 09:05:51 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-02-04 09:12:31 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-04 09:22:22 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-02-04 09:23:09 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-02-04 09:25:41 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 244 seconds) |
| 2025-02-04 09:28:16 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-02-04 09:28:19 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-04 09:28:57 +0100 | kuribas | (~user@2a02:1808:5:414d:44d8:7252:32c:9ed) kuribas |
| 2025-02-04 09:29:42 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-02-04 09:30:28 +0100 | img | (~img@user/img) img |
| 2025-02-04 09:34:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 09:35:59 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-04 09:37:22 +0100 | img | (~img@user/img) img |
| 2025-02-04 09:37:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 09:38:41 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 09:42:49 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-02-04 09:43:22 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-02-04 09:45:02 +0100 | Guest70 | (~Guest44@92-184-102-233.mobile.fr.orangecustomers.net) |
| 2025-02-04 09:45:09 +0100 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-04 09:56:35 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-04 09:57:15 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-04 10:08:04 +0100 | Guest70 | (~Guest44@92-184-102-233.mobile.fr.orangecustomers.net) (Quit: Client closed) |
| 2025-02-04 10:08:06 +0100 | chele | (~chele@user/chele) chele |
| 2025-02-04 10:10:30 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-02-04 10:11:29 +0100 | AlexZenon | (~alzenon@5.139.233.186) (Ping timeout: 260 seconds) |
| 2025-02-04 10:14:36 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-02-04 10:19:22 +0100 | AlexZenon | (~alzenon@5.139.233.186) |
| 2025-02-04 10:21:52 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 10:22:32 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-04 10:22:36 +0100 | foul_owl | (~kerry@174-21-138-88.tukw.qwest.net) (Ping timeout: 252 seconds) |
| 2025-02-04 10:26:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-04 10:32:07 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f07b0ea430b6086a678.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-04 10:36:44 +0100 | foul_owl | (~kerry@193.42.0.124) foul_owl |
| 2025-02-04 10:43:11 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-02-04 10:49:14 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 10:51:35 +0100 | sprotte24 | (~sprotte24@p200300d16f057d00a8084c91cb892c8c.dip0.t-ipconnect.de) |
| 2025-02-04 10:55:19 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:750c:6caf:d1d1:1e90) ubert |
| 2025-02-04 10:58:07 +0100 | forell | (~forell@user/forell) forell |
| 2025-02-04 11:09:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 11:13:35 +0100 | <dminuoso> | 22:39:55 tomsmeding │ it really is more powerful |
| 2025-02-04 11:14:11 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 11:14:22 +0100 | <dminuoso> | I started to wonder what fundamental reason there is why State and Reader behave differently this way. |
| 2025-02-04 11:14:53 +0100 | <dminuoso> | I may have to revisit my category theory days. |
| 2025-02-04 11:20:15 +0100 | <dminuoso> | Mmm, I suppose if one things of State as just Reader and Writer combined, this becomes clear already. |
| 2025-02-04 11:20:19 +0100 | <dminuoso> | s/things/thinks. |
| 2025-02-04 11:21:48 +0100 | CiaoSen | (~Jura@2a05:5800:21f:b100:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2025-02-04 11:29:34 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-04 11:34:26 +0100 | <Leary> | dminuoso: Since you were talking about adjunctions in offtopic: `Writer s : Hask <-> Hask : Reader s`, for which `State s` is the corresponding monad: `State s = Reader s . Writer s`. These facts guarantee that `State` composes (not left or right, but /adjunctionally/) with any other monad on `Hask`, giving us: `StateT s f = Reader s . f . Writer s`. |
| 2025-02-04 11:41:34 +0100 | akegalj | (~akegalj@89-172-245-131.adsl.net.t-com.hr) (Ping timeout: 244 seconds) |
| 2025-02-04 11:52:21 +0100 | akegalj | (~akegalj@11-81.dsl.iskon.hr) |
| 2025-02-04 11:53:52 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-04 11:55:21 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:15d4:9b4c:59c3:ed22) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-04 11:55:38 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:c1a:8d45:26a8:2ec3) nschoe |
| 2025-02-04 11:57:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 12:01:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 12:18:59 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f0721e67d75908a2c07.dip0.t-ipconnect.de) acidjnk |
| 2025-02-04 12:29:42 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 246 seconds) |
| 2025-02-04 12:33:04 +0100 | xff0x | (~xff0x@2404:7a85:a201:8600:8984:c3a1:4f28:41e4) (Ping timeout: 260 seconds) |
| 2025-02-04 12:35:03 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-02-04 12:35:46 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-02-04 12:37:41 +0100 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-02-04 12:40:02 +0100 | kuribas | (~user@2a02:1808:5:414d:44d8:7252:32c:9ed) (Ping timeout: 272 seconds) |
| 2025-02-04 12:45:02 +0100 | sprotte24 | (~sprotte24@p200300d16f057d00a8084c91cb892c8c.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-02-04 12:45:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 12:47:00 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 12:49:46 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 12:51:35 +0100 | CiaoSen | (~Jura@2a05:5800:21f:b100:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-04 12:51:36 +0100 | jespada | (~jespada@2800:a4:22f0:2200:b8e3:83d:8441:5e36) jespada |
| 2025-02-04 12:52:17 +0100 | jespada | (~jespada@2800:a4:22f0:2200:b8e3:83d:8441:5e36) (Client Quit) |
| 2025-02-04 12:53:36 +0100 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 244 seconds) |
| 2025-02-04 12:54:02 +0100 | AkechiShiro | (~licht@user/akechishiro) AkechiShiro |
| 2025-02-04 12:54:18 +0100 | jespada | (~jespada@2800:a4:22f0:2200:b8e3:83d:8441:5e36) jespada |
| 2025-02-04 13:00:05 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-04 13:02:09 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-04 13:06:50 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-02-04 13:19:22 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-04 13:19:52 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-04 13:26:17 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 252 seconds) |
| 2025-02-04 13:26:46 +0100 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 265 seconds) |
| 2025-02-04 13:28:41 +0100 | AkechiShiro | (~licht@user/akechishiro) AkechiShiro |
| 2025-02-04 13:32:31 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-02-04 13:33:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 13:34:25 +0100 | leah2 | (~leah@vuxu.org) (Ping timeout: 244 seconds) |
| 2025-02-04 13:37:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-04 13:39:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-02-04 13:40:01 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2025-02-04 13:40:16 +0100 | xff0x | (~xff0x@2404:7a85:a201:8600:b2be:b85b:e3d7:64b) |
| 2025-02-04 13:45:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-02-04 13:45:23 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-02-04 13:45:51 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) rekahsoft |
| 2025-02-04 13:47:18 +0100 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-02-04 13:48:16 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 13:52:58 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-02-04 13:54:53 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-02-04 13:55:27 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-02-04 13:55:49 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-02-04 13:56:43 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 13:58:09 +0100 | yegorc | (~yegorc@user/yegorc) (Quit: Leaving) |
| 2025-02-04 14:00:58 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-04 14:04:25 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-04 14:04:31 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-04 14:09:33 +0100 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2025-02-04 14:13:02 +0100 | ridcully | (~ridcully@p508ac166.dip0.t-ipconnect.de) (Quit: WeeChat 4.5.0) |
| 2025-02-04 14:14:42 +0100 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 246 seconds) |
| 2025-02-04 14:19:09 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Read error: Connection reset by peer) |
| 2025-02-04 14:19:20 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-02-04 14:21:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 14:23:29 +0100 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-02-04 14:25:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 14:25:48 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-02-04 14:27:39 +0100 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-02-04 14:34:39 +0100 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-02-04 14:35:05 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-04 14:36:09 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 14:38:37 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-04 14:44:04 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-04 14:48:01 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-04 15:05:07 +0100 | JuanDaugherty | ColinRobinson |
| 2025-02-04 15:06:22 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-04 15:09:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 15:13:24 +0100 | alp | (~alp@2001:861:8ca0:4940:c78a:20e1:b983:926e) (Remote host closed the connection) |
| 2025-02-04 15:13:43 +0100 | alp | (~alp@2001:861:8ca0:4940:9331:9041:ae63:9f59) |
| 2025-02-04 15:14:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-04 15:15:25 +0100 | alp_ | (~alp@2001:861:8ca0:4940:3034:eb0b:fabd:e66e) |
| 2025-02-04 15:16:41 +0100 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
| 2025-02-04 15:16:53 +0100 | son0p | (~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) (Ping timeout: 248 seconds) |
| 2025-02-04 15:17:07 +0100 | alp__ | (~alp@2001:861:8ca0:4940:6df8:1f55:8067:ae4f) |
| 2025-02-04 15:18:25 +0100 | alp | (~alp@2001:861:8ca0:4940:9331:9041:ae63:9f59) (Ping timeout: 248 seconds) |
| 2025-02-04 15:19:12 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-04 15:20:01 +0100 | alp_ | (~alp@2001:861:8ca0:4940:3034:eb0b:fabd:e66e) (Ping timeout: 248 seconds) |
| 2025-02-04 15:21:54 +0100 | alp__ | (~alp@2001:861:8ca0:4940:6df8:1f55:8067:ae4f) (Ping timeout: 246 seconds) |
| 2025-02-04 15:24:06 +0100 | ridcully | (~ridcully@p508acb9a.dip0.t-ipconnect.de) ridcully |
| 2025-02-04 15:30:55 +0100 | rvalue | (~rvalue@user/rvalue) (Quit: 'checking conn') |
| 2025-02-04 15:31:23 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-04 15:32:03 +0100 | CiaoSen | (~Jura@2a05:5800:21f:b100:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2025-02-04 15:33:26 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-02-04 15:33:27 +0100 | jespada | (~jespada@2800:a4:22f0:2200:b8e3:83d:8441:5e36) (Ping timeout: 246 seconds) |
| 2025-02-04 15:37:38 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-04 15:38:01 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-04 15:38:34 +0100 | jespada | (~jespada@r167-61-33-53.dialup.adsl.anteldata.net.uy) jespada |
| 2025-02-04 15:40:51 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-02-04 15:42:12 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-04 15:44:27 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f0721e67d75908a2c07.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-04 15:45:04 +0100 | jespada_ | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) jespada |
| 2025-02-04 15:47:06 +0100 | jespada | (~jespada@r167-61-33-53.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-02-04 15:56:15 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-02-04 15:57:00 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-04 15:57:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 16:01:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-04 16:08:10 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-02-04 16:08:55 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-04 16:09:10 +0100 | xff0x | (~xff0x@2404:7a85:a201:8600:b2be:b85b:e3d7:64b) (Ping timeout: 265 seconds) |
| 2025-02-04 16:10:17 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f0720b8ba72da6edaf1.dip0.t-ipconnect.de) acidjnk |
| 2025-02-04 16:10:59 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-02-04 16:21:17 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 16:29:41 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-04 16:31:51 +0100 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
| 2025-02-04 16:32:18 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-04 16:40:16 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-02-04 16:41:56 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 16:44:11 +0100 | rvalue | (~rvalue@user/rvalue) (Excess Flood) |
| 2025-02-04 16:44:40 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-04 16:46:24 +0100 | TMA | (tma@twin.jikos.cz) (Ping timeout: 244 seconds) |
| 2025-02-04 16:46:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 16:51:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 16:54:11 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2025-02-04 16:57:03 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f0720b8ba72da6edaf1.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-04 16:59:18 +0100 | jespada_ | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-04 16:59:42 +0100 | orenty7 | (~orenty7@176.88.22.4) |
| 2025-02-04 17:16:28 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-02-04 17:16:53 +0100 | xff0x | (~xff0x@2404:7a85:a201:8600:4aec:cc60:904f:73ba) |
| 2025-02-04 17:28:03 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-04 17:30:13 +0100 | spacenautx | (~spacenaut@user/spacenautx) spacenautx |
| 2025-02-04 17:34:29 +0100 | son0p | (~ff@190.249.196.119) son0p |
| 2025-02-04 17:35:52 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 17:40:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-04 17:46:10 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-04 17:47:43 +0100 | akegalj | (~akegalj@11-81.dsl.iskon.hr) (Ping timeout: 252 seconds) |
| 2025-02-04 17:53:03 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-02-04 17:53:57 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-04 17:56:17 +0100 | jespada | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) jespada |
| 2025-02-04 18:03:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 18:08:15 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-02-04 18:10:18 +0100 | sprotte24 | (~sprotte24@p200300d16f057d0048bfec2654557117.dip0.t-ipconnect.de) |
| 2025-02-04 18:12:21 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f074c76d1a444d11045.dip0.t-ipconnect.de) acidjnk |
| 2025-02-04 18:13:08 +0100 | kenran | (~kenran@user/kenran) kenran |
| 2025-02-04 18:14:54 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 260 seconds) |
| 2025-02-04 18:16:06 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-02-04 18:17:48 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-02-04 18:20:07 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) ft |
| 2025-02-04 18:24:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 18:26:36 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-02-04 18:28:03 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Read error: Connection reset by peer) |
| 2025-02-04 18:28:25 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-02-04 18:29:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-04 18:30:27 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-02-04 18:33:07 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:750c:6caf:d1d1:1e90) (Remote host closed the connection) |
| 2025-02-04 18:35:50 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-02-04 18:37:32 +0100 | jespada | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-04 18:39:20 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-04 18:46:47 +0100 | ss4 | wootehfoot |
| 2025-02-04 18:47:00 +0100 | alp | (~alp@2001:861:8ca0:4940:a52d:a41b:3770:b2af) |
| 2025-02-04 18:47:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 18:51:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-04 18:52:08 +0100 | cawfee | (~root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.5.1) |
| 2025-02-04 18:52:16 +0100 | cawfee | (root@2001:19f0:4400:79a1::babe) qjqqyy |
| 2025-02-04 19:02:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 19:04:58 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-02-04 19:06:58 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 19:07:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-04 19:08:37 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-04 19:13:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 19:16:30 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-04 19:17:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-04 19:18:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 19:24:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-04 19:25:17 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-04 19:26:00 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-02-04 19:26:45 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-02-04 19:31:32 +0100 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-02-04 19:32:23 +0100 | jespada | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) jespada |
| 2025-02-04 19:34:04 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 252 seconds) |
| 2025-02-04 19:36:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 19:37:00 +0100 | igemnace | (~igemnace@user/igemnace) (Ping timeout: 252 seconds) |
| 2025-02-04 19:38:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-02-04 19:39:23 +0100 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2025-02-04 19:39:24 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-02-04 19:39:47 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-02-04 19:40:45 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-04 19:41:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-04 19:47:16 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-04 19:49:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-02-04 19:50:00 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-02-04 19:50:04 +0100 | ljdarj1 | ljdarj |
| 2025-02-04 19:50:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 19:54:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 20:00:49 +0100 | <monochrom> | Writer presumes that s is a monoid but State doesn't. How does that adjunction work? |
| 2025-02-04 20:02:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 20:02:14 +0100 | jespada | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-04 20:05:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 20:05:46 +0100 | <ncf> | Writer does not come from an adjunction on Hask (at least not obviously) |
| 2025-02-04 20:06:20 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-04 20:08:30 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-02-04 20:10:07 +0100 | jespada | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) jespada |
| 2025-02-04 20:10:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-04 20:11:42 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-02-04 20:12:22 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-04 20:14:44 +0100 | <ncf> | a categorical way to see Writer is the following: given any monoidal category (C, ⊗) and monoid object M in C, there's an action monad M ⊗ — whose multiplication is given by the multiplication of M (and similarly for the unit) |
| 2025-02-04 20:15:09 +0100 | <ncf> | so Writer m is the action monad of m for the cartesian monoidal structure on Hask |
| 2025-02-04 20:15:50 +0100 | <ncf> | now since Writer m has a right adjoint (Reader m), this is even an *adjoint monad* https://ncatlab.org/nlab/show/adjoint+monad, which automatically makes Reader m a comonad |
| 2025-02-04 20:16:25 +0100 | <ncf> | (this one https://hackage.haskell.org/package/comonad-5.0.9/docs/src/Control.Comonad.html#line-156) |
| 2025-02-04 20:17:00 +0100 | <ncf> | but Reader r is also a monad without assuming that r is a monoid, and this can be explained dually |
| 2025-02-04 20:17:29 +0100 | <ncf> | namely, any *co*monoid object R in a monoidal category has an action *comonad* R ⊗ — |
| 2025-02-04 20:18:13 +0100 | <ncf> | and every object in Hask has a unique trivial comonoid structure for the cartesian monoidal structure, so you get Comonad ((,) r) for any r (this instance https://hackage.haskell.org/package/comonad-5.0.9/docs/src/Control.Comonad.html#line-156) |
| 2025-02-04 20:19:41 +0100 | <ncf> | now i want to claim that this is a left adjoint comonad and thus the right adjoint Reader r has a monad structure, which would be the usual Reader monad |
| 2025-02-04 20:19:47 +0100 | <ncf> | but i'm not 100% sure this is true |
| 2025-02-04 20:21:01 +0100 | <ncf> | ok now i'm sure |
| 2025-02-04 20:21:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 20:21:13 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f074c76d1a444d11045.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-04 20:21:55 +0100 | <ncf> | (the subtlety is that left adjoint monads are not dual to right adjoint monads in the 1-categorical sense; you have to dualise at the 2-categorical level for this to work out, but it's really the same idea) |
| 2025-02-04 20:24:06 +0100 | <monochrom> | IIRC the correct pair of adjunction is Reader s and (s,), treating (s,) as just the obvious functor but it doesn't need to be a monad so we don't need s to be a monoid. |
| 2025-02-04 20:24:46 +0100 | <monochrom> | But yikes, 2-categories haha (dies inside). |
| 2025-02-04 20:25:00 +0100 | <monochrom> | But I guess Moggi said "I told you so". |
| 2025-02-04 20:25:22 +0100 | <ncf> | yes the adjunction comes before any monad or comonad structure |
| 2025-02-04 20:25:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 20:26:26 +0100 | <ncf> | ...on reader or writer. in a sense you could say that state is more fundamental than the reader/writer monads/comonads |
| 2025-02-04 20:27:01 +0100 | <ncf> | (and let's not forget the comonad that comes from the (r →) ⊣ (r, ) adjunction, the store comonad) |
| 2025-02-04 20:32:29 +0100 | <monochrom> | Ah OK right, (s,) is Writer if we just need the functor part. OK I'm happy now, sorry for all the disagreements! |
| 2025-02-04 20:33:34 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-04 20:33:50 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-04 20:36:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 20:40:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 20:41:57 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-04 20:44:40 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-02-04 20:45:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-04 20:45:44 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f07d9acb33bf68493bd.dip0.t-ipconnect.de) acidjnk |
| 2025-02-04 20:46:51 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-02-04 20:50:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 20:51:30 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2025-02-04 20:51:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 20:54:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-04 20:56:25 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-04 20:56:58 +0100 | _ht | (~huub@62.250.52.179) _ht |
| 2025-02-04 20:58:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-04 21:00:44 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-04 21:02:04 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2025-02-04 21:06:30 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-02-04 21:08:58 +0100 | <ncf> | (i meant (r,) ⊣ (r →)) |
| 2025-02-04 21:11:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 21:11:52 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-04 21:12:08 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-04 21:15:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 21:18:54 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-02-04 21:19:14 +0100 | Guest0 | (~Guest0@2409:40f2:1046:f02e:c0e8:84ff:fef8:e7a7) |
| 2025-02-04 21:19:47 +0100 | Guest8 | (~Guest0@2409:40f2:1046:f02e:c0e8:84ff:fef8:e7a7) |
| 2025-02-04 21:20:33 +0100 | Guest8 | (~Guest0@2409:40f2:1046:f02e:c0e8:84ff:fef8:e7a7) (Client Quit) |
| 2025-02-04 21:20:46 +0100 | Guest0 | (~Guest0@2409:40f2:1046:f02e:c0e8:84ff:fef8:e7a7) (Client Quit) |
| 2025-02-04 21:24:04 +0100 | AlexZenon | (~alzenon@5.139.233.186) (Ping timeout: 252 seconds) |
| 2025-02-04 21:24:13 +0100 | honk | (~honk@209.60-130-109.adsl-dyn.isp.belgacom.be) |
| 2025-02-04 21:24:28 +0100 | honk | (~honk@209.60-130-109.adsl-dyn.isp.belgacom.be) () |
| 2025-02-04 21:25:03 +0100 | AlexNoo_ | (~AlexNoo@5.139.233.186) |
| 2025-02-04 21:25:39 +0100 | AlexNoo | (~AlexNoo@5.139.233.186) (Ping timeout: 260 seconds) |
| 2025-02-04 21:26:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 21:26:40 +0100 | AlexNoo_ | AlexNoo |
| 2025-02-04 21:31:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-04 21:35:35 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-04 21:37:33 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2025-02-04 21:38:51 +0100 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-02-04 21:40:35 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 21:41:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 21:42:50 +0100 | AlexZenon | (~alzenon@5.139.233.186) |
| 2025-02-04 21:44:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-04 21:46:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 21:46:54 +0100 | jespada | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-04 21:51:23 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-02-04 21:51:38 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-04 21:55:39 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 246 seconds) |
| 2025-02-04 21:57:03 +0100 | AlexZenon | (~alzenon@5.139.233.186) (Ping timeout: 276 seconds) |
| 2025-02-04 21:57:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 21:59:03 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-04 22:01:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 22:02:05 +0100 | AlexZenon | (~alzenon@5.139.233.186) |
| 2025-02-04 22:04:09 +0100 | remedan | (~remedan@62.245.108.153) (Ping timeout: 244 seconds) |
| 2025-02-04 22:09:29 +0100 | kenran | (~kenran@user/kenran) (Remote host closed the connection) |
| 2025-02-04 22:12:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 22:17:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-04 22:27:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 22:29:14 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-02-04 22:29:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 22:33:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 22:34:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 22:40:57 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |