Newest at the top
| 2025-11-16 03:14:26 +0100 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-11-16 03:14:11 +0100 | vetkat | (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-11-16 03:12:22 +0100 | annamalai | (~annamalai@157.33.231.224) annamalai |
| 2025-11-16 03:05:11 +0100 | <haskellbridge> | <slack1256> Zemyla: I do not know. But the default definition on applicative gives you the wrong definition in terms of (<*>). So any monad that implements Applicative by hand and does not override the method will be affected. |
| 2025-11-16 03:01:26 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-16 03:01:03 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-16 03:00:55 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-16 03:00:51 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-16 03:00:47 +0100 | <haskellbridge> | <sm> > PS. I recently became aware of a Rust package called hs-bindgen, for Rust-Haskell interop. We haven’t yet decided what to rename our tool too, but we likely will. |
| 2025-11-16 03:00:41 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 03:00:41 +0100 | Googulator73 | (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-16 02:59:59 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-11-16 02:59:59 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-11-16 02:58:02 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-16 02:57:13 +0100 | otto_s | (~user@p5b04423e.dip0.t-ipconnect.de) |
| 2025-11-16 02:56:25 +0100 | deptype | (~deptype@124.123.128.236) |
| 2025-11-16 02:55:20 +0100 | otto_s | (~user@p5de2f1db.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-11-16 02:54:55 +0100 | deptype | (~deptype@124.123.128.236) (Remote host closed the connection) |
| 2025-11-16 02:49:50 +0100 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-16 02:49:36 +0100 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-16 02:48:10 +0100 | robertm1 | (robertm@lattice.rojoma.com) robertm |
| 2025-11-16 02:46:42 +0100 | <haskellbridge> | <Zemyla> Which monads don't define (*>) = (>>) or vice versa? |
| 2025-11-16 02:45:56 +0100 | <haskellbridge> | <slack1256> yin: using (*>) instead (>>) for sequencing. There is a discourse thread where they tried really hard to recover the performance of the second on the first but it is a mess. |
| 2025-11-16 02:42:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-16 02:40:42 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-16 02:36:26 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-16 02:35:37 +0100 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-16 02:35:23 +0100 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-16 02:35:16 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Client Quit) |
| 2025-11-16 02:34:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) |
| 2025-11-16 02:32:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-16 02:30:29 +0100 | acarrico1 | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-16 02:26:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-16 02:15:36 +0100 | <yin> | what's the strongest reason to avoid ApplicativeDo? |
| 2025-11-16 02:14:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-16 02:09:32 +0100 | robertm1 | (robertm@lattice.rojoma.com) (Quit: WeeChat 4.6.3) |
| 2025-11-16 02:08:16 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-11-16 02:06:05 +0100 | synchrom1 | (~john@115.69.186.131) (Ping timeout: 250 seconds) |
| 2025-11-16 02:03:23 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:8dbb:1671:af24:f03b) synchromesh |
| 2025-11-16 02:00:44 +0100 | Googulator47 | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 02:00:41 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-16 01:38:56 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-16 01:36:32 +0100 | vardhan | (~vardhan@122.172.80.68) |
| 2025-11-16 01:36:05 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-16 01:35:43 +0100 | Googulator51 | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 01:35:43 +0100 | Googulator47 | (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-16 01:33:28 +0100 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-11-16 01:33:28 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-16 01:32:39 +0100 | jangerma1 | (~jangermad@107.119.56.49) |
| 2025-11-16 01:28:03 +0100 | trickard_ | trickard |