Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

Darklang is going all in on AI/GPT
<https://blog.darklang.com/gpt/>

This is a rather startling post, from end-to-end.

I liked this part:
&gt; Darklang's major advantage remains the same: the holistic or integrated nature of the platform, language, editor, and infrastructure. Darklang's major features: <https://blog.darklang.com/how-dark-deploys-code-in-50ms/|Deployless>, Invisible Infrastructure, and Trace-Driven Development, were all difficult before Dark, because they occurred at the intersection points of the editor, language and infra. By removing that intersection in Darklang, these features were very obvious and fell out fairly naturally.
&gt; 
&gt; What are the intersection points in AI-generated code? Well, look at what <https://github.com/features/preview/copilot-x?ref=blog.darklang.com|Copilot> is building: Copilot Chat in the IDE, Copilot for Pull Requests, Copilot for Docs, and Copilot-cli. Super exciting, but those seem like 4 different products, meaning a lot of intersection points with existing workflows, code bases and production deployments which we have the potential to remove.

What might an AI-first environment look like? DarkLang mentions "the holistic or integrated nature of the platform, language, editor, and infrastructure." This feels right, because AI that can instrument *all* of these pieces will be more effective and helpful.

The article also suggests that a strong, static type system might keep LLM hallucinations in check because they highlight logical inconsistencies.

interesting as I'd assume any AI would need a ton of training data and there's not a ton of darklang out there