Newest at the top
| 2025-04-27 16:01:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 15:58:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 15:51:37 +0200 | ljdarj1 | ljdarj |
| 2025-04-27 15:51:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-27 15:47:21 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-27 15:43:06 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 15:40:46 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) |
| 2025-04-27 15:40:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 15:39:04 +0200 | <haskellbridge> | <Liamzee> and taking traverse / for_ as a way to propagate errors as an example |
| 2025-04-27 15:37:03 +0200 | <haskellbridge> | <Liamzee> there was a guy telling me that Haskell is actually underappreciated for Crud |
| 2025-04-27 15:33:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 15:33:31 +0200 | <haskellbridge> | <Liamzee> either (pure . Left) v works, as does u >>= fmap join . traverse v |
| 2025-04-27 15:32:50 +0200 | <haskellbridge> | <Liamzee> ahhh |
| 2025-04-27 15:31:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 15:26:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 15:25:01 +0200 | <haskellbridge> | <Liamzee> almost |
| 2025-04-27 15:24:57 +0200 | <haskellbridge> | <Liamzee> hmmm, this actually doesn't work, ugh |
| 2025-04-27 15:22:34 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f291c3f5884f0a5aebe.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-27 15:22:13 +0200 | AlexZenon | (~alzenon@178.34.151.238) |
| 2025-04-27 15:21:47 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 15:15:49 +0200 | <haskellbridge> | <Liamzee> explicit use of monadic bind and traverse to engage the error type |
| 2025-04-27 15:15:36 +0200 | AlexZenon | (~alzenon@178.34.151.238) (Ping timeout: 272 seconds) |
| 2025-04-27 15:15:31 +0200 | <haskellbridge> | <Liamzee> the one with chained error handling without ExceptT |
| 2025-04-27 15:15:16 +0200 | <haskellbridge> | <Liamzee> this solves my problem |
| 2025-04-27 15:15:16 +0200 | <haskellbridge> | <Liamzee> https://paste.tomsmeding.com/mGHVraNc |
| 2025-04-27 15:14:36 +0200 | <haskellbridge> | <Liamzee> yo, EvanR, you here? |
| 2025-04-27 15:14:00 +0200 | Vajb | (~Vajb@n70s1gw9rltp7nongp6-1.v6.elisa-mobile.fi) |
| 2025-04-27 15:13:49 +0200 | Vajb | (~Vajb@n83sqe30rcw6481fyv6-1.v6.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 2025-04-27 14:44:54 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-27 14:44:26 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-04-27 14:42:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 14:40:44 +0200 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2025-04-27 14:35:03 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f291c3f5884f0a5aebe.dip0.t-ipconnect.de) acidjnk |
| 2025-04-27 14:34:43 +0200 | jespada | (~jespada@r190-133-35-70.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-04-27 14:34:15 +0200 | jespada_ | (~jespada@r186-49-245-168.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-27 14:31:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-27 14:30:49 +0200 | cstml | (~Thunderbi@user/cstml) (Remote host closed the connection) |
| 2025-04-27 14:30:16 +0200 | adamCS | (~adamCS@70.19.85.77) (Ping timeout: 276 seconds) |
| 2025-04-27 14:28:58 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f296ce421454b8851ea.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-27 14:24:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-27 14:20:26 +0200 | Square2 | (~Square@user/square) Square |
| 2025-04-27 14:17:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-27 14:03:51 +0200 | <haskellbridge> | <hellwolf> preventing temporal logic error using types. |
| 2025-04-27 14:03:36 +0200 | <haskellbridge> | <hellwolf> and it is a type error if I swap some lines: power of LinearTypes |
| 2025-04-27 14:01:51 +0200 | nckx | (nckx@libera/staff/owl/nckx) nckx |
| 2025-04-27 13:55:35 +0200 | <haskellbridge> | <hellwolf> *whether to |
| 2025-04-27 13:55:27 +0200 | <haskellbridge> | <hellwolf> the dilemma is to "dumb down" things by "type Var = Ur". |
| 2025-04-27 13:55:00 +0200 | <haskellbridge> | <hellwolf> Two day later: https://paste.tomsmeding.com/NxOWsZbb , I got rid of all the Rv/Uv decorators. |
| 2025-04-27 13:54:44 +0200 | <haskellbridge> | Why would I let LLM takes that fun away from me.. |
| 2025-04-27 13:54:44 +0200 | <haskellbridge> | <hellwolf> refactoring in Haskell is very satisfying... compiles -> works. |