| 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) () |