Posts by hungryjoe@functional.cafe
 (DIR) Post #APfhcvXaKkxAtgxHSC by hungryjoe@functional.cafe
       2022-11-16T17:46:18Z
       
       0 likes, 0 repeats
       
       You can think of the `l` and `r` in `foldl` and `foldr` as meaning "applying a left-associative/right-associative operation over the values in a list"? Right?This has only just clicked for me today
       
 (DIR) Post #APfhcwnDg73OmTHHSi by hungryjoe@functional.cafe
       2022-11-16T18:00:08Z
       
       0 likes, 0 repeats
       
       @janiczek So the "catamorphisms as replacing constructors with functions" is a familiar concept to me (I've done my time in the Recursion Scheme mines)I also wrote an SO answer about why the order of arguments in foldl/r is what it is:https://stackoverflow.com/questions/69252611/confused-about-parameters-in-haskell-lambdas/69252887#69252887But "the l/r stands for the associativity of the aggregation function" has literally only just clicked for me now
       
 (DIR) Post #APfhcxDS6a2O5pYELo by hungryjoe@functional.cafe
       2022-11-16T17:47:11Z
       
       0 likes, 0 repeats
       
       On the offchance that I've got this backwards, in which case: that doesn't make sense, whoops, ignore me
       
 (DIR) Post #APfhcxhaIY8lbHeIJk by hungryjoe@functional.cafe
       2022-11-16T18:10:25Z
       
       0 likes, 0 repeats
       
       @janiczek It's fun down thereBut also very dark and deep
       
 (DIR) Post #APfhcyk6QfkUpNposi by hungryjoe@functional.cafe
       2022-11-16T18:12:07Z
       
       0 likes, 0 repeats
       
       @janiczek I've shown you the "marcidomorphism" (Blobfish Morphism) in the work codebase, right?(it predates me)
       
 (DIR) Post #ATFRUTW6JZwBzIcLlw by hungryjoe@functional.cafe
       2023-03-03T18:58:32Z
       
       1 likes, 0 repeats
       
       Made a Dug #crossstitch
       
 (DIR) Post #Aldg3bD6vvV048NaVc by hungryjoe@functional.cafe
       2024-09-03T21:20:03Z
       
       0 likes, 0 repeats
       
       @foone Could you say the resulting program was in "BASIC Batch"?
       
 (DIR) Post #AqLHjej4njR6vViI5I by hungryjoe@functional.cafe
       2025-01-22T13:59:19Z
       
       0 likes, 0 repeats
       
       @tomjennings "More careful experiments with rigorously cleaned glassware showed that it was just contaminated water"Fantastic: there's no shade like Wikipedia shade
       
 (DIR) Post #B1LUTnS0XfRs09z9HM by hungryjoe@functional.cafe
       2025-12-17T16:25:05Z
       
       1 likes, 0 repeats
       
       With what the kids would call "Big Maths Teacher Energy", I've been designing and #3dprinting tree ornaments based on the "Regular Polyhedral Compounds", (designed in #Haskell using Waterfall-CAD)https://www.doscienceto.it/blog/waterfall/regular-polyhedral-compound-tree-ornaments.hs.html
       
 (DIR) Post #B1LUTs3NQfiWHDV356 by hungryjoe@functional.cafe
       2025-12-17T16:25:50Z
       
       0 likes, 0 repeats
       
       More photos#3dprinting #Haskell
       
 (DIR) Post #B1LUTwtHRdbzHLoYXQ by hungryjoe@functional.cafe
       2025-12-17T16:26:53Z
       
       0 likes, 0 repeats
       
       And links to the files onThingiverse: https://www.thingiverse.com/thing:7238704Printables: https://www.printables.com/model/1518647-regular-polyhedral-compounds-tree-ornamentsand MakerWorld: https://makerworld.com/en/models/2125344-regular-polyhedral-compounds-tree-ornaments#3dprinting #Haskell