4 ms·
Executable Specs for Reliable Systems
- henryluo 6mo agoQuint is an interesting lang, and the concept of 'executable spec' is definitely the direction to go in the age of AI vibe coding. And the language, Lambda, that I designed and implemented has many similar characteristics: https://github.com/henry-luo/lambda https://github.com/henry-luo/lambda