| 2024-10-02 00:01:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 00:06:14 +0000 | supercode | (~supercode@user/supercode) supercode |
| 2024-10-02 00:06:45 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2024-10-02 00:11:00 +0000 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 265 seconds) |
| 2024-10-02 00:11:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 00:12:42 +0000 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2024-10-02 00:16:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 00:22:02 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-10-02 00:26:58 +0000 | haveo | (~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.2) |
| 2024-10-02 00:27:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 00:30:50 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-02 00:32:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 00:35:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-02 00:43:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 00:45:06 +0000 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-10-02 00:47:41 +0000 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-02 00:48:13 +0000 | xff0x | (~xff0x@ai080132.d.east.v6connect.net) (Ping timeout: 265 seconds) |
| 2024-10-02 00:48:16 +0000 | vglfr_ | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) |
| 2024-10-02 00:48:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 00:49:19 +0000 | vglfr_ | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit) |
| 2024-10-02 00:50:07 +0000 | haveo | (~weechat@pacamara.iuwt.fr) haveo |
| 2024-10-02 00:59:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 01:03:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 01:14:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 01:17:05 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 248 seconds) |
| 2024-10-02 01:19:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 01:27:10 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-10-02 01:30:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 01:31:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-02 01:34:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 01:39:53 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-02 01:40:03 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-02 01:56:01 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-02 01:59:15 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 02:01:03 +0000 | mud | (~mud@user/kadoban) (Ping timeout: 276 seconds) |
| 2024-10-02 02:01:20 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-02 02:01:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 02:01:59 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-02 02:07:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 02:09:44 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-10-02 02:09:53 +0000 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
| 2024-10-02 02:12:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-02 02:18:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 02:20:15 +0000 | td_ | (~td@i5387093B.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-02 02:22:15 +0000 | td_ | (~td@i5387093C.versanet.de) |
| 2024-10-02 02:23:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 02:25:16 +0000 | synchromesh | (~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) (Read error: Connection reset by peer) |
| 2024-10-02 02:26:38 +0000 | synchromesh | (~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) synchromesh |
| 2024-10-02 02:34:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 02:38:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 02:45:49 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-10-02 02:49:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 02:53:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 02:54:58 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 245 seconds) |
| 2024-10-02 03:04:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 03:06:06 +0000 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-10-02 03:09:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 03:12:59 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2024-10-02 03:20:08 +0000 | aforemny | (~aforemny@2001:9e8:6cd7:c200:342e:20f9:8752:4727) aforemny |
| 2024-10-02 03:20:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 03:21:09 +0000 | aforemny_ | (~aforemny@i59F4C5B0.versanet.de) (Ping timeout: 260 seconds) |
| 2024-10-02 03:21:42 +0000 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-10-02 03:23:22 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-02 03:24:07 +0000 | neuroevolutus | (~neuroevol@206.217.206.41) neuroevolutus |
| 2024-10-02 03:24:29 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-10-02 03:25:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 03:25:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-02 03:25:46 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2024-10-02 03:27:37 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-02 03:29:58 +0000 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2024-10-02 03:30:44 +0000 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
| 2024-10-02 03:31:06 +0000 | nkatte | (~nkatte@2804:14c:87de:706b:dc54:3091:78f1:e245) (Ping timeout: 265 seconds) |
| 2024-10-02 03:35:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 03:40:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 03:43:13 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-02 03:44:15 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2024-10-02 03:44:36 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-10-02 03:51:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 03:55:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 04:06:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 04:11:39 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-02 04:11:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 04:12:11 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 4.1.1) |
| 2024-10-02 04:12:37 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) hughjfchen |
| 2024-10-02 04:13:46 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 04:22:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 04:25:03 +0000 | michalz | (~michalz@185.246.207.205) |
| 2024-10-02 04:27:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 04:30:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-02 04:32:05 +0000 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
| 2024-10-02 04:37:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 04:42:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 04:53:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 04:55:53 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-02 05:02:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 05:06:31 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-02 05:07:34 +0000 | neuroevolutus | (~neuroevol@206.217.206.41) (Ping timeout: 256 seconds) |
| 2024-10-02 05:09:51 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-10-02 05:10:42 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) finn_elija |
| 2024-10-02 05:13:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 05:18:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 05:19:53 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-10-02 05:26:56 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2024-10-02 05:28:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 05:30:11 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-02 05:33:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 05:43:56 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2024-10-02 05:44:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 05:45:49 +0000 | andrewboltachev | (~andrey@178.141.123.3) andrewboltachev |
| 2024-10-02 05:49:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 05:50:57 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-02 05:59:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 06:04:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 06:15:18 +0000 | neuroevolutus | (~neuroevol@206.217.206.41) neuroevolutus |
| 2024-10-02 06:15:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 06:15:43 +0000 | CiaoSen | (~Jura@2a05:5800:2d1:1b00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-02 06:16:08 +0000 | neuroevolutus | (~neuroevol@206.217.206.41) (Client Quit) |
| 2024-10-02 06:20:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 06:20:34 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-10-02 06:21:43 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2024-10-02 06:23:42 +0000 | acarrico | (~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) (Ping timeout: 252 seconds) |
| 2024-10-02 06:26:44 +0000 | rvalue- | rvalue |
| 2024-10-02 06:30:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 06:34:51 +0000 | synchromesh | (~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) (Read error: Connection reset by peer) |
| 2024-10-02 06:36:17 +0000 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) synchromesh |
| 2024-10-02 06:36:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 06:38:14 +0000 | acarrico | (~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) |
| 2024-10-02 06:47:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 06:48:21 +0000 | wkearn | (~wkearn@user/wkearn) wkearn |
| 2024-10-02 06:51:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 06:59:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 07:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-02 07:00:39 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-02 07:02:35 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-02 07:03:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 07:05:45 +0000 | andreas808 | (andreas303@is.drunk.and.ready-to.party) (Ping timeout: 276 seconds) |
| 2024-10-02 07:12:20 +0000 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-10-02 07:14:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 07:19:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 07:23:38 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-02 07:26:13 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb85cd0cf194bbc9b0a3.dip0.t-ipconnect.de) acidjnk |
| 2024-10-02 07:27:39 +0000 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2024-10-02 07:27:54 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2024-10-02 07:29:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 07:32:26 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-02 07:34:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-02 07:37:10 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-02 07:43:12 +0000 | chele | (~chele@user/chele) chele |
| 2024-10-02 07:45:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 07:47:32 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-10-02 07:47:57 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-02 07:48:02 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-10-02 07:49:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 07:54:29 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2024-10-02 07:55:40 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-02 07:55:55 +0000 | Digitteknohippie | Digit |
| 2024-10-02 07:56:16 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-02 07:58:48 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-02 07:58:55 +0000 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 08:01:35 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 2024-10-02 08:02:23 +0000 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 08:02:55 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-10-02 08:04:15 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 08:08:07 +0000 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-02 08:08:12 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2024-10-02 08:13:58 +0000 | merijn | (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 2024-10-02 08:15:00 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-02 08:15:43 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 264 seconds) |
| 2024-10-02 08:16:43 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-02 08:18:20 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-02 08:24:02 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-10-02 08:24:15 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) sp1ff |
| 2024-10-02 08:24:19 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-02 08:28:54 +0000 | <tomsmeding> | sm: wasm support improving is really cool! |
| 2024-10-02 08:31:21 +0000 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 08:34:57 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-02 08:36:06 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 276 seconds) |
| 2024-10-02 08:36:13 +0000 | mari-estel | (~mari-este@p200300f1c742d30102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-10-02 08:37:59 +0000 | wkearn_ | (~wkearn@user/wkearn) wkearn |
| 2024-10-02 08:38:30 +0000 | wkearn | (~wkearn@user/wkearn) (Ping timeout: 265 seconds) |
| 2024-10-02 08:38:31 +0000 | wkearn_ | (~wkearn@user/wkearn) (Client Quit) |
| 2024-10-02 08:42:37 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-02 09:00:26 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-02 09:10:29 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-10-02 09:10:32 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-10-02 09:18:00 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-10-02 09:26:49 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2024-10-02 09:27:51 +0000 | lol_ | jcarpenter2 |
| 2024-10-02 09:37:51 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-10-02 09:39:34 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-10-02 09:41:44 +0000 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-10-02 09:42:06 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2024-10-02 09:43:33 +0000 | mari-estel | (~mari-este@p200300f1c742d30102163efffe654eef.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-10-02 09:51:26 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2024-10-02 09:51:35 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-02 09:52:04 +0000 | komikat` | (~user@218.185.248.66) komikat |
| 2024-10-02 09:52:38 +0000 | komikat` | (~user@218.185.248.66) (Remote host closed the connection) |
| 2024-10-02 09:53:12 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-10-02 09:53:34 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-02 09:54:41 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-10-02 09:55:12 +0000 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2024-10-02 09:56:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 09:57:13 +0000 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) ubert |
| 2024-10-02 09:58:13 +0000 | tv | (~tv@user/tv) tv |
| 2024-10-02 09:59:59 +0000 | CiaoSen | (~Jura@2a05:5800:2d1:1b00:ca4b:d6ff:fec1:99da) (Ping timeout: 244 seconds) |
| 2024-10-02 10:01:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-02 10:05:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 10:05:59 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-02 10:06:53 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-10-02 10:13:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 10:14:35 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-02 10:18:15 +0000 | <L29Ah> | https://gitlab.haskell.org/ghc/ghc/-/issues/2403 |
| 2024-10-02 10:18:15 +0000 | <L29Ah> | is there some external runhaskell caching implementation like suggested in the issue? |
| 2024-10-02 10:18:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 10:19:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 10:21:55 +0000 | <tomsmeding> | L29Ah: https://cabal.readthedocs.io/en/3.4/cabal-commands.html?highlight=script#cabal-v2-run |
| 2024-10-02 10:22:32 +0000 | <tomsmeding> | perhaps the latest version https://cabal.readthedocs.io/en/3.4/cabal-commands.html?highlight=script#cabal-v2-run |
| 2024-10-02 10:22:37 +0000 | <tomsmeding> | oh |
| 2024-10-02 10:22:39 +0000 | <tomsmeding> | https://cabal.readthedocs.io/en/latest/cabal-commands.html#cabal-run |
| 2024-10-02 10:22:42 +0000 | <tomsmeding> | c'mon, clipboard |
| 2024-10-02 10:24:21 +0000 | <L29Ah> | thanks |
| 2024-10-02 10:24:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-02 10:25:51 +0000 | <tomsmeding> | posted a comment in case someone else lands on that issue in the future :) |
| 2024-10-02 10:27:54 +0000 | mari-estel | (~mari-este@p200300f1c742d30102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-10-02 10:35:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 10:37:30 +0000 | greenflower | (~greenflow@2409:4071:4d45:89b5:604d:fc79:97d4:8d84) greenflower |
| 2024-10-02 10:39:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 10:43:14 +0000 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) (Read error: Connection reset by peer) |
| 2024-10-02 10:43:55 +0000 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) synchromesh |
| 2024-10-02 10:48:59 +0000 | xff0x | (~xff0x@2405:6580:b080:900:409b:fd54:4c14:6dc) |
| 2024-10-02 10:49:54 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-10-02 10:50:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 10:55:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 10:55:28 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-02 10:57:40 +0000 | mari-estel | (~mari-este@p200300f1c742d30102163efffe654eef.dip0.t-ipconnect.de) (Quit: tschĂĽs) |
| 2024-10-02 11:06:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 11:11:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 11:13:31 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-02 11:13:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-02 11:14:04 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2024-10-02 11:16:09 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 11:20:19 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-10-02 11:21:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 11:26:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 11:28:45 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-10-02 11:29:38 +0000 | cyphase | (~cyphase@user/cyphase) (Read error: Connection reset by peer) |
| 2024-10-02 11:37:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 11:38:57 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-10-02 11:40:20 +0000 | mchristi | (~AdminUser@193.121.61.113) |
| 2024-10-02 11:41:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 11:42:19 +0000 | cyphase | (~cyphase@user/cyphase) (Read error: Connection reset by peer) |
| 2024-10-02 11:45:02 +0000 | mchristi | (~AdminUser@193.121.61.113) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-10-02 11:46:35 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 11:48:18 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-10-02 11:48:54 +0000 | ljdarj1 | ljdarj |
| 2024-10-02 11:52:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 11:57:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 12:08:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 12:12:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 12:15:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 12:19:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 12:23:51 +0000 | caubert_ | (~caubert@user/caubert) caubert |
| 2024-10-02 12:25:20 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 255 seconds) |
| 2024-10-02 12:30:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 12:34:02 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-10-02 12:34:16 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-02 12:35:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 12:35:03 +0000 | shapr | (~user@2601:19c:417e:5434:7020:f3be:22a2:6949) (Remote host closed the connection) |
| 2024-10-02 12:35:16 +0000 | shapr | (~user@2601:19c:417e:5434:ed03:a722:d7be:3773) shapr |
| 2024-10-02 12:35:48 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-10-02 12:35:48 +0000 | nckx | nckhexen |
| 2024-10-02 12:40:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-02 12:40:16 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-02 12:44:03 +0000 | nkatte | (~nkatte@191.177.174.42) |
| 2024-10-02 12:44:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-02 12:46:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 12:48:17 +0000 | AlexZenon | (~alzenon@178.34.162.53) (Quit: ;-) |
| 2024-10-02 12:48:37 +0000 | AlexNoo | (~AlexNoo@178.34.162.53) (Quit: Leaving) |
| 2024-10-02 12:58:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-02 12:59:26 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-02 13:01:11 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 13:01:49 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-02 13:04:33 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 13:08:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 13:09:45 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2024-10-02 13:10:12 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-10-02 13:12:03 +0000 | greenflower | (~greenflow@2409:4071:4d45:89b5:604d:fc79:97d4:8d84) (Ping timeout: 256 seconds) |
| 2024-10-02 13:13:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-02 13:14:36 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-02 13:16:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 13:16:40 +0000 | AlexNoo | (~AlexNoo@178.34.162.53) |
| 2024-10-02 13:17:20 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 13:20:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 13:21:55 +0000 | rosco | (~rosco@183.171.107.61) rosco |
| 2024-10-02 13:24:25 +0000 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-10-02 13:24:52 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 13:26:09 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-10-02 13:26:10 +0000 | ljdarj1 | ljdarj |
| 2024-10-02 13:31:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 13:35:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 13:36:10 +0000 | <__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 13:47:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 13:47:49 +0000 | <Rembane> | :t traverse |
| 2024-10-02 13:47:50 +0000 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2024-10-02 13:48:01 +0000 | <Rembane> | :t sequence |
| 2024-10-02 13:48:02 +0000 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2024-10-02 13:48:06 +0000 | <Rembane> | :t fmap |
| 2024-10-02 13:48:07 +0000 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2024-10-02 13:48:20 +0000 | <Rembane> | :t sequence . fmap |
| 2024-10-02 13:48:21 +0000 | <lambdabot> | (Traversable ((->) (m a1)), Monad m) => (a1 -> a2) -> m (m a1 -> a2) |
| 2024-10-02 13:48:32 +0000 | <Rembane> | That one didn't help. :D |
| 2024-10-02 13:49:14 +0000 | <Rembane> | But in a handwavy way: it's fmap and then sequence because I need to change swap f and t |
| 2024-10-02 13:50:27 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 13:51:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 13:52:19 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2024-10-02 13:54:01 +0000 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 13:54:54 +0000 | <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 13:55:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-02 13:56:32 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 13:57:09 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 248 seconds) |
| 2024-10-02 13:57:20 +0000 | <lortabac> | immagine you have a list of user ID's and want to fetch the corrisponding users from the database |
| 2024-10-02 13:57:50 +0000 | <lortabac> | if it was a pure computation you would do (map fetchUserByID userIds) |
| 2024-10-02 13:58:43 +0000 | <lortabac> | but since 'fetchUserByID' is an IO action you need (traverse fetchUserByID userIds) |
| 2024-10-02 13:58:43 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2024-10-02 13:58:51 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 13:59:13 +0000 | <lortabac> | I can't think of a more handwaivy explanation than this one :) |
| 2024-10-02 14:00:23 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 245 seconds) |
| 2024-10-02 14:00:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-02 14:01:09 +0000 | ljdarj1 | ljdarj |
| 2024-10-02 14:01:21 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 248 seconds) |
| 2024-10-02 14:02:01 +0000 | bionade24_ | (~quassel@2a03:4000:33:45b::1) (Remote host closed the connection) |
| 2024-10-02 14:02:02 +0000 | bionade24 | (~quassel@2a03:4000:33:45b::1) bionade24 |
| 2024-10-02 14:02:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 14:05:20 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-02 14:07:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-02 14:16:39 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-02 14:17:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 14:18:39 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 2024-10-02 14:19:11 +0000 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 14:19:15 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-10-02 14:22:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-02 14:24:10 +0000 | YaShhhh | (~YaShhhh@202.43.120.115) |
| 2024-10-02 14:25:49 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2024-10-02 14:26:01 +0000 | <EvanR_> | traverse is doubly generalized mapM |
| 2024-10-02 14:26:45 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 14:27:24 +0000 | <EvanR_> | :t mapM |
| 2024-10-02 14:27:26 +0000 | <lambdabot> | (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 2024-10-02 14:27:44 +0000 | <EvanR_> | they already generalized it to undercut the argument |
| 2024-10-02 14:27:50 +0000 | <EvanR_> | :t sequenceA . fmap |
| 2024-10-02 14:27:51 +0000 | <lambdabot> | (Traversable ((->) (f a1)), Applicative f) => (a1 -> a2) -> f (f a1 -> a2) |
| 2024-10-02 14:28:03 +0000 | <EvanR_> | :t sequenceA . fmap f |
| 2024-10-02 14:28:04 +0000 | <lambdabot> | (Traversable t, Applicative f, Show a1, FromExpr (f a2)) => t a1 -> f (t a2) |
| 2024-10-02 14:28:12 +0000 | <EvanR_> | :horror: |
| 2024-10-02 14:29:28 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 272 seconds) |
| 2024-10-02 14:31:29 +0000 | <EvanR_> | a million years ago mapM only worked on list |
| 2024-10-02 14:32:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 14:37:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 14:39:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-02 14:40:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-02 14:42:08 +0000 | Xe | (~cadey@perl/impostor/xe) (Ping timeout: 272 seconds) |
| 2024-10-02 14:43:35 +0000 | Xe | (~cadey@perl/impostor/xe) Xe |
| 2024-10-02 14:44:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 14:45:34 +0000 | Xe | (~cadey@perl/impostor/xe) (Max SendQ exceeded) |
| 2024-10-02 14:47:16 +0000 | YaShhhh | (~YaShhhh@202.43.120.115) (Quit: Client closed) |
| 2024-10-02 14:49:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 14:51:23 +0000 | Xe | (~cadey@perl/impostor/xe) Xe |
| 2024-10-02 14:51:23 +0000 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) (Read error: Connection reset by peer) |
| 2024-10-02 14:52:35 +0000 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) synchromesh |
| 2024-10-02 14:52:50 +0000 | Xe | (~cadey@perl/impostor/xe) (Max SendQ exceeded) |
| 2024-10-02 14:57:10 +0000 | rosco | (~rosco@183.171.107.61) (Quit: Lost terminal) |
| 2024-10-02 14:59:11 +0000 | Xe | (~cadey@perl/impostor/xe) Xe |
| 2024-10-02 15:00:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 15:02:47 +0000 | EvanR_ | EvanR |
| 2024-10-02 15:04:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 15:04:50 +0000 | poxel | (~lennart@user/poxel) poxel |
| 2024-10-02 15:05:02 +0000 | <tomsmeding> | :t \f -> sequenceA . fmap f |
| 2024-10-02 15:05:03 +0000 | <lambdabot> | (Traversable t, Applicative f) => (a1 -> f a2) -> t a1 -> f (t a2) |
| 2024-10-02 15:05:06 +0000 | <tomsmeding> | :t traverse |
| 2024-10-02 15:05:07 +0000 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2024-10-02 15:05:15 +0000 | <tomsmeding> | Rembane: ^ |
| 2024-10-02 15:05:54 +0000 | <tomsmeding> | +1 on lortabac's version |
| 2024-10-02 15:06:00 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-10-02 15:06:02 +0000 | <tomsmeding> | :t fmap |
| 2024-10-02 15:06:03 +0000 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2024-10-02 15:06:04 +0000 | <tomsmeding> | :t traverse |
| 2024-10-02 15:06:05 +0000 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2024-10-02 15:06:29 +0000 | <EvanR> | the ((.) . (.)) trick does not work :( |
| 2024-10-02 15:06:37 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-02 15:06:43 +0000 | <tomsmeding> | :t (sequenceA .) . fmap |
| 2024-10-02 15:06:44 +0000 | <lambdabot> | (Traversable t, Applicative f) => (a1 -> f a2) -> t a1 -> f (t a2) |
| 2024-10-02 15:07:58 +0000 | <EvanR> | d-d-d-damn! |
| 2024-10-02 15:08:24 +0000 | <tomsmeding> | traverse :: (a -> f b) -> t a -> f (t b ) |
| 2024-10-02 15:08:40 +0000 | <tomsmeding> | underlined parts (I hope your irc client shows them) are different from fmap |
| 2024-10-02 15:08:41 +0000 | <EvanR> | what did you do to my client |
| 2024-10-02 15:09:00 +0000 | <tomsmeding> | i did dis https://weechat.org/files/doc/stable/weechat_user.en.html#command_line_colors |
| 2024-10-02 15:09:55 +0000 | <tomsmeding> | 02c03o04l05o06u07r08s |
| 2024-10-02 15:11:19 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2024-10-02 15:11:41 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Client Quit) |
| 2024-10-02 15:13:44 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-02 15:14:33 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-10-02 15:15:22 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 15:15:35 +0000 | <EvanR> | someone tagged the channel wall |
| 2024-10-02 15:15:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 15:15:57 +0000 | <EvanR> | might have been tomsmeding |
| 2024-10-02 15:16:21 +0000 | tomsmeding | is not sure which wall you're talking about |
| 2024-10-02 15:18:40 +0000 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
| 2024-10-02 15:20:21 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 15:22:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 15:26:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-02 15:30:48 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 15:33:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 15:35:10 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-02 15:36:01 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-02 15:37:53 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 15:38:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-02 15:38:31 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 2024-10-02 15:38:48 +0000 | shapr | (~user@2601:19c:417e:5434:ed03:a722:d7be:3773) (Remote host closed the connection) |
| 2024-10-02 15:41:52 +0000 | <__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 15:47:10 +0000 | <Lears> | @hoogle Data.Functor.Reverse |
| 2024-10-02 15:47:11 +0000 | <lambdabot> | module Data.Functor.Reverse |
| 2024-10-02 15:47:11 +0000 | <lambdabot> | Data.Functor.Reverse newtype Reverse f a |
| 2024-10-02 15:47:11 +0000 | <lambdabot> | Data.Functor.Reverse Reverse :: f a -> Reverse f a |
| 2024-10-02 15:49:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 15:49:41 +0000 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
| 2024-10-02 15:50:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-02 15:53:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 15:54:36 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-02 15:58:49 +0000 | <__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 15:59:05 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-10-02 16:02:16 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-10-02 16:03:17 +0000 | stanrifkin | (~stanrifki@p200300dbcf4d5200f2623d312a512e86.dip0.t-ipconnect.de) stanrifkin |
| 2024-10-02 16:03:34 +0000 | stanrifkin | (~stanrifki@p200300dbcf4d5200f2623d312a512e86.dip0.t-ipconnect.de) () |
| 2024-10-02 16:04:04 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2024-10-02 16:04:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 16:08:06 +0000 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) ft |
| 2024-10-02 16:09:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 16:09:24 +0000 | st_aldini | (~Thunderbi@136.48.22.91) st_aldini |
| 2024-10-02 16:13:00 +0000 | <__monty__> | tomsmeding: I'm pretty sure it's the fourth. |
| 2024-10-02 16:13:18 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-10-02 16:19:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 16:20:38 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-02 16:24:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-02 16:26:08 +0000 | son0p | (~ff@152.203.113.149) (Ping timeout: 252 seconds) |
| 2024-10-02 16:26:36 +0000 | gues64899 | (~username@h-79-136-20-117.A465.priv.bahnhof.se) |
| 2024-10-02 16:28:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-02 16:29:04 +0000 | <tomsmeding> | __monty__: I see :p |
| 2024-10-02 16:33:26 +0000 | <tomsmeding> | __monty__: you can also inline the reverses into the traveral of the left side |
| 2024-10-02 16:33:35 +0000 | <tomsmeding> | you aren't going to get around building up stack space there though, I think |
| 2024-10-02 16:33:53 +0000 | <tomsmeding> | https://play.haskell.org/saved/FSZ9n53w |
| 2024-10-02 16:34:06 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 265 seconds) |
| 2024-10-02 16:34:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 16:34:52 +0000 | <tomsmeding> | s/inline into/fuse with/ |
| 2024-10-02 16:37:38 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-10-02 16:37:52 +0000 | <tomsmeding> | hm, that Data.Functor.Reverse implementation (from `transformers`, by the way) seems to also fuse the reverses into the traversal |
| 2024-10-02 16:37:55 +0000 | <tomsmeding> | but with a bit more newtype magic |
| 2024-10-02 16:38:12 +0000 | <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 16:39:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 16:39:51 +0000 | <Lears> | symmetry of* |
| 2024-10-02 16:45:17 +0000 | son0p | (~ff@186.119.92.146) son0p |
| 2024-10-02 16:49:50 +0000 | <__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 16:50:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 16:50:18 +0000 | <tomsmeding> | probably :) |
| 2024-10-02 16:50:25 +0000 | <tomsmeding> | it also seems to have its own List type and all |
| 2024-10-02 16:50:56 +0000 | <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 16:51:19 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Read error: Connection reset by peer) |
| 2024-10-02 16:53:51 +0000 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-10-02 16:54:18 +0000 | <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 16:54:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 16:55:48 +0000 | gues64899 | (~username@h-79-136-20-117.A465.priv.bahnhof.se) (Remote host closed the connection) |
| 2024-10-02 16:57:54 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2024-10-02 16:58:13 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-10-02 17:00:27 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection) |
| 2024-10-02 17:01:34 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 17:02:44 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2024-10-02 17:02:45 +0000 | ljdarj1 | ljdarj |
| 2024-10-02 17:04:59 +0000 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2024-10-02 17:05:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 17:09:05 +0000 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-02 17:10:25 +0000 | nshepperd | (~nshepperd@li364-218.members.linode.com) (Quit: quit) |
| 2024-10-02 17:10:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 17:11:46 +0000 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2024-10-02 17:11:55 +0000 | nshepperd | (~nshepperd@li364-218.members.linode.com) nshepperd |
| 2024-10-02 17:16:50 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-02 17:20:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 17:21:52 +0000 | Angelz | (Angelz@Angelz.oddprotocol.org) (Remote host closed the connection) |
| 2024-10-02 17:24:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 17:26:05 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-10-02 17:26:16 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection) |
| 2024-10-02 17:27:09 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 276 seconds) |
| 2024-10-02 17:28:06 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-02 17:30:09 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-10-02 17:31:10 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2024-10-02 17:35:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 17:36:57 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-10-02 17:39:14 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-10-02 17:40:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 17:42:20 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-02 17:44:11 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-02 17:49:48 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection) |
| 2024-10-02 17:49:48 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-02 17:51:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 17:53:12 +0000 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-10-02 17:54:41 +0000 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2024-10-02 17:55:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 17:56:17 +0000 | Angelz | (Angelz@Angelz.oddprotocol.org) (Client Quit) |
| 2024-10-02 17:57:45 +0000 | andrewboltachev | (~andrey@178.141.123.3) (Quit: Leaving.) |
| 2024-10-02 17:58:16 +0000 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2024-10-02 17:58:37 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-10-02 18:01:50 +0000 | Angelz | (Angelz@Angelz.oddprotocol.org) (Client Quit) |
| 2024-10-02 18:06:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 18:06:43 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-10-02 18:08:59 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Client Quit) |
| 2024-10-02 18:11:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-02 18:12:48 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-02 18:14:22 +0000 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2024-10-02 18:21:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 18:26:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 18:35:46 +0000 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-02 18:36:07 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-02 18:36:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 18:38:13 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-02 18:38:59 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-02 18:39:21 +0000 | mari-estel | (~mari-este@2a02:3032:313:f015:216:3eff:fe65:4eef) |
| 2024-10-02 18:41:18 +0000 | identity | (~identity@user/ZharMeny) (Ping timeout: 244 seconds) |
| 2024-10-02 18:41:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 18:45:39 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-02 18:48:16 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-02 18:51:22 +0000 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-02 18:51:44 +0000 | califax | (~califax@user/califx) califx |
| 2024-10-02 18:52:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 18:56:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 18:57:17 +0000 | mari-estel | (~mari-este@2a02:3032:313:f015:216:3eff:fe65:4eef) (Remote host closed the connection) |
| 2024-10-02 18:57:31 +0000 | mari-estel | (~mari-este@2a02:3032:313:f015:216:3eff:fe65:4eef) |
| 2024-10-02 19:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-02 19:00:28 +0000 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) (Read error: Connection reset by peer) |
| 2024-10-02 19:00:39 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-02 19:01:15 +0000 | synchromesh | (~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) synchromesh |
| 2024-10-02 19:03:17 +0000 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 19:03:19 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-02 19:04:52 +0000 | poxel | (~lennart@user/poxel) (Quit: WeeChat 4.4.2) |
| 2024-10-02 19:05:35 +0000 | califax | (~califax@user/califx) califx |
| 2024-10-02 19:06:27 +0000 | neuroevolutus | (~neuroevol@37.19.200.152) neuroevolutus |
| 2024-10-02 19:07:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 19:11:33 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 19:12:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 19:14:04 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 19:14:54 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2024-10-02 19:15:32 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-10-02 19:17:16 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) (Max SendQ exceeded) |
| 2024-10-02 19:17:54 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 19:17:57 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 265 seconds) |
| 2024-10-02 19:20:42 +0000 | mari-estel | (~mari-este@2a02:3032:313:f015:216:3eff:fe65:4eef) () |
| 2024-10-02 19:22:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 19:26:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 19:27:44 +0000 | andreas303 | (andreas303@is.drunk.and.ready-to.party) andreas303 |
| 2024-10-02 19:28:13 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-02 19:29:55 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-02 19:32:51 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-02 19:37:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 19:41:26 +0000 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-02 19:42:21 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) Maeda |
| 2024-10-02 19:42:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 19:44:04 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-10-02 19:53:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 19:54:15 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-02 19:56:19 +0000 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2024-10-02 19:57:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 19:58:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-02 19:59:49 +0000 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2024-10-02 20:02:46 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-02 20:07:13 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-02 20:08:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 20:10:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-02 20:11:48 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-02 20:13:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 20:15:18 +0000 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-10-02 20:16:41 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2024-10-02 20:17:25 +0000 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 248 seconds) |
| 2024-10-02 20:17:33 +0000 | vglfr | (~vglfr@2607:fb91:82f:5b45:ac39:6af1:e48e:d51a) vglfr |
| 2024-10-02 20:21:37 +0000 | vglfr | (~vglfr@2607:fb91:82f:5b45:ac39:6af1:e48e:d51a) (Ping timeout: 248 seconds) |
| 2024-10-02 20:22:41 +0000 | vglfr | (~vglfr@2607:fb90:ea25:8852:ad3:f751:cbee:8894) vglfr |
| 2024-10-02 20:23:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 20:24:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-02 20:27:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 20:33:34 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-02 20:38:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 20:42:53 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-02 20:43:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 20:54:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 20:55:06 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3118-adab-ad64-111d-10db-8d9d.rev.sfr.net) alexherbo2 |
| 2024-10-02 20:59:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 20:59:32 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-02 21:05:54 +0000 | neuroevolutus | (~neuroevol@37.19.200.152) (Quit: Client closed) |
| 2024-10-02 21:07:25 +0000 | neuroevolutus | (~neuroevol@37.19.200.152) neuroevolutus |
| 2024-10-02 21:07:55 +0000 | vglfr | (~vglfr@2607:fb90:ea25:8852:ad3:f751:cbee:8894) (Ping timeout: 264 seconds) |
| 2024-10-02 21:09:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 21:11:46 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-02 21:12:30 +0000 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-10-02 21:12:53 +0000 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) ubert |
| 2024-10-02 21:15:02 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-02 21:15:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-02 21:21:41 +0000 | son0p | (~ff@186.119.92.146) (Ping timeout: 265 seconds) |
| 2024-10-02 21:25:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 21:27:12 +0000 | ames6 | (~amelia@offtopia/offtopian/amelia) {ames} |
| 2024-10-02 21:29:22 +0000 | ames | (~amelia@offtopia/offtopian/amelia) (Ping timeout: 252 seconds) |
| 2024-10-02 21:29:22 +0000 | ames6 | ames |
| 2024-10-02 21:30:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-02 21:31:40 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-10-02 21:32:18 +0000 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-10-02 21:33:51 +0000 | <__monty__> | Lears: Is that more zippery? I figured you want to move the zipper as little as possible for efficiency? |
| 2024-10-02 21:34:52 +0000 | adamCS | (~adamCS@70.107.91.225) (Ping timeout: 252 seconds) |
| 2024-10-02 21:35:36 +0000 | ethantwardy | (user@user/ethantwardy) (Ping timeout: 252 seconds) |
| 2024-10-02 21:35:58 +0000 | spider1 | (spider@tilde.cafe) (Ping timeout: 252 seconds) |
| 2024-10-02 21:35:59 +0000 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2024-10-02 21:36:20 +0000 | gvg_ | (~dcd@user/gvg) (Ping timeout: 252 seconds) |
| 2024-10-02 21:36:20 +0000 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-02 21:36:42 +0000 | nshepperd | (~nshepperd@li364-218.members.linode.com) (Ping timeout: 252 seconds) |
| 2024-10-02 21:36:43 +0000 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-10-02 21:37:00 +0000 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) nshepperd |
| 2024-10-02 21:37:01 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-02 21:37:20 +0000 | adamCS | (~adamCS@70.107.91.225) adamCS |
| 2024-10-02 21:37:21 +0000 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
| 2024-10-02 21:37:47 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-02 21:39:01 +0000 | raym | (~ray@user/raym) raym |
| 2024-10-02 21:39:24 +0000 | gvg | (~dcd@user/gvg) gvg |
| 2024-10-02 21:39:31 +0000 | spider1 | (spider@tilde.cafe) |
| 2024-10-02 21:39:47 +0000 | neuroevolutus | (~neuroevol@37.19.200.152) (Ping timeout: 256 seconds) |
| 2024-10-02 21:41:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 21:44:28 +0000 | neuroevolutus | (~neuroevol@37.19.200.152) neuroevolutus |
| 2024-10-02 21:46:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-02 21:48:29 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-02 21:49:29 +0000 | son0p | (~ff@190.69.124.252) son0p |
| 2024-10-02 21:51:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-02 21:51:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-02 21:57:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 22:01:09 +0000 | <haskellbridge> | <sm> "hell" on HN: https://news.ycombinator.com/item?id=41694767 |
| 2024-10-02 22:01:34 +0000 | <probie> | % let{f x=print x>>pure x;tleft=fmap($ []).foldr(\x k -> liftA2(flip(.))k(fmap(:)x))(pure$id)}in tleft $ map f [1..5] -- Probably worse than two reverses because it spills the list to the stack |
| 2024-10-02 22:01:34 +0000 | <yahb2> | 5 ; 4 ; 3 ; 2 ; 1 ; [1,2,3,4,5] |
| 2024-10-02 22:02:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 22:05:57 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-02 22:12:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 22:17:16 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 244 seconds) |
| 2024-10-02 22:17:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-02 22:18:49 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-02 22:23:16 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-02 22:24:27 +0000 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-02 22:28:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 22:33:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 22:33:44 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-02 22:34:33 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-02 22:37:12 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2024-10-02 22:39:31 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-10-02 22:42:03 +0000 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 2024-10-02 22:43:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 22:45:31 +0000 | neuroevolutus | (~neuroevol@37.19.200.152) (Ping timeout: 256 seconds) |
| 2024-10-02 22:48:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-02 22:50:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-02 22:55:08 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-02 22:57:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 23:00:45 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2024-10-02 23:00:50 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Client Quit) |
| 2024-10-02 23:02:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-02 23:12:43 +0000 | <c_wraith> | does STM document its consistency properties anywhere? istr it's the equivalent of read-committed, rather than fully linearizable? |
| 2024-10-02 23:13:15 +0000 | supercode | (~supercode@user/supercode) supercode |
| 2024-10-02 23:13:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 23:18:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 23:20:05 +0000 | <mauke> | what's the difference? |
| 2024-10-02 23:23:36 +0000 | <geekosaur> | I think it might be only by reference (there's a paper from Intel Research describing it) |
| 2024-10-02 23:24:38 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2024-10-02 23:24:56 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2024-10-02 23:29:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 23:30:07 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-10-02 23:30:56 +0000 | <c_wraith> | mauke: with read-committed you can read a set of values that never would have existed together if all transactions were serialized. |
| 2024-10-02 23:32:30 +0000 | <geekosaur> | I don't think you can get into that situation with STM; the only such sets wouldn't be observable, because anything that could observe them would be forced to `retry` and end up with a consistent set? |
| 2024-10-02 23:32:34 +0000 | xff0x | (~xff0x@2405:6580:b080:900:409b:fd54:4c14:6dc) (Ping timeout: 260 seconds) |
| 2024-10-02 23:33:15 +0000 | <c_wraith> | hmm. possibly so. I tried a few traces that typically show that, and they did all retry with STM semantics. |
| 2024-10-02 23:33:18 +0000 | <geekosaur> | something observing program state from outside could potentially see such states |
| 2024-10-02 23:33:47 +0000 | <c_wraith> | well, something observing from the outside can see all kinds of stuff with STM |
| 2024-10-02 23:33:52 +0000 | <geekosaur> | yep |
| 2024-10-02 23:34:11 +0000 | <geekosaur> | this should all be covered in the Intel paper |
| 2024-10-02 23:34:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-02 23:40:21 +0000 | neuroevolutus | (~neuroevol@37.19.200.152) neuroevolutus |
| 2024-10-02 23:45:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-02 23:45:13 +0000 | xff0x | (~xff0x@2405:6580:b080:900:409b:fd54:4c14:6dc) |
| 2024-10-02 23:46:43 +0000 | neuroevolutus | (~neuroevol@37.19.200.152) (Ping timeout: 256 seconds) |
| 2024-10-02 23:49:32 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-02 23:49:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-02 23:55:28 +0000 | <Lears> | c_wraith: <https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/2005-ppopp-composable.pdf> (linked indirectly from Control.Concurrent.STM) is /the/ STM paper if GHC's particular form/extension of STM is what you're interested in. I imagine it has the answer you're looking for, though I'd be very surprised if such states were observable. |
| 2024-10-02 23:55:48 +0000 | <dolio> | c_wraith: Yeah, that's true. |
| 2024-10-02 23:56:06 +0000 | <c_wraith> | ugh, why did my irc client think the > is part of the link? bad client! |
| 2024-10-02 23:56:26 +0000 | <dolio> | This is discussed in Revisting Software Transactional Memory in Haskell. |
| 2024-10-02 23:56:31 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3118-adab-ad64-111d-10db-8d9d.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-02 23:57:42 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3118-adab-f186-fae0-9a30-1276.rev.sfr.net) alexherbo2 |