Newest at the top
| 2026-01-08 01:59:15 +0100 | <EvanR> | that part is beyond my paygrade xD |
| 2026-01-08 01:58:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-08 01:58:48 +0100 | <jreicher> | Even if AI could do it, I think the bigger problem is motivating humans to write specs in the first place. That's been possible for half a century and still almost nobody doesit. |
| 2026-01-08 01:58:02 +0100 | <newmind> | least run code that's checked by a compiler and can't do anything completely nuts |
| 2026-01-08 01:58:01 +0100 | <newmind> | that would be the dream, yeah: provide a spec, and it spits out a program that fulfills that (and while we're at it, also does proofably terminate and run in limited space).. but current AI agents are doing the exact opposite, little more than running in yolo mode and just executing whatever comes to mind.. what i'm proposing is a middle ground: at |
| 2026-01-08 01:57:36 +0100 | <EvanR> | not "write me an MMO in haskell" |
| 2026-01-08 01:57:22 +0100 | <EvanR> | jreicher, correct in the sense that I explicitly specified the theorem |
| 2026-01-08 01:56:39 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2026-01-08 01:56:38 +0100 | <EvanR> | of code that is hardly a proof of anything |
| 2026-01-08 01:56:35 +0100 | <jreicher> | Even correct programs aren't proofs of theorems. "In retrospect it seems to be doing the right thing." |
| 2026-01-08 01:55:48 +0100 | <EvanR> | it's more like mass copywrite infringement search |
| 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." |