| 2025-02-04 00:01:03 +0000 | byte | (~mu@user/byte) byte |
| 2025-02-04 00:05:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 00:08:50 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 00:09:22 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 00:09:35 +0000 | Googulator47 | Googulator |
| 2025-02-04 00:10:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 00:19:02 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 00:19:33 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 00:21:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 00:23:45 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-02-04 00:24:17 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f21dc911a675e4b1045.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-02-04 00:25:01 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-04 00:26:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-04 00:29:13 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 00:29:25 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 00:29:45 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 00:33:27 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 00:36:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 00:39:24 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 00:39:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 00:39:55 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 00:43:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-04 00:49:03 +0000 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2025-02-04 00:49:35 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 00:50:06 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 00:50:11 +0000 | sprotte24 | (~sprotte24@p200300d16f26a80008f1d39836015ac5.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-04 00:54:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 00:59:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 00:59:46 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 01:00:17 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 01:02:17 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-02-04 01:02:28 +0000 | hueso | (~root@user/hueso) (Remote host closed the connection) |
| 2025-02-04 01:03:11 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-02-04 01:03:46 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-04 01:07:12 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-02-04 01:09:11 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-04 01:09:57 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 01:10:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 01:10:28 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 01:12:11 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-04 01:14:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-04 01:16:04 +0000 | otto_s | (~user@p4ff27d2f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-02-04 01:17:09 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 01:17:20 +0000 | otto_s | (~user@p5b044e98.dip0.t-ipconnect.de) |
| 2025-02-04 01:20:08 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 01:20:39 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 01:21:30 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 01:23:14 +0000 | hueso | (~root@user/hueso) (Remote host closed the connection) |
| 2025-02-04 01:23:43 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-04 01:25:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 01:26:44 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 2025-02-04 01:27:26 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-02-04 01:29:58 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2025-02-04 01:30:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 01:30:19 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 01:30:49 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 01:38:50 +0000 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-02-04 01:40:30 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 01:40:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 01:41:01 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 01:45:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-04 01:47:34 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-02-04 01:49:22 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-04 01:50:41 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 01:51:12 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 01:56:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 01:56:33 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-02-04 02:00:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 02:00:52 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 02:01:23 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 02:05:13 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 02:09:21 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 02:11:03 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 02:11:34 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 02:11:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 02:12:06 +0000 | hueso | (~root@user/hueso) (Remote host closed the connection) |
| 2025-02-04 02:13:07 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-04 02:15:27 +0000 | yegorc | (~yegorc@user/yegorc) yegorc |
| 2025-02-04 02:18:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 02:21:14 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 02:21:45 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 02:29:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 02:31:25 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 02:31:56 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 02:34:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 02:41:36 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 02:42:07 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 02:45:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 02:49:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 02:49:44 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2025-02-04 02:50:34 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-02-04 02:51:47 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 02:52:18 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 02:53:17 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 02:57:18 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 03:00:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 03:01:57 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 03:02:28 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 03:03:14 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) (Ping timeout: 248 seconds) |
| 2025-02-04 03:03:46 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (Ping timeout: 248 seconds) |
| 2025-02-04 03:03:46 +0000 | bgtdsword | (b968c1779f@2a03:6000:1812:100::1460) (Ping timeout: 248 seconds) |
| 2025-02-04 03:04:20 +0000 | Square2 | (~Square4@user/square) Square |
| 2025-02-04 03:04:50 +0000 | jakzale | (6291399afa@user/jakzale) (Ping timeout: 248 seconds) |
| 2025-02-04 03:04:52 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) simendsjo |
| 2025-02-04 03:05:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-04 03:06:11 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2025-02-04 03:06:13 +0000 | jakzale | (6291399afa@user/jakzale) jakzale |
| 2025-02-04 03:06:57 +0000 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-02-04 03:12:08 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 03:12:39 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 03:15:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 03:17:28 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 03:20:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 03:22:19 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 03:22:50 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 03:23:57 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 244 seconds) |
| 2025-02-04 03:25:22 +0000 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) tabemann |
| 2025-02-04 03:30:45 +0000 | <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 03:31:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 03:32:30 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 03:33:01 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 03:34:25 +0000 | <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 03:35:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 03:42:21 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 03:42:41 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 03:43:12 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 03:44:29 +0000 | bgtdsword | (b968c1779f@2a03:6000:1812:100::1460) |
| 2025-02-04 03:46:25 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 03:46:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 03:47:05 +0000 | <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 03:49:05 +0000 | <geekosaur> | that may be your browser, some of them restrict what a local file is allowed to do |
| 2025-02-04 03:52:52 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 03:53:23 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 03:53:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-04 03:53:38 +0000 | <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 03:54:22 +0000 | <sim590> | I was literally diffing the two HTML files and looking for clues... In the end, it was simpler.. |
| 2025-02-04 04:03:03 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 04:03:34 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 04:04:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 04:08:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 04:13:14 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 04:13:45 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 04:23:25 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 04:23:56 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 04:28:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 04:30:26 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 04:33:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-04 04:33:36 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 04:34:07 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 04:34:49 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-04 04:38:16 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-02-04 04:41:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-02-04 04:43:47 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 04:44:18 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 04:44:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 04:48:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 04:53:04 +0000 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 260 seconds) |
| 2025-02-04 04:53:58 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 04:54:29 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 04:59:12 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-02-04 04:59:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 05:04:09 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 05:04:40 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:04:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-04 05:12:35 +0000 | xff0x | (~xff0x@2404:7a85:a201:8600:8984:c3a1:4f28:41e4) |
| 2025-02-04 05:14:20 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 05:14:51 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:15:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 05:15:37 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-04 05:18:50 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 05:20:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 05:22:24 +0000 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 265 seconds) |
| 2025-02-04 05:22:58 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 05:24:31 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-02-04 05:25:02 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:27:53 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-04 05:28:12 +0000 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 05:28:43 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:29:25 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 05:31:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 05:33:24 +0000 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 05:33:54 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:37:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 05:38:10 +0000 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-02-04 05:38:19 +0000 | michalz | (~michalz@185.246.207.205) |
| 2025-02-04 05:38:35 +0000 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 05:39:07 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:42:42 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2025-02-04 05:43:46 +0000 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 05:44:16 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:48:29 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-02-04 05:48:57 +0000 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 05:49:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 05:49:28 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:53:30 +0000 | lol_ | (~lol@2603:3016:1e01:b9c0:41a0:c194:66be:75a1) |
| 2025-02-04 05:53:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-04 05:54:08 +0000 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 05:54:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-02-04 05:54:39 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 05:58:06 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:1941:93e:5ca4:6d26) (Ping timeout: 276 seconds) |
| 2025-02-04 05:59:19 +0000 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 05:59:50 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:01:16 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-04 06:04:30 +0000 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 06:05:01 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:05:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 06:07:15 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 06:09:41 +0000 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 06:10:12 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:10:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-04 06:11:29 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 06:14:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 06:14:52 +0000 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 06:15:23 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:19:25 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-04 06:19:44 +0000 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 06:20:15 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:20:47 +0000 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-02-04 06:21:18 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-02-04 06:22:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 06:23:02 +0000 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-02-04 06:23:34 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-04 06:24:26 +0000 | gorignak | (~gorignak@user/gorignak) (Remote host closed the connection) |
| 2025-02-04 06:24:29 +0000 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2025-02-04 06:33:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 06:37:16 +0000 | <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 06:37:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-04 06:48:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 06:53:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 06:54:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 06:55:34 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Quit: WeeChat 4.3.3) |
| 2025-02-04 06:55:34 +0000 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-04 06:57:20 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 244 seconds) |
| 2025-02-04 06:57:39 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 06:59:05 +0000 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-02-04 06:59:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 07:00:55 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2025-02-04 07:00:57 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-04 07:01:06 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-02-04 07:02:03 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-04 07:04:35 +0000 | CiaoSen | (~Jura@2a05:5800:21f:b100:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-04 07:04:55 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-02-04 07:06:34 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-04 07:10:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 07:15:08 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f07b0ea430b6086a678.dip0.t-ipconnect.de) |
| 2025-02-04 07:19:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 07:23:37 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-02-04 07:25:19 +0000 | akegalj | (~akegalj@89-172-245-131.adsl.net.t-com.hr) akegalj |
| 2025-02-04 07:26:08 +0000 | hughjfch1 | (~hughjfche@vmi2417424.contaboserver.net) (Ping timeout: 265 seconds) |
| 2025-02-04 07:34:36 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 07:41:42 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-04 07:44:24 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 2025-02-04 07:46:04 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 07:48:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 07:50:15 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 07:52:10 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-04 07:55:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 08:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-04 08:00:54 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-04 08:04:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-02-04 08:05:51 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-02-04 08:12:31 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-04 08:22:22 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-02-04 08:23:09 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-02-04 08:25:41 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 244 seconds) |
| 2025-02-04 08:28:16 +0000 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-02-04 08:28:19 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-04 08:28:57 +0000 | kuribas | (~user@2a02:1808:5:414d:44d8:7252:32c:9ed) kuribas |
| 2025-02-04 08:29:42 +0000 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-02-04 08:30:28 +0000 | img | (~img@user/img) img |
| 2025-02-04 08:34:08 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 08:35:59 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-04 08:37:22 +0000 | img | (~img@user/img) img |
| 2025-02-04 08:37:23 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 08:38:41 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 08:42:49 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-02-04 08:43:22 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-02-04 08:45:02 +0000 | Guest70 | (~Guest44@92-184-102-233.mobile.fr.orangecustomers.net) |
| 2025-02-04 08:45:09 +0000 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-04 08:56:35 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-04 08:57:15 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-04 09:08:04 +0000 | Guest70 | (~Guest44@92-184-102-233.mobile.fr.orangecustomers.net) (Quit: Client closed) |
| 2025-02-04 09:08:06 +0000 | chele | (~chele@user/chele) chele |
| 2025-02-04 09:10:30 +0000 | chexum_ | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-02-04 09:11:29 +0000 | AlexZenon | (~alzenon@5.139.233.186) (Ping timeout: 260 seconds) |
| 2025-02-04 09:14:36 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-02-04 09:19:22 +0000 | AlexZenon | (~alzenon@5.139.233.186) |
| 2025-02-04 09:21:52 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 09:22:32 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-04 09:22:36 +0000 | foul_owl | (~kerry@174-21-138-88.tukw.qwest.net) (Ping timeout: 252 seconds) |
| 2025-02-04 09:26:29 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-04 09:32:07 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f07b0ea430b6086a678.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-04 09:36:44 +0000 | foul_owl | (~kerry@193.42.0.124) foul_owl |
| 2025-02-04 09:43:11 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-02-04 09:49:14 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 09:51:35 +0000 | sprotte24 | (~sprotte24@p200300d16f057d00a8084c91cb892c8c.dip0.t-ipconnect.de) |
| 2025-02-04 09:55:19 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:750c:6caf:d1d1:1e90) ubert |
| 2025-02-04 09:58:07 +0000 | forell | (~forell@user/forell) forell |
| 2025-02-04 10:09:56 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 10:13:35 +0000 | <dminuoso> | 22:39:55 tomsmeding │ it really is more powerful |
| 2025-02-04 10:14:11 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 10:14:22 +0000 | <dminuoso> | I started to wonder what fundamental reason there is why State and Reader behave differently this way. |
| 2025-02-04 10:14:53 +0000 | <dminuoso> | I may have to revisit my category theory days. |
| 2025-02-04 10:20:15 +0000 | <dminuoso> | Mmm, I suppose if one things of State as just Reader and Writer combined, this becomes clear already. |
| 2025-02-04 10:20:19 +0000 | <dminuoso> | s/things/thinks. |
| 2025-02-04 10:21:48 +0000 | CiaoSen | (~Jura@2a05:5800:21f:b100:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2025-02-04 10:29:34 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-04 10:34:26 +0000 | <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 10:41:34 +0000 | akegalj | (~akegalj@89-172-245-131.adsl.net.t-com.hr) (Ping timeout: 244 seconds) |
| 2025-02-04 10:52:21 +0000 | akegalj | (~akegalj@11-81.dsl.iskon.hr) |
| 2025-02-04 10:53:52 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-04 10:55:21 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:15d4:9b4c:59c3:ed22) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-04 10:55:38 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:c1a:8d45:26a8:2ec3) nschoe |
| 2025-02-04 10:57:40 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 11:01:43 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 11:18:59 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f0721e67d75908a2c07.dip0.t-ipconnect.de) acidjnk |
| 2025-02-04 11:29:42 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 246 seconds) |
| 2025-02-04 11:33:04 +0000 | xff0x | (~xff0x@2404:7a85:a201:8600:8984:c3a1:4f28:41e4) (Ping timeout: 260 seconds) |
| 2025-02-04 11:35:03 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-02-04 11:35:46 +0000 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-02-04 11:37:41 +0000 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-02-04 11:40:02 +0000 | kuribas | (~user@2a02:1808:5:414d:44d8:7252:32c:9ed) (Ping timeout: 272 seconds) |
| 2025-02-04 11:45:02 +0000 | sprotte24 | (~sprotte24@p200300d16f057d00a8084c91cb892c8c.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-02-04 11:45:44 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 11:47:00 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 11:49:46 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 11:51:35 +0000 | CiaoSen | (~Jura@2a05:5800:21f:b100:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-04 11:51:36 +0000 | jespada | (~jespada@2800:a4:22f0:2200:b8e3:83d:8441:5e36) jespada |
| 2025-02-04 11:52:17 +0000 | jespada | (~jespada@2800:a4:22f0:2200:b8e3:83d:8441:5e36) (Client Quit) |
| 2025-02-04 11:53:36 +0000 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 244 seconds) |
| 2025-02-04 11:54:02 +0000 | AkechiShiro | (~licht@user/akechishiro) AkechiShiro |
| 2025-02-04 11:54:18 +0000 | jespada | (~jespada@2800:a4:22f0:2200:b8e3:83d:8441:5e36) jespada |
| 2025-02-04 12:00:05 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-04 12:02:09 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-04 12:06:50 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-02-04 12:19:22 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-04 12:19:52 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-04 12:26:17 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 252 seconds) |
| 2025-02-04 12:26:46 +0000 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 265 seconds) |
| 2025-02-04 12:28:41 +0000 | AkechiShiro | (~licht@user/akechishiro) AkechiShiro |
| 2025-02-04 12:32:31 +0000 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-02-04 12:33:28 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 12:34:25 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 244 seconds) |
| 2025-02-04 12:37:36 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-04 12:39:31 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-02-04 12:40:01 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2025-02-04 12:40:16 +0000 | xff0x | (~xff0x@2404:7a85:a201:8600:b2be:b85b:e3d7:64b) |
| 2025-02-04 12:45:18 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-02-04 12:45:23 +0000 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-02-04 12:45:51 +0000 | rekahsoft | (~rekahsoft@70.51.99.237) rekahsoft |
| 2025-02-04 12:47:18 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-02-04 12:48:16 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 12:52:58 +0000 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-02-04 12:54:53 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-02-04 12:55:27 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-02-04 12:55:49 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-04 12:56:43 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 12:58:09 +0000 | yegorc | (~yegorc@user/yegorc) (Quit: Leaving) |
| 2025-02-04 13:00:58 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-04 13:04:25 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-04 13:04:31 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-04 13:09:33 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2025-02-04 13:13:02 +0000 | ridcully | (~ridcully@p508ac166.dip0.t-ipconnect.de) (Quit: WeeChat 4.5.0) |
| 2025-02-04 13:14:42 +0000 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 246 seconds) |
| 2025-02-04 13:19:09 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Read error: Connection reset by peer) |
| 2025-02-04 13:19:20 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-02-04 13:21:33 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 13:23:29 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-02-04 13:25:37 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 13:25:48 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-02-04 13:27:39 +0000 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-02-04 13:34:39 +0000 | 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 13:35:05 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-04 13:36:09 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 13:38:37 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-04 13:44:04 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-04 13:48:01 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-04 14:05:07 +0000 | JuanDaugherty | ColinRobinson |
| 2025-02-04 14:06:22 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-04 14:09:37 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 14:13:24 +0000 | alp | (~alp@2001:861:8ca0:4940:c78a:20e1:b983:926e) (Remote host closed the connection) |
| 2025-02-04 14:13:43 +0000 | alp | (~alp@2001:861:8ca0:4940:9331:9041:ae63:9f59) |
| 2025-02-04 14:14:14 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-04 14:15:25 +0000 | alp_ | (~alp@2001:861:8ca0:4940:3034:eb0b:fabd:e66e) |
| 2025-02-04 14:16:41 +0000 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
| 2025-02-04 14:16:53 +0000 | son0p | (~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) (Ping timeout: 248 seconds) |
| 2025-02-04 14:17:07 +0000 | alp__ | (~alp@2001:861:8ca0:4940:6df8:1f55:8067:ae4f) |
| 2025-02-04 14:18:25 +0000 | alp | (~alp@2001:861:8ca0:4940:9331:9041:ae63:9f59) (Ping timeout: 248 seconds) |
| 2025-02-04 14:19:12 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-04 14:20:01 +0000 | alp_ | (~alp@2001:861:8ca0:4940:3034:eb0b:fabd:e66e) (Ping timeout: 248 seconds) |
| 2025-02-04 14:21:54 +0000 | alp__ | (~alp@2001:861:8ca0:4940:6df8:1f55:8067:ae4f) (Ping timeout: 246 seconds) |
| 2025-02-04 14:24:06 +0000 | ridcully | (~ridcully@p508acb9a.dip0.t-ipconnect.de) ridcully |
| 2025-02-04 14:30:55 +0000 | rvalue | (~rvalue@user/rvalue) (Quit: 'checking conn') |
| 2025-02-04 14:31:23 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-04 14:32:03 +0000 | CiaoSen | (~Jura@2a05:5800:21f:b100:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2025-02-04 14:33:26 +0000 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-02-04 14:33:27 +0000 | jespada | (~jespada@2800:a4:22f0:2200:b8e3:83d:8441:5e36) (Ping timeout: 246 seconds) |
| 2025-02-04 14:37:38 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-04 14:38:01 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-04 14:38:34 +0000 | jespada | (~jespada@r167-61-33-53.dialup.adsl.anteldata.net.uy) jespada |
| 2025-02-04 14:40:51 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-02-04 14:42:12 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-04 14:44:27 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f0721e67d75908a2c07.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-04 14:45:04 +0000 | jespada_ | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) jespada |
| 2025-02-04 14:47:06 +0000 | jespada | (~jespada@r167-61-33-53.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-02-04 14:56:15 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-02-04 14:57:00 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-04 14:57:23 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 15:01:30 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-04 15:08:10 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-02-04 15:08:55 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-04 15:09:10 +0000 | xff0x | (~xff0x@2404:7a85:a201:8600:b2be:b85b:e3d7:64b) (Ping timeout: 265 seconds) |
| 2025-02-04 15:10:17 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f0720b8ba72da6edaf1.dip0.t-ipconnect.de) acidjnk |
| 2025-02-04 15:10:59 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-02-04 15:21:17 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 15:29:41 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-04 15:31:51 +0000 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
| 2025-02-04 15:32:18 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-04 15:40:16 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-02-04 15:41:56 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 15:44:11 +0000 | rvalue | (~rvalue@user/rvalue) (Excess Flood) |
| 2025-02-04 15:44:40 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-04 15:46:24 +0000 | TMA | (tma@twin.jikos.cz) (Ping timeout: 244 seconds) |
| 2025-02-04 15:46:48 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 15:51:17 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 15:54:11 +0000 | fp1 | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2025-02-04 15:57:03 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f0720b8ba72da6edaf1.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-04 15:59:18 +0000 | jespada_ | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-04 15:59:42 +0000 | orenty7 | (~orenty7@176.88.22.4) |
| 2025-02-04 16:16:28 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-02-04 16:16:53 +0000 | xff0x | (~xff0x@2404:7a85:a201:8600:4aec:cc60:904f:73ba) |
| 2025-02-04 16:28:03 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-04 16:30:13 +0000 | spacenautx | (~spacenaut@user/spacenautx) spacenautx |
| 2025-02-04 16:34:29 +0000 | son0p | (~ff@190.249.196.119) son0p |
| 2025-02-04 16:35:52 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 16:40:52 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-04 16:46:10 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-04 16:47:43 +0000 | akegalj | (~akegalj@11-81.dsl.iskon.hr) (Ping timeout: 252 seconds) |
| 2025-02-04 16:53:03 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-02-04 16:53:57 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-04 16:56:17 +0000 | jespada | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) jespada |
| 2025-02-04 17:03:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 17:08:15 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-02-04 17:10:18 +0000 | sprotte24 | (~sprotte24@p200300d16f057d0048bfec2654557117.dip0.t-ipconnect.de) |
| 2025-02-04 17:12:21 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f074c76d1a444d11045.dip0.t-ipconnect.de) acidjnk |
| 2025-02-04 17:13:08 +0000 | kenran | (~kenran@user/kenran) kenran |
| 2025-02-04 17:14:54 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 260 seconds) |
| 2025-02-04 17:16:06 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-02-04 17:17:48 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-02-04 17:20:07 +0000 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) ft |
| 2025-02-04 17:24:37 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 17:26:36 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-02-04 17:28:03 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Read error: Connection reset by peer) |
| 2025-02-04 17:28:25 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-02-04 17:29:04 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-04 17:30:27 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-02-04 17:33:07 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:750c:6caf:d1d1:1e90) (Remote host closed the connection) |
| 2025-02-04 17:35:50 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-02-04 17:37:32 +0000 | jespada | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-04 17:39:20 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-04 17:46:47 +0000 | ss4 | wootehfoot |
| 2025-02-04 17:47:00 +0000 | alp | (~alp@2001:861:8ca0:4940:a52d:a41b:3770:b2af) |
| 2025-02-04 17:47:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 17:51:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-04 17:52:08 +0000 | cawfee | (~root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.5.1) |
| 2025-02-04 17:52:16 +0000 | cawfee | (root@2001:19f0:4400:79a1::babe) qjqqyy |
| 2025-02-04 18:02:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 18:04:58 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-02-04 18:06:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 18:07:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-04 18:08:37 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-04 18:13:42 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 18:16:30 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-04 18:17:53 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-04 18:18:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 18:24:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-04 18:25:17 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-04 18:26:00 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-02-04 18:26:45 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-02-04 18:31:32 +0000 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-02-04 18:32:23 +0000 | jespada | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) jespada |
| 2025-02-04 18:34:04 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 252 seconds) |
| 2025-02-04 18:36:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 18:37:00 +0000 | igemnace | (~igemnace@user/igemnace) (Ping timeout: 252 seconds) |
| 2025-02-04 18:38:48 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-02-04 18:39:23 +0000 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2025-02-04 18:39:24 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-02-04 18:39:47 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-04 18:40:45 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-04 18:41:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-04 18:47:16 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-04 18:49:33 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-02-04 18:50:00 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-02-04 18:50:04 +0000 | ljdarj1 | ljdarj |
| 2025-02-04 18:50:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 18:54:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 19:00:49 +0000 | <monochrom> | Writer presumes that s is a monoid but State doesn't. How does that adjunction work? |
| 2025-02-04 19:02:07 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 19:02:14 +0000 | jespada | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-04 19:05:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 19:05:46 +0000 | <ncf> | Writer does not come from an adjunction on Hask (at least not obviously) |
| 2025-02-04 19:06:20 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-04 19:08:30 +0000 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-02-04 19:10:07 +0000 | jespada | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) jespada |
| 2025-02-04 19:10:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-04 19:11:42 +0000 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-02-04 19:12:22 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-04 19:14:44 +0000 | <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 19:15:09 +0000 | <ncf> | so Writer m is the action monad of m for the cartesian monoidal structure on Hask |
| 2025-02-04 19:15:50 +0000 | <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 19:16:25 +0000 | <ncf> | (this one https://hackage.haskell.org/package/comonad-5.0.9/docs/src/Control.Comonad.html#line-156) |
| 2025-02-04 19:17:00 +0000 | <ncf> | but Reader r is also a monad without assuming that r is a monoid, and this can be explained dually |
| 2025-02-04 19:17:29 +0000 | <ncf> | namely, any *co*monoid object R in a monoidal category has an action *comonad* R ⊗ — |
| 2025-02-04 19:18:13 +0000 | <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 19:19:41 +0000 | <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 19:19:47 +0000 | <ncf> | but i'm not 100% sure this is true |
| 2025-02-04 19:21:01 +0000 | <ncf> | ok now i'm sure |
| 2025-02-04 19:21:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 19:21:13 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f074c76d1a444d11045.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-04 19:21:55 +0000 | <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 19:24:06 +0000 | <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 19:24:46 +0000 | <monochrom> | But yikes, 2-categories haha (dies inside). |
| 2025-02-04 19:25:00 +0000 | <monochrom> | But I guess Moggi said "I told you so". |
| 2025-02-04 19:25:22 +0000 | <ncf> | yes the adjunction comes before any monad or comonad structure |
| 2025-02-04 19:25:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 19:26:26 +0000 | <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 19:27:01 +0000 | <ncf> | (and let's not forget the comonad that comes from the (r →) ⊣ (r, ) adjunction, the store comonad) |
| 2025-02-04 19:32:29 +0000 | <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 19:33:34 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-04 19:33:50 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-04 19:36:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 19:40:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 19:41:57 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-04 19:44:40 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-02-04 19:45:09 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-04 19:45:44 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f07d9acb33bf68493bd.dip0.t-ipconnect.de) acidjnk |
| 2025-02-04 19:46:51 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-02-04 19:50:31 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 19:51:30 +0000 | supercode | (~supercode@user/supercode) supercode |
| 2025-02-04 19:51:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 19:54:44 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-04 19:56:25 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-04 19:56:58 +0000 | _ht | (~huub@62.250.52.179) _ht |
| 2025-02-04 19:58:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 20:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-04 20:00:44 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-04 20:02:04 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2025-02-04 20:06:30 +0000 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-02-04 20:08:58 +0000 | <ncf> | (i meant (r,) ⊣ (r →)) |
| 2025-02-04 20:11:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 20:11:52 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-04 20:12:08 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-04 20:15:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 20:18:54 +0000 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-02-04 20:19:14 +0000 | Guest0 | (~Guest0@2409:40f2:1046:f02e:c0e8:84ff:fef8:e7a7) |
| 2025-02-04 20:19:47 +0000 | Guest8 | (~Guest0@2409:40f2:1046:f02e:c0e8:84ff:fef8:e7a7) |
| 2025-02-04 20:20:33 +0000 | Guest8 | (~Guest0@2409:40f2:1046:f02e:c0e8:84ff:fef8:e7a7) (Client Quit) |
| 2025-02-04 20:20:46 +0000 | Guest0 | (~Guest0@2409:40f2:1046:f02e:c0e8:84ff:fef8:e7a7) (Client Quit) |
| 2025-02-04 20:24:04 +0000 | AlexZenon | (~alzenon@5.139.233.186) (Ping timeout: 252 seconds) |
| 2025-02-04 20:24:13 +0000 | honk | (~honk@209.60-130-109.adsl-dyn.isp.belgacom.be) |
| 2025-02-04 20:24:28 +0000 | honk | (~honk@209.60-130-109.adsl-dyn.isp.belgacom.be) () |
| 2025-02-04 20:25:03 +0000 | AlexNoo_ | (~AlexNoo@5.139.233.186) |
| 2025-02-04 20:25:39 +0000 | AlexNoo | (~AlexNoo@5.139.233.186) (Ping timeout: 260 seconds) |
| 2025-02-04 20:26:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 20:26:40 +0000 | AlexNoo_ | AlexNoo |
| 2025-02-04 20:31:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-04 20:35:35 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-04 20:37:33 +0000 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2025-02-04 20:38:51 +0000 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-02-04 20:40:35 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 20:41:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 20:42:50 +0000 | AlexZenon | (~alzenon@5.139.233.186) |
| 2025-02-04 20:44:58 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-04 20:46:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 20:46:54 +0000 | jespada | (~jespada@2800:a4:2267:4f00:6988:7c40:be6b:df82) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-04 20:51:23 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-02-04 20:51:38 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-04 20:55:39 +0000 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 246 seconds) |
| 2025-02-04 20:57:03 +0000 | AlexZenon | (~alzenon@5.139.233.186) (Ping timeout: 276 seconds) |
| 2025-02-04 20:57:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 20:59:03 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-04 21:01:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 21:02:05 +0000 | AlexZenon | (~alzenon@5.139.233.186) |
| 2025-02-04 21:04:09 +0000 | remedan | (~remedan@62.245.108.153) (Ping timeout: 244 seconds) |
| 2025-02-04 21:09:29 +0000 | kenran | (~kenran@user/kenran) (Remote host closed the connection) |
| 2025-02-04 21:12:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 21:17:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-04 21:27:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 21:29:14 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-02-04 21:29:20 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 21:33:37 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-04 21:34:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 21:40:57 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-04 21:45:53 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-02-04 21:45:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 21:46:45 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-04 21:50:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-04 21:55:25 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 22:00:09 +0000 | forell | (~forell@user/forell) (Ping timeout: 260 seconds) |
| 2025-02-04 22:01:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 22:05:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-04 22:12:36 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-04 22:13:25 +0000 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-02-04 22:13:40 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-04 22:16:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 22:16:46 +0000 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2025-02-04 22:17:07 +0000 | TypedUser | (~TypedUser@ip-109-193-050-121.um39.pools.vodafone-ip.de) |
| 2025-02-04 22:19:04 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 22:21:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 22:21:25 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-04 22:22:34 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-02-04 22:23:14 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-04 22:23:17 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2025-02-04 22:24:05 +0000 | TypedUser | (~TypedUser@ip-109-193-050-121.um39.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-02-04 22:26:21 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-04 22:26:35 +0000 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-04 22:26:56 +0000 | malte | (~malte@mal.tc) malte |
| 2025-02-04 22:32:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 22:36:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-04 22:38:49 +0000 | xff0x | (~xff0x@2404:7a85:a201:8600:4aec:cc60:904f:73ba) (Ping timeout: 260 seconds) |
| 2025-02-04 22:39:37 +0000 | xff0x | (~xff0x@2404:7a85:a201:8600:cfc:bc2:4878:939) |
| 2025-02-04 22:39:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 22:44:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-04 22:46:03 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-02-04 22:47:24 +0000 | xff0x | (~xff0x@2404:7a85:a201:8600:cfc:bc2:4878:939) (Ping timeout: 260 seconds) |
| 2025-02-04 22:49:18 +0000 | mange | (~user@user/mange) mange |
| 2025-02-04 22:49:21 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-04 22:50:07 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-04 22:50:54 +0000 | xff0x | (~xff0x@2404:7a85:a201:8600:6e59:82a6:334a:c830) |
| 2025-02-04 22:51:43 +0000 | myme | (~myme@2a01:799:d5a:d600:a612:2e19:c074:a774) (Ping timeout: 265 seconds) |
| 2025-02-04 22:52:30 +0000 | myme | (~myme@2a01:799:d5a:d600:3359:17b6:3323:1290) myme |
| 2025-02-04 22:55:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 22:59:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-04 23:01:23 +0000 | Guest74 | (~Guest74@2804:14d:9021:82f9:d1f7:12b:b87a:8020) |
| 2025-02-04 23:03:19 +0000 | Guest74 | (~Guest74@2804:14d:9021:82f9:d1f7:12b:b87a:8020) (Client Quit) |
| 2025-02-04 23:04:19 +0000 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 260 seconds) |
| 2025-02-04 23:04:22 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-04 23:05:55 +0000 | spacenautx | (~spacenaut@user/spacenautx) spacenautx |
| 2025-02-04 23:05:57 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-02-04 23:05:57 +0000 | ljdarj1 | ljdarj |
| 2025-02-04 23:06:55 +0000 | hueso | (~root@user/hueso) () |
| 2025-02-04 23:07:27 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 23:08:24 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2025-02-04 23:10:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 23:10:54 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-02-04 23:11:46 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-04 23:12:04 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-04 23:15:34 +0000 | dolio | (~dolio@130.44.140.168) (Ping timeout: 260 seconds) |
| 2025-02-04 23:16:50 +0000 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2025-02-04 23:17:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 23:17:24 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2025-02-04 23:19:21 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-02-04 23:22:32 +0000 | Guest42 | (~Guest42@220-233-36-23.ip4.exetel.com.au) |
| 2025-02-04 23:24:06 +0000 | divya | (divya@140.238.251.170) (Ping timeout: 252 seconds) |
| 2025-02-04 23:24:09 +0000 | Guest42 | (~Guest42@220-233-36-23.ip4.exetel.com.au) (Client Quit) |
| 2025-02-04 23:25:59 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-02-04 23:28:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 23:29:16 +0000 | divya | (divya@140.238.251.170) divya |
| 2025-02-04 23:32:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 23:41:09 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-02-04 23:42:49 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-04 23:43:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 23:46:03 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-04 23:48:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 23:51:44 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-02-04 23:55:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 23:56:32 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 23:59:27 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3) |