Top
Best
New

Posted by perpetua 1 hour ago

Executable Specs for Reliable Systems(quint-lang.org)
1 points | 1 comments
henryluo 1 hour ago
Quint 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