| 2025-11-16 00:00:01 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-16 00:00:19 +0100 | jangerma1 | (~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net) |
| 2025-11-16 00:00:21 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-16 00:02:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-16 00:05:36 +0100 | Googulator80 | (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-16 00:05:38 +0100 | Googulator66 | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 00:07:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-16 00:08:16 +0100 | jangerma1 | (~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2025-11-16 00:18:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-16 00:23:32 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-11-16 00:24:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-16 00:29:30 +0100 | annamalai | (~annamalai@2409:4042:4c48:4ad4::9e4a:ad13) (Ping timeout: 245 seconds) |
| 2025-11-16 00:36:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-16 00:37:42 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-16 00:40:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-16 00:42:21 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-16 00:43:24 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2025-11-16 00:44:30 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-11-16 00:45:40 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-16 00:48:20 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 244 seconds) |
| 2025-11-16 00:50:50 +0100 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-16 00:51:04 +0100 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-16 00:51:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-16 00:55:19 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-16 00:57:47 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-16 00:59:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-16 01:01:03 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-16 01:03:41 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-16 01:04:03 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-16 01:04:45 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-16 01:11:08 +0100 | Googulator51 | (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-16 01:11:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-16 01:11:15 +0100 | Googulator80 | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 01:24:15 +0100 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2025-11-16 01:25:37 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-16 01:28:03 +0100 | trickard_ | trickard |
| 2025-11-16 01:32:39 +0100 | jangerma1 | (~jangermad@107.119.56.49) |
| 2025-11-16 01:33:28 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-16 01:33:28 +0100 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-11-16 01:35:43 +0100 | Googulator47 | (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-16 01:35:43 +0100 | Googulator51 | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 01:36:05 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-16 01:36:32 +0100 | vardhan | (~vardhan@122.172.80.68) |
| 2025-11-16 01:38:56 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-16 02:00:41 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-16 02:00:44 +0100 | Googulator47 | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 02:03:23 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:8dbb:1671:af24:f03b) synchromesh |
| 2025-11-16 02:06:05 +0100 | synchrom1 | (~john@115.69.186.131) (Ping timeout: 250 seconds) |
| 2025-11-16 02:08:16 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-11-16 02:09:32 +0100 | robertm1 | (robertm@lattice.rojoma.com) (Quit: WeeChat 4.6.3) |
| 2025-11-16 02:14:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-16 02:15:36 +0100 | <yin> | what's the strongest reason to avoid ApplicativeDo? |
| 2025-11-16 02:26:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-16 02:30:29 +0100 | acarrico1 | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-16 02:32:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-16 02:34:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) |
| 2025-11-16 02:35:16 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Client Quit) |
| 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:37 +0100 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-16 02:36:26 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-16 02:40:42 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-16 02:42:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 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:46:42 +0100 | <haskellbridge> | <Zemyla> Which monads don't define (*>) = (>>) or vice versa? |
| 2025-11-16 02:48:10 +0100 | robertm1 | (robertm@lattice.rojoma.com) robertm |
| 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:49:50 +0100 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-16 02:54:55 +0100 | deptype | (~deptype@124.123.128.236) (Remote host closed the connection) |
| 2025-11-16 02:55:20 +0100 | otto_s | (~user@p5de2f1db.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-11-16 02:56:25 +0100 | deptype | (~deptype@124.123.128.236) |
| 2025-11-16 02:57:13 +0100 | otto_s | (~user@p5b04423e.dip0.t-ipconnect.de) |
| 2025-11-16 02:58:02 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-16 02:59:59 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-11-16 02:59:59 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-11-16 03:00:41 +0100 | Googulator73 | (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 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: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:51 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-16 03:00:55 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-16 03:01:03 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-16 03:01:26 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 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:12:22 +0100 | annamalai | (~annamalai@157.33.231.224) annamalai |
| 2025-11-16 03:14:11 +0100 | vetkat | (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-11-16 03:14:26 +0100 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-11-16 03:17:13 +0100 | trickard_ | trickard |
| 2025-11-16 03:18:24 +0100 | vetkat2 | (~vetkat@user/vetkat) vetkat |
| 2025-11-16 03:20:22 +0100 | vetkat | (~vetkat@user/vetkat) (Ping timeout: 246 seconds) |
| 2025-11-16 03:20:23 +0100 | vetkat2 | vetkat |
| 2025-11-16 03:21:55 +0100 | acidjnk | (~acidjnk@p200300d6e71719200dae54d3d04eac45.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-11-16 03:34:42 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 244 seconds) |
| 2025-11-16 03:48:07 +0100 | acarrico1 | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2025-11-16 03:48:22 +0100 | jangerma1 | (~jangermad@107.119.56.49) (Ping timeout: 246 seconds) |
| 2025-11-16 03:51:32 +0100 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-16 04:00:53 +0100 | jangerma1 | (~jangermad@107.119.56.49) |
| 2025-11-16 04:05:04 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-11-16 04:05:07 +0100 | bggd | (~bgg@2a01:e0a:819:1510:b3bb:df97:ee88:22a7) (Remote host closed the connection) |
| 2025-11-16 04:05:40 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-11-16 04:10:14 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 2025-11-16 04:15:32 +0100 | Googulator73 | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 04:15:58 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-16 04:24:43 +0100 | td_ | (~td@i53870938.versanet.de) (Ping timeout: 244 seconds) |
| 2025-11-16 04:25:39 +0100 | Googulator62 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-16 04:25:43 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |