Logs: liberachat/#haskell
| 2025-11-16 00:01:03 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-16 00:03:41 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-16 00:04:03 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-16 00:04:45 | → | DetourNetworkUK joins (DetourNetw@user/DetourNetworkUK) |
| 2025-11-16 00:11:08 | → | Googulator51 joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-16 00:11:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-16 00:11:15 | × | Googulator80 quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 00:24:15 | × | pabs3 quits (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2025-11-16 00:25:37 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-16 00:28:03 | trickard_ | is now known as trickard |
| 2025-11-16 00:32:39 | → | jangerma1 joins (~jangermad@107.119.56.49) |
| 2025-11-16 00:33:28 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2025-11-16 00:33:28 | → | williu5 joins (~williu5@user/williu5) |
| 2025-11-16 00:35:43 | → | Googulator47 joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-16 00:35:43 | × | Googulator51 quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 00:36:05 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-16 00:36:32 | → | vardhan joins (~vardhan@122.172.80.68) |
| 2025-11-16 00:38:56 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-16 01:00:41 | → | Googulator4 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-16 01:00:44 | × | Googulator47 quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 01:03:23 | → | synchromesh joins (~john@2406:5a00:2412:2c00:8dbb:1671:af24:f03b) |
| 2025-11-16 01:06:05 | × | synchrom1 quits (~john@115.69.186.131) (Ping timeout: 250 seconds) |
| 2025-11-16 01:08:16 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-11-16 01:09:32 | × | robertm1 quits (robertm@lattice.rojoma.com) (Quit: WeeChat 4.6.3) |
| 2025-11-16 01:14:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-16 01:15:36 | <yin> | what's the strongest reason to avoid ApplicativeDo? |
| 2025-11-16 01:26:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-16 01:30:29 | → | acarrico1 joins (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-16 01:32:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-16 01:34:39 | → | tromp joins (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) |
| 2025-11-16 01:35:16 | × | tromp quits (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Client Quit) |
| 2025-11-16 01:35:23 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-16 01:35:37 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-16 01:36:26 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-16 01:40:42 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-16 01:42:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-16 01:45:56 | <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 01:46:42 | <haskellbridge> | <Zemyla> Which monads don't define (*>) = (>>) or vice versa? |
| 2025-11-16 01:48:10 | → | robertm1 joins (robertm@lattice.rojoma.com) |
| 2025-11-16 01:49:36 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-16 01:49:50 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-16 01:54:55 | × | deptype quits (~deptype@124.123.128.236) (Remote host closed the connection) |
| 2025-11-16 01:55:20 | × | otto_s quits (~user@p5de2f1db.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-11-16 01:56:25 | → | deptype joins (~deptype@124.123.128.236) |
| 2025-11-16 01:57:13 | → | otto_s joins (~user@p5b04423e.dip0.t-ipconnect.de) |
| 2025-11-16 01:58:02 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-16 01:59:59 | × | GdeVolpi1 quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-11-16 01:59:59 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-11-16 02:00:41 | → | Googulator73 joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-16 02:00:41 | × | Googulator4 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 02:00:47 | <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 02:00:51 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-11-16 02:00:55 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-11-16 02:01:03 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-16 02:01:26 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-16 02:05:11 | <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 02:12:22 | → | annamalai joins (~annamalai@157.33.231.224) |
| 2025-11-16 02:14:11 | × | vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-11-16 02:14:26 | → | vetkat joins (~vetkat@user/vetkat) |
| 2025-11-16 02:17:13 | trickard_ | is now known as trickard |
| 2025-11-16 02:18:24 | → | vetkat2 joins (~vetkat@user/vetkat) |
| 2025-11-16 02:20:22 | × | vetkat quits (~vetkat@user/vetkat) (Ping timeout: 246 seconds) |
| 2025-11-16 02:20:23 | vetkat2 | is now known as vetkat |
| 2025-11-16 02:21:55 | × | acidjnk quits (~acidjnk@p200300d6e71719200dae54d3d04eac45.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-11-16 02:34:42 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 244 seconds) |
| 2025-11-16 02:48:07 | × | acarrico1 quits (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2025-11-16 02:48:22 | × | jangerma1 quits (~jangermad@107.119.56.49) (Ping timeout: 246 seconds) |
| 2025-11-16 02:51:32 | × | Square3 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-16 03:00:53 | → | jangerma1 joins (~jangermad@107.119.56.49) |
| 2025-11-16 03:05:04 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-11-16 03:05:07 | × | bggd quits (~bgg@2a01:e0a:819:1510:b3bb:df97:ee88:22a7) (Remote host closed the connection) |
| 2025-11-16 03:05:40 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 2025-11-16 03:10:14 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 2025-11-16 03:15:32 | × | Googulator73 quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 03:15:58 | → | Googulator73 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-16 03:24:43 | × | td_ quits (~td@i53870938.versanet.de) (Ping timeout: 244 seconds) |
| 2025-11-16 03:25:39 | → | Googulator62 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-16 03:25:43 | × | Googulator73 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 03:26:45 | → | td_ joins (~td@i5387093F.versanet.de) |
| 2025-11-16 03:27:01 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 264 seconds) |
| 2025-11-16 03:30:46 | → | Googulator56 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-16 03:31:14 | × | Googulator62 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 03:35:09 | × | jangerma1 quits (~jangermad@107.119.56.49) (Read error: Connection reset by peer) |
| 2025-11-16 03:36:01 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-16 03:36:14 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-16 03:46:33 | → | Googulator32 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-16 03:46:36 | × | Googulator56 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-16 03:50:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-16 03:51:14 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-16 03:52:44 | trickard_ | is now known as trickard |
| 2025-11-16 03:53:56 | → | djspacewhale joins (~djspacewh@user/djspacewhale) |
| 2025-11-16 03:54:25 | × | djspacewhale quits (~djspacewh@user/djspacewhale) (Remote host closed the connection) |
| 2025-11-16 04:02:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-16 04:05:53 | × | tuxpaint quits (~a@2600:3c06::f03c:93ff:fea6:ef0e) (Quit: gn) |
| 2025-11-16 04:06:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-16 04:07:42 | × | xff0x quits (~xff0x@2405:6580:b080:900:6f96:f3d0:3ad2:3838) (Ping timeout: 244 seconds) |
| 2025-11-16 04:08:42 | → | tuxpaint joins (~a@put.gay) |
| 2025-11-16 04:09:18 | × | tuxpaint quits (~a@put.gay) (Remote host closed the connection) |
| 2025-11-16 04:10:58 | → | Googulator46 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-16 04:11:20 | × | Googulator32 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
All times are in UTC.