| 2025-11-26 00:00:04 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-26 00:03:24 +0100 | dontdieych | (~dontdieyc@132.226.169.184) (Ping timeout: 260 seconds) |
| 2025-11-26 00:05:25 +0100 | Frostillicus | (~Frostilli@71.174.119.69) (Ping timeout: 264 seconds) |
| 2025-11-26 00:06:44 +0100 | dontdieych | (~dontdieyc@132.226.169.184) dontdieych |
| 2025-11-26 00:07:45 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-26 00:09:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 00:10:59 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-26 00:13:49 +0100 | dyniec | (~dyniec@dybiec.info) (Remote host closed the connection) |
| 2025-11-26 00:13:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-26 00:14:26 +0100 | dyniec | (~dyniec@dybiec.info) |
| 2025-11-26 00:23:15 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 00:24:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 00:26:20 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-26 00:28:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-26 00:38:32 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2025-11-26 00:40:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 00:44:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 00:50:07 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-26 00:52:07 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-26 00:55:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 00:57:44 +0100 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-26 00:58:11 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-11-26 00:59:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 01:09:35 +0100 | hseg | (~gesh@46.120.21.70) (Quit: WeeChat 4.7.1) |
| 2025-11-26 01:10:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 01:15:28 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-26 01:17:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 01:19:53 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 01:21:43 +0100 | Googulator33 | Googulator |
| 2025-11-26 01:27:26 +0100 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 256 seconds) |
| 2025-11-26 01:28:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 01:33:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 01:35:36 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-11-26 01:35:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 01:35:50 +0100 | Googulator99 | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) |
| 2025-11-26 01:37:37 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-26 01:37:48 +0100 | <int-e> | haddock, please tell me where https://hackage.haskell.org/package/xhtml-3000.4.0.0/docs/Text-XHtml-Transitional.html#t:Builder is reexported from? pretty please? |
| 2025-11-26 01:38:56 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-11-26 01:39:27 +0100 | <int-e> | (it's https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/Data-ByteString-Builder.html#… ) |
| 2025-11-26 01:42:25 +0100 | trickard__ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-11-26 01:44:25 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-26 01:44:54 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-26 01:48:07 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-11-26 01:49:32 +0100 | Googulator99 | Googulator |
| 2025-11-26 01:50:03 +0100 | ham | (~ham@user/ham) ham |
| 2025-11-26 01:52:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 01:53:25 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-26 01:56:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-26 01:59:38 +0100 | <geekosaur> | ask that one in #haddock, I think |
| 2025-11-26 02:01:45 +0100 | Catty | (~catties@user/meow/catties) (Remote host closed the connection) |
| 2025-11-26 02:05:41 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 02:05:46 +0100 | Googulator77 | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) |
| 2025-11-26 02:07:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 02:08:30 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-26 02:09:05 +0100 | <jackdk> | int-e: I find it helpful to go to the module source and look for re-exports that way. It's a weakness of the haddock output format |
| 2025-11-26 02:09:21 +0100 | <int-e> | jackdk: Yeah that's what I did. |
| 2025-11-26 02:12:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 02:15:54 +0100 | catties | (~catties@user/meow/catties) catties |
| 2025-11-26 02:16:35 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3f6a:7752:62cb:f27d) (Ping timeout: 250 seconds) |
| 2025-11-26 02:18:19 +0100 | defragger | (~random@i6DFADED8.versanet.de) (Ping timeout: 264 seconds) |
| 2025-11-26 02:19:03 +0100 | catties | Catty |
| 2025-11-26 02:19:59 +0100 | Googulator77 | Googulator |
| 2025-11-26 02:19:59 +0100 | defragger | (~random@i6DFADEE5.versanet.de) defragger |
| 2025-11-26 02:22:14 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-26 02:23:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 02:24:49 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-26 02:26:24 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-26 02:26:53 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ec9c:aeb8:e7c2:da00) |
| 2025-11-26 02:27:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-26 02:29:57 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-26 02:32:35 +0100 | Square3 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-11-26 02:38:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 02:43:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-26 02:54:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 02:58:31 +0100 | acidjnk | (~acidjnk@p200300d6e7171998508fe3f98c6641fe.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-26 02:58:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 02:59:18 +0100 | omidmash0 | (~omidmash@user/omidmash) omidmash |
| 2025-11-26 03:00:20 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-26 03:01:33 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-11-26 03:01:33 +0100 | omidmash0 | omidmash |
| 2025-11-26 03:09:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 03:12:30 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 244 seconds) |
| 2025-11-26 03:14:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-26 03:16:39 +0100 | eron | (~eron@152.250.226.25) lidenbrock |
| 2025-11-26 03:20:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-11-26 03:25:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 03:29:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 03:32:35 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 03:32:53 +0100 | eron | (~eron@152.250.226.25) (Quit: Client closed) |
| 2025-11-26 03:33:01 +0100 | <dibblego> | also what I do ^^ |
| 2025-11-26 03:37:11 +0100 | <monochrom> | I think haddock has never been responsible for origin of exports. However, GHCi tells you that by the :info command. |
| 2025-11-26 03:37:29 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-11-26 03:37:56 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-11-26 03:40:02 +0100 | trickard__ | trickard |
| 2025-11-26 03:40:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 03:42:38 +0100 | <int-e> | monochrom: Right. But it turns out that `ghci` is inconvenient when you're collecting dependencies to allow a program to build, since the installed libraries aren't registered "publicly" and `cabal repl` will not work easily because the package you're preparing can't be built. |
| 2025-11-26 03:45:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-26 03:53:39 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 250 seconds) |
| 2025-11-26 03:55:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 04:02:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-26 04:03:32 +0100 | europhobic | (~europhobi@109.166.129.14) (Quit: Leaving) |
| 2025-11-26 04:10:30 +0100 | <jackdk> | `cabal repl -b xhtml` might work here, outside of your project |
| 2025-11-26 04:14:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 04:15:35 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-11-26 04:15:58 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 04:16:19 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-11-26 04:18:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 04:19:49 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2025-11-26 04:20:35 +0100 | <geekosaur> | q&d cheat: tell ghci to use the store's package db |
| 2025-11-26 04:20:53 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-26 04:22:00 +0100 | <geekosaur> | might not be precise since one of the reasons cabal hides the store and tells ghc to use explicit packages from it is ghc's likely to pick inappropriate packages and come up with something unbuildable, but if you aren't actually building and just looking up types (and where theyr'e imported from) it should usually be good enough |
| 2025-11-26 04:22:21 +0100 | <geekosaur> | assumming ghci doesn't go ahead an pick a version of the package that doesn't have the import |
| 2025-11-26 04:29:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 04:29:48 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 04:33:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 04:34:08 +0100 | td_ | (~td@i5387092E.versanet.de) (Ping timeout: 240 seconds) |
| 2025-11-26 04:36:16 +0100 | td_ | (~td@i53870917.versanet.de) td_ |
| 2025-11-26 04:37:48 +0100 | vardhan | (~vardhan@122.172.81.48) |
| 2025-11-26 04:43:28 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-26 04:43:47 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-26 04:44:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 04:44:59 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 04:49:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-26 04:58:07 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-26 05:00:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 05:01:17 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-26 05:04:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 05:04:55 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-11-26 05:12:56 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-26 05:14:34 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 05:15:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 05:19:46 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 246 seconds) |
| 2025-11-26 05:20:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-26 05:31:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 05:34:18 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-11-26 05:35:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 05:37:20 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2025-11-26 05:46:12 +0100 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 05:46:26 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-11-26 05:46:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 05:50:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 05:52:20 +0100 | trickard_ | trickard |
| 2025-11-26 05:59:43 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 06:02:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 06:06:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 06:12:16 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 06:17:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 06:20:12 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 06:21:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 06:23:22 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-26 06:26:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-26 06:27:39 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::e122) sp1ff |
| 2025-11-26 06:30:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-11-26 06:32:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 06:37:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-26 06:38:26 +0100 | falafel | (~falafel@gateway/vpn/pia/falafel) falafel |
| 2025-11-26 06:41:55 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 240 seconds) |
| 2025-11-26 06:42:44 +0100 | mange | (~mange@user/mange) (Remote host closed the connection) |
| 2025-11-26 06:47:32 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2025-11-26 06:48:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 06:51:35 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 240 seconds) |
| 2025-11-26 06:55:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-26 06:56:13 +0100 | michalz | (~michalz@185.246.207.215) |
| 2025-11-26 07:05:19 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-26 07:06:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 07:10:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 07:12:07 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-26 07:13:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 07:14:18 +0100 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 244 seconds) |
| 2025-11-26 07:14:58 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-11-26 07:17:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 07:28:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 07:29:41 +0100 | trickard__ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 07:29:55 +0100 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-26 07:32:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-26 07:43:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 07:44:11 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-26 07:44:35 +0100 | FANTOM | (~fantom@212.228.181.156) (Ping timeout: 240 seconds) |
| 2025-11-26 07:48:06 +0100 | michalz | (~michalz@185.246.207.215) (Read error: Connection reset by peer) |
| 2025-11-26 07:48:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-26 07:49:39 +0100 | michalz | (~michalz@185.246.207.197) |
| 2025-11-26 07:53:53 +0100 | trickard__ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 07:54:07 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 07:59:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 08:03:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 08:07:04 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-11-26 08:09:35 +0100 | Square3 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-11-26 08:13:00 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-26 08:14:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 08:17:20 +0100 | trickard_ | trickard |
| 2025-11-26 08:19:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-26 08:20:48 +0100 | tromp | (~textual@2001:1c00:3487:1b00:c5b7:b8d9:7db7:74e1) |
| 2025-11-26 08:21:24 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-26 08:29:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 08:36:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-26 08:36:35 +0100 | annamalai | (~annamalai@157.32.140.105) (Ping timeout: 240 seconds) |
| 2025-11-26 08:37:59 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-26 08:42:35 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-26 08:48:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 08:52:31 +0100 | vardhan | (~vardhan@122.172.81.48) (Ping timeout: 264 seconds) |
| 2025-11-26 08:52:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-26 08:53:48 +0100 | FANTOM | (~fantom@212.228.181.156) |
| 2025-11-26 08:54:39 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-26 09:03:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-26 09:05:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-26 09:08:11 +0100 | annamalai | (~annamalai@157.32.143.204) annamalai |
| 2025-11-26 09:08:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-26 09:17:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 09:18:40 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 09:23:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2025-11-26 09:24:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-26 09:26:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-26 09:30:07 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-26 09:30:47 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-26 09:30:47 +0100 | chele | (~chele@user/chele) chele |
| 2025-11-26 09:34:10 +0100 | vardhan | (~vardhan@122.172.87.77) |
| 2025-11-26 09:35:10 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2025-11-26 09:48:32 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2025-11-26 09:58:29 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-26 10:00:24 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-26 10:00:29 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 10:00:43 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 10:00:44 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-26 10:03:28 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 10:07:50 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 2025-11-26 10:08:36 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-26 10:11:32 +0100 | kuribas | (~user@2a02:1808:46:f9fd:cc8e:177f:5505:a947) kuribas |
| 2025-11-26 10:16:55 +0100 | connrs | (~connrs@user/connrs) (Ping timeout: 240 seconds) |
| 2025-11-26 10:32:24 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 252 seconds) |
| 2025-11-26 10:36:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 10:39:04 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-11-26 10:39:04 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-11-26 10:39:04 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-26 10:47:41 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-26 10:49:27 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 10:52:19 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-26 10:56:46 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-26 11:00:28 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 11:03:05 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-11-26 11:03:25 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-11-26 11:08:04 +0100 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2025-11-26 11:09:40 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-11-26 11:10:32 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-11-26 11:10:51 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-26 11:12:05 +0100 | tromp | (~textual@2001:1c00:3487:1b00:c5b7:b8d9:7db7:74e1) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-26 11:16:58 +0100 | chewybread | (~chewybrea@user/chewybread) (Remote host closed the connection) |
| 2025-11-26 11:18:48 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 11:18:55 +0100 | kuribas | (~user@2a02:1808:46:f9fd:cc8e:177f:5505:a947) (Ping timeout: 264 seconds) |
| 2025-11-26 11:29:08 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 11:29:22 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 11:35:40 +0100 | acidjnk | (~acidjnk@p200300d6e7171972bd6f1b8d24aa8879.dip0.t-ipconnect.de) acidjnk |
| 2025-11-26 11:36:27 +0100 | rembo10_ | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 11:41:27 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 11:41:41 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 11:44:21 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-11-26 11:51:44 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-26 11:52:15 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 11:55:00 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 11:55:44 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-26 11:56:42 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 11:57:09 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-26 11:57:44 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 12:00:15 +0100 | ubert | (~Thunderbi@91.141.74.115.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2025-11-26 12:01:37 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-26 12:01:58 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 12:03:28 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 12:04:10 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-26 12:10:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 12:12:28 +0100 | AlexZenon | (~alzenon@178.34.162.165) (Read error: Connection reset by peer) |
| 2025-11-26 12:12:40 +0100 | AlexZenon_2 | (~alzenon@178.34.162.165) |
| 2025-11-26 12:12:41 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-26 12:16:09 +0100 | AlexZenon_2 | AlexZenon |
| 2025-11-26 12:17:17 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 12:17:42 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-26 12:18:36 +0100 | xelxebar_ | (~xelxebar@42.203.199.104.bc.googleusercontent.com) xelxebar |
| 2025-11-26 12:19:13 +0100 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2025-11-26 12:21:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-26 12:22:35 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-11-26 12:24:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 12:24:52 +0100 | <[exa]> | is there a sensible way in optparse-applicative to have an infoOption that somewhat automatically formats a Doc instead of just printing out a String? |
| 2025-11-26 12:25:20 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 12:28:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 12:31:01 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-11-26 12:32:00 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2025-11-26 12:32:48 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-26 12:35:21 +0100 | AlexZenon_2 | (~alzenon@178.34.162.165) |
| 2025-11-26 12:36:37 +0100 | AlexZenon | (~alzenon@178.34.162.165) (Ping timeout: 264 seconds) |
| 2025-11-26 12:39:11 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 12:39:25 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 12:41:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 12:43:07 +0100 | AlexZenon_2 | AlexZenon |
| 2025-11-26 12:43:37 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 12:49:54 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 12:51:21 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 12:52:36 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-26 13:02:39 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-f98f-ba9-5de-6875.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 2025-11-26 13:04:41 +0100 | Inline | (~inlinE@2001-4dd7-868d-0-5b5f-55ca-c6c5-f53a.ipv6dyn.netcologne.de) Inline |
| 2025-11-26 13:10:16 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 255 seconds) |
| 2025-11-26 13:11:07 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-26 13:21:42 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 13:23:52 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 13:27:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-26 13:29:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-26 13:32:23 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-26 13:39:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 13:41:37 +0100 | michalz_ | (~michalz@185.246.207.221) |
| 2025-11-26 13:42:50 +0100 | michalz | (~michalz@185.246.207.197) (Ping timeout: 244 seconds) |
| 2025-11-26 13:46:05 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 13:47:37 +0100 | rls129 | (~rls129@150.107.206.33) |
| 2025-11-26 13:47:51 +0100 | rls129 | (~rls129@150.107.206.33) () |
| 2025-11-26 13:49:45 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-26 13:50:18 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-26 13:53:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-26 13:53:24 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-26 13:53:55 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2025-11-26 13:56:49 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2025-11-26 13:59:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 14:04:57 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 14:09:24 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 14:13:18 +0100 | <dminuoso> | [exa]: What do you mean by "formats a Doc", ? |
| 2025-11-26 14:14:00 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-11-26 14:14:41 +0100 | <[exa]> | dminuoso: optparse has internal prettyprinter https://hackage-content.haskell.org/package/optparse-applicative-0.19.0.0/docs/Options-Applicative… |
| 2025-11-26 14:15:18 +0100 | <[exa]> | so I thought I could give it info with some structure that would get rendered properly or so |
| 2025-11-26 14:15:52 +0100 | <dminuoso> | Yeah but what does "infoOption" have to do with a pretty printer? |
| 2025-11-26 14:16:13 +0100 | <dminuoso> | It seems like you're being really asking about some other primitive of optparse-applicative that you feed an infoOption to. |
| 2025-11-26 14:16:36 +0100 | <dminuoso> | infoOption itself doesnt do anything, its just a parser failure containing a `String` internally. |
| 2025-11-26 14:17:08 +0100 | <[exa]> | yeah I want to format that string from a Doc because I have something with nesting etc there |
| 2025-11-26 14:17:31 +0100 | <dminuoso> | Okay.. so whats stopping you? |
| 2025-11-26 14:17:52 +0100 | <dminuoso> | infoOption :: String -> Mod OptionFields (a -> a) -> Parser (a -> a) |
| 2025-11-26 14:17:55 +0100 | <[exa]> | the Doc renderers usually have some options (render width) so I'd love to inherit the global ones |
| 2025-11-26 14:17:55 +0100 | <dminuoso> | It takes a string. |
| 2025-11-26 14:18:13 +0100 | <[exa]> | and I can render my doc manually (there's prettyString) but it ain't gonna get these opts |
| 2025-11-26 14:18:25 +0100 | <dminuoso> | [exa]: Again, you are being awfully silent on what primimtive is triggering the renderer you are talking about. |
| 2025-11-26 14:19:18 +0100 | <[exa]> | ok so essentially I now have: infoOption (prettyString ..complex thing..) $ long "blabla" ... |
| 2025-11-26 14:19:37 +0100 | <[exa]> | the prettyString needs arguments (ribbon width, terminal width) that I have to supply as constants now |
| 2025-11-26 14:19:54 +0100 | <[exa]> | I'd like to render with the same as optparse-applicative renders with |
| 2025-11-26 14:19:59 +0100 | <[exa]> | for consistency etc |
| 2025-11-26 14:20:01 +0100 | <dminuoso> | A-ha. And you want access to the renderer used in `execParser` eventually? |
| 2025-11-26 14:20:14 +0100 | <[exa]> | so I hoped there would be something handy for rendering the stuff right |
| 2025-11-26 14:22:33 +0100 | <[exa]> | in particular there's prefColumns in ParserPrefs, would love to inherit that somehow |
| 2025-11-26 14:22:56 +0100 | <[exa]> | like I see it's not a great deal probably, I assumed it would get defaulted on runtime but it doesn't seem so |
| 2025-11-26 14:23:01 +0100 | <dminuoso> | [exa]: Anyway, all that infoOption does is just stuff an `InfoMsg` into the right place. You can see in the source code of src/Options/Applicative/Extra.hs - which is the only place this is ever discriminated upon - that there is no alternative. |
| 2025-11-26 14:23:02 +0100 | <[exa]> | :< |
| 2025-11-26 14:23:29 +0100 | <dminuoso> | You would have to to extend the ParseError data type with a new constructor `InfoDoc Doc` |
| 2025-11-26 14:24:41 +0100 | <[exa]> | oic it's actually hardcoded there |
| 2025-11-26 14:25:03 +0100 | <[exa]> | gah, okay. if I hit this one more time I send a PR. |
| 2025-11-26 14:27:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-26 14:29:20 +0100 | falafel | (~falafel@gateway/vpn/pia/falafel) (Ping timeout: 244 seconds) |
| 2025-11-26 14:29:28 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 14:32:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 14:34:34 +0100 | trickard_ | trickard |
| 2025-11-26 14:48:16 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 14:49:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 14:56:15 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 14:56:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 15:03:44 +0100 | annamalai | (~annamalai@157.32.143.204) (Read error: Connection reset by peer) |
| 2025-11-26 15:03:59 +0100 | annamalai | (~annamalai@2409:4042:2d87:3c71::9e8a:460b) annamalai |
| 2025-11-26 15:07:54 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 15:08:07 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 15:10:28 +0100 | trickard_ | trickard |
| 2025-11-26 15:10:49 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-26 15:15:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 15:18:03 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 15:18:58 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-26 15:20:23 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-26 15:26:06 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 15:28:15 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-11-26 15:28:38 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-26 15:29:18 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 15:29:25 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-26 15:38:45 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-11-26 15:39:58 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-26 15:40:06 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 15:40:20 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 15:40:44 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 15:41:14 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 15:41:27 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 15:47:35 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 240 seconds) |
| 2025-11-26 15:50:59 +0100 | Googulator | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-26 15:54:08 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 15:54:41 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 15:57:45 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-26 16:04:14 +0100 | trickard_ | trickard |
| 2025-11-26 16:05:35 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-26 16:05:41 +0100 | Googulator | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 16:08:27 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2025-11-26 16:08:42 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Client Quit) |
| 2025-11-26 16:13:31 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 264 seconds) |
| 2025-11-26 16:17:11 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-11-26 16:18:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 16:23:02 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-26 16:28:15 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-11-26 16:31:55 +0100 | <bwe> | `h a b = uncurry f <$> g a b` -- how do I write this point-free? |
| 2025-11-26 16:33:23 +0100 | <lucabtz> | i had a similar problem days ago |
| 2025-11-26 16:33:36 +0100 | <lucabtz> | (didnt find a solution) |
| 2025-11-26 16:33:57 +0100 | <[exa]> | https://hackage.haskell.org/package/composition-1.0.2.2/docs/Data-Composition.html#v:.: |
| 2025-11-26 16:34:22 +0100 | <[exa]> | should be something like `h = fmap uncurry f .: g` |
| 2025-11-26 16:35:50 +0100 | <bwe> | I had the feeling that the right application of `.` and <$> with parentheses does the job? |
| 2025-11-26 16:36:18 +0100 | <lucabtz> | `h = fmap uncurry f .: g` this looks different to me but maybe im messing up precedences |
| 2025-11-26 16:36:18 +0100 | <[exa]> | nah you need to pull 2 arguments through, a single (.) ain't gonna do it |
| 2025-11-26 16:36:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-26 16:36:48 +0100 | <lucabtz> | i though the original is like fmap (uncurry f) (g a b) |
| 2025-11-26 16:37:13 +0100 | <[exa]> | lucabtz: yeah I forgot the parentheses, true |
| 2025-11-26 16:38:00 +0100 | <mauke> | @pl h a b = uncurry f <$> g a b |
| 2025-11-26 16:38:00 +0100 | <lambdabot> | h = ((uncurry f <$>) .) . g |
| 2025-11-26 16:38:48 +0100 | <[exa]> | mauke: I'd say that's on the far side of pointfree :D |
| 2025-11-26 16:38:53 +0100 | <mauke> | @pl h a b = fmap (uncurry f) (g a b) |
| 2025-11-26 16:38:53 +0100 | <lambdabot> | h = (fmap (uncurry f) .) . g |
| 2025-11-26 16:39:09 +0100 | <Leary> | bwe: you don't |
| 2025-11-26 16:39:25 +0100 | <[exa]> | underrated answer ^ |
| 2025-11-26 16:40:39 +0100 | <haskellbridge> | <Zemyla> I'm thinking about how more than one pointfree expansion I've seen has had the boobs operator: ((.) . (.)) |
| 2025-11-26 16:41:15 +0100 | <mauke> | that's .: |
| 2025-11-26 16:42:10 +0100 | <haskellbridge> | <Zemyla> Well, yeah, but @pl doesn't use that. |
| 2025-11-26 16:42:14 +0100 | <__monty__> | And it's called the bird operator, just FYI. |
| 2025-11-26 16:42:22 +0100 | <mauke> | it is? |
| 2025-11-26 16:42:29 +0100 | <lucabtz> | i think boobs operator is a clearer name |
| 2025-11-26 16:43:57 +0100 | <__monty__> | Sorry it's *a* bird operator, specifically the blackbird operator. |
| 2025-11-26 16:44:29 +0100 | <mauke> | ah, that makes more sense |
| 2025-11-26 16:44:39 +0100 | mauke | mocks a mockingbird |
| 2025-11-26 16:45:54 +0100 | <haskellbridge> | <Morj> How hard would it be to add the "composition" package operators to pointfree.io ? |
| 2025-11-26 16:46:27 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-26 17:03:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 17:05:42 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-11-26 17:15:35 +0100 | infinity0 | (~infinity0@pwned.gg) (Quit: WeeChat 4.6.3) |
| 2025-11-26 17:26:59 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-26 17:30:21 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-26 17:31:07 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-26 17:32:07 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-26 17:32:53 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-26 17:33:31 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 2025-11-26 17:45:41 +0100 | Googulator17 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-26 17:45:43 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 17:46:15 +0100 | vardhan | (~vardhan@122.172.87.77) (Ping timeout: 240 seconds) |
| 2025-11-26 17:51:42 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-26 17:56:21 +0100 | <xerox> | santabot: when is your countdown starting |
| 2025-11-26 17:56:55 +0100 | <xerox> | oops my bad, wrong terminal |
| 2025-11-26 17:59:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-26 18:06:16 +0100 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 246 seconds) |
| 2025-11-26 18:11:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 18:11:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-11-26 18:12:36 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-26 18:15:01 +0100 | byorgey | (~byorgey@user/byorgey) (Ping timeout: 264 seconds) |
| 2025-11-26 18:15:32 +0100 | Googulator17 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 18:15:45 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-26 18:15:49 +0100 | Googulator17 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-26 18:16:52 +0100 | hamster | (~ham@user/ham) ham |
| 2025-11-26 18:18:44 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 18:18:48 +0100 | SoF5 | (~skius@user/skius) skius |
| 2025-11-26 18:18:56 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 18:18:59 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | michalz_ | (~michalz@185.246.207.221) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | FANTOM | (~fantom@212.228.181.156) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | haskellbridge | (~hackager@96.28.224.214) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | rembo10 | (~rembo10@main.remulis.com) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | defragger | (~random@i6DFADEE5.versanet.de) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | SoF | (~skius@user/skius) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | kimiamania99 | (~67ff9c12@user/kimiamania) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | xelxebar_ | (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Ping timeout: 240 seconds) |
| 2025-11-26 18:18:59 +0100 | yin | (~zero@user/zero) (Ping timeout: 240 seconds) |
| 2025-11-26 18:19:00 +0100 | SoF5 | SoF |
| 2025-11-26 18:19:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-26 18:19:32 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-11-26 18:19:35 +0100 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) xelxebar |
| 2025-11-26 18:19:51 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 18:19:55 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-26 18:19:56 +0100 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-11-26 18:20:42 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-11-26 18:21:08 +0100 | michalz | (~michalz@185.246.207.193) |
| 2025-11-26 18:21:15 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-11-26 18:21:15 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-26 18:21:48 +0100 | takuan_dozo | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-26 18:22:10 +0100 | typedfern_ | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) |
| 2025-11-26 18:22:15 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-11-26 18:22:44 +0100 | ham | (~ham@user/ham) (Ping timeout: 240 seconds) |
| 2025-11-26 18:22:44 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 240 seconds) |
| 2025-11-26 18:22:44 +0100 | typedfern__ | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2025-11-26 18:22:44 +0100 | FANTOM | (~fantom@212.228.181.156) |
| 2025-11-26 18:22:44 +0100 | byorgey_ | (~byorgey@155.138.238.211) |
| 2025-11-26 18:22:44 +0100 | byorgey_ | (~byorgey@155.138.238.211) (Changing host) |
| 2025-11-26 18:22:44 +0100 | byorgey_ | (~byorgey@user/byorgey) byorgey |
| 2025-11-26 18:22:52 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-11-26 18:22:52 +0100 | ChanServ | +v haskellbridge |
| 2025-11-26 18:23:18 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-26 18:26:25 +0100 | dontdieych | (~dontdieyc@132.226.169.184) (Ping timeout: 264 seconds) |
| 2025-11-26 18:28:40 +0100 | dontdieych | (~dontdieyc@132.226.169.184) dontdieych |
| 2025-11-26 18:29:32 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-11-26 18:29:36 +0100 | ff | (~user@207.194.126.6) |
| 2025-11-26 18:29:40 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-26 18:30:45 +0100 | defragger | (~random@i6DFADEE5.versanet.de) defragger |
| 2025-11-26 18:31:54 +0100 | ff | (~user@207.194.126.6) (Remote host closed the connection) |
| 2025-11-26 18:32:14 +0100 | yin | (~zero@user/zero) zero |
| 2025-11-26 18:33:55 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-26 18:37:29 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-11-26 18:39:02 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-26 18:40:57 +0100 | wickedjargon | (~user@207.194.126.6) wickedjargon |
| 2025-11-26 18:46:49 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 264 seconds) |
| 2025-11-26 18:47:39 +0100 | pointlessslippe- | (~pointless@62.106.85.17) |
| 2025-11-26 18:50:02 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 18:50:16 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 18:51:01 +0100 | forell | (~forell@user/forell) (Ping timeout: 264 seconds) |
| 2025-11-26 18:52:07 +0100 | forell | (~forell@user/forell) forell |
| 2025-11-26 19:00:00 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.7.1) |
| 2025-11-26 19:00:06 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-26 19:01:25 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-11-26 19:01:49 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-26 19:02:17 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-26 19:08:11 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-26 19:12:58 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-11-26 19:15:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 19:21:21 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) ft |
| 2025-11-26 19:22:52 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-11-26 19:24:54 +0100 | wickedjargon | (~user@207.194.126.6) (Read error: Connection reset by peer) |
| 2025-11-26 19:25:54 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-11-26 19:28:09 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-11-26 19:31:49 +0100 | takuan_dozo | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 264 seconds) |
| 2025-11-26 19:33:11 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-26 19:37:31 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 19:38:34 +0100 | <Square3> | I'm sceptical-agnostic on AI's usefulness in programming. It surely has it's uses but only occassionally use it. What are your take on AI's usefullness in generating Haskell code? |
| 2025-11-26 19:38:57 +0100 | <Square3> | s/but only/but I only/ |
| 2025-11-26 19:39:49 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-26 19:41:06 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-26 19:41:33 +0100 | <geekosaur> | current AI is only as useful as the data it's scraped, and there isn't enough scrapable Haskell code for it to do anything resembling a good job |
| 2025-11-26 19:41:45 +0100 | <haskellbridge> | <sm> can be a very helpful assist, or generating at least simple/boilerplate/starting-point code |
| 2025-11-26 19:43:04 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-26 19:43:23 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-26 19:45:43 +0100 | <EvanR> | programming is funny. The body of code we have varies wildly in quality, people can't agree on what good quality means, and we invent AI but it doesn't help the question of quality either |
| 2025-11-26 19:45:56 +0100 | Googulator17 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 19:46:03 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-26 19:46:37 +0100 | <EvanR> | it makes programming sound more like literature or poetry not math |
| 2025-11-26 19:47:02 +0100 | <haskellbridge> | <Zemyla> AI isn't good at literature or poetry either. |
| 2025-11-26 19:47:23 +0100 | <EvanR> | it depends on who is judging the quality |
| 2025-11-26 19:47:48 +0100 | <EvanR> | harry potter fanfiction has a different standard than uh |
| 2025-11-26 19:48:15 +0100 | <int-e> | I feel that when it comes to writing, nobody wants AI for themselves; people think (or hope) that the output is good enough to sell to others for money. |
| 2025-11-26 19:48:51 +0100 | <int-e> | "for themselves" - I mean nobody wants to read the results |
| 2025-11-26 19:50:44 +0100 | <Square3> | Interesting to hear |
| 2025-11-26 19:51:12 +0100 | <geekosaur> | or wants to replace employees they have to pay with AI they don't |
| 2025-11-26 19:51:54 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-26 19:52:27 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-26 19:52:33 +0100 | <haskellbridge> | <sm> Square3 I don't advocate heedless ai use, but I think you must try it yourself to know. It also needs to be qualified - which AI, which AI-based coding tools, which kind of code |
| 2025-11-26 19:54:27 +0100 | <Square3> | sm, I've taken the lazy approach and wait for a signal of AI's usefulness from an authority. Meanwhile I'll stick to some low effort free service. |
| 2025-11-26 19:57:01 +0100 | <haskellbridge> | <sm> * code, which prompting strategy |
| 2025-11-26 19:57:23 +0100 | <haskellbridge> | <sm> oops irc, I shouldn't edit |
| 2025-11-26 19:57:29 +0100 | <Square3> | But yeah, I get that it's highly dependent on task / tools. Here I was mostly curious on the general view of the concept. |
| 2025-11-26 19:58:23 +0100 | <EvanR> | "an authority" is also highly subjective... I was just caught up on this 4 year old drama involving a minecraft speed runner with a hoard of fans defending them at all costs |
| 2025-11-26 19:58:36 +0100 | <EvanR> | after they cheated |
| 2025-11-26 19:58:44 +0100 | <EvanR> | so pick your authorities carefully |
| 2025-11-26 19:59:07 +0100 | <EvanR> | you could imagine someone like this shilling AI code that is just awful |
| 2025-11-26 19:59:24 +0100 | <haskellbridge> | <sm> I think it's pretty much settled by now that AI can, is, and will be increasingly helpful in programming generally speaking |
| 2025-11-26 19:59:46 +0100 | <EvanR> | as long as it still exists in the current form |
| 2025-11-26 20:00:02 +0100 | <EvanR> | which has high negative profits |
| 2025-11-26 20:00:09 +0100 | <EvanR> | that can't go on |
| 2025-11-26 20:04:58 +0100 | <haskellbridge> | <sm> 👍️ yes I mean the technology when its available |
| 2025-11-26 20:05:57 +0100 | <EvanR> | the soliton radar is made from currently existing technology |
| 2025-11-26 20:13:22 +0100 | <Leary> | Imo, to make good use of AI in programming we just need an iterative approach with both the human and the compiler in the loop. Instead of trying to "engineer" prompts for LLMs trained to replicate all text in existence, we use smaller, specialised machines trained on the much richer semantic data produced by the compiler. One for type errors, one filling holes from context, one fixing bugs given a test failure, etc. Initial data can be gathered by putt |
| 2025-11-26 20:13:23 +0100 | <Leary> | ing random errors and holes in existing programs, and more collected every time a programmer accepts/rejects an output... |
| 2025-11-26 20:14:21 +0100 | <EvanR> | it sounds like that has a chance of running locally |
| 2025-11-26 20:15:46 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-26 20:15:56 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 20:17:19 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds) |
| 2025-11-26 20:30:05 +0100 | tromp | (~textual@2001:1c00:3487:1b00:c5b7:b8d9:7db7:74e1) |
| 2025-11-26 20:32:58 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 20:33:05 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-26 20:33:16 +0100 | Googulator89 | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-26 20:35:54 +0100 | <monochrom> | About current AI ("AI") and the training data: Those LLMs that have learned from history are doomed to repeat it. >:) |
| 2025-11-26 20:36:04 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-26 20:36:24 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-26 20:37:17 +0100 | <monochrom> | Leary: That sounds dangerously close to the water fall model that every hipster agile coder has denounced. |
| 2025-11-26 20:37:54 +0100 | <monochrom> | (Don't worry, I denounce back those hipster agile fads.) |
| 2025-11-26 20:38:27 +0100 | <int-e> | hey picture moment: first you sell them agile coding, then you sell the crutches (LLMs) |
| 2025-11-26 20:39:01 +0100 | <int-e> | (and inbetween people break a few legs) |
| 2025-11-26 20:39:58 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-26 20:40:53 +0100 | <monochrom> | Hey speaking of "synergy" business tactics. I saw this beautiful scene at a mall: A gym and a dessert pastry bakery next to each other. |
| 2025-11-26 20:48:55 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-26 20:51:19 +0100 | <EvanR> | based |
| 2025-11-26 20:51:34 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2025-11-26 20:51:50 +0100 | statusbot3 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2025-11-26 20:53:10 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-11-26 21:03:04 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Read error: Connection reset by peer) |
| 2025-11-26 21:03:15 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-11-26 21:08:16 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 2025-11-26 21:15:59 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-11-26 21:20:40 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 21:22:06 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-11-26 21:26:23 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-11-26 21:27:03 +0100 | Googulator89 | Googulator |
| 2025-11-26 21:27:20 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-11-26 21:37:20 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 21:37:33 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 21:49:08 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 21:50:56 +0100 | yin | (~zero@user/zero) (Ping timeout: 240 seconds) |
| 2025-11-26 21:51:26 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-26 21:59:02 +0100 | trickard_ | trickard |
| 2025-11-26 22:00:04 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-26 22:01:34 +0100 | yin | (~zero@user/zero) zero |
| 2025-11-26 22:01:50 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-26 22:15:15 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 265 seconds) |
| 2025-11-26 22:34:11 +0100 | hseg_ | (~hseg_@46.120.21.70) hseg |
| 2025-11-26 22:35:07 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-26 22:41:06 +0100 | dyniec | (~dyniec@dybiec.info) (Remote host closed the connection) |
| 2025-11-26 22:41:43 +0100 | dyniec | (~dyniec@dybiec.info) dyniec |
| 2025-11-26 22:49:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-11-26 22:56:16 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-26 22:57:45 +0100 | <jreicher> | I suspect AI is more useful in languages that require a fair amount of boilerplate to get things done. |
| 2025-11-26 23:00:06 +0100 | <haskellbridge> | <sm> that's us.. |
| 2025-11-26 23:00:23 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-26 23:00:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 23:04:37 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-26 23:18:20 +0100 | <jackdk> | jreicher: I have seen three arguments and I'm not sure which to weight most heavily: 1. it works best on things it's seen the most of in the training distribution (python, TS, specific major libraries — Anthropic called this out in its article on the design and implementation of Claude Code); 2. it works best on strongly-typed languages because it can converge on a solution with compiler assistance (Terry Tao's posts about Lean may apply); ... |
| 2025-11-26 23:19:21 +0100 | <jackdk> | ... 3. it works best on languages with simpler syntax and less compiler smarts because the token stream just carries more information (a Gleam advocate mentioned this to me once). |
| 2025-11-26 23:21:30 +0100 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |