2025/11/16

Newest at the top

2025-11-16 03:34:42 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 244 seconds)
2025-11-16 03:21:55 +0100acidjnk(~acidjnk@p200300d6e71719200dae54d3d04eac45.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2025-11-16 03:20:23 +0100vetkat2vetkat
2025-11-16 03:20:22 +0100vetkat(~vetkat@user/vetkat) (Ping timeout: 246 seconds)
2025-11-16 03:18:24 +0100vetkat2(~vetkat@user/vetkat) vetkat
2025-11-16 03:17:13 +0100trickard_trickard
2025-11-16 03:14:26 +0100vetkat(~vetkat@user/vetkat) vetkat
2025-11-16 03:14:11 +0100vetkat(~vetkat@user/vetkat) (Read error: Connection reset by peer)
2025-11-16 03:12:22 +0100annamalai(~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 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-16 03:01:03 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-11-16 03:00:55 +0100GdeVolpi1(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-11-16 03:00:51 +0100GdeVolpiano(~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 +0100Googulator4(~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-16 03:00:41 +0100Googulator73(~Googulato@80-95-87-101.pool.digikabel.hu)
2025-11-16 02:59:59 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds)
2025-11-16 02:59:59 +0100GdeVolpi1(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds)
2025-11-16 02:58:02 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-16 02:57:13 +0100otto_s(~user@p5b04423e.dip0.t-ipconnect.de)
2025-11-16 02:56:25 +0100deptype(~deptype@124.123.128.236)
2025-11-16 02:55:20 +0100otto_s(~user@p5de2f1db.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-11-16 02:54:55 +0100deptype(~deptype@124.123.128.236) (Remote host closed the connection)
2025-11-16 02:49:50 +0100trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-11-16 02:49:36 +0100trickard_(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-16 02:48:10 +0100robertm1(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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-16 02:40:42 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-11-16 02:36:26 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-11-16 02:35:37 +0100trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-11-16 02:35:23 +0100trickard(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-16 02:35:16 +0100tromp(~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Client Quit)
2025-11-16 02:34:39 +0100tromp(~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5)
2025-11-16 02:32:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-16 02:30:29 +0100acarrico1(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net)
2025-11-16 02:26:59 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-16 02:09:32 +0100robertm1(robertm@lattice.rojoma.com) (Quit: WeeChat 4.6.3)
2025-11-16 02:08:16 +0100karenw(~karenw@user/karenw) (Ping timeout: 246 seconds)
2025-11-16 02:06:05 +0100synchrom1(~john@115.69.186.131) (Ping timeout: 250 seconds)
2025-11-16 02:03:23 +0100synchromesh(~john@2406:5a00:2412:2c00:8dbb:1671:af24:f03b) synchromesh
2025-11-16 02:00:44 +0100Googulator47(~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed)
2025-11-16 02:00:41 +0100Googulator4(~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-16 01:38:56 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-11-16 01:36:32 +0100vardhan(~vardhan@122.172.80.68)
2025-11-16 01:36:05 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)