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