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

YHacker Newsscreenshots

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

First screen, captured 7 months ago.

Looks similar

Screenshot of maragu.dev: Choose Boring Technology and LLMs

Choose Boring Technology and LLMs (maragu.dev)

60 points by markusw 1 year ago | 65 comments

Screenshot of eugeneyan.com: Experimenting with LLMs to Research, Reflect, and Plan

Experimenting with LLMs to Research, Reflect, and Plan (eugeneyan.com)

131 points by gk1 3 years ago | 14 comments

Screenshot of souzatharsis.com: Taming LLMs – A Practical Guide to LLM Pitfalls with Open Source Software

Taming LLMs – A Practical Guide to LLM Pitfalls with Open Source Software (souzatharsis.com)

158 points by sebg 1 year ago | 26 comments

Screenshot of quantamagazine.org: Language models still struggle with the concept of negation

Language models still struggle with the concept of negation (quantamagazine.org)

111 points by belter 3 years ago | 102 comments

Screenshot of quantamagazine.org: Recent results show that LLMs struggle with compositional tasks

Recent results show that LLMs struggle with compositional tasks (quantamagazine.org)

311 points by marban 1 year ago | 247 comments

Screenshot of httl.dev: Show HN: A Fast HTTP Request CLI Powered by HTTL

Show HN: A Fast HTTP Request CLI Powered by HTTL (httl.dev)

39 points by emykhailenko 1 year ago | 11 comments