| 2025-12-10 00:01:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 00:04:11 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2025-12-10 00:04:55 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 245 seconds) |
| 2025-12-10 00:06:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 00:10:35 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2025-12-10 00:12:23 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-10 00:16:19 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-10 00:17:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 00:22:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 00:31:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9873:8ff7:840:18a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-10 00:33:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 00:34:32 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-10 00:39:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 00:40:19 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-10 00:49:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 00:54:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-10 01:01:59 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 01:02:11 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 01:05:40 +0100 | Googulator29 | (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-10 01:05:41 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) |
| 2025-12-10 01:05:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 01:11:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 01:14:55 +0100 | trickard_ | trickard |
| 2025-12-10 01:21:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 01:22:43 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-10 01:27:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-10 01:27:57 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2025-12-10 01:28:38 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-12-10 01:33:58 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-10 01:37:04 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-10 01:38:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 01:41:06 +0100 | pebble | (~pebble@37.63.35.15) pebble |
| 2025-12-10 01:43:15 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 240 seconds) |
| 2025-12-10 01:43:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-10 01:46:56 +0100 | pebble | (~pebble@37.63.35.15) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2025-12-10 01:48:52 +0100 | xff0x | (~xff0x@2405:6580:b080:900:bc8b:d352:26e5:1f26) (Ping timeout: 265 seconds) |
| 2025-12-10 01:50:37 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-10 01:54:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 01:55:27 +0100 | tomcrt | (~tomcrt@2600:8800:5000:f790:7118:4033:3fda:6c3d) |
| 2025-12-10 01:57:07 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-12-10 01:58:51 +0100 | peutri | (~peutri@bobo.desast.re) (Ping timeout: 244 seconds) |
| 2025-12-10 01:59:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-10 02:05:30 +0100 | peutri | (~peutri@bobo.desast.re) peutri |
| 2025-12-10 02:05:43 +0100 | Googulator51 | (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) |
| 2025-12-10 02:05:43 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-10 02:06:01 +0100 | tomcrt | (~tomcrt@2600:8800:5000:f790:7118:4033:3fda:6c3d) (Ping timeout: 272 seconds) |
| 2025-12-10 02:10:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 02:15:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 02:24:35 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-10 02:24:50 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-10 02:26:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 02:30:00 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-10 02:32:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 02:35:29 +0100 | omidmash1 | (~omidmash@user/omidmash) omidmash |
| 2025-12-10 02:37:22 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2025-12-10 02:37:23 +0100 | omidmash1 | omidmash |
| 2025-12-10 02:38:07 +0100 | acidjnk | (~acidjnk@p200300d6e71719330c8cbdf9a82b3519.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-12-10 02:39:30 +0100 | lol_ | (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) |
| 2025-12-10 02:40:38 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-10 02:40:50 +0100 | jcarpenter2 | (~lol@96.78.87.197) (Read error: Connection reset by peer) |
| 2025-12-10 02:41:28 +0100 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2025-12-10 02:41:31 +0100 | SoF0 | (~skius@user/skius) skius |
| 2025-12-10 02:41:34 +0100 | remexre | (~remexre@user/remexre) (Ping timeout: 246 seconds) |
| 2025-12-10 02:41:34 +0100 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) (Ping timeout: 246 seconds) |
| 2025-12-10 02:41:44 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-12-10 02:42:16 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Ping timeout: 246 seconds) |
| 2025-12-10 02:42:16 +0100 | [_________] | (~oos95GWG@user/oos95GWG) (Ping timeout: 246 seconds) |
| 2025-12-10 02:43:00 +0100 | Tuplanolla1 | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 2025-12-10 02:43:28 +0100 | dysfigured | (~dfg@50.116.28.89) |
| 2025-12-10 02:44:17 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Ping timeout: 246 seconds) |
| 2025-12-10 02:44:17 +0100 | dfg | (~dfg@user/dfg) (Ping timeout: 246 seconds) |
| 2025-12-10 02:44:18 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 246 seconds) |
| 2025-12-10 02:44:18 +0100 | SoF | (~skius@user/skius) (Ping timeout: 246 seconds) |
| 2025-12-10 02:44:18 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 246 seconds) |
| 2025-12-10 02:44:18 +0100 | AlexNoo | (~AlexNoo@85.174.180.40) (Read error: Connection reset by peer) |
| 2025-12-10 02:44:18 +0100 | SoF0 | SoF |
| 2025-12-10 02:44:18 +0100 | [_________] | (~oos95GWG@user/oos95GWG) oos95GWG |
| 2025-12-10 02:44:19 +0100 | shreyasminocha_ | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2025-12-10 02:44:21 +0100 | jmcantre1 | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-10 02:44:22 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 2025-12-10 02:44:22 +0100 | cephei8 | (b8652603d7@user/cephei8) (Ping timeout: 246 seconds) |
| 2025-12-10 02:44:24 +0100 | edwtjo | (~edwtjo@h-155-4-52-89.A213.priv.bahnhof.se) |
| 2025-12-10 02:44:24 +0100 | edwtjo | (~edwtjo@h-155-4-52-89.A213.priv.bahnhof.se) (Changing host) |
| 2025-12-10 02:44:24 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2025-12-10 02:44:33 +0100 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) rubin55 |
| 2025-12-10 02:44:37 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2025-12-10 02:44:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 02:44:57 +0100 | cephei8 | (b8652603d7@user/cephei8) cephei8 |
| 2025-12-10 02:45:04 +0100 | Ging_ | (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 246 seconds) |
| 2025-12-10 02:45:04 +0100 | sm2n | (ae95cb1267@user/sm2n) (Ping timeout: 246 seconds) |
| 2025-12-10 02:45:36 +0100 | shreyasminocha_ | shreyasminocha |
| 2025-12-10 02:45:56 +0100 | lane | (809450f172@2a03:6000:1812:100::1300) (Ping timeout: 246 seconds) |
| 2025-12-10 02:46:07 +0100 | exfalsoquodlibet | (a7085e0f71@user/exfalsoquodlibet) (Ping timeout: 246 seconds) |
| 2025-12-10 02:46:22 +0100 | sm2n | (ae95cb1267@user/sm2n) sm2n |
| 2025-12-10 02:46:33 +0100 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
| 2025-12-10 02:47:45 +0100 | Ging_ | (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2025-12-10 02:47:49 +0100 | exfalsoquodlibet | (a7085e0f71@user/exfalsoquodlibet) exfalsoquodlibet |
| 2025-12-10 02:49:02 +0100 | kaskal- | (~kaskal@2a02:8388:1a8b:7d00:b79c:6f58:7c13:bc3a) (Ping timeout: 246 seconds) |
| 2025-12-10 02:49:14 +0100 | kaskal | (~kaskal@2a02:8388:1a8b:7d00:dfb3:620:180e:8832) kaskal |
| 2025-12-10 02:49:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 02:51:01 +0100 | Pixi__ | (~Pixi@user/pixi) Pixi |
| 2025-12-10 02:52:08 +0100 | Ikosit2 | (~Ikosit@user/ikosit) Ikosit |
| 2025-12-10 02:53:18 +0100 | lll | (~o@user/offon) offon |
| 2025-12-10 02:54:32 +0100 | energizer_ | (~energizer@user/energizer) energizer |
| 2025-12-10 02:55:07 +0100 | dfg | (~dfg@user/dfg) dfg |
| 2025-12-10 02:55:20 +0100 | Eoco_ | (~ian@128.101.131.218) Eoco |
| 2025-12-10 02:55:39 +0100 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-10 02:55:42 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-10 02:55:49 +0100 | byorgey | (~byorgey@155.138.238.211) |
| 2025-12-10 02:55:49 +0100 | byorgey | (~byorgey@155.138.238.211) (Changing host) |
| 2025-12-10 02:55:49 +0100 | byorgey | (~byorgey@user/byorgey) byorgey |
| 2025-12-10 02:55:59 +0100 | Miroboru_ | (~myrvoll@84.215.250.50) Miroboru |
| 2025-12-10 02:56:02 +0100 | peutri_ | (~peutri@bobo.desast.re) peutri |
| 2025-12-10 02:56:18 +0100 | Athas_ | (athas@2a01:7c8:aaac:1cf:e9bb:9c42:9519:597d) |
| 2025-12-10 02:56:23 +0100 | elarks1 | (~yerri@user/yerrii) yerrii |
| 2025-12-10 02:56:27 +0100 | natto17 | (~natto@129.154.243.159) natto |
| 2025-12-10 02:57:00 +0100 | Wanderer_ | (~wanderer@user/wanderer) Wanderer |
| 2025-12-10 02:57:03 +0100 | mstruebing_ | (~mstruebin@ns343649.ip-188-165-193.eu) |
| 2025-12-10 02:57:16 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-12-10 02:57:34 +0100 | carbolymer_ | (~carbolyme@delirium.systems) carbolymer |
| 2025-12-10 02:57:41 +0100 | op_4_ | (~tslil@2a01:4f8:c0c:7952::1) |
| 2025-12-10 02:58:41 +0100 | bairyn | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-12-10 02:58:56 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-10 02:59:19 +0100 | chiselfu1e | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-12-10 02:59:43 +0100 | oppili- | (~oppili@lewi-27-b2-v4wan-165682-cust505.vm4.cable.virginm.net) |
| 2025-12-10 02:59:45 +0100 | gentauro_ | (~gentauro@91.226.144.99) |
| 2025-12-10 03:00:24 +0100 | jmcantre1 | (~weechat@user/jmcantrell) (*.net *.split) |
| 2025-12-10 03:00:24 +0100 | dysfigured | (~dfg@50.116.28.89) (*.net *.split) |
| 2025-12-10 03:00:24 +0100 | Pixi` | (~Pixi@user/pixi) (*.net *.split) |
| 2025-12-10 03:00:24 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (*.net *.split) |
| 2025-12-10 03:00:24 +0100 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
| 2025-12-10 03:00:24 +0100 | _\_ | (~o@user/offon) (*.net *.split) |
| 2025-12-10 03:00:24 +0100 | FANTOM_ | (~fantom@90.244.161.115) (*.net *.split) |
| 2025-12-10 03:00:25 +0100 | elarks | (~yerri@user/yerrii) (*.net *.split) |
| 2025-12-10 03:00:25 +0100 | Ikosit | (~Ikosit@user/ikosit) (*.net *.split) |
| 2025-12-10 03:00:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (*.net *.split) |
| 2025-12-10 03:00:25 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (*.net *.split) |
| 2025-12-10 03:00:25 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2025-12-10 03:00:25 +0100 | dolio | (~dolio@130.44.140.168) (*.net *.split) |
| 2025-12-10 03:00:25 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (*.net *.split) |
| 2025-12-10 03:00:26 +0100 | Miroboru | (~myrvoll@84.215.250.50) (*.net *.split) |
| 2025-12-10 03:00:26 +0100 | gentauro | (~gentauro@user/gentauro) (*.net *.split) |
| 2025-12-10 03:00:26 +0100 | energizer | (~energizer@user/energizer) (*.net *.split) |
| 2025-12-10 03:00:26 +0100 | jonnie | (~jonnie@user/jonnie) (*.net *.split) |
| 2025-12-10 03:00:26 +0100 | natto- | (~natto@129.154.243.159) (*.net *.split) |
| 2025-12-10 03:00:26 +0100 | oppili | (~oppili@user/nerdypepper) (*.net *.split) |
| 2025-12-10 03:00:26 +0100 | Wanderer | (~wanderer@user/wanderer) (*.net *.split) |
| 2025-12-10 03:00:26 +0100 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2025-12-10 03:00:26 +0100 | mstruebing | (~mstruebin@ns343649.ip-188-165-193.eu) (*.net *.split) |
| 2025-12-10 03:00:26 +0100 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (*.net *.split) |
| 2025-12-10 03:00:26 +0100 | carbolymer | (~carbolyme@delirium.systems) (*.net *.split) |
| 2025-12-10 03:00:27 +0100 | Eoco | (~ian@128.101.131.218) (*.net *.split) |
| 2025-12-10 03:00:27 +0100 | byorgey_ | (~byorgey@user/byorgey) (*.net *.split) |
| 2025-12-10 03:00:28 +0100 | Ikosit2 | Ikosit |
| 2025-12-10 03:00:31 +0100 | jonnie_ | (~jonnie@user/jonnie) jonnie |
| 2025-12-10 03:01:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 03:01:05 +0100 | jonnie_ | jonnie |
| 2025-12-10 03:01:52 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-12-10 03:02:20 +0100 | lambdabot | (~lambdabot@int-e.eu) |
| 2025-12-10 03:02:20 +0100 | lambdabot | (~lambdabot@int-e.eu) (Changing host) |
| 2025-12-10 03:02:20 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-12-10 03:02:20 +0100 | ChanServ | +v lambdabot |
| 2025-12-10 03:03:24 +0100 | FANTOM | (~fantom@90.244.161.115) |
| 2025-12-10 03:04:49 +0100 | jreicher | (~user@user/jreicher) (Ping timeout: 264 seconds) |
| 2025-12-10 03:05:36 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-12-10 03:06:15 +0100 | FANTOM | (~fantom@90.244.161.115) (Ping timeout: 240 seconds) |
| 2025-12-10 03:06:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-10 03:08:48 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 252 seconds) |
| 2025-12-10 03:08:54 +0100 | ephemient | (uid407513@user/ephemient) (Quit: Connection closed for inactivity) |
| 2025-12-10 03:10:05 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2025-12-10 03:10:13 +0100 | FANTOM | (~fantom@90.244.161.115) |
| 2025-12-10 03:10:41 +0100 | wickedjargon | (~user@64.114.24.74) wickedjargon |
| 2025-12-10 03:14:48 +0100 | enikar | (~enikar@user/enikar) (*.net *.split) |
| 2025-12-10 03:14:48 +0100 | elenril | (~elenril@tutturu.khirnov.net) (*.net *.split) |
| 2025-12-10 03:14:50 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-12-10 03:14:54 +0100 | enikar | (~enikar@user/enikar) enikar |
| 2025-12-10 03:14:54 +0100 | elenril | (~elenril@tutturu.khirnov.net) elenril |
| 2025-12-10 03:16:57 +0100 | skum | (~skum@user/skum) skum |
| 2025-12-10 03:17:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 03:17:21 +0100 | Tuplanolla1 | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-10 03:19:59 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) (Quit: Bye!) |
| 2025-12-10 03:20:55 +0100 | ridcully | (~ridcully@p57b52b68.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2025-12-10 03:20:56 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) remedan |
| 2025-12-10 03:21:19 +0100 | comonad | (~comonad@p200300d02720e400847046dc37dbdd66.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-12-10 03:21:37 +0100 | krei-se | (~krei-se@p3ee0fbea.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-12-10 03:22:06 +0100 | comonad | (~comonad@p200300d02720e400847046dc37dbdd66.dip0.t-ipconnect.de) |
| 2025-12-10 03:22:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 03:23:01 +0100 | ridcully | (~ridcully@p57b52b68.dip0.t-ipconnect.de) ridcully |
| 2025-12-10 03:24:39 +0100 | krei-se | (~krei-se@p200300f1cf1d55010001000000000001.dip0.t-ipconnect.de) krei-se |
| 2025-12-10 03:33:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 03:35:10 +0100 | vanishing | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2025-12-10 03:37:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-10 03:39:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 03:40:44 +0100 | Googulator51 | (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-10 03:40:50 +0100 | Googulator81 | (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) |
| 2025-12-10 03:44:33 +0100 | myxos | (~myxos@2001:579:8380:f20:a43c:43a0:b765:7c89) (Ping timeout: 252 seconds) |
| 2025-12-10 03:46:48 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-10 03:48:46 +0100 | myxos | (~myxos@wsip-70-166-126-146.ph.ph.cox.net) myxokephale |
| 2025-12-10 03:49:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 03:55:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 04:01:16 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2025-12-10 04:04:28 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 04:04:41 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 04:05:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 04:10:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 04:15:41 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) |
| 2025-12-10 04:15:41 +0100 | Googulator81 | (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-10 04:19:19 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-10 04:21:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 04:26:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 04:29:48 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-10 04:35:25 +0100 | ephemient | (uid407513@user/ephemient) ephemient |
| 2025-12-10 04:37:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 04:42:33 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-12-10 04:42:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 04:53:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 04:58:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-10 05:03:57 +0100 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-12-10 05:04:01 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-12-10 05:05:21 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-12-10 05:08:28 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-10 05:09:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 05:11:36 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 05:11:49 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 05:12:26 +0100 | trickard_ | trickard |
| 2025-12-10 05:16:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-10 05:17:47 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-12-10 05:17:56 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 05:18:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 05:19:47 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-10 05:21:51 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 05:23:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-10 05:26:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-10 05:34:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 05:35:19 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-12-10 05:35:19 +0100 | ChanServ | +v haskellbridge |
| 2025-12-10 05:39:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-10 05:40:34 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-12-10 05:50:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 05:55:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 05:56:29 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2025-12-10 05:56:48 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-12-10 06:06:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 06:10:51 +0100 | trickard_ | trickard |
| 2025-12-10 06:11:34 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 06:11:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 06:14:18 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 06:18:00 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 06:22:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 06:24:41 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 06:25:12 +0100 | wickedjargon | (~user@64.114.24.74) (Read error: Connection reset by peer) |
| 2025-12-10 06:26:24 +0100 | <iqubic> | Is there a megaparsec combinator for parse any character in this string? |
| 2025-12-10 06:27:01 +0100 | <iqubic> | So, like parse either a single '#' or a single '.' or fail. |
| 2025-12-10 06:28:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 06:28:57 +0100 | <int-e> | `oneOf` (referenced from and implemented in terms of `satisfy`) |
| 2025-12-10 06:34:15 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-10 06:37:04 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-10 06:37:15 +0100 | trickard_ | trickard |
| 2025-12-10 06:38:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 06:44:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 06:44:38 +0100 | <iqubic> | Shoutout to 'unzip3' being a goated function |
| 2025-12-10 06:44:42 +0100 | <iqubic> | :t unzip3 |
| 2025-12-10 06:44:43 +0100 | <lambdabot> | [(a, b, c)] -> ([a], [b], [c]) |
| 2025-12-10 06:50:55 +0100 | dmead | (~halloy975@2601:41:c300:ae80:354a:bc86:483c:6ece) (Quit: dmead) |
| 2025-12-10 06:54:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 06:59:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 07:01:42 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-12-10 07:04:23 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 07:04:36 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 07:11:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 07:12:00 +0100 | trickard_ | trickard |
| 2025-12-10 07:13:07 +0100 | gentauro_ | (~gentauro@91.226.144.99) (Read error: Connection reset by peer) |
| 2025-12-10 07:13:25 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-12-10 07:15:40 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-12-10 07:16:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 07:17:55 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 07:18:08 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 07:18:38 +0100 | mstruebing_ | mstruebing |
| 2025-12-10 07:23:17 +0100 | Athas_ | Athas |
| 2025-12-10 07:27:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 07:27:53 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-10 07:31:51 +0100 | Guest7 | (~Guest93@38.49.92.193) |
| 2025-12-10 07:32:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 07:32:32 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-10 07:37:25 +0100 | <Guest7> | Hey y'all! I am learning how to write a type checker for System F (my type checker is for an extension of typed System F) and I am trying to understand how alpha equivalence works in the apply case: (e1 e2). For the sake of simplicity, I am renaming using Ints. Will (\lambda x.x) (\lambda y.y) get renamed to (\lambda 0.0) (\lambda 1.1) or (\lambda |
| 2025-12-10 07:37:25 +0100 | <Guest7> | 0.0) (\lambda 0.0)? |
| 2025-12-10 07:40:19 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-10 07:40:29 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-12-10 07:40:47 +0100 | <Guest7> | anyone? |
| 2025-12-10 07:43:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 07:47:26 +0100 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-10 07:48:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 07:49:49 +0100 | p3n | (~p3n@217.198.124.246) p3n |
| 2025-12-10 07:57:55 +0100 | <int-e> | well, all those three terms are alpha-equivalent |
| 2025-12-10 07:59:12 +0100 | <int-e> | But maybe you want to rename distinct variables apart; in that case the third term doesn't accomplish that. |
| 2025-12-10 07:59:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 08:03:33 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 08:03:46 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 08:05:07 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-12-10 08:05:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 08:08:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 08:10:27 +0100 | <Guest7> | yeah, I found that the hard way lol |
| 2025-12-10 08:11:58 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-12-10 08:13:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 08:22:49 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-12-10 08:24:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 08:27:29 +0100 | annamalai | (~annamalai@157.33.222.119) (Ping timeout: 250 seconds) |
| 2025-12-10 08:29:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 08:32:11 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-10 08:40:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 08:41:02 +0100 | annamalai | (~annamalai@2409:4042:d37:b495::9e0a:ba05) annamalai |
| 2025-12-10 08:42:25 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-10 08:45:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 08:45:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-10 08:50:38 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-10 08:51:21 +0100 | Guest7 | (~Guest93@38.49.92.193) (Ping timeout: 272 seconds) |
| 2025-12-10 08:56:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 09:00:44 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-12-10 09:02:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 09:03:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-10 09:05:18 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9873:8ff7:840:18a8) |
| 2025-12-10 09:08:55 +0100 | chewybread | (~chewybrea@133.9.75.2) |
| 2025-12-10 09:08:56 +0100 | chewybread | (~chewybrea@133.9.75.2) (Changing host) |
| 2025-12-10 09:08:56 +0100 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2025-12-10 09:09:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-10 09:11:31 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-10 09:14:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-10 09:17:41 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-10 09:20:07 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2025-12-10 09:32:05 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9873:8ff7:840:18a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-10 09:32:28 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-10 09:32:48 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 09:34:44 +0100 | trickard_ | trickard |
| 2025-12-10 09:36:21 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 09:37:01 +0100 | chewybread | (~chewybrea@user/chewybread) (Ping timeout: 246 seconds) |
| 2025-12-10 09:40:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9873:8ff7:840:18a8) |
| 2025-12-10 09:43:20 +0100 | acidjnk | (~acidjnk@p200300d6e717192391252480cf04477b.dip0.t-ipconnect.de) acidjnk |
| 2025-12-10 09:43:36 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 09:46:43 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-10 09:52:13 +0100 | chewybread | (~chewybrea@133.9.75.2) |
| 2025-12-10 09:52:13 +0100 | chewybread | (~chewybrea@133.9.75.2) (Changing host) |
| 2025-12-10 09:52:13 +0100 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2025-12-10 09:53:07 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-10 09:56:36 +0100 | chewybread | (~chewybrea@user/chewybread) (Ping timeout: 256 seconds) |
| 2025-12-10 09:59:47 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 10:02:20 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-10 10:02:54 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-12-10 10:03:04 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-12-10 10:05:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 10:07:26 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 10:17:50 +0100 | trickard_ | trickard |
| 2025-12-10 10:19:11 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2025-12-10 10:21:38 +0100 | Googulator | (~Googulato@2a01-036d-0106-2445-0060-08d9-b766-79a8.pool6.digikabel.hu) |
| 2025-12-10 10:29:30 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-12-10 10:41:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-10 10:42:41 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-12-10 10:42:58 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-10 10:43:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 10:44:05 +0100 | Googulator | (~Googulato@2a01-036d-0106-2445-0060-08d9-b766-79a8.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-10 10:54:49 +0100 | chewybread | (~chewybrea@133.9.75.2) |
| 2025-12-10 10:54:50 +0100 | chewybread | (~chewybrea@133.9.75.2) (Changing host) |
| 2025-12-10 10:54:50 +0100 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2025-12-10 10:58:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 10:59:21 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 11:01:17 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-10 11:05:13 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2025-12-10 11:05:26 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 11:05:40 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 11:06:03 +0100 | energizer_ | energizer |
| 2025-12-10 11:08:35 +0100 | chele | (~chele@user/chele) chele |
| 2025-12-10 11:20:09 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-12-10 11:29:40 +0100 | wickedjargon | (~user@64.114.24.74) wickedjargon |
| 2025-12-10 11:47:40 +0100 | trickard_ | trickard |
| 2025-12-10 11:51:00 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-12-10 11:52:35 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 12:03:06 +0100 | <lucabtz> | i implemented the grid functionality i was asking about a few days ago https://paste.tomsmeding.com/QNyPZ97n |
| 2025-12-10 12:03:43 +0100 | <lucabtz> | what would make the Applicative instance would be pure = singleton and <*> = applyTo |
| 2025-12-10 12:05:52 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9fc6:fc26:b514:683b) |
| 2025-12-10 12:06:03 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 12:12:25 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-10 12:19:50 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-10 12:23:35 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-12-10 12:24:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-10 12:28:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-12-10 12:29:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-10 12:31:49 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-10 12:33:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-12-10 12:33:15 +0100 | ljdarj1 | ljdarj |
| 2025-12-10 12:35:05 +0100 | chewybread | (~chewybrea@user/chewybread) (Remote host closed the connection) |
| 2025-12-10 12:40:19 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 12:46:35 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-10 12:47:51 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-10 12:47:51 +0100 | ljdarj1 | ljdarj |
| 2025-12-10 13:03:34 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 13:05:08 +0100 | ephemient | (uid407513@user/ephemient) (Quit: Connection closed for inactivity) |
| 2025-12-10 13:06:37 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-10 13:14:23 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-12-10 13:25:25 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-10 13:29:20 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9873:8ff7:840:18a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-10 13:52:57 +0100 | AlexZenon | (~alzenon@85.174.180.40) (Quit: ;-) |
| 2025-12-10 13:58:41 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-10 13:59:15 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 14:10:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 14:22:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 14:26:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 14:28:18 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 14:34:42 +0100 | AlexZenon | (~alzenon@85.174.180.40) |
| 2025-12-10 14:35:59 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-10 14:36:48 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-12-10 14:40:52 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-10 14:40:52 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-10 14:40:52 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-10 14:41:42 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2025-12-10 14:44:09 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 14:44:43 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-10 14:45:38 +0100 | Wanderer_ | wanderer |
| 2025-12-10 14:52:29 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-12-10 14:52:57 +0100 | tromp | (~textual@2001:1c00:3487:1b00:fc9c:738b:219c:bafe) |
| 2025-12-10 14:57:07 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-10 15:00:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 15:01:15 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 2025-12-10 15:03:23 +0100 | trickard__ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 15:04:13 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-12-10 15:09:29 +0100 | trickard__ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 15:12:06 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 15:14:19 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 15:15:49 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 246 seconds) |
| 2025-12-10 15:16:02 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-10 15:16:49 +0100 | oppili- | oppili |
| 2025-12-10 15:16:50 +0100 | oppili | (~oppili@lewi-27-b2-v4wan-165682-cust505.vm4.cable.virginm.net) (Changing host) |
| 2025-12-10 15:16:50 +0100 | oppili | (~oppili@user/nerdypepper) nerdy |
| 2025-12-10 15:17:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 15:17:52 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 15:18:36 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-10 15:23:10 +0100 | merijn | (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 2025-12-10 15:23:52 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) rekahsoft |
| 2025-12-10 15:26:53 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 15:27:06 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 15:37:25 +0100 | mooon | (~mooon@user/mooon) mooon |
| 2025-12-10 15:37:30 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 15:38:20 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-10 15:38:31 +0100 | spew | (~spew@user/spew) (Client Quit) |
| 2025-12-10 15:38:51 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-10 15:47:55 +0100 | tromp | (~textual@2001:1c00:3487:1b00:fc9c:738b:219c:bafe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-10 15:52:39 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-10 15:52:41 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-12-10 15:56:05 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) Enrico63 |
| 2025-12-10 16:00:12 +0100 | <bwe> | What's the proper way to pass in an argument via Reader Monad for a Megaparsec parser? https://paste.tomsmeding.com/kyjewT46 |
| 2025-12-10 16:00:33 +0100 | <bwe> | (of course, `import Control.Monad.Reader`) |
| 2025-12-10 16:05:45 +0100 | <mauke> | wouldn't it be ReaderT Config Parser Result? |
| 2025-12-10 16:08:15 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) (Quit: Client closed) |
| 2025-12-10 16:09:04 +0100 | <haskellbridge> | <Morj> Either that or ParsecT e s (Reader Config) |
| 2025-12-10 16:10:05 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:804a:51a5:a5:4c32) (Remote host closed the connection) |
| 2025-12-10 16:10:24 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-12-10 16:12:43 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-12-10 16:13:26 +0100 | <haskellbridge> | <Morj> Looking at the megaparsec types, what mаuke has written is a better option: it has a MonadParsec instance and it allows you to use ReaderT without any lifts too |
| 2025-12-10 16:19:57 +0100 | larsivi | (~larsivi@user/larsivi) larsivi |
| 2025-12-10 16:26:28 +0100 | <larsivi> | Hello folks! I'm an oldhat dev that suddenly decided to check out Haskell. I'm starting with the essentials, getting neovim to work properly ... The only issue so far, is getting the bikeshed colored properly. The haskell-vim has been installed (tried both lazy and manually), but I only get the default colors. I do have haskell-tools installed (and apparently works), in case that can cause some |
| 2025-12-10 16:26:30 +0100 | <larsivi> | conflicts. My neovim is recent and with not much installed in terms of plugins.Doing all this on Arch. Did anyone here have similar issues that got it working? |
| 2025-12-10 16:31:11 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) Enrico63 |
| 2025-12-10 16:34:07 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 250 seconds) |
| 2025-12-10 16:34:44 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-10 16:37:52 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-10 16:38:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-10 16:40:57 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-10 16:43:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-12-10 16:43:55 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-12-10 16:44:10 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 16:44:14 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 16:47:03 +0100 | wickedjargon | (~user@64.114.24.74) (Remote host closed the connection) |
| 2025-12-10 16:47:12 +0100 | <haskellbridge> | <Morj> larsivi I don't remember the issues I had with haskell-vim, but at some point I forked it and made some changes |
| 2025-12-10 16:47:21 +0100 | <haskellbridge> | <Morj> Gosh it's been so long |
| 2025-12-10 16:47:50 +0100 | <haskellbridge> | <Morj> Are there no haskell colors in vim by default nowadays? Afair the haskell-vim just does them differently |
| 2025-12-10 16:48:12 +0100 | <haskellbridge> | <Morj> But if you're using neovim with lsp, you can get the colors from the lsp server itself (though I personally turn it off all the time) |
| 2025-12-10 16:54:57 +0100 | <haskellbridge> | <Zemyla> Hmm, would making some internal data structures boxed unlifted help performance over strictness annotations? |
| 2025-12-10 16:55:18 +0100 | <haskellbridge> | <Zemyla> Or are they a solution looking for a problem? |
| 2025-12-10 16:59:29 +0100 | <bwe> | Morj: Can I still combine multiple `ReaderT Config Parser Result` into a new parser / with non ReaderT `Parser Result` parsers? |
| 2025-12-10 16:59:38 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-10 17:01:16 +0100 | <merijn> | bwe: `Parser` is just `ParserT () Identity` iirc |
| 2025-12-10 17:01:47 +0100 | <merijn> | tbh you probably want `ParserT () Reader` |
| 2025-12-10 17:02:06 +0100 | <bwe> | my definition of Parser currently is `type Parser = Parsec Void Text` |
| 2025-12-10 17:02:24 +0100 | <merijn> | bwe: Yeah, but `Parsec` is a transformer under the hood |
| 2025-12-10 17:02:49 +0100 | <merijn> | bwe: https://hackage.haskell.org/package/parsec-3.1.18.0/docs/Text-Parsec.html#t:Parsec |
| 2025-12-10 17:02:56 +0100 | <haskellbridge> | <Zemyla> Also, ReaderT is just r -> m a. You combine them with non Reader monads by running it. |
| 2025-12-10 17:02:58 +0100 | <bwe> | I see. |
| 2025-12-10 17:03:43 +0100 | <bwe> | https://hackage.haskell.org/package/megaparsec-9.7.0/docs/Text-Megaparsec.html#t:Parsec |
| 2025-12-10 17:04:32 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-10 17:09:09 +0100 | qqe | (~qqq@185.54.20.98) |
| 2025-12-10 17:10:52 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-10 17:12:33 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) (Quit: Client closed) |
| 2025-12-10 17:16:13 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-10 17:16:27 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 17:17:07 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-12-10 17:19:55 +0100 | mooon | (~mooon@user/mooon) (Ping timeout: 240 seconds) |
| 2025-12-10 17:24:54 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-10 17:27:55 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-10 17:30:40 +0100 | <haskellbridge> | <Zemyla> Like, I'm thinking about fingertrees, and I'm at the very least thinking that Digits should be unlifted. |
| 2025-12-10 17:33:14 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-12-10 17:39:42 +0100 | <haskellbridge> | <Morj> Zemyla what do you mean «boxed unlifted»? Did you mean that the structures that were boxed you want to make unlifted? |
| 2025-12-10 17:39:54 +0100 | <haskellbridge> | <Morj> Unlifted values can help performance in tight loops when ghc optimizer can't unlift your data by itself for whatever reason. When not in tight loops, it can confuse the regular optimizations and rewrite rules though |
| 2025-12-10 17:41:41 +0100 | <haskellbridge> | <Zemyla> You know the standard fingertree structure, right? data FingerTree a = Empty | Single a | Deep !Int !(Digit a) (FingerTree (Node a)) !(Digit a)? |
| 2025-12-10 17:41:47 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 17:41:52 +0100 | <haskellbridge> | <Morj> Plus, and I may be wrong about it, unboxed values interact differently with gc and may use its slower algorithms |
| 2025-12-10 17:41:57 +0100 | <haskellbridge> | <Zemyla> I'm thinking of making the Digits boxed unlifted. |
| 2025-12-10 17:42:00 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 17:42:31 +0100 | <haskellbridge> | <Morj> Honestly not familiar! But the answer depends on what you want to do with the Digits after construction |
| 2025-12-10 17:42:37 +0100 | <haskellbridge> | <Zemyla> I'm pretty sure they use the same algorithm, given arrays are examples of boxed unlifted arrays. |
| 2025-12-10 17:43:02 +0100 | <haskellbridge> | <Zemyla> *boxed unlifted values. |
| 2025-12-10 17:43:30 +0100 | tromp | (~textual@2001:1c00:3487:1b00:fc9c:738b:219c:bafe) |
| 2025-12-10 17:44:47 +0100 | <haskellbridge> | <Morj> I googled the terminology: unlifted is anything that can't have bottom; unboxed types are unlifted, but not all that is unlifted is unboxed. Right? |
| 2025-12-10 17:49:48 +0100 | <haskellbridge> | <Morj> Yes, I confused unlifted and unboxed. You mentioned like MutableByteArray# that is boxed but unlifted |
| 2025-12-10 17:51:16 +0100 | <haskellbridge> | <Morj> That's cool. I don't know anything about the performance of unlifted types |
| 2025-12-10 17:52:50 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-12-10 17:53:26 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-10 17:59:12 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-10 17:59:41 +0100 | <haskellbridge> | <Zemyla> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/primitives.html#unlifted-datatypes |
| 2025-12-10 18:00:07 +0100 | <dolio> | Will it make a difference to justify the effort in this case, though? |
| 2025-12-10 18:02:31 +0100 | __monty__ | (~toonn@user/toonn) (Quit: Lost terminal) |
| 2025-12-10 18:02:58 +0100 | <dolio> | I guess it might not be much effort, but what does it do other than eliminate the ! around Digit in the finger tree definition? I don't think digts are used except incidentally in the implementation, so changing their overall calling convention doesn't seem like it'd affect much. |
| 2025-12-10 18:03:35 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 18:04:05 +0100 | <haskellbridge> | <Morj> Since 9.2, that's older than I thought. I'll remember it next time I'm writing some benchmark |
| 2025-12-10 18:04:51 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-10 18:05:23 +0100 | <dolio> | I think the feature is more for when you're directly using some structure widely, and you know it should remain evaluated, so you'd have to sprinkle ! on a lot of arguments of the type. |
| 2025-12-10 18:05:27 +0100 | <haskellbridge> | <Zemyla> True. What might make a bigger difference is the next idea. I'm thinking of Elem a = Elem2 a a | Elem3 a a a, and Node a = Node2 !Int !a !a | Node3 !Int !a !a !a |
| 2025-12-10 18:06:26 +0100 | <haskellbridge> | <Zemyla> Nodes only contain Elems or other Nodes. I might make Elem and Node unlifted. |
| 2025-12-10 18:06:55 +0100 | <dolio> | And might be an optimization in that case, because putting ! on arguments means that GHC has to insert code to evaluate things that might already be evaluated. |
| 2025-12-10 18:10:55 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 240 seconds) |
| 2025-12-10 18:12:21 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-10 18:13:57 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 18:14:10 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 18:14:24 +0100 | <haskellbridge> | <Zemyla> There's a couple issues, though. The big one is Traversable. |
| 2025-12-10 18:14:48 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-10 18:15:22 +0100 | <haskellbridge> | <Zemyla> The other one is that the values in a Node aren't always strict (for instance, with inits and tails). |
| 2025-12-10 18:15:55 +0100 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-12-10 18:17:27 +0100 | <dolio> | Yeah, some of the asymptotic performance of finger trees depends on laziness, so I'm not sure you can make Node unlifted. |
| 2025-12-10 18:17:34 +0100 | <dolio> | I don't recall the details, though. |
| 2025-12-10 18:20:33 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-12-10 18:25:32 +0100 | elarks1 | elarks |
| 2025-12-10 18:26:33 +0100 | tromp | (~textual@2001:1c00:3487:1b00:fc9c:738b:219c:bafe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-10 18:26:49 +0100 | <larsivi> | Morj: There are default colors, but only a couple of elements in vague colors. Since haskell-vim hasn't been updated in a few years, I thought that could be a reason too. I suppose I have LSP via haskell-tools, but it hasn't brought a lot of colors (yet!) |
| 2025-12-10 18:29:00 +0100 | tromp | (~textual@2001:1c00:3487:1b00:fc9c:738b:219c:bafe) |
| 2025-12-10 18:30:35 +0100 | <haskellbridge> | <Morj> My fork of haskell-vim also hasn't been updated in how many years and still works, so I doubt that /that/ is the problem |
| 2025-12-10 18:31:27 +0100 | <haskellbridge> | <Morj> Your original problem was that the haskell-vim colors look like the original colors? |
| 2025-12-10 18:36:40 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-10 18:37:07 +0100 | <haskellbridge> | <Morj> Wow, comparing them side by side right now, today I wouldn't make the choice to use haskell-vim, the default colors are just fine |
| 2025-12-10 18:40:47 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-10 18:48:57 +0100 | <larsivi> | Hah, maybe I'm just a colorful person! I suppose I'll find some neovimmy place to ask :) Thanks! I'm sure I'll be back with other questions when I get into actual Haskell issues. |
| 2025-12-10 18:49:30 +0100 | skum | (~skum@user/skum) skum |
| 2025-12-10 18:54:40 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-10 19:04:11 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |