Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
justanotheratom
53 days ago
|
parent
|
context
|
favorite
| on:
GenAI-Accelerated TLA+ Challenge
I didn't mean generate separate TLA programs. Rather, other LLMs review and comment on whether this TLA program satisfies the user's specification.
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
