← Back to context

Comment by Insanity

18 days ago

Post had nothing to do with Haskell so the title is a bit misleading. But rest of article is good, and I actually think that Agentic/AI coding will probably evolve in this way.

The current tools are the infancy of AI assisted coding. It’s like the MS-DOS era. Over time maybe the backpropagating from “your comfort language” to “target language” could become commonplace.

> Post had nothing to do with Haskell so the title is a bit misleading.

To be fair, that's not part of the article's title, but rather the title of the website that the article was posted to.

  • I know, but that's not typically how you see titles posted here. I'm just disappointed as I enjoy writing Haskell. :)

Programming languages are most interesting area in CS for the next 10 years. AI need criteria for correctness that can't be faked so the boundary between proof verification and programs will become fuzzier and fuzzier. The runtimes also need support for massively parallel development in a way that is totally unnecessary for humans.

Agree. Gist of the FA is about "calm technology". Title should reflect it better.

Also agree on everything author mentions. I can't attest to all examples but I know what a UI is.

Author mentions center of focus of attention. We should hear more often about the periphery of our attention field. Its bandwidth so to speak is a magnitude lower compared to the center but it's still there and can guide some decisions quite unintrusively to flow.

(Major) eye movements are a detriment to attention, which itself should be treated like a commodity (in case of a UI thousands use, moreso like a borrowed commodity).

Agreed. This website seems to prepend the blog name to each page's document.title

Would suggest that one of the mods remove it

Is the article good? I found it of a surprisingly poor quality. Is my assessment incorrect? Basically it is an article that tries to convince people of how relevant AI is nowadays. I don't really see it like that at all and none of the "arguments" I found convincing.