Newest at the top
| 2025-05-07 08:30:07 +0200 | <haskellbridge> | <sm> we're arguing about what's best, you fool! |
| 2025-05-07 08:30:00 +0200 | <dminuoso> | Much like PHp. |
| 2025-05-07 08:29:58 +0200 | <dminuoso> | Transformer stacks are, in my opinion, just an experiment gone wild and spread around. |
| 2025-05-07 08:29:47 +0200 | <haskellbridge> | <Bowuigi> I don't have enough computers to worry about reproducibility, or enough effects to worry about effect systems, but if you do, why not use the best tools available? |
| 2025-05-07 08:29:35 +0200 | <dminuoso> | Well I wouldn't use mtl/transformers except for some local tricks |
| 2025-05-07 08:29:30 +0200 | <haskellbridge> | <maerwald> where in mtl/transformers you have to consciously think about the different stacks all the time |
| 2025-05-07 08:29:10 +0200 | <haskellbridge> | <maerwald> yes, if you compare it to e.g. mtl/transformers, then it's clear that it's more composable |
| 2025-05-07 08:28:43 +0200 | <haskellbridge> | <sm> the goal is usually controlled composability, not a big ball of mud |
| 2025-05-07 08:28:27 +0200 | <haskellbridge> | <maerwald> dminuoso: Yes, bluefin is just IO under the hood |
| 2025-05-07 08:28:09 +0200 | <dminuoso> | But it begs the question if the number of bad programs filtered out if worth the pain. |
| 2025-05-07 08:27:40 +0200 | <dminuoso> | In hopes of filtering out more bad programs than it filters out good programs. |
| 2025-05-07 08:27:18 +0200 | <dminuoso> | effect systems exist *precisely* because they reduce composability. |
| 2025-05-07 08:27:01 +0200 | <dminuoso> | If that was true IO would be the ideal solution as it is maximally composable. |
| 2025-05-07 08:26:48 +0200 | <haskellbridge> | <maerwald> not that I use any |
| 2025-05-07 08:26:28 +0200 | <haskellbridge> | <maerwald> it's composability |
| 2025-05-07 08:26:22 +0200 | <haskellbridge> | <maerwald> the main selling points of effects systems isn't even avoiding bugs |
| 2025-05-07 08:25:11 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-07 08:24:16 +0200 | <haskellbridge> | <sm> soo.. don't rewrite TH with bluefin/effectful then ? Too much ? |
| 2025-05-07 08:24:16 +0200 | <dminuoso> | And Haskell is great as a playground to do these experiments. |
| 2025-05-07 08:23:55 +0200 | <dminuoso> | And honestly, Ive been on that side. I had a phase where I made loads of type tricks to solve contrived bugs that I never had, and then felt good about how I had code provably absent of bugs (that I never had) |
| 2025-05-07 08:23:38 +0200 | <haskellbridge> | <maerwald> dminuoso: sounds like you're ok if my libraries work correctly 90% of the time. So I guess you don't mind if you get broken filepaths now and then |
| 2025-05-07 08:23:01 +0200 | euleritian | (~euleritia@77.23.248.100) |
| 2025-05-07 08:23:00 +0200 | <dminuoso> | Or they introduce anecdotes.. |
| 2025-05-07 08:22:55 +0200 | <JuanDaugherty> | inventory isn even cattle |
| 2025-05-07 08:22:43 +0200 | euleritian | (~euleritia@dynamic-176-006-137-036.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-07 08:22:27 +0200 | <haskellbridge> | <sm> yup.. with bash.. (I feel like a cave man, but so be it 😂) |
| 2025-05-07 08:22:12 +0200 | <dminuoso> | People sell effect systems/deterministic things by bringing up far fetched and contrived problems, and then they go a long way to explain how their solution addresses that problem, and how bad it would be if this problem ever affected you. |
| 2025-05-07 08:21:54 +0200 | <haskellbridge> | <maerwald> and spawn a new one |
| 2025-05-07 08:21:47 +0200 | <haskellbridge> | <maerwald> you should treat servers like cattle, not like a child... if it misbehaves... shoot it |
| 2025-05-07 08:21:25 +0200 | haskellbridge | sm too, but didn't keep it |
| 2025-05-07 08:20:57 +0200 | JuanDaugherty | y |
| 2025-05-07 08:20:57 +0200 | <haskellbridge> | <maerwald> sm: I used that one in prod. Not a fan |
| 2025-05-07 08:20:43 +0200 | <haskellbridge> | <maerwald> dminuoso: are you at ZuriHac? |
| 2025-05-07 08:20:34 +0200 | <haskellbridge> | <sm> (anyone using https://hackage.haskell.org/package/propellor ?) |
| 2025-05-07 08:20:05 +0200 | <haskellbridge> | <Bowuigi> maerwald no I mean give them specific, deterministic and reproducible results without actually doing IO |
| 2025-05-07 08:19:48 +0200 | <haskellbridge> | <sm> bash setup scripts are the next step for me |
| 2025-05-07 08:19:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-07 08:18:38 +0200 | <haskellbridge> | <sm> yes, I haven't touched these for years and there's a lot to relearn |
| 2025-05-07 08:18:30 +0200 | <haskellbridge> | <maerwald> I managed "reproducible" servers with gentoo and binary packages |
| 2025-05-07 08:18:19 +0200 | <haskellbridge> | <maerwald> I think it's just a matter of what you're familiar with |
| 2025-05-07 08:18:15 +0200 | <haskellbridge> | <sm> nice! |
| 2025-05-07 08:18:07 +0200 | <dminuoso> | sm: Yes. |
| 2025-05-07 08:17:59 +0200 | haskellbridge | sm struggled to manage 2 tonight... |
| 2025-05-07 08:17:50 +0200 | <haskellbridge> | <sm> do you manage hundreds dminuoso ? |
| 2025-05-07 08:17:40 +0200 | <JuanDaugherty> | see? mean on pkgs is OK too |
| 2025-05-07 08:17:32 +0200 | <dminuoso> | reproducability is a red herring, honestly. |
| 2025-05-07 08:17:19 +0200 | <dminuoso> | That's the sole reason. |
| 2025-05-07 08:17:17 +0200 | <JuanDaugherty> | a nix fart |
| 2025-05-07 08:17:16 +0200 | <dminuoso> | maerwald: I use nix because NixOS is the sanest way to manage hundreds of servers. |
| 2025-05-07 08:16:55 +0200 | <haskellbridge> | <maerwald> dminuoso: so you use nix but don't care about reproducibility xD |