2025/11/16

2025-11-16 00:00:01 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-11-16 00:00:19 +0100jangerma1(~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net)
2025-11-16 00:00:21 +0100califax(~califax@user/califx) califx
2025-11-16 00:02:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-16 00:05:36 +0100Googulator80(~Googulato@80-95-87-101.pool.digikabel.hu)
2025-11-16 00:05:38 +0100Googulator66(~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed)
2025-11-16 00:07:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-16 00:08:16 +0100jangerma1(~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2025-11-16 00:18:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-16 00:23:32 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds)
2025-11-16 00:24:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-16 00:29:30 +0100annamalai(~annamalai@2409:4042:4c48:4ad4::9e4a:ad13) (Ping timeout: 245 seconds)
2025-11-16 00:36:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-16 00:37:42 +0100karenw(~karenw@user/karenw) karenw
2025-11-16 00:40:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-16 00:42:21 +0100EvanR(~EvanR@user/evanr) EvanR
2025-11-16 00:43:24 +0100hiredman(~hiredman@frontier1.downey.family) (Remote host closed the connection)
2025-11-16 00:44:30 +0100hiredman(~hiredman@frontier1.downey.family) hiredman
2025-11-16 00:45:40 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-16 00:48:20 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Ping timeout: 244 seconds)
2025-11-16 00:50:50 +0100trickard(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-16 00:51:04 +0100trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-11-16 00:51:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-16 00:55:19 +0100Square3(~Square@user/square) Square
2025-11-16 00:57:47 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2025-11-16 00:59:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-16 01:01:03 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-16 01:03:41 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-11-16 01:04:03 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2025-11-16 01:04:45 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2025-11-16 01:11:08 +0100Googulator51(~Googulato@80-95-87-101.pool.digikabel.hu)
2025-11-16 01:11:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-16 01:11:15 +0100Googulator80(~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed)
2025-11-16 01:24:15 +0100pabs3(~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.)
2025-11-16 01:25:37 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-11-16 01:28:03 +0100trickard_trickard
2025-11-16 01:32:39 +0100jangerma1(~jangermad@107.119.56.49)
2025-11-16 01:33:28 +0100pabs3(~pabs3@user/pabs3) pabs3
2025-11-16 01:33:28 +0100williu5(~williu5@user/williu5) williu5
2025-11-16 01:35:43 +0100Googulator47(~Googulato@80-95-87-101.pool.digikabel.hu)
2025-11-16 01:35:43 +0100Googulator51(~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed)
2025-11-16 01:36:05 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-11-16 01:36:32 +0100vardhan(~vardhan@122.172.80.68)
2025-11-16 01:38:56 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-11-16 02:00:41 +0100Googulator4(~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-16 02:00:44 +0100Googulator47(~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed)
2025-11-16 02:03:23 +0100synchromesh(~john@2406:5a00:2412:2c00:8dbb:1671:af24:f03b) synchromesh
2025-11-16 02:06:05 +0100synchrom1(~john@115.69.186.131) (Ping timeout: 250 seconds)
2025-11-16 02:08:16 +0100karenw(~karenw@user/karenw) (Ping timeout: 246 seconds)
2025-11-16 02:09:32 +0100robertm1(robertm@lattice.rojoma.com) (Quit: WeeChat 4.6.3)
2025-11-16 02:14:31 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-16 02:30:29 +0100acarrico1(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net)
2025-11-16 02:32:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-16 02:34:39 +0100tromp(~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5)
2025-11-16 02:35:16 +0100tromp(~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Client Quit)
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:37 +0100trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-11-16 02:36:26 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-11-16 02:40:42 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-11-16 02:42:45 +0100merijn(~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 +0100robertm1(robertm@lattice.rojoma.com) robertm
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:49:50 +0100trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-11-16 02:54:55 +0100deptype(~deptype@124.123.128.236) (Remote host closed the connection)
2025-11-16 02:55:20 +0100otto_s(~user@p5de2f1db.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-11-16 02:56:25 +0100deptype(~deptype@124.123.128.236)
2025-11-16 02:57:13 +0100otto_s(~user@p5b04423e.dip0.t-ipconnect.de)
2025-11-16 02:58:02 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-16 02:59:59 +0100GdeVolpi1(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds)
2025-11-16 02:59:59 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds)
2025-11-16 03:00:41 +0100Googulator73(~Googulato@80-95-87-101.pool.digikabel.hu)
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: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 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-11-16 03:00:55 +0100GdeVolpi1(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-11-16 03:01:03 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-11-16 03:01:26 +0100haltingsolver(~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 +0100annamalai(~annamalai@157.33.231.224) annamalai
2025-11-16 03:14:11 +0100vetkat(~vetkat@user/vetkat) (Read error: Connection reset by peer)
2025-11-16 03:14:26 +0100vetkat(~vetkat@user/vetkat) vetkat
2025-11-16 03:17:13 +0100trickard_trickard
2025-11-16 03:18:24 +0100vetkat2(~vetkat@user/vetkat) vetkat
2025-11-16 03:20:22 +0100vetkat(~vetkat@user/vetkat) (Ping timeout: 246 seconds)
2025-11-16 03:20:23 +0100vetkat2vetkat
2025-11-16 03:21:55 +0100acidjnk(~acidjnk@p200300d6e71719200dae54d3d04eac45.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2025-11-16 03:34:42 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 244 seconds)
2025-11-16 03:48:07 +0100acarrico1(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 256 seconds)
2025-11-16 03:48:22 +0100jangerma1(~jangermad@107.119.56.49) (Ping timeout: 246 seconds)
2025-11-16 03:51:32 +0100Square3(~Square@user/square) (Ping timeout: 256 seconds)
2025-11-16 04:00:53 +0100jangerma1(~jangermad@107.119.56.49)
2025-11-16 04:05:04 +0100op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-11-16 04:05:07 +0100bggd(~bgg@2a01:e0a:819:1510:b3bb:df97:ee88:22a7) (Remote host closed the connection)
2025-11-16 04:05:40 +0100op_4(~tslil@user/op-4/x-9116473) op_4
2025-11-16 04:10:14 +0100Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 256 seconds)
2025-11-16 04:15:32 +0100Googulator73(~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed)
2025-11-16 04:15:58 +0100Googulator73(~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-16 04:24:43 +0100td_(~td@i53870938.versanet.de) (Ping timeout: 244 seconds)
2025-11-16 04:25:39 +0100Googulator62(~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-16 04:25:43 +0100Googulator73(~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-16 04:26:45 +0100td_(~td@i5387093F.versanet.de)
2025-11-16 04:27:01 +0100jreicher(~user@user/jreicher) (Ping timeout: 264 seconds)
2025-11-16 04:30:46 +0100Googulator56(~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-16 04:31:14 +0100Googulator62(~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-16 04:35:09 +0100jangerma1(~jangermad@107.119.56.49) (Read error: Connection reset by peer)
2025-11-16 04:36:01 +0100trickard(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-16 04:36:14 +0100trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-11-16 04:46:33 +0100Googulator32(~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-16 04:46:36 +0100Googulator56(~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-16 04:50:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-16 04:51:14 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-16 04:52:44 +0100trickard_trickard
2025-11-16 04:53:56 +0100djspacewhale(~djspacewh@user/djspacewhale) djspacewhale
2025-11-16 04:54:25 +0100djspacewhale(~djspacewh@user/djspacewhale) (Remote host closed the connection)
2025-11-16 05:02:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-16 05:05:53 +0100tuxpaint(~a@2600:3c06::f03c:93ff:fea6:ef0e) (Quit: gn)
2025-11-16 05:06:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-16 05:07:42 +0100xff0x(~xff0x@2405:6580:b080:900:6f96:f3d0:3ad2:3838) (Ping timeout: 244 seconds)
2025-11-16 05:08:42 +0100tuxpaint(~a@put.gay)
2025-11-16 05:09:18 +0100tuxpaint(~a@put.gay) (Remote host closed the connection)
2025-11-16 05:10:58 +0100Googulator46(~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-16 05:11:20 +0100Googulator32(~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-16 05:12:09 +0100Googulator15(~Googulato@85-238-67-234.pool.digikabel.hu)
2025-11-16 05:15:46 +0100Googulator15(~Googulato@85-238-67-234.pool.digikabel.hu) (Client Quit)
2025-11-16 05:15:48 +0100Googulator54(~Googulato@85-238-67-234.pool.digikabel.hu)
2025-11-16 05:15:57 +0100Googulator46(~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-11-16 05:17:17 +0100tuxpaint(~a@put.gay)
2025-11-16 05:17:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-16 05:30:41 +0100xff0x(~xff0x@2405:6580:b080:900:cd91:696:1265:23b0)
2025-11-16 05:35:12 +0100annamalai(~annamalai@157.33.231.224) (Read error: Connection reset by peer)
2025-11-16 05:35:32 +0100annamalai(~annamalai@157.33.231.224) annamalai
2025-11-16 05:44:16 +0100jangerma1(~jangermad@166.199.109.2)
2025-11-16 05:45:40 +0100Googulator54(~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed)
2025-11-16 05:45:44 +0100Googulator73(~Googulato@85-238-67-234.pool.digikabel.hu)
2025-11-16 05:55:37 +0100sindu(~sindu@77.19.134.151.tmi.telenormobil.no) (Ping timeout: 256 seconds)
2025-11-16 06:00:16 +0100deptype(~deptype@124.123.128.236) (Quit: Leaving)
2025-11-16 06:01:06 +0100Googulator28(~Googulato@85-238-67-234.pool.digikabel.hu)
2025-11-16 06:01:16 +0100Googulator73(~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed)
2025-11-16 06:05:21 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal)
2025-11-16 06:08:19 +0100Sgeo(~Sgeo@user/sgeo) (Ping timeout: 250 seconds)
2025-11-16 06:17:28 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-16 06:22:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-16 06:22:51 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-11-16 06:25:26 +0100Googulator28(~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed)
2025-11-16 06:25:39 +0100Googulator28(~Googulato@85-238-67-234.pool.digikabel.hu)
2025-11-16 06:27:45 +0100abhin4v(uid1398@id-1398.helmsley.irccloud.com)
2025-11-16 06:34:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-16 06:39:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-16 06:50:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-16 06:50:41 +0100Googulator5(~Googulato@85-238-67-234.pool.digikabel.hu)
2025-11-16 06:50:42 +0100Googulator28(~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed)
2025-11-16 06:51:36 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-11-16 06:52:18 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-11-16 06:53:31 +0100spew(~spew@user/spew) spew
2025-11-16 06:56:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-16 06:59:45 +0100spew(~spew@user/spew) (Quit: WeeChat 4.6.3)
2025-11-16 07:03:29 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-11-16 07:06:58 +0100statusbot2(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot
2025-11-16 07:08:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-16 07:10:09 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Ping timeout: 244 seconds)
2025-11-16 07:10:24 +0100euphores(~SASL_euph@user/euphores) euphores
2025-11-16 07:10:37 +0100trickard__(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-11-16 07:11:01 +0100xal(~xal@mx1.xal.systems) (Ping timeout: 246 seconds)
2025-11-16 07:11:11 +0100xal(~xal@mx1.xal.systems) xal
2025-11-16 07:11:25 +0100trickard(~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-16 07:11:35 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-16 07:15:46 +0100Googulator86(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-16 07:15:46 +0100Googulator5(~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed)
2025-11-16 07:21:29 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-16 07:26:25 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds)
2025-11-16 07:30:34 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)