2024/05/21

2024-05-21 00:04:20 +0200euleritian(~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de)
2024-05-21 00:05:23 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-21 00:06:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-21 00:11:11 +0200AlexNoo_(~AlexNoo@178.34.163.203)
2024-05-21 00:13:41 +0200AlexZenon(~alzenon@5.139.232.131) (Ping timeout: 240 seconds)
2024-05-21 00:13:43 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-21 00:14:32 +0200 <nitrix> As someone returning to Haskell, what's the state of the ecosystem now? Are projects primarily Cabal or Stack?
2024-05-21 00:14:59 +0200AlexNoo(~AlexNoo@5.139.232.131) (Ping timeout: 264 seconds)
2024-05-21 00:15:29 +0200 <geekosaur> 50-50
2024-05-21 00:15:44 +0200 <geekosaur> but cabal has been increasing its "market share" of late
2024-05-21 00:16:57 +0200 <glguy> I still check that my projects build in stack but don't use it day to day
2024-05-21 00:17:19 +0200 <yin> yeah. +ghcup -stack
2024-05-21 00:17:59 +0200 <yin> maybe +ghcid depending on how long have you been away
2024-05-21 00:19:02 +0200AlexZenon(~alzenon@178.34.163.203)
2024-05-21 00:19:04 +0200 <glguy> I like ghcid during Advent of Code but is easy enough to use these days that I don't bother in general
2024-05-21 00:19:10 +0200 <glguy> but HLS is*
2024-05-21 00:20:59 +0200euleritian(~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-05-21 00:21:53 +0200euleritian(~euleritia@dynamic-176-003-074-222.176.3.pool.telefonica.de)
2024-05-21 00:22:09 +0200 <yin> ghcid --warnings --no-status --run --clear --no-height-limit
2024-05-21 00:24:09 +0200 <yin> for advent of code this is what i do, and i test the sample inputs first
2024-05-21 00:26:23 +0200mikess(~mikess@user/mikess) (Ping timeout: 264 seconds)
2024-05-21 00:31:08 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)
2024-05-21 00:34:47 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 264 seconds)
2024-05-21 00:35:03 +0200aryah(~aryah@141-138-45-48.dsl.iskon.hr)
2024-05-21 00:38:08 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2024-05-21 00:39:33 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-05-21 00:40:11 +0200aryah(~aryah@141-138-45-48.dsl.iskon.hr) (Ping timeout: 264 seconds)
2024-05-21 00:41:03 +0200aryah(~aryah@141-138-38-218.dsl.iskon.hr)
2024-05-21 00:53:37 +0200troydm(~troydm@user/troydm)
2024-05-21 00:56:29 +0200euleritian(~euleritia@dynamic-176-003-074-222.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-21 00:56:48 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-21 01:03:11 +0200nadja(~dequbed@banana-new.kilobyte22.de) (Quit: bye!)
2024-05-21 01:04:23 +0200xff0x(~xff0x@2405:6580:b080:900:4704:a3e5:3fba:c1dc) (Ping timeout: 256 seconds)
2024-05-21 01:06:03 +0200xff0x(~xff0x@2405:6580:b080:900:a157:6ed1:5915:7c2c)
2024-05-21 01:07:57 +0200pdw(~user@215.156.62.185.bridgefibre.net) (Ping timeout: 272 seconds)
2024-05-21 01:09:41 +0200xff0x(~xff0x@2405:6580:b080:900:a157:6ed1:5915:7c2c) (Client Quit)
2024-05-21 01:15:26 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-21 01:15:40 +0200xff0x(~xff0x@2405:6580:b080:900:b527:98ae:f93a:e494)
2024-05-21 01:22:53 +0200nickiminjaj(~kvirc@user/laxhh) (Quit: KVIrc 5.2.2 Quasar http://www.kvirc.net/)
2024-05-21 01:29:46 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-21 01:31:20 +0200acidjnk_new(~acidjnk@p200300d6e714dc12c1768acda4802182.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-05-21 01:32:16 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 260 seconds)
2024-05-21 01:53:10 +0200phma(~phma@host-67-44-208-139.hnremote.net) (Read error: Connection reset by peer)
2024-05-21 01:54:08 +0200phma(phma@2001:5b0:210f:6338:6b26:1f57:9336:4cb3)
2024-05-21 01:54:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-21 02:28:57 +0200ystael(~ystael@user/ystael) (Ping timeout: 268 seconds)
2024-05-21 02:34:25 +0200it_(~quassel@v2202212189510211193.supersrv.de) (Quit: ,o>)
2024-05-21 02:34:50 +0200it_(~quassel@v2202212189510211193.supersrv.de)
2024-05-21 02:35:17 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-21 02:35:35 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-21 02:49:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-21 02:50:59 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 264 seconds)
2024-05-21 02:57:05 +0200hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
2024-05-21 03:05:08 +0200xdminsy(~xdminsy@117.147.70.240) (Ping timeout: 260 seconds)
2024-05-21 03:06:10 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-21 03:11:48 +0200sayola(~sayola@ip-109-42-242-108.web.vodafone.de)
2024-05-21 03:13:41 +0200sayola1(~sayola@ip-109-42-241-204.web.vodafone.de) (Ping timeout: 240 seconds)
2024-05-21 03:15:16 +0200xdminsy(~xdminsy@117.147.70.240) (Read error: Connection reset by peer)
2024-05-21 03:16:04 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-21 03:20:39 +0200xdminsy(~xdminsy@117.147.70.240) (Read error: Connection reset by peer)
2024-05-21 03:21:46 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-21 03:26:51 +0200xff0x(~xff0x@2405:6580:b080:900:b527:98ae:f93a:e494) (Ping timeout: 255 seconds)
2024-05-21 03:28:40 +0200xdminsy(~xdminsy@117.147.70.240) (Read error: Connection reset by peer)
2024-05-21 03:29:01 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-21 04:00:01 +0200fliife(~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2024-05-21 04:00:48 +0200fliife(~fliife@user/fliife)
2024-05-21 04:00:53 +0200otto_s(~user@p5de2fafb.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-05-21 04:02:56 +0200otto_s(~user@p5de2f060.dip0.t-ipconnect.de)
2024-05-21 04:05:59 +0200td_(~td@i53870921.versanet.de) (Ping timeout: 264 seconds)
2024-05-21 04:07:44 +0200td_(~td@i5387090E.versanet.de)
2024-05-21 04:14:05 +0200agent314(~quassel@184.75.215.3) (Ping timeout: 240 seconds)
2024-05-21 04:14:11 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-05-21 04:15:07 +0200agent314(~quassel@104.129.57.116)
2024-05-21 04:15:35 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds)
2024-05-21 04:40:45 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net)
2024-05-21 04:41:23 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2024-05-21 04:41:37 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-21 04:44:59 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 252 seconds)
2024-05-21 04:50:46 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:64b6:9e88:7ce7:a120)
2024-05-21 05:06:52 +0200Midjak(~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
2024-05-21 05:11:23 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds)
2024-05-21 05:17:17 +0200yin(~yin@user/zero) (Ping timeout: 240 seconds)
2024-05-21 05:28:11 +0200aforemny_(~aforemny@i59F516F9.versanet.de) (Ping timeout: 264 seconds)
2024-05-21 05:28:38 +0200aforemny(~aforemny@2001:9e8:6cca:4800:37b5:fb76:9e3f:6a26)
2024-05-21 05:42:48 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-21 05:49:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-21 05:52:55 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2024-05-21 05:56:02 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net)
2024-05-21 06:00:35 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 264 seconds)
2024-05-21 06:26:23 +0200agent314(~quassel@104.129.57.116) (Ping timeout: 264 seconds)
2024-05-21 06:26:36 +0200agent314(~quassel@162.219.176.19)
2024-05-21 06:34:50 +0200michalz(~michalz@185.246.207.203)
2024-05-21 06:35:05 +0200michalz(~michalz@185.246.207.203) (Client Quit)
2024-05-21 06:37:54 +0200michalz(~michalz@185.246.207.221)
2024-05-21 06:46:50 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-21 07:17:01 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-21 07:18:08 +0200zetef(~quassel@5.2.182.99)
2024-05-21 07:20:52 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-21 07:27:43 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-05-21 07:30:07 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-21 07:30:42 +0200vladl(~vladl@24.35.90.183)
2024-05-21 07:37:18 +0200johnw_(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2024-05-21 07:38:50 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-21 07:40:59 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net)
2024-05-21 07:41:29 +0200 <vladl> What patterns are present in a recursion scheme that requires synchronization? For example, recursively interpolating subpixels in an image, where the interpolation step requires the parent pixel neighborhood? The subpixels get folded back into the original resolution, so this is almost a hylomorphism, except the coalgebra gets "split" over the synchronization step. This seems like a common pattern but I
2024-05-21 07:41:35 +0200 <vladl> can't really find much on it, which could definitely be a skill issue. I read "Fantastic Morphisms and where to find them" but none of these really fit the bill. There's a problem on tree nexuses in Richard Bird's Pearls of Functional Algorithm design that I went through that, again, seemed very close to what I wanted but I couldn't make the pieces fit.
2024-05-21 07:45:55 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds)