2025/11/26

Newest at the top

2025-11-26 20:05:57 +0100 <EvanR> the soliton radar is made from currently existing technology
2025-11-26 20:04:58 +0100 <haskellbridge> <sm> 👍️ yes I mean the technology when its available
2025-11-26 20:00:09 +0100 <EvanR> that can't go on
2025-11-26 20:00:02 +0100 <EvanR> which has high negative profits
2025-11-26 19:59:46 +0100 <EvanR> as long as it still exists in the current form
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:07 +0100 <EvanR> you could imagine someone like this shilling AI code that is just awful
2025-11-26 19:58:44 +0100 <EvanR> so pick your authorities carefully
2025-11-26 19:58:36 +0100 <EvanR> after they cheated
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: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:57:23 +0100 <haskellbridge> <sm> oops irc, I shouldn't edit
2025-11-26 19:57:01 +0100 <haskellbridge> <sm> * code, which prompting strategy
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: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:52:27 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-11-26 19:51:54 +0100chele(~chele@user/chele) (Remote host closed the connection)
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:50:44 +0100 <Square3> Interesting to hear
2025-11-26 19:48:51 +0100 <int-e> "for themselves" - I mean nobody wants to read the results
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:47:48 +0100 <EvanR> harry potter fanfiction has a different standard than uh
2025-11-26 19:47:23 +0100 <EvanR> it depends on who is judging the quality
2025-11-26 19:47:02 +0100 <haskellbridge> <Zemyla> AI isn't good at literature or poetry either.
2025-11-26 19:46:37 +0100 <EvanR> it makes programming sound more like literature or poetry not math
2025-11-26 19:46:03 +0100Googulator45(~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu)
2025-11-26 19:45:56 +0100Googulator17(~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) (Quit: Client closed)
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:43:23 +0100EvanR(~EvanR@user/evanr) EvanR
2025-11-26 19:43:04 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
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: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:06 +0100ss4(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-11-26 19:39:49 +0100EvanR(~EvanR@user/evanr) EvanR
2025-11-26 19:38:57 +0100 <Square3> s/but only/but I only/
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:37:31 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-26 19:33:11 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-11-26 19:31:49 +0100takuan_dozo(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 264 seconds)
2025-11-26 19:28:09 +0100EvanR(~EvanR@user/evanr) (Quit: Leaving)
2025-11-26 19:25:54 +0100Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) Anarchos
2025-11-26 19:24:54 +0100wickedjargon(~user@207.194.126.6) (Read error: Connection reset by peer)
2025-11-26 19:22:52 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds)
2025-11-26 19:21:21 +0100ft(~ft@p508db844.dip0.t-ipconnect.de) ft
2025-11-26 19:15:43 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-26 19:12:58 +0100Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2025-11-26 19:08:11 +0100Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla
2025-11-26 19:02:17 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-11-26 19:01:49 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds)
2025-11-26 19:01:25 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur