| 2024-10-02 00:02:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 00:06:04 +0200 | <haskellbridge> | <sm> ICFP happened not long ago, interesting videos |
| 2024-10-02 00:06:14 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-02 00:06:34 +0200 | shapr | (~user@2601:19c:417e:5434:7020:f3be:22a2:6949) shapr |
| 2024-10-02 00:06:50 +0200 | <haskellbridge> | <sm> The Haskell committee and foundation just announced they’re merging |
| 2024-10-02 00:07:24 +0200 | <haskellbridge> | <sm> And HF has moved to matrix for chat |
| 2024-10-02 00:07:55 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-02 00:08:25 +0200 | <haskellbridge> | <sm> There’s an “official Haskell blog” recently set up |
| 2024-10-02 00:11:02 +0200 | <haskellbridge> | <sm> microhs and hell are a new portable Haskell compiler and a Haskell-like scripting language built on the ghc runtime, respectively |
| 2024-10-02 00:12:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-02 00:13:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 00:13:10 +0200 | <haskellbridge> | <sm> Cardano Haskell based blockchain continues to run with 100% uptime |
| 2024-10-02 00:13:42 +0200 | <haskellbridge> | <sm> Funding and sponsorship of ghc and Haskell is slowly growing |
| 2024-10-02 00:14:51 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-02 00:15:31 +0200 | <haskellbridge> | <sm> in the Haskell-wasm room, wasm back end with template Haskell support just passed all ghc tests for the first time |
| 2024-10-02 00:15:36 +0200 | <yin> | sm: thanks! |
| 2024-10-02 00:15:51 +0200 | <haskellbridge> | <sm> A few things! Excuse the dump |
| 2024-10-02 00:16:02 +0200 | <yin> | not at all, keep going |
| 2024-10-02 00:16:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-02 00:16:42 +0200 | synchromesh | (~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) (Read error: Connection reset by peer) |
| 2024-10-02 00:17:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-02 00:17:58 +0200 | synchromesh | (~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) synchromesh |
| 2024-10-02 00:18:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 00:25:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 00:28:01 +0200 | <haskellbridge> | <magic_rb> sm: Did ghc plugins with cross compilation get figured out ? |
| 2024-10-02 00:36:36 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-02 00:36:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 00:38:53 +0200 | <haskellbridge> | <sm> magic_rb: Don't know about that |
| 2024-10-02 00:42:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 00:45:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-02 00:51:33 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb276c1c454e32c34a99.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-02 00:52:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 00:52:59 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2024-10-02 00:53:35 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 00:57:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 00:57:41 +0200 | <geekosaur> | I suspect not |
| 2024-10-02 01:01:14 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-02 01:08:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 01:13:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 01:18:09 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-10-02 01:23:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 01:28:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 01:28:49 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-10-02 01:34:26 +0200 | bilegeek | (~bilegeek@2600:1008:b042:dc1f:46ed:459d:fa73:5af1) (Quit: Leaving) |
| 2024-10-02 01:37:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-02 01:38:18 +0200 | kaskal- | (~kaskal@213-147-165-35.nat.highway.webapn.at) (Quit: ZNC - https://znc.in) |
| 2024-10-02 01:38:39 +0200 | kaskal | (~kaskal@2001:4bb8:2af:db4a:8acd:a0ac:f117:1e24) kaskal |
| 2024-10-02 01:39:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 01:43:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 01:48:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-10-02 01:54:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 01:57:48 +0200 | komikat | (~user@218.185.248.66) komikat |
| 2024-10-02 02:01:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 02:06:14 +0200 | supercode | (~supercode@user/supercode) supercode |
| 2024-10-02 02:06:45 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2024-10-02 02:11:00 +0200 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 265 seconds) |
| 2024-10-02 02:11:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 02:12:42 +0200 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2024-10-02 02:16:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 02:22:02 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2024-10-02 02:26:58 +0200 | haveo | (~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.2) |
| 2024-10-02 02:27:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 02:30:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-02 02:32:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 02:35:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-02 02:43:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 02:45:06 +0200 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-10-02 02:47:41 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-02 02:48:13 +0200 | xff0x | (~xff0x@ai080132.d.east.v6connect.net) (Ping timeout: 265 seconds) |
| 2024-10-02 02:48:16 +0200 | vglfr_ | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) |
| 2024-10-02 02:48:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 02:49:19 +0200 | vglfr_ | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit) |
| 2024-10-02 02:50:07 +0200 | haveo | (~weechat@pacamara.iuwt.fr) haveo |
| 2024-10-02 02:59:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 03:03:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 03:14:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 03:17:05 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 248 seconds) |
| 2024-10-02 03:19:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 03:27:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-10-02 03:30:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 03:31:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-02 03:34:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 03:39:53 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-02 03:40:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-02 03:56:01 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-02 03:59:15 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 04:01:03 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 276 seconds) |
| 2024-10-02 04:01:20 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-02 04:01:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 04:01:59 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-02 04:07:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 04:09:44 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-10-02 04:09:53 +0200 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
| 2024-10-02 04:12:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-02 04:18:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 04:20:15 +0200 | td_ | (~td@i5387093B.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-02 04:22:15 +0200 | td_ | (~td@i5387093C.versanet.de) |
| 2024-10-02 04:23:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 04:25:16 +0200 | synchromesh | (~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) (Read error: Connection reset by peer) |
| 2024-10-02 04:26:38 +0200 | synchromesh | (~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) synchromesh |
| 2024-10-02 04:34:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 04:38:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 04:45:49 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-10-02 04:49:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 04:53:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 04:54:58 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 245 seconds) |
| 2024-10-02 05:04:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 05:06:06 +0200 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-10-02 05:09:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 05:12:59 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2024-10-02 05:20:08 +0200 | aforemny | (~aforemny@2001:9e8:6cd7:c200:342e:20f9:8752:4727) aforemny |
| 2024-10-02 05:20:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 05:21:09 +0200 | aforemny_ | (~aforemny@i59F4C5B0.versanet.de) (Ping timeout: 260 seconds) |
| 2024-10-02 05:21:42 +0200 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-10-02 05:23:22 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-02 05:24:07 +0200 | neuroevolutus | (~neuroevol@206.217.206.41) neuroevolutus |
| 2024-10-02 05:24:29 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-10-02 05:25:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 05:25:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-02 05:25:46 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2024-10-02 05:27:37 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-02 05:29:58 +0200 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2024-10-02 05:30:44 +0200 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
| 2024-10-02 05:31:06 +0200 | nkatte | (~nkatte@2804:14c:87de:706b:dc54:3091:78f1:e245) (Ping timeout: 265 seconds) |
| 2024-10-02 05:35:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 05:40:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 05:43:13 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-02 05:44:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2024-10-02 05:44:36 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-10-02 05:51:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 05:55:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 06:06:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 06:11:39 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-02 06:11:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 06:12:11 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 4.1.1) |
| 2024-10-02 06:12:37 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) hughjfchen |
| 2024-10-02 06:13:46 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 06:22:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 06:25:03 +0200 | michalz | (~michalz@185.246.207.205) |
| 2024-10-02 06:27:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 06:30:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-02 06:32:05 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
| 2024-10-02 06:37:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 06:42:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 06:53:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 06:55:53 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-02 07:02:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 07:06:31 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-02 07:07:34 +0200 | neuroevolutus | (~neuroevol@206.217.206.41) (Ping timeout: 256 seconds) |
| 2024-10-02 07:09:51 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-10-02 07:10:42 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) finn_elija |
| 2024-10-02 07:13:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 07:18:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 07:19:53 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-10-02 07:26:56 +0200 | mud | (~mud@user/kadoban) kadoban |
| 2024-10-02 07:28:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 07:30:11 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-02 07:33:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 07:43:56 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2024-10-02 07:44:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 07:45:49 +0200 | andrewboltachev | (~andrey@178.141.123.3) andrewboltachev |
| 2024-10-02 07:49:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 07:50:57 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-02 07:59:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 08:04:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 08:15:18 +0200 | neuroevolutus | (~neuroevol@206.217.206.41) neuroevolutus |
| 2024-10-02 08:15:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 08:15:43 +0200 | CiaoSen | (~Jura@2a05:5800:2d1:1b00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-02 08:16:08 +0200 | neuroevolutus | (~neuroevol@206.217.206.41) (Client Quit) |
| 2024-10-02 08:20:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 08:20:34 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-10-02 08:21:43 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2024-10-02 08:23:42 +0200 | acarrico | (~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) (Ping timeout: 252 seconds) |
| 2024-10-02 08:26:44 +0200 | rvalue- | rvalue |
| 2024-10-02 08:30:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 08:34:51 +0200 | synchromesh | (~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) (Read error: Connection reset by peer) |
| 2024-10-02 08:36:17 +0200 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) synchromesh |
| 2024-10-02 08:36:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 08:38:14 +0200 | acarrico | (~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) |
| 2024-10-02 08:47:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 08:48:21 +0200 | wkearn | (~wkearn@user/wkearn) wkearn |
| 2024-10-02 08:51:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 08:59:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 09:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-02 09:00:39 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-02 09:02:35 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-02 09:03:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 09:05:45 +0200 | andreas808 | (andreas303@is.drunk.and.ready-to.party) (Ping timeout: 276 seconds) |
| 2024-10-02 09:12:20 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-10-02 09:14:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 09:19:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 09:23:38 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-02 09:26:13 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb85cd0cf194bbc9b0a3.dip0.t-ipconnect.de) acidjnk |
| 2024-10-02 09:27:39 +0200 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2024-10-02 09:27:54 +0200 | tomku | (~tomku@user/tomku) tomku |
| 2024-10-02 09:29:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 09:32:26 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-02 09:34:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-02 09:37:10 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-02 09:43:12 +0200 | chele | (~chele@user/chele) chele |
| 2024-10-02 09:45:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 09:47:32 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-10-02 09:47:57 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-02 09:48:02 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-10-02 09:49:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 09:54:29 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2024-10-02 09:55:40 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-02 09:55:55 +0200 | Digitteknohippie | Digit |
| 2024-10-02 09:56:16 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-02 09:58:48 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-02 09:58:55 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 10:01:35 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 2024-10-02 10:02:23 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 10:02:55 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-10-02 10:04:15 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 10:08:07 +0200 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-02 10:08:12 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2024-10-02 10:13:58 +0200 | merijn | (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 2024-10-02 10:15:00 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-02 10:15:43 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 264 seconds) |
| 2024-10-02 10:16:43 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-02 10:18:20 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-02 10:24:02 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-10-02 10:24:15 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) sp1ff |
| 2024-10-02 10:24:19 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-02 10:28:54 +0200 | <tomsmeding> | sm: wasm support improving is really cool! |
| 2024-10-02 10:31:21 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 10:34:57 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-02 10:36:06 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 276 seconds) |
| 2024-10-02 10:36:13 +0200 | mari-estel | (~mari-este@p200300f1c742d30102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-10-02 10:37:59 +0200 | wkearn_ | (~wkearn@user/wkearn) wkearn |
| 2024-10-02 10:38:30 +0200 | wkearn | (~wkearn@user/wkearn) (Ping timeout: 265 seconds) |
| 2024-10-02 10:38:31 +0200 | wkearn_ | (~wkearn@user/wkearn) (Client Quit) |
| 2024-10-02 10:42:37 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-02 11:00:26 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-02 11:10:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-10-02 11:10:32 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-10-02 11:18:00 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-10-02 11:26:49 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2024-10-02 11:27:51 +0200 | lol_ | jcarpenter2 |
| 2024-10-02 11:37:51 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-10-02 11:39:34 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-10-02 11:41:44 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-10-02 11:42:06 +0200 | Inst | (~Inst@user/Inst) Inst |
| 2024-10-02 11:43:33 +0200 | mari-estel | (~mari-este@p200300f1c742d30102163efffe654eef.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-10-02 11:51:26 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2024-10-02 11:51:35 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-02 11:52:04 +0200 | komikat` | (~user@218.185.248.66) komikat |
| 2024-10-02 11:52:38 +0200 | komikat` | (~user@218.185.248.66) (Remote host closed the connection) |
| 2024-10-02 11:53:12 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-10-02 11:53:34 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-02 11:54:41 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-10-02 11:55:12 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2024-10-02 11:56:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 11:57:13 +0200 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) ubert |
| 2024-10-02 11:58:13 +0200 | tv | (~tv@user/tv) tv |
| 2024-10-02 11:59:59 +0200 | CiaoSen | (~Jura@2a05:5800:2d1:1b00:ca4b:d6ff:fec1:99da) (Ping timeout: 244 seconds) |
| 2024-10-02 12:01:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-02 12:05:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 12:05:59 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-02 12:06:53 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-10-02 12:13:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 12:14:35 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-02 12:18:15 +0200 | <L29Ah> | https://gitlab.haskell.org/ghc/ghc/-/issues/2403 |
| 2024-10-02 12:18:15 +0200 | <L29Ah> | is there some external runhaskell caching implementation like suggested in the issue? |
| 2024-10-02 12:18:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 12:19:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 12:21:55 +0200 | <tomsmeding> | L29Ah: https://cabal.readthedocs.io/en/3.4/cabal-commands.html?highlight=script#cabal-v2-run |
| 2024-10-02 12:22:32 +0200 | <tomsmeding> | perhaps the latest version https://cabal.readthedocs.io/en/3.4/cabal-commands.html?highlight=script#cabal-v2-run |
| 2024-10-02 12:22:37 +0200 | <tomsmeding> | oh |
| 2024-10-02 12:22:39 +0200 | <tomsmeding> | https://cabal.readthedocs.io/en/latest/cabal-commands.html#cabal-run |
| 2024-10-02 12:22:42 +0200 | <tomsmeding> | c'mon, clipboard |
| 2024-10-02 12:24:21 +0200 | <L29Ah> | thanks |
| 2024-10-02 12:24:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-02 12:25:51 +0200 | <tomsmeding> | posted a comment in case someone else lands on that issue in the future :) |
| 2024-10-02 12:27:54 +0200 | mari-estel | (~mari-este@p200300f1c742d30102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-10-02 12:35:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 12:37:30 +0200 | greenflower | (~greenflow@2409:4071:4d45:89b5:604d:fc79:97d4:8d84) greenflower |
| 2024-10-02 12:39:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 12:43:14 +0200 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) (Read error: Connection reset by peer) |
| 2024-10-02 12:43:55 +0200 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) synchromesh |
| 2024-10-02 12:48:59 +0200 | xff0x | (~xff0x@2405:6580:b080:900:409b:fd54:4c14:6dc) |
| 2024-10-02 12:49:54 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-10-02 12:50:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 12:55:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 12:55:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-02 12:57:40 +0200 | mari-estel | (~mari-este@p200300f1c742d30102163efffe654eef.dip0.t-ipconnect.de) (Quit: tschüs) |
| 2024-10-02 13:06:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 13:11:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 13:13:31 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-02 13:13:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-02 13:14:04 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2024-10-02 13:16:09 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 13:20:19 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-10-02 13:21:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 13:26:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 13:28:45 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-10-02 13:29:38 +0200 | cyphase | (~cyphase@user/cyphase) (Read error: Connection reset by peer) |
| 2024-10-02 13:37:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 13:38:57 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-10-02 13:40:20 +0200 | mchristi | (~AdminUser@193.121.61.113) |
| 2024-10-02 13:41:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 13:42:19 +0200 | cyphase | (~cyphase@user/cyphase) (Read error: Connection reset by peer) |
| 2024-10-02 13:45:02 +0200 | mchristi | (~AdminUser@193.121.61.113) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-10-02 13:46:35 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 13:48:18 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-10-02 13:48:54 +0200 | ljdarj1 | ljdarj |
| 2024-10-02 13:52:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 13:57:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 14:08:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 14:12:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 14:15:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 14:19:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 14:23:51 +0200 | caubert_ | (~caubert@user/caubert) caubert |
| 2024-10-02 14:25:20 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 255 seconds) |
| 2024-10-02 14:30:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 14:34:02 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-10-02 14:34:16 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-02 14:35:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 14:35:03 +0200 | shapr | (~user@2601:19c:417e:5434:7020:f3be:22a2:6949) (Remote host closed the connection) |
| 2024-10-02 14:35:16 +0200 | shapr | (~user@2601:19c:417e:5434:ed03:a722:d7be:3773) shapr |
| 2024-10-02 14:35:48 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-10-02 14:35:48 +0200 | nckx | nckhexen |
| 2024-10-02 14:40:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-02 14:40:16 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-02 14:44:03 +0200 | nkatte | (~nkatte@191.177.174.42) |
| 2024-10-02 14:44:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-02 14:46:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 14:48:17 +0200 | AlexZenon | (~alzenon@178.34.162.53) (Quit: ;-) |
| 2024-10-02 14:48:37 +0200 | AlexNoo | (~AlexNoo@178.34.162.53) (Quit: Leaving) |
| 2024-10-02 14:58:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-02 14:59:26 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-02 15:01:11 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 15:01:49 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-02 15:04:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 15:08:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 15:09:45 +0200 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2024-10-02 15:10:12 +0200 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-10-02 15:12:03 +0200 | greenflower | (~greenflow@2409:4071:4d45:89b5:604d:fc79:97d4:8d84) (Ping timeout: 256 seconds) |
| 2024-10-02 15:13:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-02 15:14:36 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-02 15:16:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 15:16:40 +0200 | AlexNoo | (~AlexNoo@178.34.162.53) |
| 2024-10-02 15:17:20 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 15:20:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 15:21:55 +0200 | rosco | (~rosco@183.171.107.61) rosco |
| 2024-10-02 15:24:25 +0200 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-10-02 15:24:52 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 15:26:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-10-02 15:26:10 +0200 | ljdarj1 | ljdarj |
| 2024-10-02 15:31:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 15:35:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 15:36:10 +0200 | <__monty__> | Anyone have a good mental model of what "traverse" does? I think my difficulties with <*> are leaking into my lack of understanding of Traversable. |
| 2024-10-02 15:47:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 15:47:49 +0200 | <Rembane> | :t traverse |
| 2024-10-02 15:47:50 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2024-10-02 15:48:01 +0200 | <Rembane> | :t sequence |
| 2024-10-02 15:48:02 +0200 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2024-10-02 15:48:06 +0200 | <Rembane> | :t fmap |
| 2024-10-02 15:48:07 +0200 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2024-10-02 15:48:20 +0200 | <Rembane> | :t sequence . fmap |
| 2024-10-02 15:48:21 +0200 | <lambdabot> | (Traversable ((->) (m a1)), Monad m) => (a1 -> a2) -> m (m a1 -> a2) |
| 2024-10-02 15:48:32 +0200 | <Rembane> | That one didn't help. :D |
| 2024-10-02 15:49:14 +0200 | <Rembane> | But in a handwavy way: it's fmap and then sequence because I need to change swap f and t |
| 2024-10-02 15:50:27 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 15:51:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 15:52:19 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2024-10-02 15:54:01 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 15:54:54 +0200 | <lortabac> | __monty__: you can think of 'traverse' as an 'fmap' in which the function is not pure but includes an Applicative "effect" |
| 2024-10-02 15:55:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-02 15:56:32 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 15:57:09 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 248 seconds) |
| 2024-10-02 15:57:20 +0200 | <lortabac> | immagine you have a list of user ID's and want to fetch the corrisponding users from the database |
| 2024-10-02 15:57:50 +0200 | <lortabac> | if it was a pure computation you would do (map fetchUserByID userIds) |
| 2024-10-02 15:58:43 +0200 | <lortabac> | but since 'fetchUserByID' is an IO action you need (traverse fetchUserByID userIds) |
| 2024-10-02 15:58:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2024-10-02 15:58:51 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 15:59:13 +0200 | <lortabac> | I can't think of a more handwaivy explanation than this one :) |
| 2024-10-02 16:00:23 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 245 seconds) |
| 2024-10-02 16:00:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-02 16:01:09 +0200 | ljdarj1 | ljdarj |
| 2024-10-02 16:01:21 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 248 seconds) |
| 2024-10-02 16:02:01 +0200 | bionade24_ | (~quassel@2a03:4000:33:45b::1) (Remote host closed the connection) |
| 2024-10-02 16:02:02 +0200 | bionade24 | (~quassel@2a03:4000:33:45b::1) bionade24 |
| 2024-10-02 16:02:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 16:05:20 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-02 16:07:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-02 16:16:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-02 16:17:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 16:18:39 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 2024-10-02 16:19:11 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 16:19:15 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-10-02 16:22:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-02 16:24:10 +0200 | YaShhhh | (~YaShhhh@202.43.120.115) |
| 2024-10-02 16:25:49 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2024-10-02 16:26:01 +0200 | <EvanR_> | traverse is doubly generalized mapM |
| 2024-10-02 16:26:45 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 16:27:24 +0200 | <EvanR_> | :t mapM |
| 2024-10-02 16:27:26 +0200 | <lambdabot> | (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 2024-10-02 16:27:44 +0200 | <EvanR_> | they already generalized it to undercut the argument |
| 2024-10-02 16:27:50 +0200 | <EvanR_> | :t sequenceA . fmap |
| 2024-10-02 16:27:51 +0200 | <lambdabot> | (Traversable ((->) (f a1)), Applicative f) => (a1 -> a2) -> f (f a1 -> a2) |
| 2024-10-02 16:28:03 +0200 | <EvanR_> | :t sequenceA . fmap f |
| 2024-10-02 16:28:04 +0200 | <lambdabot> | (Traversable t, Applicative f, Show a1, FromExpr (f a2)) => t a1 -> f (t a2) |
| 2024-10-02 16:28:12 +0200 | <EvanR_> | :horror: |
| 2024-10-02 16:29:28 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 272 seconds) |
| 2024-10-02 16:31:29 +0200 | <EvanR_> | a million years ago mapM only worked on list |
| 2024-10-02 16:32:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 16:37:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 16:39:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-02 16:40:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-02 16:42:08 +0200 | Xe | (~cadey@perl/impostor/xe) (Ping timeout: 272 seconds) |
| 2024-10-02 16:43:35 +0200 | Xe | (~cadey@perl/impostor/xe) Xe |
| 2024-10-02 16:44:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 16:45:34 +0200 | Xe | (~cadey@perl/impostor/xe) (Max SendQ exceeded) |
| 2024-10-02 16:47:16 +0200 | YaShhhh | (~YaShhhh@202.43.120.115) (Quit: Client closed) |
| 2024-10-02 16:49:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 16:51:23 +0200 | Xe | (~cadey@perl/impostor/xe) Xe |
| 2024-10-02 16:51:23 +0200 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) (Read error: Connection reset by peer) |
| 2024-10-02 16:52:35 +0200 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) synchromesh |
| 2024-10-02 16:52:50 +0200 | Xe | (~cadey@perl/impostor/xe) (Max SendQ exceeded) |
| 2024-10-02 16:57:10 +0200 | rosco | (~rosco@183.171.107.61) (Quit: Lost terminal) |
| 2024-10-02 16:59:11 +0200 | Xe | (~cadey@perl/impostor/xe) Xe |
| 2024-10-02 17:00:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 17:02:47 +0200 | EvanR_ | EvanR |
| 2024-10-02 17:04:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 17:04:50 +0200 | poxel | (~lennart@user/poxel) poxel |
| 2024-10-02 17:05:02 +0200 | <tomsmeding> | :t \f -> sequenceA . fmap f |
| 2024-10-02 17:05:03 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a1 -> f a2) -> t a1 -> f (t a2) |
| 2024-10-02 17:05:06 +0200 | <tomsmeding> | :t traverse |
| 2024-10-02 17:05:07 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2024-10-02 17:05:15 +0200 | <tomsmeding> | Rembane: ^ |
| 2024-10-02 17:05:54 +0200 | <tomsmeding> | +1 on lortabac's version |
| 2024-10-02 17:06:00 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-10-02 17:06:02 +0200 | <tomsmeding> | :t fmap |
| 2024-10-02 17:06:03 +0200 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2024-10-02 17:06:04 +0200 | <tomsmeding> | :t traverse |
| 2024-10-02 17:06:05 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2024-10-02 17:06:29 +0200 | <EvanR> | the ((.) . (.)) trick does not work :( |
| 2024-10-02 17:06:37 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-02 17:06:43 +0200 | <tomsmeding> | :t (sequenceA .) . fmap |
| 2024-10-02 17:06:44 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a1 -> f a2) -> t a1 -> f (t a2) |
| 2024-10-02 17:07:58 +0200 | <EvanR> | d-d-d-damn! |
| 2024-10-02 17:08:24 +0200 | <tomsmeding> | traverse :: (a -> f b) -> t a -> f (t b ) |
| 2024-10-02 17:08:40 +0200 | <tomsmeding> | underlined parts (I hope your irc client shows them) are different from fmap |
| 2024-10-02 17:08:41 +0200 | <EvanR> | what did you do to my client |
| 2024-10-02 17:09:00 +0200 | <tomsmeding> | i did dis https://weechat.org/files/doc/stable/weechat_user.en.html#command_line_colors |
| 2024-10-02 17:09:55 +0200 | <tomsmeding> | 02c03o04l05o06u07r08s |
| 2024-10-02 17:11:19 +0200 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2024-10-02 17:11:41 +0200 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Client Quit) |
| 2024-10-02 17:13:44 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-02 17:14:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-10-02 17:15:22 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 17:15:35 +0200 | <EvanR> | someone tagged the channel wall |
| 2024-10-02 17:15:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 17:15:57 +0200 | <EvanR> | might have been tomsmeding |
| 2024-10-02 17:16:21 +0200 | tomsmeding | is not sure which wall you're talking about |
| 2024-10-02 17:18:40 +0200 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
| 2024-10-02 17:20:21 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 17:22:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 17:26:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-02 17:30:48 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 17:33:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 17:35:10 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-02 17:36:01 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-02 17:37:53 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 17:38:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-02 17:38:31 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 2024-10-02 17:38:48 +0200 | shapr | (~user@2601:19c:417e:5434:ed03:a722:d7be:3773) (Remote host closed the connection) |
| 2024-10-02 17:41:52 +0200 | <__monty__> | Is there a better way to implement traverse for ListZipper than using reverse twice for the left side? https://github.com/system-f/fp-course/blob/master/src/Course/ListZipper.hs#L693 |
| 2024-10-02 17:47:10 +0200 | <Lears> | @hoogle Data.Functor.Reverse |
| 2024-10-02 17:47:11 +0200 | <lambdabot> | module Data.Functor.Reverse |
| 2024-10-02 17:47:11 +0200 | <lambdabot> | Data.Functor.Reverse newtype Reverse f a |
| 2024-10-02 17:47:11 +0200 | <lambdabot> | Data.Functor.Reverse Reverse :: f a -> Reverse f a |
| 2024-10-02 17:49:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 17:49:41 +0200 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
| 2024-10-02 17:50:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-02 17:53:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 17:54:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-02 17:58:49 +0200 | <__monty__> | Lears: Interesting, that would pretty much do the reverses for me, right? I was wondering if reversing could be avoided altogether. |
| 2024-10-02 17:59:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-10-02 18:02:16 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-10-02 18:03:17 +0200 | stanrifkin | (~stanrifki@p200300dbcf4d5200f2623d312a512e86.dip0.t-ipconnect.de) stanrifkin |
| 2024-10-02 18:03:34 +0200 | stanrifkin | (~stanrifki@p200300dbcf4d5200f2623d312a512e86.dip0.t-ipconnect.de) () |
| 2024-10-02 18:04:04 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2024-10-02 18:04:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 18:08:06 +0200 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) ft |
| 2024-10-02 18:09:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 18:09:24 +0200 | st_aldini | (~Thunderbi@136.48.22.91) st_aldini |
| 2024-10-02 18:13:00 +0200 | <__monty__> | tomsmeding: I'm pretty sure it's the fourth. |
| 2024-10-02 18:13:18 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-10-02 18:19:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 18:20:38 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-02 18:24:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-02 18:26:08 +0200 | son0p | (~ff@152.203.113.149) (Ping timeout: 252 seconds) |
| 2024-10-02 18:26:36 +0200 | gues64899 | (~username@h-79-136-20-117.A465.priv.bahnhof.se) |
| 2024-10-02 18:28:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-02 18:29:04 +0200 | <tomsmeding> | __monty__: I see :p |
| 2024-10-02 18:33:26 +0200 | <tomsmeding> | __monty__: you can also inline the reverses into the traveral of the left side |
| 2024-10-02 18:33:35 +0200 | <tomsmeding> | you aren't going to get around building up stack space there though, I think |
| 2024-10-02 18:33:53 +0200 | <tomsmeding> | https://play.haskell.org/saved/FSZ9n53w |
| 2024-10-02 18:34:06 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 265 seconds) |
| 2024-10-02 18:34:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 18:34:52 +0200 | <tomsmeding> | s/inline into/fuse with/ |
| 2024-10-02 18:37:38 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-10-02 18:37:52 +0200 | <tomsmeding> | hm, that Data.Functor.Reverse implementation (from `transformers`, by the way) seems to also fuse the reverses into the traversal |
| 2024-10-02 18:37:55 +0200 | <tomsmeding> | but with a bit more newtype magic |
| 2024-10-02 18:38:12 +0200 | <Lears> | __monty__: It uses the symmetry Applicative to run one `Backwards` as it traverses. Depending on the Applicative, this may or may not be a substantial improvement over reversing the list. Regardless, as the defacto way to reverse a Traversable it represents the best method. |
| 2024-10-02 18:39:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 18:39:51 +0200 | <Lears> | symmetry of* |
| 2024-10-02 18:45:17 +0200 | son0p | (~ff@186.119.92.146) son0p |
| 2024-10-02 18:49:50 +0200 | <__monty__> | Lears, tomsmeding: OK, thanks for the advice. I think the exercise probably just intended using reverse (or rewriting the traverse fold) since it's all fairly self-contained. Will try to remember Reverse in case this comes up in a non-educational context though : ) |
| 2024-10-02 18:50:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 18:50:18 +0200 | <tomsmeding> | probably :) |
| 2024-10-02 18:50:25 +0200 | <tomsmeding> | it also seems to have its own List type and all |
| 2024-10-02 18:50:56 +0200 | <tomsmeding> | and even its own copy of the type class hierarchy, because I see a Traversable instance but no Foldable instance, and Foldable is a superclass of Traversable in base (since a couple of years ago) |
| 2024-10-02 18:51:19 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Read error: Connection reset by peer) |
| 2024-10-02 18:53:51 +0200 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-10-02 18:54:18 +0200 | <Lears> | As a note, there is a more zippery option: step left until the issue disappears, traverse, then refocus the appropriate element. |
| 2024-10-02 18:54:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 18:55:48 +0200 | gues64899 | (~username@h-79-136-20-117.A465.priv.bahnhof.se) (Remote host closed the connection) |
| 2024-10-02 18:57:54 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2024-10-02 18:58:13 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-10-02 19:00:27 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection) |
| 2024-10-02 19:01:34 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 19:02:44 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2024-10-02 19:02:45 +0200 | ljdarj1 | ljdarj |
| 2024-10-02 19:04:59 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2024-10-02 19:05:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 19:09:05 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-02 19:10:25 +0200 | nshepperd | (~nshepperd@li364-218.members.linode.com) (Quit: quit) |
| 2024-10-02 19:10:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 19:11:46 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2024-10-02 19:11:55 +0200 | nshepperd | (~nshepperd@li364-218.members.linode.com) nshepperd |
| 2024-10-02 19:16:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-02 19:20:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 19:21:52 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) (Remote host closed the connection) |
| 2024-10-02 19:24:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 19:26:05 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-10-02 19:26:16 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection) |
| 2024-10-02 19:27:09 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 276 seconds) |
| 2024-10-02 19:28:06 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-02 19:30:09 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-10-02 19:31:10 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2024-10-02 19:35:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 19:36:57 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-10-02 19:39:14 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-10-02 19:40:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 19:42:20 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-02 19:44:11 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-02 19:49:48 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection) |
| 2024-10-02 19:49:48 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-02 19:51:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 19:53:12 +0200 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-10-02 19:54:41 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2024-10-02 19:55:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 19:56:17 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) (Client Quit) |
| 2024-10-02 19:57:45 +0200 | andrewboltachev | (~andrey@178.141.123.3) (Quit: Leaving.) |
| 2024-10-02 19:58:16 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2024-10-02 19:58:37 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-10-02 20:01:50 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) (Client Quit) |
| 2024-10-02 20:06:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 20:06:43 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-10-02 20:08:59 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Client Quit) |
| 2024-10-02 20:11:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-02 20:12:48 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-02 20:14:22 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2024-10-02 20:21:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 20:26:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 20:35:46 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-02 20:36:07 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-02 20:36:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 20:38:13 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-02 20:38:59 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-02 20:39:21 +0200 | mari-estel | (~mari-este@2a02:3032:313:f015:216:3eff:fe65:4eef) |
| 2024-10-02 20:41:18 +0200 | identity | (~identity@user/ZharMeny) (Ping timeout: 244 seconds) |
| 2024-10-02 20:41:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 20:45:39 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-02 20:48:16 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 20:51:22 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-02 20:51:44 +0200 | califax | (~califax@user/califx) califx |
| 2024-10-02 20:52:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 20:56:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 20:57:17 +0200 | mari-estel | (~mari-este@2a02:3032:313:f015:216:3eff:fe65:4eef) (Remote host closed the connection) |
| 2024-10-02 20:57:31 +0200 | mari-estel | (~mari-este@2a02:3032:313:f015:216:3eff:fe65:4eef) |
| 2024-10-02 21:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-02 21:00:28 +0200 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) (Read error: Connection reset by peer) |
| 2024-10-02 21:00:39 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-02 21:01:15 +0200 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) synchromesh |
| 2024-10-02 21:03:17 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 21:03:19 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-02 21:04:52 +0200 | poxel | (~lennart@user/poxel) (Quit: WeeChat 4.4.2) |
| 2024-10-02 21:05:35 +0200 | califax | (~califax@user/califx) califx |
| 2024-10-02 21:06:27 +0200 | neuroevolutus | (~neuroevol@37.19.200.152) neuroevolutus |
| 2024-10-02 21:07:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 21:11:33 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 21:12:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 21:14:04 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 21:14:54 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2024-10-02 21:15:32 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-10-02 21:17:16 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Max SendQ exceeded) |
| 2024-10-02 21:17:54 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 21:17:57 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 265 seconds) |
| 2024-10-02 21:20:42 +0200 | mari-estel | (~mari-este@2a02:3032:313:f015:216:3eff:fe65:4eef) () |
| 2024-10-02 21:22:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 21:26:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 21:27:44 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) andreas303 |
| 2024-10-02 21:28:13 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-02 21:29:55 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-02 21:32:51 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-02 21:37:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 21:41:26 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-02 21:42:21 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) Maeda |
| 2024-10-02 21:42:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 21:44:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-10-02 21:53:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 21:54:15 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 21:56:19 +0200 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2024-10-02 21:57:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 21:58:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-02 21:59:49 +0200 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2024-10-02 22:02:46 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-02 22:07:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-02 22:08:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 22:10:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-02 22:11:48 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-02 22:13:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 22:15:18 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-10-02 22:16:41 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2024-10-02 22:17:25 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 248 seconds) |
| 2024-10-02 22:17:33 +0200 | vglfr | (~vglfr@2607:fb91:82f:5b45:ac39:6af1:e48e:d51a) vglfr |
| 2024-10-02 22:21:37 +0200 | vglfr | (~vglfr@2607:fb91:82f:5b45:ac39:6af1:e48e:d51a) (Ping timeout: 248 seconds) |
| 2024-10-02 22:22:41 +0200 | vglfr | (~vglfr@2607:fb90:ea25:8852:ad3:f751:cbee:8894) vglfr |
| 2024-10-02 22:23:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 22:24:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-02 22:27:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 22:33:34 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-02 22:38:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 22:42:53 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-02 22:43:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 22:54:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 22:55:06 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3118-adab-ad64-111d-10db-8d9d.rev.sfr.net) alexherbo2 |
| 2024-10-02 22:59:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 22:59:32 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-02 23:05:54 +0200 | neuroevolutus | (~neuroevol@37.19.200.152) (Quit: Client closed) |
| 2024-10-02 23:07:25 +0200 | neuroevolutus | (~neuroevol@37.19.200.152) neuroevolutus |
| 2024-10-02 23:07:55 +0200 | vglfr | (~vglfr@2607:fb90:ea25:8852:ad3:f751:cbee:8894) (Ping timeout: 264 seconds) |
| 2024-10-02 23:09:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 23:11:46 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-02 23:12:30 +0200 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-10-02 23:12:53 +0200 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) ubert |
| 2024-10-02 23:15:02 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-02 23:15:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-02 23:21:41 +0200 | son0p | (~ff@186.119.92.146) (Ping timeout: 265 seconds) |
| 2024-10-02 23:25:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 23:27:12 +0200 | ames6 | (~amelia@offtopia/offtopian/amelia) {ames} |
| 2024-10-02 23:29:22 +0200 | ames | (~amelia@offtopia/offtopian/amelia) (Ping timeout: 252 seconds) |
| 2024-10-02 23:29:22 +0200 | ames6 | ames |
| 2024-10-02 23:30:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 23:31:40 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-10-02 23:32:18 +0200 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-10-02 23:33:51 +0200 | <__monty__> | Lears: Is that more zippery? I figured you want to move the zipper as little as possible for efficiency? |
| 2024-10-02 23:34:52 +0200 | adamCS | (~adamCS@70.107.91.225) (Ping timeout: 252 seconds) |
| 2024-10-02 23:35:36 +0200 | ethantwardy | (user@user/ethantwardy) (Ping timeout: 252 seconds) |
| 2024-10-02 23:35:58 +0200 | spider1 | (spider@tilde.cafe) (Ping timeout: 252 seconds) |
| 2024-10-02 23:35:59 +0200 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2024-10-02 23:36:20 +0200 | gvg_ | (~dcd@user/gvg) (Ping timeout: 252 seconds) |
| 2024-10-02 23:36:20 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-02 23:36:42 +0200 | nshepperd | (~nshepperd@li364-218.members.linode.com) (Ping timeout: 252 seconds) |
| 2024-10-02 23:36:43 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-10-02 23:37:00 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) nshepperd |
| 2024-10-02 23:37:01 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-02 23:37:20 +0200 | adamCS | (~adamCS@70.107.91.225) adamCS |
| 2024-10-02 23:37:21 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
| 2024-10-02 23:37:47 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-02 23:39:01 +0200 | raym | (~ray@user/raym) raym |
| 2024-10-02 23:39:24 +0200 | gvg | (~dcd@user/gvg) gvg |
| 2024-10-02 23:39:31 +0200 | spider1 | (spider@tilde.cafe) |
| 2024-10-02 23:39:47 +0200 | neuroevolutus | (~neuroevol@37.19.200.152) (Ping timeout: 256 seconds) |
| 2024-10-02 23:41:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 23:44:28 +0200 | neuroevolutus | (~neuroevol@37.19.200.152) neuroevolutus |
| 2024-10-02 23:46:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 23:48:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-02 23:49:29 +0200 | son0p | (~ff@190.69.124.252) son0p |
| 2024-10-02 23:51:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-02 23:51:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-02 23:57:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |