| 2024-05-21 00:04:20 +0200 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) |
| 2024-05-21 00:05:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-21 00:06:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-21 00:11:11 +0200 | AlexNoo_ | (~AlexNoo@178.34.163.203) |
| 2024-05-21 00:13:41 +0200 | AlexZenon | (~alzenon@5.139.232.131) (Ping timeout: 240 seconds) |
| 2024-05-21 00:13:43 +0200 | Sgeo | (~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 +0200 | AlexNoo | (~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 +0200 | AlexZenon | (~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 +0200 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-05-21 00:21:53 +0200 | euleritian | (~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 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 264 seconds) |
| 2024-05-21 00:31:08 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-05-21 00:34:47 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 264 seconds) |
| 2024-05-21 00:35:03 +0200 | aryah | (~aryah@141-138-45-48.dsl.iskon.hr) |
| 2024-05-21 00:38:08 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-05-21 00:39:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-21 00:40:11 +0200 | aryah | (~aryah@141-138-45-48.dsl.iskon.hr) (Ping timeout: 264 seconds) |
| 2024-05-21 00:41:03 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
| 2024-05-21 00:53:37 +0200 | troydm | (~troydm@user/troydm) |
| 2024-05-21 00:56:29 +0200 | euleritian | (~euleritia@dynamic-176-003-074-222.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-21 00:56:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-21 01:03:11 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 2024-05-21 01:04:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4704:a3e5:3fba:c1dc) (Ping timeout: 256 seconds) |
| 2024-05-21 01:06:03 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a157:6ed1:5915:7c2c) |
| 2024-05-21 01:07:57 +0200 | pdw | (~user@215.156.62.185.bridgefibre.net) (Ping timeout: 272 seconds) |
| 2024-05-21 01:09:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a157:6ed1:5915:7c2c) (Client Quit) |
| 2024-05-21 01:15:26 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-21 01:15:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b527:98ae:f93a:e494) |
| 2024-05-21 01:22:53 +0200 | nickiminjaj | (~kvirc@user/laxhh) (Quit: KVIrc 5.2.2 Quasar http://www.kvirc.net/) |
| 2024-05-21 01:29:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-21 01:31:20 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc12c1768acda4802182.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-05-21 01:32:16 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 260 seconds) |
| 2024-05-21 01:53:10 +0200 | phma | (~phma@host-67-44-208-139.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-21 01:54:08 +0200 | phma | (phma@2001:5b0:210f:6338:6b26:1f57:9336:4cb3) |
| 2024-05-21 01:54:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-21 02:28:57 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 268 seconds) |
| 2024-05-21 02:34:25 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: ,o>) |
| 2024-05-21 02:34:50 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-05-21 02:35:17 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-21 02:35:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-21 02:49:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-21 02:50:59 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-21 02:57:05 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-05-21 03:05:08 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Ping timeout: 260 seconds) |
| 2024-05-21 03:06:10 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-21 03:11:48 +0200 | sayola | (~sayola@ip-109-42-242-108.web.vodafone.de) |
| 2024-05-21 03:13:41 +0200 | sayola1 | (~sayola@ip-109-42-241-204.web.vodafone.de) (Ping timeout: 240 seconds) |
| 2024-05-21 03:15:16 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
| 2024-05-21 03:16:04 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-21 03:20:39 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
| 2024-05-21 03:21:46 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-21 03:26:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b527:98ae:f93a:e494) (Ping timeout: 255 seconds) |
| 2024-05-21 03:28:40 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
| 2024-05-21 03:29:01 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-21 04:00:01 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-05-21 04:00:48 +0200 | fliife | (~fliife@user/fliife) |
| 2024-05-21 04:00:53 +0200 | otto_s | (~user@p5de2fafb.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-05-21 04:02:56 +0200 | otto_s | (~user@p5de2f060.dip0.t-ipconnect.de) |
| 2024-05-21 04:05:59 +0200 | td_ | (~td@i53870921.versanet.de) (Ping timeout: 264 seconds) |
| 2024-05-21 04:07:44 +0200 | td_ | (~td@i5387090E.versanet.de) |
| 2024-05-21 04:14:05 +0200 | agent314 | (~quassel@184.75.215.3) (Ping timeout: 240 seconds) |
| 2024-05-21 04:14:11 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-05-21 04:15:07 +0200 | agent314 | (~quassel@104.129.57.116) |
| 2024-05-21 04:15:35 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-05-21 04:40:45 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-21 04:41:23 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2024-05-21 04:41:37 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-21 04:44:59 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-05-21 04:50:46 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:64b6:9e88:7ce7:a120) |
| 2024-05-21 05:06:52 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-05-21 05:11:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-21 05:17:17 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-05-21 05:28:11 +0200 | aforemny_ | (~aforemny@i59F516F9.versanet.de) (Ping timeout: 264 seconds) |
| 2024-05-21 05:28:38 +0200 | aforemny | (~aforemny@2001:9e8:6cca:4800:37b5:fb76:9e3f:6a26) |
| 2024-05-21 05:42:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-21 05:49:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-21 05:52:55 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2024-05-21 05:56:02 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-21 06:00:35 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-21 06:26:23 +0200 | agent314 | (~quassel@104.129.57.116) (Ping timeout: 264 seconds) |
| 2024-05-21 06:26:36 +0200 | agent314 | (~quassel@162.219.176.19) |
| 2024-05-21 06:34:50 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-05-21 06:35:05 +0200 | michalz | (~michalz@185.246.207.203) (Client Quit) |
| 2024-05-21 06:37:54 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-05-21 06:46:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-21 07:17:01 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-21 07:18:08 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-05-21 07:20:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-21 07:27:43 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-21 07:30:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-21 07:30:42 +0200 | vladl | (~vladl@24.35.90.183) |
| 2024-05-21 07:37:18 +0200 | johnw_ | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-05-21 07:38:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-21 07:40:59 +0200 | demon-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 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-21 07:50:40 +0200 | <probie> | I don't quite understand what you mean by "synchronization" here |
| 2024-05-21 07:53:11 +0200 | geekosaur | is thinking this sounds more like a comonad |
| 2024-05-21 07:53:39 +0200 | <vladl> | At a given resolution j, before interpolating the subpixels at resolution j+1, the neighboring (sub)pixels at resolution j have to have been computed. So we need to sync layer-by-layer. Synchronization like a fence or a barrier. |
| 2024-05-21 07:54:55 +0200 | johnw | (~johnw@69.62.242.138) |
| 2024-05-21 07:57:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-21 07:57:40 +0200 | <vladl> | Yes I think I see a comonad in there too, but its also split. Like, lets suppose a 1D array of pixels p with neighborhoods w, so something like [w p]. We have a (w p -> p), but in order to extend and get a (w p) out, we have to step all the way out of the [] in order to propagate neighbor values. So we can go [p] -> [w p], but that [] prevents me from making it a proper comonad. |
| 2024-05-21 07:58:13 +0200 | <probie> | I don't see what requires you to synchronize layer-by-layer. A subpixel merely requires its neighbours at the previous resolution to have been computed, not the entire previous layer |
| 2024-05-21 07:59:11 +0200 | <vladl> | That's true but I'm relaxing my focus to the layer scale in hopes of making it easier for me to reason about |
| 2024-05-21 08:00:39 +0200 | <vladl> | Also because my particular use case ultimately does need to synchonize layer-by-layer for other reasons (memory allocation strategy) so I may as well |
| 2024-05-21 08:01:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-21 08:10:56 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-21 08:13:25 +0200 | internatetional | (~nate@182.2.51.214) |
| 2024-05-21 08:13:53 +0200 | internatetional | (~nate@182.2.51.214) (Max SendQ exceeded) |
| 2024-05-21 08:14:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-21 08:15:35 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-21 08:18:56 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-21 08:20:24 +0200 | <vladl> | Actually, scratch that - we don't have a (w p -> p), we have a (w p -> f p), where f is the coalgebra functor (what contains the subpixels). So the comonad situation is even messier. |
| 2024-05-21 08:21:35 +0200 | <vladl> | Its like... taking an anamorphism and a comonad and trying to thread them through one another somehow. |
| 2024-05-21 08:21:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-21 08:22:50 +0200 | <vladl> | Or, hopefully, I am just overcomplicating things and there is some more elegant formalism for this out there |
| 2024-05-21 08:34:48 +0200 | ski | isn't too clear on the concrete example with subpixel interpolation |
| 2024-05-21 08:36:01 +0200 | <ski> | you're building a quadtree of the pixels, or something ? |
| 2024-05-21 08:37:09 +0200 | <vladl> | You guessed right. If it matters, the pixels are actually fluid density distributions and the interpolation is meant to refine the grid cells until they're fine enough for the fluid to advect across in one time step. |
| 2024-05-21 08:37:39 +0200 | <ski> | hm, or maybe considering a rectangle of pixels, and then a rectangle of all windows around each pixel, and then a rectangle of all windows around those, &c. (so this is a DAG, not a tree) ? |
| 2024-05-21 08:38:49 +0200 | <vladl> | Well it is a tree in the sense that every parent cell is exactly decomposed into its child cells, like they overlap. But in terms of data dependencies, it is a DAG. |
| 2024-05-21 08:38:50 +0200 | <ski> | (windows of a particular fixed size, in terms of the elements of the layer below, say) |