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