Channels
administrivia
announcements
bot-dark-forest
devlog-together
in-alberta
in-boston
in-germany
in-israel
in-london
in-nyc
in-ontario
in-seattle
in-sf
in-socal
introduce-yourself
linking-together
of-ai
of-end-user-programming
of-functional-programming
of-graphics
of-logic-programming
of-music
present-company
random-encounters
reading-together
share-your-work
thinking-together
two-minute-week
wormholes
Title
m
Mariano Guerra
03/28/2023, 3:25 PMDarklang is going all in on AI/GPT
https://blog.darklang.com/gpt/
j
Jess Martin
03/28/2023, 3:27 PMThis 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.
b
Benji York
03/30/2023, 11:48 AMThe article also suggests that a strong, static type system might keep LLM hallucinations in check because they highlight logical inconsistencies.
d
Don Abrams
04/03/2023, 4:03 PMinteresting as I'd assume any AI would need a ton of training data and there's not a ton of darklang out there