Mariano Guerra

03/28/2023, 3:25 PM
Darklang is going all in on AI/GPT

Jess Martin

03/28/2023, 3:27 PM
This is a rather startling post, from end-to-end.
I liked this part:
Darklang's major advantage remains the same: the holistic or integrated nature of the platform, language, editor, and infrastructure. Darklang's major features: 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.
What are the intersection points in AI-generated code? Well, look at what 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.

Benji York

03/30/2023, 11:48 AM
The article also suggests that a strong, static type system might keep LLM hallucinations in check because they highlight logical inconsistencies.

Don Abrams

04/03/2023, 4:03 PM
interesting as I'd assume any AI would need a ton of training data and there's not a ton of darklang out there