• Dark Inc's situation: Officially ran out of money. Founded in 2017 to build Darklang, a statically-typed functional programming language.
• Asset sale: Sold assets like Darklang language, blog, hosted service, Discord, etc to a new company started by former employees. The new company is Darklang Inc.
• Reason for not working out: Expected to be world-changing but burned cash quickly from 2017 to 2020. Product not good enough for Series A. ChatGPT came and showed product not right for coding agent era. Online structured editor didn't make sense with LLM. Realized new problems like ensuring code safety in LLM environment. Immutability was the solution in Darklang code.
• Selling to employees: Focused on new iteration in 2023 but ran out of money. Believed selling to employees was the best way to ensure product continuity. Founder personally invested in the new company.
• Personal journey: Since last year, founder is now CEO of Tech for Palestine, working to educate the tech industry about Palestine. Values shared by Darklang Inc.
• Comments: Can be found on Lobste.rs, Hacker News, Twitter, Mastondon, LinkedIn.