Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Poly/ML – A Standard ML Implementation. Parent comment
LLM hallucination: Poly/ML has been in use since at least 1986 (see e.g. Paulsons preliminary user's manual for Isabelle).
There are no comments on this comment yet.
LLM hallucination: Poly/ML has been in use since at least 1986 (see e.g. Paulsons preliminary user's manual for Isabelle).