2024/10/02

2024-10-02 00:02:09 +0200merijn(~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 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-02 00:06:34 +0200shapr(~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 +0200paddymahoney(~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 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-10-02 00:13:05 +0200merijn(~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 +0200Sgeo(~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 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-02 00:16:42 +0200synchromesh(~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) (Read error: Connection reset by peer)
2024-10-02 00:17:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-02 00:17:58 +0200synchromesh(~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) synchromesh
2024-10-02 00:18:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 00:25:57 +0200merijn(~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 +0200merijn(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 00:45:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-10-02 00:51:33 +0200acidjnk(~acidjnk@p200300d6e72cfb276c1c454e32c34a99.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2024-10-02 00:52:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 00:52:59 +0200codaraxis___(~codaraxis@user/codaraxis) (Remote host closed the connection)
2024-10-02 00:53:35 +0200codaraxis___(~codaraxis@user/codaraxis) Codaraxis
2024-10-02 00:57:32 +0200merijn(~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 +0200troojg(~troojg@user/troojg) troojg
2024-10-02 01:08:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 01:13:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 01:18:09 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-10-02 01:23:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 01:28:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-02 01:28:49 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
2024-10-02 01:34:26 +0200bilegeek(~bilegeek@2600:1008:b042:dc1f:46ed:459d:fa73:5af1) (Quit: Leaving)
2024-10-02 01:37:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-02 01:38:18 +0200kaskal-(~kaskal@213-147-165-35.nat.highway.webapn.at) (Quit: ZNC - https://znc.in)
2024-10-02 01:38:39 +0200kaskal(~kaskal@2001:4bb8:2af:db4a:8acd:a0ac:f117:1e24) kaskal
2024-10-02 01:39:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 01:43:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-02 01:48:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-10-02 01:54:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 01:57:48 +0200komikat(~user@218.185.248.66) komikat
2024-10-02 02:01:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 02:06:14 +0200supercode(~supercode@user/supercode) supercode
2024-10-02 02:06:45 +0200troojg(~troojg@user/troojg) (Ping timeout: 248 seconds)
2024-10-02 02:11:00 +0200bliminse(~bliminse@user/bliminse) (Ping timeout: 265 seconds)
2024-10-02 02:11:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 02:12:42 +0200bliminse(~bliminse@user/bliminse) bliminse
2024-10-02 02:16:47 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 02:22:02 +0200pavonia(~user@user/siracusa) siracusa
2024-10-02 02:26:58 +0200haveo(~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.2)
2024-10-02 02:27:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 02:30:50 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-10-02 02:32:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-02 02:35:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-02 02:43:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 02:45:06 +0200supercode(~supercode@user/supercode) (Quit: Client closed)
2024-10-02 02:47:41 +0200identity(~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-10-02 02:48:13 +0200xff0x(~xff0x@ai080132.d.east.v6connect.net) (Ping timeout: 265 seconds)
2024-10-02 02:48:16 +0200vglfr_(~vglfr@c-73-250-25-113.hsd1.md.comcast.net)
2024-10-02 02:48:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-02 02:49:19 +0200vglfr_(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Client Quit)
2024-10-02 02:50:07 +0200haveo(~weechat@pacamara.iuwt.fr) haveo
2024-10-02 02:59:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 03:03:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 03:14:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 03:17:05 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 248 seconds)
2024-10-02 03:19:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 03:27:10 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2024-10-02 03:30:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 03:31:14 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-02 03:34:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-02 03:39:53 +0200troojg(~troojg@user/troojg) troojg
2024-10-02 03:40:03 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-10-02 03:56:01 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-02 03:59:15 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-02 04:01:03 +0200mud(~mud@user/kadoban) (Ping timeout: 276 seconds)
2024-10-02 04:01:20 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-10-02 04:01:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 04:01:59 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-10-02 04:07:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 04:09:44 +0200mceresa(~mceresa@user/mceresa) mceresa
2024-10-02 04:09:53 +0200dyniec(~dyniec@dybiec.info) (Quit: WeeChat 4.2.2)
2024-10-02 04:12:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-10-02 04:18:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 04:20:15 +0200td_(~td@i5387093B.versanet.de) (Ping timeout: 252 seconds)
2024-10-02 04:22:15 +0200td_(~td@i5387093C.versanet.de)
2024-10-02 04:23:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 04:25:16 +0200synchromesh(~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) (Read error: Connection reset by peer)
2024-10-02 04:26:38 +0200synchromesh(~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) synchromesh
2024-10-02 04:34:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 04:38:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 04:45:49 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-10-02 04:49:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 04:53:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 04:54:58 +0200troojg(~troojg@user/troojg) (Ping timeout: 245 seconds)
2024-10-02 05:04:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 05:06:06 +0200KicksonButt(~quassel@187.21.174.221)
2024-10-02 05:09:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-02 05:12:59 +0200hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw
2024-10-02 05:20:08 +0200aforemny(~aforemny@2001:9e8:6cd7:c200:342e:20f9:8752:4727) aforemny
2024-10-02 05:20:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 05:21:09 +0200aforemny_(~aforemny@i59F4C5B0.versanet.de) (Ping timeout: 260 seconds)
2024-10-02 05:21:42 +0200KicksonButt(~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-10-02 05:23:22 +0200weary-traveler(~user@user/user363627) user363627
2024-10-02 05:24:07 +0200neuroevolutus(~neuroevol@206.217.206.41) neuroevolutus
2024-10-02 05:24:29 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-10-02 05:25:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 05:25:23 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-02 05:25:46 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2024-10-02 05:27:37 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-02 05:29:58 +0200EvanR_(~EvanR@user/evanr) EvanR
2024-10-02 05:30:44 +0200EvanR(~EvanR@user/evanr) (Read error: Connection reset by peer)
2024-10-02 05:31:06 +0200nkatte(~nkatte@2804:14c:87de:706b:dc54:3091:78f1:e245) (Ping timeout: 265 seconds)
2024-10-02 05:35:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 05:40:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-02 05:43:13 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-10-02 05:44:15 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2024-10-02 05:44:36 +0200Lord_of_Life_Lord_of_Life
2024-10-02 05:51:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 05:55:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 06:06:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 06:11:39 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-02 06:11:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-02 06:12:11 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 4.1.1)
2024-10-02 06:12:37 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) hughjfchen
2024-10-02 06:13:46 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-02 06:22:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 06:25:03 +0200michalz(~michalz@185.246.207.205)
2024-10-02 06:27:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 06:30:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-10-02 06:32:05 +0200floyza(~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown
2024-10-02 06:37:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 06:42:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 06:53:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 06:55:53 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-10-02 07:02:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 07:06:31 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-02 07:07:34 +0200neuroevolutus(~neuroevol@206.217.206.41) (Ping timeout: 256 seconds)
2024-10-02 07:09:51 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-10-02 07:10:42 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) finn_elija
2024-10-02 07:13:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 07:18:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 07:19:53 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-10-02 07:26:56 +0200mud(~mud@user/kadoban) kadoban
2024-10-02 07:28:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 07:30:11 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-10-02 07:33:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 07:43:56 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 255 seconds)
2024-10-02 07:44:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 07:45:49 +0200andrewboltachev(~andrey@178.141.123.3) andrewboltachev
2024-10-02 07:49:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 07:50:57 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-02 07:59:55 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 08:04:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-02 08:15:18 +0200neuroevolutus(~neuroevol@206.217.206.41) neuroevolutus
2024-10-02 08:15:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 08:15:43 +0200CiaoSen(~Jura@2a05:5800:2d1:1b00:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-02 08:16:08 +0200neuroevolutus(~neuroevol@206.217.206.41) (Client Quit)
2024-10-02 08:20:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 08:20:34 +0200rvalue-(~rvalue@user/rvalue) rvalue
2024-10-02 08:21:43 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 265 seconds)
2024-10-02 08:23:42 +0200acarrico(~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) (Ping timeout: 252 seconds)
2024-10-02 08:26:44 +0200rvalue-rvalue
2024-10-02 08:30:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 08:34:51 +0200synchromesh(~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) (Read error: Connection reset by peer)
2024-10-02 08:36:17 +0200synchromesh(~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) synchromesh
2024-10-02 08:36:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-02 08:38:14 +0200acarrico(~acarrico@dhcp-209-99-192-63.greenmountainaccess.net)
2024-10-02 08:47:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 08:48:21 +0200wkearn(~wkearn@user/wkearn) wkearn
2024-10-02 08:51:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-02 08:59:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 09:00:02 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-10-02 09:00:39 +0200caconym(~caconym@user/caconym) caconym
2024-10-02 09:02:35 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2024-10-02 09:03:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 09:05:45 +0200andreas808(andreas303@is.drunk.and.ready-to.party) (Ping timeout: 276 seconds)
2024-10-02 09:12:20 +0200floyza(~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2024-10-02 09:14:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 09:19:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 09:23:38 +0200sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-10-02 09:26:13 +0200acidjnk(~acidjnk@p200300d6e72cfb85cd0cf194bbc9b0a3.dip0.t-ipconnect.de) acidjnk
2024-10-02 09:27:39 +0200tomku(~tomku@user/tomku) (Remote host closed the connection)
2024-10-02 09:27:54 +0200tomku(~tomku@user/tomku) tomku
2024-10-02 09:29:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 09:32:26 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-02 09:34:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-10-02 09:37:10 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-10-02 09:43:12 +0200chele(~chele@user/chele) chele
2024-10-02 09:45:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 09:47:32 +0200vanishingideal(~vanishing@user/vanishingideal) (Quit: leaving)
2024-10-02 09:47:57 +0200Digitteknohippie(~user@user/digit) Digit
2024-10-02 09:48:02 +0200Digit(~user@user/digit) (Ping timeout: 252 seconds)
2024-10-02 09:49:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-02 09:54:29 +0200codaraxis___(~codaraxis@user/codaraxis) (Remote host closed the connection)
2024-10-02 09:55:40 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-10-02 09:55:55 +0200DigitteknohippieDigit
2024-10-02 09:56:16 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-10-02 09:58:48 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-02 09:58:55 +0200codaraxis(~codaraxis@user/codaraxis) Codaraxis
2024-10-02 10:01:35 +0200codaraxis(~codaraxis@user/codaraxis) (Read error: Connection reset by peer)
2024-10-02 10:02:23 +0200codaraxis(~codaraxis@user/codaraxis) Codaraxis
2024-10-02 10:02:55 +0200misterfish(~misterfis@84.53.85.146) misterfish
2024-10-02 10:04:15 +0200codaraxis__(~codaraxis@user/codaraxis) Codaraxis
2024-10-02 10:08:07 +0200ft(~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: leaving)
2024-10-02 10:08:12 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2024-10-02 10:13:58 +0200merijn(~merijn@77.242.116.146) (Read error: Connection reset by peer)
2024-10-02 10:15:00 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-10-02 10:15:43 +0200codaraxis__(~codaraxis@user/codaraxis) (Ping timeout: 264 seconds)
2024-10-02 10:16:43 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-10-02 10:18:20 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-02 10:24:02 +0200sp1ff(~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2024-10-02 10:24:15 +0200sp1ff(~user@c-73-11-70-111.hsd1.wa.comcast.net) sp1ff
2024-10-02 10:24:19 +0200tzh(~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 +0200codaraxis(~codaraxis@user/codaraxis) Codaraxis
2024-10-02 10:34:57 +0200__monty__(~toonn@user/toonn) toonn
2024-10-02 10:36:06 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 276 seconds)
2024-10-02 10:36:13 +0200mari-estel(~mari-este@p200300f1c742d30102163efffe654eef.dip0.t-ipconnect.de)
2024-10-02 10:37:59 +0200wkearn_(~wkearn@user/wkearn) wkearn
2024-10-02 10:38:30 +0200wkearn(~wkearn@user/wkearn) (Ping timeout: 265 seconds)
2024-10-02 10:38:31 +0200wkearn_(~wkearn@user/wkearn) (Client Quit)
2024-10-02 10:42:37 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-02 11:00:26 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-10-02 11:10:29 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-10-02 11:10:32 +0200misterfish(~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 +0200lol_jcarpenter2
2024-10-02 11:37:51 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2024-10-02 11:39:34 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
2024-10-02 11:41:44 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-10-02 11:42:06 +0200Inst(~Inst@user/Inst) Inst
2024-10-02 11:43:33 +0200mari-estel(~mari-este@p200300f1c742d30102163efffe654eef.dip0.t-ipconnect.de) (Remote host closed the connection)
2024-10-02 11:51:26 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds)
2024-10-02 11:51:35 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-10-02 11:52:04 +0200komikat`(~user@218.185.248.66) komikat
2024-10-02 11:52:38 +0200komikat`(~user@218.185.248.66) (Remote host closed the connection)
2024-10-02 11:53:12 +0200sawilagar(~sawilagar@user/sawilagar) (Remote host closed the connection)
2024-10-02 11:53:34 +0200sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-10-02 11:54:41 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2024-10-02 11:55:12 +0200tv(~tv@user/tv) (Read error: Connection reset by peer)
2024-10-02 11:56:25 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 11:57:13 +0200ubert(~Thunderbi@178.165.166.66.wireless.dyn.drei.com) ubert
2024-10-02 11:58:13 +0200tv(~tv@user/tv) tv
2024-10-02 11:59:59 +0200CiaoSen(~Jura@2a05:5800:2d1:1b00:ca4b:d6ff:fec1:99da) (Ping timeout: 244 seconds)
2024-10-02 12:01:23 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-02 12:05:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 12:05:59 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-10-02 12:06:53 +0200misterfish(~misterfis@84.53.85.146) misterfish
2024-10-02 12:13:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 12:14:35 +0200lortabac(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 12:19:59 +0200merijn(~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 +0200merijn(~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 +0200mari-estel(~mari-este@p200300f1c742d30102163efffe654eef.dip0.t-ipconnect.de)
2024-10-02 12:35:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 12:37:30 +0200greenflower(~greenflow@2409:4071:4d45:89b5:604d:fc79:97d4:8d84) greenflower
2024-10-02 12:39:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-02 12:43:14 +0200synchromesh(~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) (Read error: Connection reset by peer)
2024-10-02 12:43:55 +0200synchromesh(~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) synchromesh
2024-10-02 12:48:59 +0200xff0x(~xff0x@2405:6580:b080:900:409b:fd54:4c14:6dc)
2024-10-02 12:49:54 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 252 seconds)
2024-10-02 12:50:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 12:55:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-02 12:55:28 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-10-02 12:57:40 +0200mari-estel(~mari-este@p200300f1c742d30102163efffe654eef.dip0.t-ipconnect.de) (Quit: tschüs)
2024-10-02 13:06:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 13:11:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-02 13:13:31 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-02 13:13:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-02 13:14:04 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 260 seconds)
2024-10-02 13:16:09 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-02 13:20:19 +0200misterfish(~misterfis@84.53.85.146) misterfish
2024-10-02 13:21:40 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 13:26:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-02 13:28:45 +0200cyphase(~cyphase@user/cyphase) cyphase
2024-10-02 13:29:38 +0200cyphase(~cyphase@user/cyphase) (Read error: Connection reset by peer)
2024-10-02 13:37:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 13:38:57 +0200cyphase(~cyphase@user/cyphase) cyphase
2024-10-02 13:40:20 +0200mchristi(~AdminUser@193.121.61.113)
2024-10-02 13:41:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-02 13:42:19 +0200cyphase(~cyphase@user/cyphase) (Read error: Connection reset by peer)
2024-10-02 13:45:02 +0200mchristi(~AdminUser@193.121.61.113) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-10-02 13:46:35 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-10-02 13:48:18 +0200cyphase(~cyphase@user/cyphase) cyphase
2024-10-02 13:48:54 +0200ljdarj1ljdarj
2024-10-02 13:52:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 13:57:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-02 14:08:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 14:12:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-02 14:15:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 14:19:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 14:23:51 +0200caubert_(~caubert@user/caubert) caubert
2024-10-02 14:25:20 +0200caubert(~caubert@user/caubert) (Ping timeout: 255 seconds)
2024-10-02 14:30:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 14:34:02 +0200sawilagar(~sawilagar@user/sawilagar) (Remote host closed the connection)
2024-10-02 14:34:16 +0200sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-10-02 14:35:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 14:35:03 +0200shapr(~user@2601:19c:417e:5434:7020:f3be:22a2:6949) (Remote host closed the connection)
2024-10-02 14:35:16 +0200shapr(~user@2601:19c:417e:5434:ed03:a722:d7be:3773) shapr
2024-10-02 14:35:48 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2024-10-02 14:35:48 +0200nckxnckhexen
2024-10-02 14:40:01 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-02 14:40:16 +0200identity(~identity@user/ZharMeny) identity
2024-10-02 14:44:03 +0200nkatte(~nkatte@191.177.174.42)
2024-10-02 14:44:09 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-10-02 14:46:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 14:48:17 +0200AlexZenon(~alzenon@178.34.162.53) (Quit: ;-)
2024-10-02 14:48:37 +0200AlexNoo(~AlexNoo@178.34.162.53) (Quit: Leaving)
2024-10-02 14:58:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-02 14:59:26 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-10-02 15:01:11 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-02 15:01:49 +0200weary-traveler(~user@user/user363627) user363627
2024-10-02 15:04:33 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-02 15:08:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 15:09:45 +0200ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2024-10-02 15:10:12 +0200ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2024-10-02 15:12:03 +0200greenflower(~greenflow@2409:4071:4d45:89b5:604d:fc79:97d4:8d84) (Ping timeout: 256 seconds)
2024-10-02 15:13:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-02 15:14:36 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-10-02 15:16:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 15:16:40 +0200AlexNoo(~AlexNoo@178.34.162.53)
2024-10-02 15:17:20 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-02 15:20:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-02 15:21:55 +0200rosco(~rosco@183.171.107.61) rosco
2024-10-02 15:24:25 +0200AlexZenon(~alzenon@178.34.162.53)
2024-10-02 15:24:52 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-10-02 15:26:09 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2024-10-02 15:26:10 +0200ljdarj1ljdarj
2024-10-02 15:31:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 15:35:59 +0200merijn(~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 +0200merijn(~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 +0200codaraxis__(~codaraxis@user/codaraxis) Codaraxis
2024-10-02 15:51:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 15:52:19 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 260 seconds)
2024-10-02 15:54:01 +0200codaraxis(~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 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-02 15:56:32 +0200codaraxis___(~codaraxis@user/codaraxis) Codaraxis
2024-10-02 15:57:09 +0200codaraxis__(~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 +0200ljdarj(~Thunderbi@user/ljdarj) (Read error: Connection reset by peer)
2024-10-02 15:58:51 +0200ljdarj1(~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 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 245 seconds)
2024-10-02 16:00:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-10-02 16:01:09 +0200ljdarj1ljdarj
2024-10-02 16:01:21 +0200acidsys(~crameleon@openSUSE/member/crameleon) (Ping timeout: 248 seconds)
2024-10-02 16:02:01 +0200bionade24_(~quassel@2a03:4000:33:45b::1) (Remote host closed the connection)
2024-10-02 16:02:02 +0200bionade24(~quassel@2a03:4000:33:45b::1) bionade24
2024-10-02 16:02:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 16:05:20 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds)
2024-10-02 16:07:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-10-02 16:16:39 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-10-02 16:17:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 16:18:39 +0200codaraxis___(~codaraxis@user/codaraxis) (Ping timeout: 246 seconds)
2024-10-02 16:19:11 +0200codaraxis(~codaraxis@user/codaraxis) Codaraxis
2024-10-02 16:19:15 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds)
2024-10-02 16:22:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-02 16:24:10 +0200YaShhhh(~YaShhhh@202.43.120.115)
2024-10-02 16:25:49 +0200acidsys(~crameleon@openSUSE/member/crameleon) crameleon
2024-10-02 16:26:01 +0200 <EvanR_> traverse is doubly generalized mapM
2024-10-02 16:26:45 +0200codaraxis__(~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 +0200codaraxis(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 16:37:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 16:39:16 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-02 16:40:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-02 16:42:08 +0200Xe(~cadey@perl/impostor/xe) (Ping timeout: 272 seconds)
2024-10-02 16:43:35 +0200Xe(~cadey@perl/impostor/xe) Xe
2024-10-02 16:44:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 16:45:34 +0200Xe(~cadey@perl/impostor/xe) (Max SendQ exceeded)
2024-10-02 16:47:16 +0200YaShhhh(~YaShhhh@202.43.120.115) (Quit: Client closed)
2024-10-02 16:49:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-02 16:51:23 +0200Xe(~cadey@perl/impostor/xe) Xe
2024-10-02 16:51:23 +0200synchromesh(~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) (Read error: Connection reset by peer)
2024-10-02 16:52:35 +0200synchromesh(~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) synchromesh
2024-10-02 16:52:50 +0200Xe(~cadey@perl/impostor/xe) (Max SendQ exceeded)
2024-10-02 16:57:10 +0200rosco(~rosco@183.171.107.61) (Quit: Lost terminal)
2024-10-02 16:59:11 +0200Xe(~cadey@perl/impostor/xe) Xe
2024-10-02 17:00:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 17:02:47 +0200EvanR_EvanR
2024-10-02 17:04:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-02 17:04:50 +0200poxel(~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 +0200sawilagar(~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 +0200sawilagar(~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 +0200ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2024-10-02 17:11:41 +0200ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Client Quit)
2024-10-02 17:13:44 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-10-02 17:14:33 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2024-10-02 17:15:22 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-02 17:15:35 +0200 <EvanR> someone tagged the channel wall
2024-10-02 17:15:45 +0200merijn(~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 +0200tomsmedingis not sure which wall you're talking about
2024-10-02 17:18:40 +0200youthlic(~Thunderbi@user/youthlic) (Client Quit)
2024-10-02 17:20:21 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-02 17:22:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-02 17:26:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-02 17:30:48 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-02 17:33:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 17:35:10 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-10-02 17:36:01 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-10-02 17:37:53 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-02 17:38:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-02 17:38:31 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 265 seconds)
2024-10-02 17:38:48 +0200shapr(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 17:49:41 +0200billchenchina-(~billchenc@103.152.35.21) billchenchina
2024-10-02 17:50:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-02 17:53:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 17:54:36 +0200morb(~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 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-10-02 18:02:16 +0200mceresa(~mceresa@user/mceresa) mceresa
2024-10-02 18:03:17 +0200stanrifkin(~stanrifki@p200300dbcf4d5200f2623d312a512e86.dip0.t-ipconnect.de) stanrifkin
2024-10-02 18:03:34 +0200stanrifkin(~stanrifki@p200300dbcf4d5200f2623d312a512e86.dip0.t-ipconnect.de) ()
2024-10-02 18:04:04 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2024-10-02 18:04:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 18:08:06 +0200ft(~ft@p4fc2acce.dip0.t-ipconnect.de) ft
2024-10-02 18:09:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 18:09:24 +0200st_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 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2024-10-02 18:19:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 18:20:38 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-10-02 18:24:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-02 18:26:08 +0200son0p(~ff@152.203.113.149) (Ping timeout: 252 seconds)
2024-10-02 18:26:36 +0200gues64899(~username@h-79-136-20-117.A465.priv.bahnhof.se)
2024-10-02 18:28:40 +0200tromp(~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 +0200codaraxis__(~codaraxis@user/codaraxis) (Ping timeout: 265 seconds)
2024-10-02 18:34:47 +0200merijn(~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 +0200tzh(~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 +0200merijn(~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 +0200son0p(~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 +0200merijn(~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 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Read error: Connection reset by peer)
2024-10-02 18:53:51 +0200billchenchina-(~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 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-02 18:55:48 +0200gues64899(~username@h-79-136-20-117.A465.priv.bahnhof.se) (Remote host closed the connection)
2024-10-02 18:57:54 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
2024-10-02 18:58:13 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15)
2024-10-02 19:00:27 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection)
2024-10-02 19:01:34 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-10-02 19:02:44 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2024-10-02 19:02:45 +0200ljdarj1ljdarj
2024-10-02 19:04:59 +0200Angelz(Angelz@Angelz.oddprotocol.org)
2024-10-02 19:05:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 19:09:05 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: The Lounge - https://thelounge.chat)
2024-10-02 19:10:25 +0200nshepperd(~nshepperd@li364-218.members.linode.com) (Quit: quit)
2024-10-02 19:10:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 19:11:46 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd
2024-10-02 19:11:55 +0200nshepperd(~nshepperd@li364-218.members.linode.com) nshepperd
2024-10-02 19:16:50 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-10-02 19:20:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 19:21:52 +0200Angelz(Angelz@Angelz.oddprotocol.org) (Remote host closed the connection)
2024-10-02 19:24:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 19:26:05 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15)
2024-10-02 19:26:16 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection)
2024-10-02 19:27:09 +0200pointlessslippe1(~pointless@62.106.85.17) (Ping timeout: 276 seconds)
2024-10-02 19:28:06 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-10-02 19:30:09 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2024-10-02 19:31:10 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2024-10-02 19:35:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 19:36:57 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15)
2024-10-02 19:39:14 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 260 seconds)
2024-10-02 19:40:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 19:42:20 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-10-02 19:44:11 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-10-02 19:49:48 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection)
2024-10-02 19:49:48 +0200euphores(~SASL_euph@user/euphores) euphores
2024-10-02 19:51:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 19:53:12 +0200KicksonButt(~quassel@187.21.174.221)
2024-10-02 19:54:41 +0200Angelz(Angelz@Angelz.oddprotocol.org)
2024-10-02 19:55:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 19:56:17 +0200Angelz(Angelz@Angelz.oddprotocol.org) (Client Quit)
2024-10-02 19:57:45 +0200andrewboltachev(~andrey@178.141.123.3) (Quit: Leaving.)
2024-10-02 19:58:16 +0200Angelz(Angelz@Angelz.oddprotocol.org)
2024-10-02 19:58:37 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2024-10-02 20:01:50 +0200Angelz(Angelz@Angelz.oddprotocol.org) (Client Quit)
2024-10-02 20:06:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 20:06:43 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15)
2024-10-02 20:08:59 +0200Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Client Quit)
2024-10-02 20:11:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-02 20:12:48 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-10-02 20:14:22 +0200Angelz(Angelz@Angelz.oddprotocol.org)
2024-10-02 20:21:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 20:26:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 20:35:46 +0200identity(~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-10-02 20:36:07 +0200identity(~identity@user/ZharMeny) identity
2024-10-02 20:36:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 20:38:13 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-10-02 20:38:59 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-02 20:39:21 +0200mari-estel(~mari-este@2a02:3032:313:f015:216:3eff:fe65:4eef)
2024-10-02 20:41:18 +0200identity(~identity@user/ZharMeny) (Ping timeout: 244 seconds)
2024-10-02 20:41:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 20:45:39 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-02 20:48:16 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-02 20:51:22 +0200califax(~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in)
2024-10-02 20:51:44 +0200califax(~califax@user/califx) califx
2024-10-02 20:52:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 20:56:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-02 20:57:17 +0200mari-estel(~mari-este@2a02:3032:313:f015:216:3eff:fe65:4eef) (Remote host closed the connection)
2024-10-02 20:57:31 +0200mari-estel(~mari-este@2a02:3032:313:f015:216:3eff:fe65:4eef)
2024-10-02 21:00:02 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-10-02 21:00:28 +0200synchromesh(~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) (Read error: Connection reset by peer)
2024-10-02 21:00:39 +0200caconym(~caconym@user/caconym) caconym
2024-10-02 21:01:15 +0200synchromesh(~john@2406:5a00:241a:5600:cddc:9175:fad4:c3aa) synchromesh
2024-10-02 21:03:17 +0200codaraxis(~codaraxis@user/codaraxis) Codaraxis
2024-10-02 21:03:19 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-10-02 21:04:52 +0200poxel(~lennart@user/poxel) (Quit: WeeChat 4.4.2)
2024-10-02 21:05:35 +0200califax(~califax@user/califx) califx
2024-10-02 21:06:27 +0200neuroevolutus(~neuroevol@37.19.200.152) neuroevolutus
2024-10-02 21:07:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 21:11:33 +0200codaraxis__(~codaraxis@user/codaraxis) Codaraxis
2024-10-02 21:12:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-02 21:14:04 +0200codaraxis___(~codaraxis@user/codaraxis) Codaraxis
2024-10-02 21:14:54 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 260 seconds)
2024-10-02 21:15:32 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2024-10-02 21:17:16 +0200codaraxis___(~codaraxis@user/codaraxis) (Max SendQ exceeded)
2024-10-02 21:17:54 +0200codaraxis___(~codaraxis@user/codaraxis) Codaraxis
2024-10-02 21:17:57 +0200codaraxis__(~codaraxis@user/codaraxis) (Ping timeout: 265 seconds)
2024-10-02 21:20:42 +0200mari-estel(~mari-este@2a02:3032:313:f015:216:3eff:fe65:4eef) ()
2024-10-02 21:22:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 21:26:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-02 21:27:44 +0200andreas303(andreas303@is.drunk.and.ready-to.party) andreas303
2024-10-02 21:28:13 +0200weary-traveler(~user@user/user363627) user363627
2024-10-02 21:29:55 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-10-02 21:32:51 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-10-02 21:37:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 21:41:26 +0200identity(~identity@user/ZharMeny) identity
2024-10-02 21:42:21 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) Maeda
2024-10-02 21:42:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-02 21:44:04 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2024-10-02 21:53:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 21:54:15 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-02 21:56:19 +0200michalz(~michalz@185.246.207.205) (Remote host closed the connection)
2024-10-02 21:57:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 21:58:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-02 21:59:49 +0200ubert(~Thunderbi@178.165.166.66.wireless.dyn.drei.com) (Ping timeout: 248 seconds)
2024-10-02 22:02:46 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-02 22:07:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-10-02 22:08:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 22:10:12 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-10-02 22:11:48 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-10-02 22:13:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 22:15:18 +0200notzmv(~daniel@user/notzmv) notzmv
2024-10-02 22:16:41 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving)
2024-10-02 22:17:25 +0200vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 248 seconds)
2024-10-02 22:17:33 +0200vglfr(~vglfr@2607:fb91:82f:5b45:ac39:6af1:e48e:d51a) vglfr
2024-10-02 22:21:37 +0200vglfr(~vglfr@2607:fb91:82f:5b45:ac39:6af1:e48e:d51a) (Ping timeout: 248 seconds)
2024-10-02 22:22:41 +0200vglfr(~vglfr@2607:fb90:ea25:8852:ad3:f751:cbee:8894) vglfr
2024-10-02 22:23:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 22:24:57 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-02 22:27:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-02 22:33:34 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2024-10-02 22:38:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 22:42:53 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-02 22:43:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-02 22:54:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 22:55:06 +0200alexherbo2(~alexherbo@2a02-8440-3118-adab-ad64-111d-10db-8d9d.rev.sfr.net) alexherbo2
2024-10-02 22:59:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-02 22:59:32 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-02 23:05:54 +0200neuroevolutus(~neuroevol@37.19.200.152) (Quit: Client closed)
2024-10-02 23:07:25 +0200neuroevolutus(~neuroevol@37.19.200.152) neuroevolutus
2024-10-02 23:07:55 +0200vglfr(~vglfr@2607:fb90:ea25:8852:ad3:f751:cbee:8894) (Ping timeout: 264 seconds)
2024-10-02 23:09:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 23:11:46 +0200weary-traveler(~user@user/user363627) user363627
2024-10-02 23:12:30 +0200KicksonButt(~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-10-02 23:12:53 +0200ubert(~Thunderbi@178.165.166.66.wireless.dyn.drei.com) ubert
2024-10-02 23:15:02 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-10-02 23:15:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-02 23:21:41 +0200son0p(~ff@186.119.92.146) (Ping timeout: 265 seconds)
2024-10-02 23:25:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 23:27:12 +0200ames6(~amelia@offtopia/offtopian/amelia) {ames}
2024-10-02 23:29:22 +0200ames(~amelia@offtopia/offtopian/amelia) (Ping timeout: 252 seconds)
2024-10-02 23:29:22 +0200ames6ames
2024-10-02 23:30:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-02 23:31:40 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-10-02 23:32:18 +0200raym(~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 +0200adamCS(~adamCS@70.107.91.225) (Ping timeout: 252 seconds)
2024-10-02 23:35:36 +0200ethantwardy(user@user/ethantwardy) (Ping timeout: 252 seconds)
2024-10-02 23:35:58 +0200spider1(spider@tilde.cafe) (Ping timeout: 252 seconds)
2024-10-02 23:35:59 +0200ethantwardy(user@user/ethantwardy) ethantwardy
2024-10-02 23:36:20 +0200gvg_(~dcd@user/gvg) (Ping timeout: 252 seconds)
2024-10-02 23:36:20 +0200abrar(~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-02 23:36:42 +0200nshepperd(~nshepperd@li364-218.members.linode.com) (Ping timeout: 252 seconds)
2024-10-02 23:36:43 +0200abrar(~abrar@pool-72-78-199-167.phlapa.fios.verizon.net)
2024-10-02 23:37:00 +0200nshepperd(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 +0200adamCS(~adamCS@70.107.91.225) adamCS
2024-10-02 23:37:21 +0200vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr
2024-10-02 23:37:47 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-10-02 23:39:01 +0200raym(~ray@user/raym) raym
2024-10-02 23:39:24 +0200gvg(~dcd@user/gvg) gvg
2024-10-02 23:39:31 +0200spider1(spider@tilde.cafe)
2024-10-02 23:39:47 +0200neuroevolutus(~neuroevol@37.19.200.152) (Ping timeout: 256 seconds)
2024-10-02 23:41:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-02 23:44:28 +0200neuroevolutus(~neuroevol@37.19.200.152) neuroevolutus
2024-10-02 23:46:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-02 23:48:29 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-10-02 23:49:29 +0200son0p(~ff@190.69.124.252) son0p
2024-10-02 23:51:16 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-02 23:51:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-02 23:57:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn