Newest at the top
| 2026-01-08 01:55:04 +0100 | <EvanR> | in the sense that a program is a proof of some theorem, if I can get a computer to give me the correct program that's great. But that's not what we're doing right now with AI |
| 2026-01-08 01:52:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-01-08 01:51:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-08 01:49:16 +0100 | raincomplex | (~rain@user/raincomplex) raincomplex |
| 2026-01-08 01:46:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-08 01:42:14 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2026-01-08 01:40:21 +0100 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-08 01:37:47 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2026-01-08 01:37:47 +0100 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2026-01-08 01:37:47 +0100 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2026-01-08 01:36:55 +0100 | trickard_ | trickard |
| 2026-01-08 01:36:37 +0100 | shr\ke | (~shrike@user/shrke:31298) (Ping timeout: 264 seconds) |
| 2026-01-08 01:36:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-08 01:31:39 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2026-01-08 01:31:28 +0100 | annamalai | (~annamalai@2409:4042:eb8:bd50::9eca:160e) (Ping timeout: 246 seconds) |
| 2026-01-08 01:31:26 +0100 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-08 01:30:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-08 01:27:49 +0100 | <newmind> | besides, the assessment seemed to be, at the very least, factually accurate :) |
| 2026-01-08 01:25:43 +0100 | Googulator | (~Googulato@2a01-036d-0106-4994-68db-cf64-05de-a70a.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-08 01:25:43 +0100 | Googulator14 | (~Googulato@2a01-036d-0106-4994-68db-cf64-05de-a70a.pool6.digikabel.hu) |
| 2026-01-08 01:19:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-08 01:15:14 +0100 | <monochrom> | I think you're doing fine. You just asked "anyone interested?" so it's fair game. |
| 2026-01-08 01:15:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-08 01:14:15 +0100 | <newmind> | it's perfectly fine, i fully get that it might be a charged topic, i was just wondering if i might have expressed myself in a way that's generally offensive >.> |
| 2026-01-08 01:13:46 +0100 | <geekosaur> | +1 |
| 2026-01-08 01:11:45 +0100 | <monochrom> | As an individual citizen of #haskell I say that I'm not interested in a Claude program but that's just me. As a moderator I say that "fuck off" is uncalled for. |
| 2026-01-08 01:06:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2026-01-08 01:03:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-08 00:59:47 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4b0b:90a:cd82:2bd2) |
| 2026-01-08 00:59:46 +0100 | <newmind> | yeah, and then it sticks to doing something in a convoluted way instead of taking an obviously simpler, more elegant and more universal solution... in this aspect it mimics a junior dev quite realistically, just without out the "able-to-learn" parts |
| 2026-01-08 00:59:34 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4b0b:90a:cd82:2bd2) (Client Quit) |
| 2026-01-08 00:59:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-08 00:58:11 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4b0b:90a:cd82:2bd2) |
| 2026-01-08 00:57:53 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4b0b:90a:cd82:2bd2) (Quit: xff0x) |
| 2026-01-08 00:57:53 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-01-08 00:57:49 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-01-08 00:57:29 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-01-08 00:57:28 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-01-08 00:57:19 +0100 | <TMA> | it is a hit and miss in my experience. sometimes the result is usable or almost so, sometimes it "reasons" that it will ignore the instructions. "Do this." "Doing this is hard, let's do a simplified version instead." |
| 2026-01-08 00:57:19 +0100 | Googulator | (~Googulato@2a01-036d-0106-4994-68db-cf64-05de-a70a.pool6.digikabel.hu) |
| 2026-01-08 00:57:02 +0100 | Googulator | (~Googulato@2a01-036d-0106-4994-68db-cf64-05de-a70a.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-08 00:55:07 +0100 | <newmind> | but what i'm working on isn't really limited to coding per se. it's a TUI chat interface with an LLM backend and a set of tools that can be called (and run through polysemy, so just by the type signature you see what can even be accessed). |
| 2026-01-08 00:52:59 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) DragonMaus |
| 2026-01-08 00:52:29 +0100 | <newmind> | results are actually quite usable |
| 2026-01-08 00:52:28 +0100 | <newmind> | personally, i'm more accepting when it comes to actual generation: i'm fine with an LLM generating functions and even modules, but not in a unsupervised manner. the code quality itself is too low, unstructured and has a tendency to take shortcuts instead of solving problems "the right way". if you constrain the types of a function a bit though, the |
| 2026-01-08 00:52:21 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2026-01-08 00:50:19 +0100 | newmind | (~newmind@91-133-90-252.dyn.cablelink.at) |
| 2026-01-08 00:50:08 +0100 | newmind | (~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed) |
| 2026-01-08 00:49:35 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) DragonMaus |
| 2026-01-08 00:48:58 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) (Remote host closed the connection) |