Hacker News new | ask | show | jobs
by tmaly 138 days ago
I remember seeing an NVIDIA LLM contest a year or two ago related to TLA+