YHacker Newsscreenshots

quint-lang.org on Hacker News

2 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of quint-lang.org: Reliable Software in the LLM Era

Reliable Software in the LLM Era (quint-lang.org)

82 points by mempirate 7 months ago | 26 comments

Screenshot of quint-lang.org: Quint

Quint (quint-lang.org)

68 points by todsacerdoti 2 years ago | 16 comments