Logs on 2025-11-26 (liberachat/#haskell)
| 00:09:35 | × | hseg quits (~gesh@46.120.21.70) (Quit: WeeChat 4.7.1) |
| 00:10:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:15:28 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 00:17:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:19:53 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 00:21:43 | Googulator33 | is now known as Googulator |
| 00:27:26 | × | bliminse quits (~bliminse@user/bliminse) (Ping timeout: 256 seconds) |
| 00:28:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:33:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:35:36 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 00:35:44 | × | Googulator quits (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed) |
| 00:35:50 | → | Googulator99 joins (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) |
| 00:37:37 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 00:37:48 | <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? |
| 00:38:56 | → | bliminse joins (~bliminse@user/bliminse) |
| 00:39:27 | <int-e> | (it's https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/Data-ByteString-Builder.html#t:Builder ) |
| 00:42:25 | → | trickard__ joins (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 00:44:25 | × | trickard_ quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 00:44:54 | → | Square3 joins (~Square@user/square) |
| 00:48:07 | × | Square2 quits (~Square4@user/square) (Ping timeout: 240 seconds) |
| 00:49:32 | Googulator99 | is now known as Googulator |
| 00:50:03 | → | ham joins (~ham@user/ham) |
| 00:52:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:53:25 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 00:56:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:59:38 | <geekosaur> | ask that one in #haddock, I think |
| 01:01:45 | × | Catty quits (~catties@user/meow/catties) (Remote host closed the connection) |
| 01:05:41 | × | Googulator quits (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed) |
| 01:05:46 | → | Googulator77 joins (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) |
| 01:07:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:08:30 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 01:09:05 | <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 |
| 01:09:21 | <int-e> | jackdk: Yeah that's what I did. |
| 01:12:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:15:54 | → | catties joins (~catties@user/meow/catties) |
| 01:16:35 | × | xff0x quits (~xff0x@2405:6580:b080:900:3f6a:7752:62cb:f27d) (Ping timeout: 250 seconds) |
| 01:18:19 | × | defragger quits (~random@i6DFADED8.versanet.de) (Ping timeout: 264 seconds) |
| 01:19:03 | catties | is now known as Catty |
| 01:19:59 | Googulator77 | is now known as Googulator |
| 01:19:59 | → | defragger joins (~random@i6DFADEE5.versanet.de) |
| 01:22:14 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 01:23:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:24:49 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 01:26:24 | × | Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:26:53 | → | xff0x joins (~xff0x@2405:6580:b080:900:ec9c:aeb8:e7c2:da00) |
| 01:27:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:29:57 | → | Square2 joins (~Square4@user/square) |
| 01:32:35 | × | Square3 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 01:38:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:43:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:54:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:58:31 | × | acidjnk quits (~acidjnk@p200300d6e7171998508fe3f98c6641fe.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 01:58:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:59:18 | → | omidmash0 joins (~omidmash@user/omidmash) |
| 02:00:20 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 02:01:33 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 02:01:33 | omidmash0 | is now known as omidmash |
| 02:09:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:12:30 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 244 seconds) |
| 02:14:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:16:39 | → | eron joins (~eron@152.250.226.25) |
| 02:20:55 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 02:25:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:29:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:32:35 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 02:32:53 | × | eron quits (~eron@152.250.226.25) (Quit: Client closed) |
| 02:33:01 | <dibblego> | also what I do ^^ |
| 02:37:11 | <monochrom> | I think haddock has never been responsible for origin of exports. However, GHCi tells you that by the :info command. |
| 02:37:29 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 02:37:56 | → | Pozyomka joins (~pyon@user/pyon) |
| 02:40:02 | trickard__ | is now known as trickard |
| 02:40:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:42:38 | <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. |
| 02:45:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:53:39 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Ping timeout: 250 seconds) |
| 02:55:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:02:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:03:32 | × | europhobic quits (~europhobi@109.166.129.14) (Quit: Leaving) |
| 03:10:30 | <jackdk> | `cabal repl -b xhtml` might work here, outside of your project |
| 03:14:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:15:35 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 03:15:58 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:16:19 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 03:18:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:19:49 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 03:20:35 | <geekosaur> | q&d cheat: tell ghci to use the store's package db |
| 03:20:53 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 03:22:00 | <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 |
| 03:22:21 | <geekosaur> | assumming ghci doesn't go ahead an pick a version of the package that doesn't have the import |
| 03:29:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:29:48 | × | Googulator quits (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed) |
| 03:33:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:34:08 | × | td_ quits (~td@i5387092E.versanet.de) (Ping timeout: 240 seconds) |
| 03:36:16 | → | td_ joins (~td@i53870917.versanet.de) |
| 03:37:48 | → | vardhan joins (~vardhan@122.172.81.48) |
| 03:43:28 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 03:43:47 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 03:44:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:44:59 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:49:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:58:07 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 04:00:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:01:17 | → | Square3 joins (~Square@user/square) |
| 04:04:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:04:55 | × | Square2 quits (~Square4@user/square) (Ping timeout: 240 seconds) |
| 04:12:56 | × | X-Scale quits (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 04:14:34 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 04:15:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:19:46 | × | gorignak quits (~gorignak@user/gorignak) (Ping timeout: 246 seconds) |
| 04:20:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:31:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:34:18 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 04:35:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:37:20 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 04:46:12 | × | trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:46:26 | → | trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 04:46:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:50:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:52:20 | trickard_ | is now known as trickard |
| 04:59:43 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 05:02:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:06:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:12:16 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 05:17:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:20:12 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 05:21:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:23:22 | → | poscat joins (~poscat@user/poscat) |
| 05:26:01 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 05:27:39 | → | sp1ff joins (~user@2601:1c2:4c00:6820::e122) |
| 05:30:44 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 05:32:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:37:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:38:26 | → | falafel joins (~falafel@gateway/vpn/pia/falafel) |
| 05:41:55 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Ping timeout: 240 seconds) |
| 05:42:44 | × | mange quits (~mange@user/mange) (Remote host closed the connection) |
| 05:47:32 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 05:48:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:51:35 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Ping timeout: 240 seconds) |
| 05:55:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:56:13 | → | michalz joins (~michalz@185.246.207.215) |
| 06:05:19 | → | weary-traveler joins (~user@user/user363627) |
| 06:06:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:10:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:12:07 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 06:13:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:14:18 | × | bliminse quits (~bliminse@user/bliminse) (Ping timeout: 244 seconds) |
| 06:14:58 | → | bliminse joins (~bliminse@user/bliminse) |
| 06:17:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:28:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:29:41 | → | trickard__ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 06:29:55 | × | trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 06:32:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:43:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:44:11 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:44:35 | × | FANTOM quits (~fantom@212.228.181.156) (Ping timeout: 240 seconds) |
| 06:48:06 | × | michalz quits (~michalz@185.246.207.215) (Read error: Connection reset by peer) |
| 06:48:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 06:49:39 | → | michalz joins (~michalz@185.246.207.197) |
| 06:53:53 | × | trickard__ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:54:07 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 06:59:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:03:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:07:04 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 07:09:35 | × | Square3 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 07:13:00 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:14:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:17:20 | trickard_ | is now known as trickard |
| 07:19:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:20:48 | → | tromp joins (~textual@2001:1c00:3487:1b00:c5b7:b8d9:7db7:74e1) |
| 07:21:24 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 07:29:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:36:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:36:35 | × | annamalai quits (~annamalai@157.32.140.105) (Ping timeout: 240 seconds) |
| 07:37:59 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:42:35 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 07:48:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:52:31 | × | vardhan quits (~vardhan@122.172.81.48) (Ping timeout: 264 seconds) |
| 07:52:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:53:48 | → | FANTOM joins (~fantom@212.228.181.156) |
| 07:54:39 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:03:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:05:31 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 08:08:11 | → | annamalai joins (~annamalai@157.32.143.204) |
| 08:08:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 08:17:13 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 08:18:40 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 08:23:01 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 08:24:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 08:26:00 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 08:30:07 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 08:30:47 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 08:30:47 | → | chele joins (~chele@user/chele) |
| 08:34:10 | → | vardhan joins (~vardhan@122.172.87.77) |
| 08:35:10 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 08:48:32 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 08:58:29 | × | ft quits (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:00:24 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 09:00:29 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:00:43 | → | trickard joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 09:00:44 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 09:03:28 | → | merijn joins (~merijn@77.242.116.146) |
| 09:07:50 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 09:08:36 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 09:11:32 | → | kuribas joins (~user@2a02:1808:46:f9fd:cc8e:177f:5505:a947) |
| 09:16:55 | × | connrs quits (~connrs@user/connrs) (Ping timeout: 240 seconds) |
| 09:32:24 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 252 seconds) |
| 09:36:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 09:39:04 | → | haritz joins (~hrtz@140.228.70.141) |
| 09:39:04 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 09:39:04 | → | haritz joins (~hrtz@user/haritz) |
| 09:47:41 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:49:27 | → | merijn joins (~merijn@77.242.116.146) |
| 09:52:19 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:56:46 | → | __monty__ joins (~toonn@user/toonn) |
| 10:00:28 | → | comerijn joins (~merijn@77.242.116.146) |
| 10:03:05 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 10:03:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 10:08:04 | → | chewybread joins (~chewybrea@user/chewybread) |
| 10:09:40 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 10:10:32 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 10:10:51 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 10:12:05 | × | tromp quits (~textual@2001:1c00:3487:1b00:c5b7:b8d9:7db7:74e1) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:16:58 | × | chewybread quits (~chewybrea@user/chewybread) (Remote host closed the connection) |
| 10:18:48 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:18:55 | × | kuribas quits (~user@2a02:1808:46:f9fd:cc8e:177f:5505:a947) (Ping timeout: 264 seconds) |
| 10:29:08 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:29:22 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 10:35:40 | → | acidjnk joins (~acidjnk@p200300d6e7171972bd6f1b8d24aa8879.dip0.t-ipconnect.de) |
| 10:36:27 | × | rembo10_ quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 10:41:27 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:41:41 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 10:44:21 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 10:51:44 | → | X-Scale joins (~ARM@6.67.114.89.rev.vodafone.pt) |
| 10:52:15 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 10:55:00 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 10:55:44 | → | poscat joins (~poscat@user/poscat) |
| 10:56:42 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 10:57:09 | → | poscat joins (~poscat@user/poscat) |
| 10:57:44 | → | merijn joins (~merijn@77.242.116.146) |
| 11:00:15 | × | ubert quits (~Thunderbi@91.141.74.115.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 11:01:37 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:01:58 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 11:03:28 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 11:04:10 | → | poscat joins (~poscat@user/poscat) |
| 11:10:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 11:12:28 | × | AlexZenon quits (~alzenon@178.34.162.165) (Read error: Connection reset by peer) |
| 11:12:40 | → | AlexZenon_2 joins (~alzenon@178.34.162.165) |
| 11:12:41 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 11:16:09 | AlexZenon_2 | is now known as AlexZenon |
| 11:17:17 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 11:17:42 | → | poscat joins (~poscat@user/poscat) |
| 11:18:36 | → | xelxebar_ joins (~xelxebar@42.203.199.104.bc.googleusercontent.com) |
| 11:19:13 | × | xelxebar quits (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 11:21:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 11:22:35 | × | Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 11:24:23 | → | merijn joins (~merijn@77.242.116.146) |
| 11:24:52 | <[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? |
| 11:25:20 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 11:28:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 11:31:01 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 11:32:00 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 11:32:48 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 11:35:21 | → | AlexZenon_2 joins (~alzenon@178.34.162.165) |
| 11:36:37 | × | AlexZenon quits (~alzenon@178.34.162.165) (Ping timeout: 264 seconds) |
| 11:39:11 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:39:25 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 11:41:07 | → | merijn joins (~merijn@77.242.116.146) |
| 11:43:07 | AlexZenon_2 | is now known as AlexZenon |
| 11:43:37 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:49:54 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 11:51:21 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 11:52:36 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 12:02:39 | × | Inline quits (~inlinE@2001-4dd7-868d-0-f98f-ba9-5de-6875.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 12:04:41 | → | Inline joins (~inlinE@2001-4dd7-868d-0-5b5f-55ca-c6c5-f53a.ipv6dyn.netcologne.de) |
| 12:10:16 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 255 seconds) |
| 12:11:07 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 12:21:42 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:23:52 | → | comerijn joins (~merijn@77.242.116.146) |
| 12:27:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 12:29:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 12:32:23 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 12:39:44 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 12:41:37 | → | michalz_ joins (~michalz@185.246.207.221) |
| 12:42:50 | × | michalz quits (~michalz@185.246.207.197) (Ping timeout: 244 seconds) |
| 12:46:05 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:47:37 | → | rls129 joins (~rls129@150.107.206.33) |
| 12:47:51 | ← | rls129 parts (~rls129@150.107.206.33) () |
| 12:49:45 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 12:50:18 | → | poscat joins (~poscat@user/poscat) |
| 12:53:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 12:53:24 | → | weary-traveler joins (~user@user/user363627) |
| 12:53:55 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 12:56:49 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 12:59:13 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:04:57 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 13:09:24 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 13:13:18 | <dminuoso> | [exa]: What do you mean by "formats a Doc", ? |
| 13:14:00 | → | arandombit joins (~arandombi@user/arandombit) |
| 13:14:41 | <[exa]> | dminuoso: optparse has internal prettyprinter https://hackage-content.haskell.org/package/optparse-applicative-0.19.0.0/docs/Options-Applicative-Help-Pretty.html#t:Doc |
| 13:15:18 | <[exa]> | so I thought I could give it info with some structure that would get rendered properly or so |
| 13:15:52 | <dminuoso> | Yeah but what does "infoOption" have to do with a pretty printer? |
| 13:16:13 | <dminuoso> | It seems like you're being really asking about some other primitive of optparse-applicative that you feed an infoOption to. |
| 13:16:36 | <dminuoso> | infoOption itself doesnt do anything, its just a parser failure containing a `String` internally. |
| 13:17:08 | <[exa]> | yeah I want to format that string from a Doc because I have something with nesting etc there |
| 13:17:31 | <dminuoso> | Okay.. so whats stopping you? |
| 13:17:52 | <dminuoso> | infoOption :: String -> Mod OptionFields (a -> a) -> Parser (a -> a) |
| 13:17:55 | <[exa]> | the Doc renderers usually have some options (render width) so I'd love to inherit the global ones |
| 13:17:55 | <dminuoso> | It takes a string. |
| 13:18:13 | <[exa]> | and I can render my doc manually (there's prettyString) but it ain't gonna get these opts |
| 13:18:25 | <dminuoso> | [exa]: Again, you are being awfully silent on what primimtive is triggering the renderer you are talking about. |
| 13:19:18 | <[exa]> | ok so essentially I now have: infoOption (prettyString ..complex thing..) $ long "blabla" ... |
| 13:19:37 | <[exa]> | the prettyString needs arguments (ribbon width, terminal width) that I have to supply as constants now |
| 13:19:54 | <[exa]> | I'd like to render with the same as optparse-applicative renders with |
| 13:19:59 | <[exa]> | for consistency etc |
| 13:20:01 | <dminuoso> | A-ha. And you want access to the renderer used in `execParser` eventually? |
| 13:20:14 | <[exa]> | so I hoped there would be something handy for rendering the stuff right |
| 13:22:33 | <[exa]> | in particular there's prefColumns in ParserPrefs, would love to inherit that somehow |
| 13:22:56 | <[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 |
| 13:23:01 | <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. |
| 13:23:02 | <[exa]> | :< |
| 13:23:29 | <dminuoso> | You would have to to extend the ParseError data type with a new constructor `InfoDoc Doc` |
| 13:24:41 | <[exa]> | oic it's actually hardcoded there |
| 13:25:03 | <[exa]> | gah, okay. if I hit this one more time I send a PR. |
| 13:27:01 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 13:29:20 | × | falafel quits (~falafel@gateway/vpn/pia/falafel) (Ping timeout: 244 seconds) |
| 13:29:28 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 13:32:03 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 13:34:34 | trickard_ | is now known as trickard |
| 13:48:16 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:49:28 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 13:56:15 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 13:56:34 | → | merijn joins (~merijn@77.242.116.146) |
| 14:03:44 | × | annamalai quits (~annamalai@157.32.143.204) (Read error: Connection reset by peer) |
| 14:03:59 | → | annamalai joins (~annamalai@2409:4042:2d87:3c71::9e8a:460b) |
| 14:07:54 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:08:07 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 14:10:28 | trickard_ | is now known as trickard |
| 14:10:49 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 14:15:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 14:18:03 | → | comerijn joins (~merijn@77.242.116.146) |
| 14:18:58 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:20:23 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 14:26:06 | → | merijn joins (~merijn@77.242.116.146) |
| 14:28:15 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 14:28:38 | → | infinity0 joins (~infinity0@pwned.gg) |
| 14:29:18 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 14:29:25 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 14:38:45 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 14:39:58 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 14:40:06 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:40:20 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 14:40:44 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 14:41:14 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 14:41:27 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 14:47:35 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Ping timeout: 240 seconds) |
| 14:50:59 | → | Googulator joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 14:54:08 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 14:54:41 | → | merijn joins (~merijn@77.242.116.146) |
| 14:57:45 | → | infinity0 joins (~infinity0@pwned.gg) |
| 15:04:14 | trickard_ | is now known as trickard |
| 15:05:35 | → | Googulator79 joins (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 15:05:41 | × | Googulator quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 15:08:27 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 15:08:42 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Client Quit) |
| 15:13:31 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 264 seconds) |
| 15:17:11 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 15:18:58 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 15:23:02 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 15:28:15 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 15:31:55 | <bwe> | `h a b = uncurry f <$> g a b` -- how do I write this point-free? |
| 15:33:23 | <lucabtz> | i had a similar problem days ago |
| 15:33:36 | <lucabtz> | (didnt find a solution) |
| 15:33:57 | <[exa]> | https://hackage.haskell.org/package/composition-1.0.2.2/docs/Data-Composition.html#v:.: |
| 15:34:22 | <[exa]> | should be something like `h = fmap uncurry f .: g` |
| 15:35:50 | <bwe> | I had the feeling that the right application of `.` and <$> with parentheses does the job? |
| 15:36:18 | <lucabtz> | `h = fmap uncurry f .: g` this looks different to me but maybe im messing up precedences |
| 15:36:18 | <[exa]> | nah you need to pull 2 arguments through, a single (.) ain't gonna do it |
| 15:36:23 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 15:36:48 | <lucabtz> | i though the original is like fmap (uncurry f) (g a b) |
| 15:37:13 | <[exa]> | lucabtz: yeah I forgot the parentheses, true |
| 15:38:00 | <mauke> | @pl h a b = uncurry f <$> g a b |
| 15:38:00 | <lambdabot> | h = ((uncurry f <$>) .) . g |
| 15:38:48 | <[exa]> | mauke: I'd say that's on the far side of pointfree :D |
| 15:38:53 | <mauke> | @pl h a b = fmap (uncurry f) (g a b) |
| 15:38:53 | <lambdabot> | h = (fmap (uncurry f) .) . g |
| 15:39:09 | <Leary> | bwe: you don't |
| 15:39:25 | <[exa]> | underrated answer ^ |
| 15:40:39 | <haskellbridge> | <Zemyla> I'm thinking about how more than one pointfree expansion I've seen has had the boobs operator: ((.) . (.)) |
| 15:41:15 | <mauke> | that's .: |
| 15:42:10 | <haskellbridge> | <Zemyla> Well, yeah, but @pl doesn't use that. |
| 15:42:14 | <__monty__> | And it's called the bird operator, just FYI. |
| 15:42:22 | <mauke> | it is? |
| 15:42:29 | <lucabtz> | i think boobs operator is a clearer name |
| 15:43:57 | <__monty__> | Sorry it's *a* bird operator, specifically the blackbird operator. |
| 15:44:29 | <mauke> | ah, that makes more sense |
| 15:44:39 | mauke | mocks a mockingbird |
| 15:45:54 | <haskellbridge> | <Morj> How hard would it be to add the "composition" package operators to pointfree.io ? |
| 15:46:27 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 16:03:59 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 16:05:42 | × | Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 16:15:35 | × | infinity0 quits (~infinity0@pwned.gg) (Quit: WeeChat 4.6.3) |
| 16:26:59 | → | infinity0 joins (~infinity0@pwned.gg) |
| 16:30:21 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 16:31:07 | → | gmg joins (~user@user/gehmehgeh) |
| 16:32:07 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 16:32:53 | × | lucabtz quits (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 16:33:31 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 16:45:41 | → | Googulator17 joins (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 16:45:43 | × | Googulator79 quits (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 16:46:15 | × | vardhan quits (~vardhan@122.172.87.77) (Ping timeout: 240 seconds) |
| 16:51:42 | → | infinity0 joins (~infinity0@pwned.gg) |
| 16:56:21 | <xerox> | santabot: when is your countdown starting |
| 16:56:55 | <xerox> | oops my bad, wrong terminal |
| 16:59:12 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:06:16 | × | confusedalex quits (~confuseda@user/confusedalex) (Ping timeout: 246 seconds) |
| 17:11:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 17:11:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 17:12:36 | → | Square3 joins (~Square@user/square) |
| 17:15:01 | × | byorgey quits (~byorgey@user/byorgey) (Ping timeout: 264 seconds) |
| 17:15:32 | × | Googulator17 quits (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 17:15:45 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 17:15:49 | → | Googulator17 joins (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 17:16:52 | → | hamster joins (~ham@user/ham) |
| 17:18:44 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:18:48 | → | SoF5 joins (~skius@user/skius) |
| 17:18:56 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 17:18:59 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 240 seconds) |
| 17:18:59 | × | michalz_ quits (~michalz@185.246.207.221) (Ping timeout: 240 seconds) |
| 17:18:59 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 17:18:59 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 240 seconds) |
| 17:18:59 | × | FANTOM quits (~fantom@212.228.181.156) (Ping timeout: 240 seconds) |
| 17:18:59 | × | haskellbridge quits (~hackager@96.28.224.214) (Ping timeout: 240 seconds) |
| 17:18:59 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds) |
| 17:18:59 | × | rembo10 quits (~rembo10@main.remulis.com) (Ping timeout: 240 seconds) |
| 17:18:59 | × | defragger quits (~random@i6DFADEE5.versanet.de) (Ping timeout: 240 seconds) |
| 17:18:59 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 240 seconds) |
| 17:18:59 | × | nitrix quits (~nitrix@user/meow/nitrix) (Ping timeout: 240 seconds) |
| 17:18:59 | × | vgtw quits (~vgtw@user/vgtw) (Ping timeout: 240 seconds) |
| 17:18:59 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Ping timeout: 240 seconds) |
| 17:18:59 | × | SoF quits (~skius@user/skius) (Ping timeout: 240 seconds) |
| 17:18:59 | × | kimiamania99 quits (~67ff9c12@user/kimiamania) (Ping timeout: 240 seconds) |
| 17:18:59 | × | xelxebar_ quits (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Ping timeout: 240 seconds) |
| 17:18:59 | × | yin quits (~zero@user/zero) (Ping timeout: 240 seconds) |
| 17:19:00 | SoF5 | is now known as SoF |
| 17:19:17 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 17:19:32 | → | haritz joins (~hrtz@140.228.70.141) |
| 17:19:35 | → | xelxebar joins (~xelxebar@42.203.199.104.bc.googleusercontent.com) |
| 17:19:51 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 17:19:55 | → | divlamir joins (~divlamir@user/divlamir) |
| 17:19:56 | → | nitrix joins (~nitrix@user/meow/nitrix) |
| 17:20:42 | → | vgtw joins (~vgtw@user/vgtw) |
| 17:21:08 | → | michalz joins (~michalz@185.246.207.193) |
| 17:21:15 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 17:21:15 | → | haritz joins (~hrtz@user/haritz) |
| 17:21:48 | → | takuan_dozo joins (~takuan@d8D86B9E9.access.telenet.be) |
| 17:22:10 | → | typedfern_ joins (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) |
| 17:22:15 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 17:22:44 | × | ham quits (~ham@user/ham) (Ping timeout: 240 seconds) |
| 17:22:44 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 240 seconds) |
| 17:22:44 | × | typedfern__ quits (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 17:22:44 | → | FANTOM joins (~fantom@212.228.181.156) |
| 17:22:44 | → | byorgey_ joins (~byorgey@155.138.238.211) |
| 17:22:44 | × | byorgey_ quits (~byorgey@155.138.238.211) (Changing host) |
| 17:22:44 | → | byorgey_ joins (~byorgey@user/byorgey) |
| 17:22:52 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 17:22:52 | ChanServ | sets mode +v haskellbridge |
| 17:23:18 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:26:25 | × | dontdieych quits (~dontdieyc@132.226.169.184) (Ping timeout: 264 seconds) |
| 17:28:40 | → | dontdieych joins (~dontdieyc@132.226.169.184) |
| 17:29:32 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 17:29:36 | → | ff joins (~user@207.194.126.6) |
| 17:29:40 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:30:45 | → | defragger joins (~random@i6DFADEE5.versanet.de) |
| 17:31:54 | × | ff quits (~user@207.194.126.6) (Remote host closed the connection) |
| 17:32:14 | → | yin joins (~zero@user/zero) |
| 17:33:55 | → | notzmv joins (~umar@user/notzmv) |
| 17:37:29 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 17:39:02 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 17:40:57 | → | wickedjargon joins (~user@207.194.126.6) |
| 17:46:49 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Ping timeout: 264 seconds) |
| 17:47:39 | → | pointlessslippe- joins (~pointless@62.106.85.17) |
| 17:50:02 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:50:16 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 17:51:01 | × | forell quits (~forell@user/forell) (Ping timeout: 264 seconds) |
| 17:52:07 | → | forell joins (~forell@user/forell) |
| 18:00:00 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.7.1) |
| 18:00:06 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 18:01:25 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 18:01:49 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 18:02:17 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 18:08:11 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 18:12:58 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 18:15:43 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:21:21 | → | ft joins (~ft@p508db844.dip0.t-ipconnect.de) |
| 18:22:52 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 18:24:54 | × | wickedjargon quits (~user@207.194.126.6) (Read error: Connection reset by peer) |
| 18:25:54 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 18:28:09 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 18:31:49 | × | takuan_dozo quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 264 seconds) |
| 18:33:11 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 18:37:31 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 18:38:34 | <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? |
| 18:38:57 | <Square3> | s/but only/but I only/ |
| 18:39:49 | → | EvanR joins (~EvanR@user/evanr) |
| 18:41:06 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 18:41:33 | <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 |
| 18:41:45 | <haskellbridge> | <sm> can be a very helpful assist, or generating at least simple/boilerplate/starting-point code |
| 18:43:04 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 18:43:23 | → | EvanR joins (~EvanR@user/evanr) |
| 18:45:43 | <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 |
| 18:45:56 | × | Googulator17 quits (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 18:46:03 | → | Googulator45 joins (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 18:46:37 | <EvanR> | it makes programming sound more like literature or poetry not math |
| 18:47:02 | <haskellbridge> | <Zemyla> AI isn't good at literature or poetry either. |
| 18:47:23 | <EvanR> | it depends on who is judging the quality |
| 18:47:48 | <EvanR> | harry potter fanfiction has a different standard than uh |
| 18:48:15 | <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. |
| 18:48:51 | <int-e> | "for themselves" - I mean nobody wants to read the results |
| 18:50:44 | <Square3> | Interesting to hear |
| 18:51:12 | <geekosaur> | or wants to replace employees they have to pay with AI they don't |
| 18:51:54 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 18:52:27 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:52:33 | <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 |
| 18:54:27 | <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. |
| 18:57:01 | <haskellbridge> | <sm> * code, which prompting strategy |
| 18:57:23 | <haskellbridge> | <sm> oops irc, I shouldn't edit |
| 18:57:29 | <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. |
| 18:58:23 | <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 |
| 18:58:36 | <EvanR> | after they cheated |
| 18:58:44 | <EvanR> | so pick your authorities carefully |
| 18:59:07 | <EvanR> | you could imagine someone like this shilling AI code that is just awful |
| 18:59:24 | <haskellbridge> | <sm> I think it's pretty much settled by now that AI can, is, and will be increasingly helpful in programming generally speaking |
| 18:59:46 | <EvanR> | as long as it still exists in the current form |
| 19:00:02 | <EvanR> | which has high negative profits |
| 19:00:09 | <EvanR> | that can't go on |
| 19:04:58 | <haskellbridge> | <sm> 👍️ yes I mean the technology when its available |
| 19:05:57 | <EvanR> | the soliton radar is made from currently existing technology |
| 19:13:22 | <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 |
| 19:13:23 | <Leary> | ing random errors and holes in existing programs, and more collected every time a programmer accepts/rejects an output... |
| 19:14:21 | <EvanR> | it sounds like that has a chance of running locally |
| 19:15:46 | → | Googulator89 joins (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 19:15:56 | × | Googulator45 quits (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 19:17:19 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds) |
| 19:30:05 | → | tromp joins (~textual@2001:1c00:3487:1b00:c5b7:b8d9:7db7:74e1) |
| 19:32:58 | × | Googulator89 quits (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed) |
| 19:33:05 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 19:33:16 | → | Googulator89 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 19:35:54 | <monochrom> | About current AI ("AI") and the training data: Those LLMs that have learned from history are doomed to repeat it. >:) |
| 19:36:04 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 19:36:24 | → | EvanR joins (~EvanR@user/evanr) |
| 19:37:17 | <monochrom> | Leary: That sounds dangerously close to the water fall model that every hipster agile coder has denounced. |
| 19:37:54 | <monochrom> | (Don't worry, I denounce back those hipster agile fads.) |
| 19:38:27 | <int-e> | hey picture moment: first you sell them agile coding, then you sell the crutches (LLMs) |
| 19:39:01 | <int-e> | (and inbetween people break a few legs) |
| 19:39:58 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 19:40:53 | <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. |
| 19:48:55 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 19:51:19 | <EvanR> | based |
| 19:51:34 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 19:51:50 | × | statusbot3 quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 19:53:10 | → | pavonia joins (~user@user/siracusa) |
| 20:03:04 | × | Shark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Read error: Connection reset by peer) |
| 20:03:15 | → | Shark8 joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 20:08:16 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 20:15:59 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 20:20:40 | → | merijn joins (~merijn@77.242.116.146) |
| 20:22:06 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 20:26:23 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 20:27:03 | Googulator89 | is now known as Googulator |
| 20:27:20 | × | Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 20:37:20 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:37:33 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 20:49:08 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 20:50:56 | × | yin quits (~zero@user/zero) (Ping timeout: 240 seconds) |
| 20:51:26 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 20:59:02 | trickard_ | is now known as trickard |
| 21:00:04 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 21:01:34 | → | yin joins (~zero@user/zero) |
| 21:01:50 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 21:15:15 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 265 seconds) |
| 21:34:11 | → | hseg_ joins (~hseg_@46.120.21.70) |
| 21:35:07 | → | jreicher joins (~user@user/jreicher) |
| 21:41:06 | × | dyniec quits (~dyniec@dybiec.info) (Remote host closed the connection) |
| 21:41:43 | → | dyniec joins (~dyniec@dybiec.info) |
| 21:49:55 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 21:56:16 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 21:57:45 | <jreicher> | I suspect AI is more useful in languages that require a fair amount of boilerplate to get things done. |
| 22:00:06 | <haskellbridge> | <sm> that's us.. |
| 22:00:23 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:00:25 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 22:04:37 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 22:18:20 | <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); ... |
| 22:19:21 | <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). |
| 22:21:30 | × | michalz quits (~michalz@185.246.207.193) (Remote host closed the connection) |
| 22:22:49 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 22:23:24 | <geekosaur> | I lean strongly toward #1 because the only way I can see for an LLM to have boosted "AI" is for it to be a smarter Markov bot |
| 22:23:55 | <jreicher> | jackdk: FWIW I "imagine" those points are very plausible, but I meant something more specific than "works". I mean USEFUL. If the AI succeeds in writing code that would have been no more effort and no slower for a human to write, it's not useful. And very concise and obvious code is like this. Lengthy boilerplate is where the AI has the potential to save time. |
| 22:24:44 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 22:28:10 | <geekosaur> | this is also flavored by my monitoring various kinds of science news, and an active area of research is hybridizing LLMs with other varieties of AI more capable of some form of reasoning (fsvo) about the data they've been trained with |
| 22:29:07 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 22:34:37 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 22:35:03 | → | divlamir joins (~divlamir@user/divlamir) |
| 22:39:56 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:40:13 | × | tromp quits (~textual@2001:1c00:3487:1b00:c5b7:b8d9:7db7:74e1) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:43:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:50:00 | × | califax quits (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:50:21 | → | califax joins (~califax@user/califx) |
| 22:50:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:54:49 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:56:48 | <haskellbridge> | <loonycyborg> "AI" is really confusing term |
| 22:56:54 | <haskellbridge> | <loonycyborg> I wish they just stick with LLM |
| 22:57:11 | <haskellbridge> | <loonycyborg> because AI is also automated players in computer games |
| 22:57:15 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 22:57:18 | <haskellbridge> | <loonycyborg> and lots of other things |
| 22:58:18 | <jreicher> | I reckon you could argue that a language server is a form of AI. :) |
| 22:58:40 | <haskellbridge> | <loonycyborg> so is a buildsystem |
| 22:58:44 | <haskellbridge> | <loonycyborg> because it's a form of expert system |
| 22:58:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:59:44 | × | ThePenguin quits (~ThePengui@cust-95-80-28-221.csbnet.se) (Ping timeout: 244 seconds) |
| 22:59:44 | → | gmg joins (~user@user/gehmehgeh) |
| 23:00:41 | → | ThePenguin joins (~ThePengui@cust-95-80-28-221.csbnet.se) |
| 23:03:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:07:26 | <jreicher> | Well I guess at a high level it's all the same thing in the end. If the "smart" system is not an LLM it just means the training data has been fed to the human (in the form of experience and/or user feedback) and the human translates that into the rules (weights) of the system. |
| 23:09:21 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:10:00 | → | mange joins (~mange@user/mange) |
| 23:11:52 | <EvanR> | AI has been more of a "brand" than a science for a long time |
| 23:12:24 | <EvanR> | AI winter resulted in loss of funding/interest in AI research, if it was called that |
| 23:12:25 | <jreicher> | I feel like now it's becoming a religion. :( |
| 23:12:41 | <EvanR> | meanwhile machine learning continued |
| 23:14:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:15:35 | × | tv quits (~tv@user/tv) (Quit: derp) |
| 23:16:10 | → | tv joins (~tv@user/tv) |
| 23:18:34 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 23:18:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:18:54 | → | EvanR joins (~EvanR@user/evanr) |
| 23:21:28 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 23:29:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:31:34 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 23:31:54 | → | EvanR joins (~EvanR@user/evanr) |
| 23:32:56 | × | Googulator quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 23:33:15 | → | Googulator joins (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 23:34:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:35:56 | × | vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 23:36:23 | → | vetkat joins (~vetkat@user/vetkat) |
| 23:38:11 | <geekosaur> | jreicher, that's not entirely true; neural nets can learn from experience |
| 23:38:29 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 244 seconds) |
| 23:39:10 | <geekosaur> | they're just poor at reasoning, such that they can learn the wrong pattern (e.g. misrecognize a leopard-print sofa as a leopard) |
| 23:43:47 | × | Square3 quits (~Square@user/square) (Remote host closed the connection) |
| 23:44:12 | → | Square3 joins (~Square@user/square) |
| 23:44:17 | → | Square2 joins (~Square4@user/square) |
| 23:45:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:45:55 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 23:47:29 | <jreicher> | I know; I'm not being careful with my terminology. I studied neural nets way back when so it was interesting to me to learn about what made LLMs different. |
| 23:49:13 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 23:49:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:51:04 | → | EvanR joins (~EvanR@user/evanr) |
| 23:59:04 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 23:59:23 | → | EvanR joins (~EvanR@user/evanr) |
All times are in UTC on 2025-11-26.